Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

invalid-free

Fully checked

Clang

Include Page

	Clang_V
	Clang_V

clang-analyzer-unix.Malloc

Checked by clang-tidy; can detect some instances of this rule, but does not detect all

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

ALLOC.FNH

Free non-heap variable

Compass/ROSE

Can detect some violations of this rule

Coverity

Include Page

	Coverity_V
	Coverity_V

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

Include Page