| Wiki Markup |
|---|
As noted in [undefined behavior 169| CC. Undefined Behavior#ub_169] of Annex J of \[[ISO/IEC 9899-1999| AA. References#ISO/IEC 9899-1999]\], the behavior a program is [undefined | BB. Definitions#undefined behavior] when |
...
Compass/ROSE can detect some violations of this rule. In particular, false positives may be raised if a variable is freed by a different function than the one that allocated it. Also, it is unable to warn on cases where a call to free() happens inside of a for-loop.
Klocwork Version 8.0.4.16 can detect violations of this rule with the FREE.INCONSISTENT, MLK.MIGHT, and MLK.MUST * checkers. See Klocwork Cross Reference
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...