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

Pointer or reference to stack variable leaving scope

MISRA C:2012 Rule 18.6

Pointer to local variable leaves the variable scope

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

3217
3225
3230
4140

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