Namespace ICSharpCode.Decompiler.FlowAnalysis
Classes
- ControlFlowNode
Represents a block in the control flow graph.
- DataFlowVisitor<State>
Generic base class for forward data flow analyses.
- Dominance
Description of Dominance.
Interfaces
- IDataFlowState<Self>
Interface for use with DataFlowVisitor.
A mutable container for the state tracked by the data flow analysis.