...
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 | |||||||||||||||
| Helix QAC |
| C3103 | ||||||||||||||
| LDRA tool suite |
| 584 S | Fully implemented | |||||||||||||
| Parasoft C/C++test |
| CERT_C-INT10-a | Avoid accessing arrays out of bounds | |||||||||||||
| Polyspace Bug Finder |
| Checks for tainted modulo operand (rec. fully covered) | PRQA QA-C | |||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 3103 | Fully implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...