...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| CodeSonar |
| LANG.STRUCT.LOOP.HR | High risk loop | ||||||
| Compass/ROSE | |||||||||
| LDRA tool suite |
| 510 S | Partially implemented | ||||||
| Polyspace Bug Finder | R2016a | Loop controlled by a value from an unsecure source Value from an unsecure source changes sign | |||||||
| PVS-Studio | 6.22 | V621 | General analysis rule |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...