Module flowistry::mir

source ·
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.