Page History

ALLOC.DF
ALLOC.LEAK

Double Freefree
Leak

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

Fortify SCA

5.0

Can detect violations of this rule with CERT C Rule Pack

LDRA tool suite

50 D

Partially implemented