============================================
Symbol        : SHA256_Update (0x1090dc)
Line          : sha256c.c:271 (0x10913c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : SHA512_Update (0x10ed18)
Line          : sha512c.c:277 (0x10ed46)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : SHA512_Update (0x10ed18)
Line          : sha512c.c:294 (0x10ed88)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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