B2R2


DataFlowChain Type

Record fields

Record Field Description

DefUseChain

Full Usage: DefUseChain

Field type: Map<VarPoint<VarExpr>, Set<VarPoint<VarExpr>>>
Field type: Map<VarPoint<VarExpr>, Set<VarPoint<VarExpr>>>

UseDefChain

Full Usage: UseDefChain

Field type: Map<VarPoint<VarExpr>, Set<VarPoint<VarExpr>>>
Field type: Map<VarPoint<VarExpr>, Set<VarPoint<VarExpr>>>