...
Tool | Version | Checker | Description | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalid_dynamic_memory_allocation dangling_pointer_use | ||||||||||||||||
| Axivion Bauhaus Suite |
| CertC++-MEM51 | ||||||||||||||||
| Clang |
| clang-analyzer-cplusplus.NewDeleteLeaks -Wmismatched-new-delete | Checked by clang-tidy, but does not catch all violations of this rule | |||||||||||||||
| CodeSonar |
| ALLOC.FNH | Free non-heap variable Double free Type mismatch | |||||||||||||||
| Helix QAC |
| |||||||||||||||||
| Klocwork |
| |||||||||||||||||
| LDRA tool suite |
| 232 S, 236 S, 239 S, 407 S, 469 S, 470 S, 483 S, 484 S, 485 S, 64 D, 112 D | Partially implemented | |||||||||||||||
| Parasoft C/C++test |
| CERT_CPP-MEM51-a | Use the same form in corresponding calls to new/malloc and delete/free | |||||||||||||||
| Parasoft Insure++ | Runtime detection | |||||||||||||||||
| Polyspace Bug Finder |
| CERT C++: MEM51-CPP | Checks for:
Rule partially covered. | |||||||||||||||
| PRQA QA-C++ |
| 2110, 2111, 2112, 2113, 2118, 3337, 3339, 4262, 4263, 4264 | ||||||||||||||||
| PVS-Studio |
| V515, V554, V611, V701, V748, V773 | ||||||||||||||||
| SonarQube C/C++ Plugin |
| S1232 | Helix QAC | |||||||||||||||
| Include Page | Helix QAC_V | Helix QAC_V | Klocwork | | Include Page | | Klocwork_V | Klocwork_V | FMM.MIGHT
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...