...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalid-free | Fully checked | ||||||
| Axivion Bauhaus Suite |
| CertC-MEM34 | Can detect memory deallocations for stack objects | ||||||
| Clang |
| clang-analyzer-unix.Malloc | Checked by clang-tidy; can detect some instances of this rule, but does not detect all | ||||||
| CodeSonar |
| ALLOC.FNH | Free non-heap variable | ||||||
| Compass/ROSE | Can detect some violations of this rule | ||||||||
| BAD_FREE | Identifies calls to | |||||||
| Klocwork |
| ||||||||
| LDRA tool suite |
| 407 S, 483 S, 644 S, 645 S, 125 D | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-MEM34-a | Do not free resources using invalid pointers | ||||||
| Parasoft Insure++ | Runtime analysis | ||||||||
| Polyspace Bug Finder |
| MISRA CERT C: 2012 Rule 22.2Rule MEM34-C | Checks for invalid free of pointer Pointer deallocation without a corresponding dynamic allocation A block of memory shall only be freed if it was allocated by means of a Standard Library function | ||||||
| PRQA QA-C |
| 2721, 2722, 2723 | |||||||
| PVS-Studio |
| V585, V726 | |||||||
| TrustInSoft Analyzer |
| unclassified ("free expects a free-able address") | Exhaustively verified (see one compliant and one non-compliant example). |
...