...
The LDRA tool suite Version 7.6.0 can detect violations of this recommendation.???
GCC Compiler Version 4.4.0 can detect violations of this recommendation when the -Wall flag is used.
Compass/ROSE could detect violations of this recommendation by identifying any assignment expression as the top-level expression in an if or while statement. To identify the geteuid example, ROSE should search for:
...
.
...
...
Klocwork Version 8.0.4.16 can detect violations of this rule with the ASSIGCOND.BOOL, ASSIGCOND.CALL, ASSIGCOND.GEN, and EFFECT checkers.???
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...