============================================
Symbol        : IMFS_create_node (0x4000dfcc)
Line          : imfs_creat.c:39 (0x4000dfe0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x4000dfcc)
Line          : imfs_creat.c:53 (0x4000e000)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_node (0x40004170)
Line          : imfs_node.c:39 (0x40004178)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x4000336c)
Line          : imfs_initsupp.c:41 (0x400033d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x4000336c)
Line          : imfs_initsupp.c:45 (0x400033e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x4000336c)
Line          : imfs_initsupp.c:45 (0x400033f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x4000336c)
Line          : imfs_initsupp.c:40 (0x40003404)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:53 (0x4000e088)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:53 (0x4000e090)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:74 (0x4000e0dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:53 (0x4000e108)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:53 (0x4000e114)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_make_generic_node (0x4000e064)
Line          : imfs_make_generic_node.c:85 (0x4000e158)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x4000404c)
Line          : imfs_mknod.c:31 (0x40004070)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x4000404c)
Line          : imfs_mknod.c:66 (0x400040c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_node_free (0x40004228)
Line          : imfs_node.c:96 (0x40004244)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================