...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
EXP03-C | High | Unlikely | No | NoHigh | P3 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Astrée reports accesses outside the bounds of allocated memory. | |||||||
| Helix QAC |
| C0697 | |||||||
| LDRA tool suite |
| 578 S | Enhanced enforcement | ||||||
| Polyspace Bug Finder |
| Checks for incorrectly computed struct size (rec. fully covered). |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...