...
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:
...
...
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:
...