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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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