ModRef Function Effect Specifications

The include/Annotation/ModRef/ headers define the external mod/ref summary format used to model library functions for alias and checker pipelines.

Location: include/Annotation/ModRef/

Main APIs:

  • ModRefEffect and ModRefEffectSummary describe a function’s memory reads and writes.

  • ExternalModRefTable loads and stores per-function summaries.

  • ExternalModRefTablePrinter emits human-readable tables for debugging.

What it models:

  • Direct-memory versus reachable-memory effects.

  • Argument and return positions through APosition.

  • External summaries for functions whose bodies are unavailable.

Used by:

  • Alias analyses that need library-side memory effects.

  • Bug-finding and verification passes that need consistent side-effect models.

See also Annotation Framework, Alias Specification Manager, and Alias Analysis Components.