Synopsis

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

Enabled by default

Yes

Severity/Certainty

High/Medium

Full description

A stack address is stored in the field of a global struct. This check is identical to MEM-stack-global-field, MISRAC++2008-7-5-2_b, MISRAC++2023-6.8.3_b, MISRAC2004-17.6_c, CERT-DCL30-C_d.

Coding standards

Code examples

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

struct S{
  int *px;
} s;

void example() {
  int i = 0;
  s.px = &i; //storing local address in global struct
}

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

#include <stdlib.h>

struct S{
  int *px;
} s;

void example() {
  int i = 0;
  s.px = &i; //OK - the field is written to later
  s.px = NULL;
}