Headers under clang/lib/Verify — IR, transforms, WP/Z3 backend, driver.

Modules

(Browse the source under the Files tab.)

• IR/ — VCR expressions, statements, types
• Frontend/ — Clang AST to VCR
• Transform/ — passivization
• Backend/ — weakest precondition, Z3
• Driver/ — verifyTranslationUnit, dump IR

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