...
Fortify SCA Version 5.0 with CERT C Rule Pack will detect integer operations that cause overflow, but not all cases where size_t is not used.
The tool Compass/ROSE does not check for violations, but it could, by flagging:
- comparisons between differing integer types
- function calls where integer parameters get implicitly truncated.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...