...
Fortify SCA Version 5.0 with CERT C Rule Pack can detect violations of this rule.
Compass/ROSE can detect some violations of this rule. In particular, it ensures that all operations involving division or modulo are preceded by a check ensuring that the second operand is non-zero.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...