Page History

ALLOC.DF
ALLOC.LEAK
DYN.ALLOC.DF

Double free
LeakDynamic Double Free

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

50 D

Partially implemented

CERT_C-MEM00-a
CERT_C-MEM00-b
CERT_C-MEM00-c
CERT_C-MEM00-d
CERT_C-MEM00-e

Do not allocate memory and expect that someone else will deallocate it later
Do not allocate memory and expect that someone else will deallocate it later
Do not allocate memory and expect that someone else will deallocate it later
Do not use resources that have been freed
Ensure resources are freed

449, 2434

Partially supported

CERT C: Rec. MEM00-C

Checks for:

• Invalid free of pointer
• Deallocation of previously deallocated pointer
• Use of previously freed pointer

Pointer deallocation without a corresponding dynamic allocation

Memory freed more than once without allocation

Memory accessed after deallocationRec. partially covered.