Expand description
Infrastructure for analyzing MIR that supports the information flow analysis.
Modules
- Alias analysis to determine the points-to set of a reference.
- This module re-implements
rustc_mir_dataflow::Engine
for performance reasons. - Utilities for analyzing places: children, aliases, etc.
- A potpourri of utilities for working with the MIR, primarily exposed as extension traits.