[Precogs Alert] Use After Free detected (CWE-416, Risk: High) #8
Description
Vulnerability Details
- File Path:
src/state_example/crypto/crypto_1.c - Vulnerability Type: Use After Free
- Risk Level: High
Explanation:
The code frees the memory allocated to 'current_nonce' using 'free', but does not set the pointer to NULL. This can lead to a use-after-free vulnerability if 'current_nonce' is accessed after being freed.
Please investigate and resolve this issue to maintain code security and quality.