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.