Page History

Compass/ROSE

Could detect possible violations by reporting any function that has malloc() or free() but not both. This would catch some false positives, as there would be no way to tell if malloc() and free() are at the same level of abstraction if they are in different functions.

Coverity

USE_AFTER_FREE

Can detect the specific instances where memory is deallocated more than once or read/written to the target of a freed pointer.

Fortify SCA

5.0

Can detect violations of this rule with CERT C Rule Pack.

LDRA tool suite

50 D

Partially implemented.