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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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