...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect violations of this rule by ensuring that operations are checked for overflow before being performed. Be mindful of exception INT30-EX2 because it excuses many operations from requiring validation, including all the operations that would validate a potentially dangerous operation. For instance, adding two | ||||||
| Coverity | 6.5 | INTEGER_OVERFLOW | Implemented | ||||||
Fortify SCA | 5.0 |
| Can detect violations of this rule with the CERT C Rule Pack. | ||||||
| PRQA QA-C |
| 2910 (C) | Partially implemented. |
...