...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Could detect the specific noncompliant code example. It could identify when the result of a % operation might be negative and flag usage of that result in an array index. It could conceivably flag usage of any such result without first checking that the result is positive, but it would likely introduce many false positives | ||||||
Fortify SCA | 5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | ||||||
LDRA tool suite |
| 584 S | Fully implemented | ||||||
Parasoft C/C++test | 9.5 | BD-PB-ARRAY | Partially implemented | ||||||
Polyspace Bug Finder | R2016a | Tainted modulo operand | Remainder | ||||||
PRQA QA-C |
| 3103 | Fully implemented |
...