Headers under clang/lib/Verify — IR, transforms, obligations and backends, driver.

Modules

(Browse the source under the Files tab.)

• IR/ — VCR expressions, statements, types
• Frontend/ — Clang AST to VCR
• Transform/ — VCR passes, passivization
• Backend/ — Obligation IR, Z3, cvc5, and Lean adapters, certification
• Driver/ — verifyTranslationUnit, dump IR

User-facing docs: https://swayaminsync.github.io/cpp-verify/