Skip to content
vetkitChecksChangelogDocumentation

vetkit.c.memory.use-after-free

A pointer is dereferenced after it was passed to free() and before it is reassigned (use after free).

Last updated:

Suite: Security

c, cpp

A pointer is dereferenced after it was passed to free() and before it is reassigned (use after free).

Category: SECURITY · Engine rule severity: WARNING

How to fix it

Read everything you need before free(), set the pointer to NULL afterwards, and keep one owner for each allocation.

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.