Page History

invalid-free

ALLOC.FNH

Free non-heap variable

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

C2721, C2722, C2723

C++2721, C++2722, C++2723

FNH.MIGHT
FNH.MUST

407 S, 483 S, 644 S, 645 S, 125 D

CERT_C-MEM34-a

424, 673

Fully supported

CERT C: Rule MEM34-C

Checks for invalid free of pointer (rule partially covered)

Exhaustively verified (see one compliant and one non-compliant example).