TypeQualifier

TypeQualifier contains qualifier-based analysis infrastructure.

Headers: include/Alias/TypeQualifier/

Implementation: lib/Alias/TypeQualifier/

Overview

This subsystem models qualifier-style properties over program values and aggregates them interprocedurally. The codebase includes support for call-graph construction, summaries, node factories, taint signatures, and qualifier propagation utilities.

Main components

  • QualifierAnalysis drives the analysis.

  • FunctionSummary stores interprocedural summaries.

  • CallGraphPass and related helpers manage the analysis call graph.

  • TaintSignature and annotation helpers encode qualifier effects.

Use cases

  • Qualifier propagation across function boundaries.

  • Lightweight value classification driven by summaries.

  • Research prototypes for taint-like or effect-like properties.

See also