...
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 |
| Loop controlled by a value from an unsecure source Value from an unsecure source changes sign | |||||||||
| PVS-Studio |
| V621 |
...