Page History

pointered-deallocation

return-reference-local

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

danglingLifetime
returnDanglingLifetime
autoVariables
invalidLifetime

Fully implemented

danglingLifetime
returnDanglingLifetime
autoVariables
invalidLifetime

Fully implemented

C3217, C3225, C3230, C4140

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

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

604, 674, 733, 789

Partially supported

CERT C: Rule DCL30-C

Checks for pointer or reference to stack variable leaving scope (rule fully covered)

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