Pointer Effect Specifications

The include/Annotation/Pointer/ headers define summary objects for pointer allocation, copy, and exit effects of external APIs.

Location: include/Annotation/Pointer/

Main APIs:

  • PointerEffect is the tagged union for allocation, copy, and exit effects.

  • PointerEffectSummary groups effects for one function.

  • ExternalPointerTable stores summaries keyed by function name.

  • ExternalPointerTablePrinter prints loaded summaries.

What it models:

  • Allocation sites and optional size arguments.

  • Copy flows between values, direct memory, reachable memory, and special sources such as null or universal.

  • Functions that terminate the process.

These summaries are the main bridge between external API specifications and the pointer-analysis pipeline.

See also Annotation Framework, Alias Specification Manager, and AllocAA — Allocation-Based AA.