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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x40003c5c)
Line          : imfs_mknod.c:33 (0x40003c94)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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