Safe Reclamation (RCL)

Goal
Maintainability:

\(\checkmark\)

Reliability:

\(\checkmark\)

Portability:

Performance:

\(\checkmark\)

Security:

\(\checkmark\)

Description

Related to managing dynamic storage at the system (policy) level, these statement-level rules concern the safe reclamation of access (pointer) values.

Rules

RCL01, RCL02, RCL03