...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MEM01-C | High | Unlikely | Yes | YesLow | P9 | L2 |
Automated Detection
Tool | Version | Checker | Description | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported | , but no explicit checker: Astrée reports usage of invalid pointers. | |||||||||
| Axivion Bauhaus Suite |
| CertC-MEM01 | Fully implemented | |||||||||
| CodeSonar |
| ALLOC.DF | Double free | |||||||||
| Compass/ROSE | ||||||||||||
| USE_AFTER_FREE | Can detect the specific instances where memory is deallocated more than once or read/written to the target of a freed pointer | ||||||||||
| Helix QAC |
| C3005 | ||||||||||
| LDRA tool suite |
| 484 S, 112 D | Partially implemented | |||||||||
| Parasoft C/C++test |
| BD-RES-FREE, MRM-09, MRM-10, MRM-11CERT_C-MEM01-a | Do not use resources that have been freed | |||||||||
| Parasoft Insure++ | Detects dangling pointers at runtime | |||||||||||
| R2016b |
| CERT C: Rec. MEM01-C | Checks for missing | Missingreset of a freed pointer | Pointer free not followed by a reset statement to clear leftover data(rec. fully covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...