...
Compass/ROSE can detect violations of this rule.
Klocwork Version 8.0.4.16 can detect violations of this rule with the IF_MISS_DECL and RETVOID.IMPLICIT checkers. See Klocwork Cross Reference
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...