Module mir

Infrastructure for analyzing MIR that supports the information flow analysis.

Modules

• aliases
  Alias analysis to determine the points-to set of a reference.
• engine
  This module re-implements rustc_mir_dataflow::Engine for performance reasons.
• placeinfo
  Utilities for analyzing places: children, aliases, etc.
• utils
  A potpourri of utilities for working with the MIR, primarily exposed as extension traits.

Traits

• FlowistryInput
  The per-procedure information the analysis needs. Most of the time this is going to be [BodyWithBorrowckFacts]