============================================
Symbol        : IMFS_fsunmount (0x4000c384)
Line          : imfs_fsunmount.c:57 (0x4000c3e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x4000c384)
Line          : imfs_fsunmount.c:70 (0x4000c404)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x4000c384)
Line          : imfs_fsunmount.c:59 (0x4000c444)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x4000c384)
Line          : imfs_fsunmount.c:65 (0x4000c46c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize (0x40002eec)
Line          : imfs_init.c:69 (0x40002f18)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_link (0x40005d04)
Line          : imfs_link.c:40 (0x40005d14)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_link (0x40005d04)
Line          : imfs_link.c:56 (0x40005d40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:594 (0x400067cc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:567 (0x400067ec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:614 (0x40006844)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:541 (0x4000687c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:544 (0x40006898)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x40006718)
Line          : imfs_memfile.c:541 (0x400068a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x40006a24)
Line          : imfs_mount.c:31 (0x40006a44)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x40006a24)
Line          : imfs_mount.c:34 (0x40006a54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_node_remove_directory (0x40005878)
Line          : imfs_dir.c:46 (0x40005898)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x40006e5c)
Line          : imfs_symlink.c:67 (0x40006e60)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x40006e5c)
Line          : imfs_symlink.c:67 (0x40006e78)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rename (0x40006bc0)
Line          : imfs_rename.c:43 (0x40006bd0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rename (0x40006bc0)
Line          : imfs_rename.c:52 (0x40006bf0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rename (0x40006bc0)
Line          : imfs_rename.c:58 (0x40006c08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x40006df8)
Line          : imfs_symlink.c:49 (0x40006e34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x40006ec0)
Line          : imfs_unmount.c:31 (0x40006ee0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x40006ec0)
Line          : imfs_unmount.c:34 (0x40006ef0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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