Tool | Version | Checker | Description |
|---|
| Clang | | clang-analyzer-unix.Malloc | Checked by clang-tidy; can detect some instances of this rule, but does not detect al |
| CodeSonar | | ALLOC.FNH | Free Non-Heap Variable |
Compass/ROSE | | | Can detect some violations of this rule |
Coverity | | BAD_FREE | Identifies calls to free() where the argument is a pointer to a function or an array. It also detects the cases where Free is used on an address-of expression, which can never be heap allocated. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary |
Klocwork | | FNH.MIGHT
FNH.MUST
FUM.GEN.MIGHT
FUM.GEN.MUST | |
LDRA tool suite | | 407 S, 483 S | Partially implemented |
