...
In this noncompliant code sample, the function squirrel_away() stores a pointer to local stack variable local into a location pointed to by function parameter ptr_param. Since it an be assumed that the pointer variable to which ptr_param points remains alive upon squirrel_away()'s return, it is illegal for local to go out of scope.
...
Tool | Version | Checker | Description |
|---|
| | | |
| | | | Section |
|---|
can detect violations when an array is declared in a function and then a pointer to that array is returned |
|
| | | |
| | | | Section |
|---|
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. |
|
| | | | Section |
|---|
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. |
|
| | | |
...
