vetkit.c.memory.double-free
The same pointer is passed to free() a second time without being reassigned in between (double free).
Last updated:
Suite: Security
c, cpp
The same pointer is passed to free() a second time without being reassigned in between (double free).
Category: SECURITY · Engine rule severity: WARNING
How to fix it
Set the pointer to NULL right after free() and make one code path own the release.
References
Source: packages/engine/rules/sast/c.yml.
Generated from shipped rule definitions at build time. Matching is a review signal, not proof of exploitability. “generic” denotes text matching, not complete language or framework coverage. Runtime configuration and available tools affect whether a rule runs.