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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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