...
Tool | Version | Checker | Description | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported: Astrée reports runtime errors resulting from invalid assumptions. | |||||||||||||
Compass/ROSE | Can detect violations of this recommendation. Specifically, it reports violations if
| ||||||||||||||
Helix QAC |
| C0310, C0751 | |||||||||||||
LDRA tool suite |
| 554 S | Fully implemented | ||||||||||||
Polyspace Bug Finder |
| CERT C: Rec. EXP11-C | Checks for implementation-defined behavior (rec. partially covered) | PRQA QA-C | |||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | 0310, 0751 | Partially implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this recommendation on the CERT website.
...