| 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 |
...
The Coverity Prevent BAD_FREE checker identifies calls to free() where the argument is a pointer to a function or an array. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary.
Klocwork Version 8.0.4.16 can detect violations of this rule with the FNH.MIGHT, FNH.MUST, FUM.GEN.MIGHT, and FUM.GEN.MUST, FUM.ZERO.MIGHT, and FUM.ZERO.MUST checkers. See Klocwork Cross Reference
Compass/ROSE can detect some violations of this rule.
...