Page History

ALLOC.UAF

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

UFM.DEREF.MIGHT
UFM.DEREF.MUST
UFM.FFM.MIGHT
UFM.FFM.MUST
UFM.RETURN.MIGHT
UFM.RETURN.MUST
UFM.USE.MIGHT
UFM.USE.MUST

51 D, 484 S, 112 D

Partially implemented

CERT_C-

MEM30-

a

Deallocation of previously deallocated pointer

Invalid use of standard library string routine

Use of previously freed pointer

MISRA C:2012 Dir 4.13

MISRA C:2012 Rule 18.6

MISRA C:2012 Rule 22.1

MISRA C:2012 Rule 22.2

Memory freed more than once without allocation

Standard library string function called with invalid arguments

Memory accessed after deallocation

Functions which are designed to provide operations on a resource should be called in an appropriate sequence

The address of an object with automatic storage shall not be copied to another object that persists after the first object has ceased to exist

All resources obtained dynamically by means of Standard Library functions shall be explicitly released

A block of memory shall only be freed if it was allocated by means of a Standard Library function