============================================
Symbol        : null_initialize (0x40002d5c)
Line          : devnull.c:53 (0x40002d6c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_initialize (0x40002d5c)
Line          : devnull.c:62 (0x40002d98)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_write (0x40002ef0)
Line          : devnull.c:161 (0x40002ef4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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