...
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 |
| Memory allocation with tainted size | Checks for unprotected dynamic memory allocation (rule partially covered) Memory allocated dynamically not freed Size argument to memory function is from an unsecure source Value from an unsecure source changes sign Pointer returned from dynamic allocation not checked for |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...