...
Automated Detection
The LDRA tool suite V Version 7.6.0 can detect violations of this rule.
The Fortify Source Code Analysis Suite Double Free detects instances of memory being freed more than onceFortify SCA Version 5.0 can detect violations of this rule with the Double Free checker.
Splint Version 3.1.1 can detect violations of this rule.
...
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.
The Klocwork Klocwork Version 8.0.4.16 can detect violations of this rule with the FREE.INCONSISTENT, MLK.MIGHT, and MLK.MUST checkers can detect violations of this rule.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...