Verification Support Analyses

include/Verification/Analysis/ and lib/Verification/Analysis/ collect small helper passes used by verification-oriented pipelines.

Main components:

  • ClassifyInstructionsPass and CountInstrPass inspect module structure.

  • ClassifyLoopsPass and GetTestTargetsPass identify verification-relevant regions.

  • CheckModulePass performs lightweight module validation.

These passes are mainly support utilities for verifier front-ends rather than standalone end-user analyses.

See also Verification Backend API and Verification Transformation Passes.