...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
| RESOURCE_LEAK | Finds resource leaks from variables that go out of scope while owning a resource | |||||||
5.0Double Free | |||||||||
| MLK | ||||||||
| 484 S | Fully implemented | |||||||
|
...
CERT C++ Secure Coding Standard | MEM31-CPP. Free dynamically allocated memory exactly once |
ISO/IEC TR 24772:2013 | Memory Leak [XYL] |
ISO/IEC TS 17961 | Failing to close files or free dynamic memory when they are no longer needed [fileclose] |
MITRE CWE | 415, Double free 401, Failure to Release Memory Before Removing Last Reference ('Memory Leak') |
Bibliography
[ISO/IEC 9899:2011] | Subclause 7.22.3, "Memory Management Functions" |
...