Expand description
This module introduced the BackAnalysis utility that allows writing analyzers that go backwards in the flow of the program, on a Lowered representation.
Structs§
- Back
Analysis - Main analysis type that allows traversing the flow backwards.
Traits§
- Analyzer
- Analyzer trait to implement for each specific analysis.
Type Aliases§
- Statement
Location - Location of a lowering statement inside a block.