Expand description
This is responsible for control flow analysis
Modules§
- cyclic_
region_ reducer - A module that reduces cyclic regions
- if_
region_ reducer - A module representing a region that is an if
- linear_
region_ reducer - A module that contains the logic for reducing a linear region.
- region
- A module representing a region in the control flow graph.
- tail_
region_ reducer - A module that contains the logic for reducing a tail region.
- vbranch
- Create / resolve virtual branches
Structs§
- Structure
Analysis - This module is responsible for control flow analysis.
Enums§
- Control
Flow Edge Type - The type of control flow edge in the CFG.
- Structure
Analysis Error - Error type for structure analysis.
Traits§
- Region
Reducer - A trait for reducing a region