Skip to main contentModule verify
Source - attribute
- call_summary
- Interprocedural call summaries for the staged verifier.
- def_use
- Def-use computation for the backward path visitor.
- driver
- Driver utilities for the staged verifier pipeline.
- engine
- Shared verification engine for the staged verifier pipeline.
- forward_visit
- Forward visitor for relevant MIR items.
- generic
- Generic-parameter helpers for layout-sensitive verify checks.
- path
- Path extraction for verification targets.
- path_refine
- primitive
- Primitive API classification for verifier transfer functions.
- report
- Diagnostics and summaries for the staged verifier pipeline.
- smt_check
- SMT checking package for the staged verifier.
- target