Page History

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