Synopsis

(Required) 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.

Enabled by default

Yes

Severity/Certainty

High/Medium

Full description

Detected a stack address stored in a global pointer. This check is identical to MEM-stack-global, MISRAC++2023-6.8.3_a, MISRAC2004-17.6_b, MISRAC2012-Rule-18.6_b, CERT-DCL30-C_c.

Coding standards

Code examples

The following code example fails the check and will give a warning:

int *px;
void example() {
  int i = 0;
  px = &i; // assigning the address of stack
           // variable a to the global px
}

The following code example passes the check and will not give a warning about this issue:

void example(int *pz) {
  int x; int *px = &x;
  int *py = px; /* local variable */
  pz = px; /* parameter */
}