B2R2

LowUIRReachingDefinitions Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: ReachingDefinitions<VarExpr, IRBasicBlock>

Reaching definition analysis with a LowUIR-based CFG.

Constructors

Constructor Description

LowUIRReachingDefinitions(cfg)

Full Usage: LowUIRReachingDefinitions(cfg)

Parameters:
Returns: LowUIRReachingDefinitions

cfg : DiGraph<IRBasicBlock, CFGEdgeKind>
Returns: LowUIRReachingDefinitions