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

  • Main analysis type that allows traversing the flow backwards.

Traits

  • Analyzer trait to implement for each specific analysis.

Type Definitions