...
It is difficult to pinpoint violations of this recommendation because static analysis tools are currently unable to identify code that can lead to heap exhaustion. The heap size also varies for different runtime environments.
Rule | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MEM11-C | Low | Probable | No | NoHigh | P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| ALLOC.LEAK | Leak | ||||||
| LDRA tool suite |
| 26 S, 140 S, 6 D, 28 D, 5 C, 1 U | Partially implemented | ||||||
| PC-lint Plus |
| 413, 613 | Assistance provided: reports use of null pointers including those which could be returned when a call to an allocation function fails | ||||||
| Polyspace Bug Finder |
| Checks for unprotected dynamic memory allocation (rule partially covered) |
...