ReachingDefinitionAnalysis (B2R2)

ReachingDefinitionAnalysis Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowComputable<VertexID, InsAndOuts, ReachingDefinitionState, LowUIRBasicBlock>

Computes reaching definitions for each vertex in a CFG.

Constructor	Description
`ReachingDefinitionAnalysis()` Full Usage: `ReachingDefinitionAnalysis()` Returns: `ReachingDefinitionAnalysis`	Returns: `ReachingDefinitionAnalysis`