Page History

Can detect violations of this rule. It automatically detects returning pointers to local variables. Detecting more general cases, such as examples where static pointers are set to local variables which then go out of scope, would be difficult

Coverity

RETURN_LOCAL

Finds many instances where a function will return a pointer to a local stack variable. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary

LOCRET.ARG
LOCRET.GLOB

42 D, 77 D, 71 S, 565 S

CERT_C-DCL30-a
CERT_C-DCL30-b

The address of an object with automatic storage shall not be returned from a function
The address of an object with automatic storage shall not be assigned to another object that may persist after the first object has ceased to exist

CERT C: Rule DCL30-C

Checks for pointer Pointer or reference to stack variable leaving scope

MISRA C:2012 Rule 18.6

Pointer to local variable leaves the variable scopeThe address of an object with automatic storage shall not be copied to another object that persists after the first object has ceased to exist

3217, 3225, 3230, 4140

2515, 2516, 2527, 2528, 4026, 4624, 4629

Exhaustively detects undefined behavior (see one compliant and one non-compliant example).