EdgeInfo Type

Namespace: B2R2.MiddleEnd.ControlFlowGraph

Assembly: B2R2.MiddleEnd.ControlFlowGraph.dll

Parent Module: SSAEdges

Base Type: obj

All Interfaces: IEquatable<EdgeInfo> , IStructuralEquatable

Record fields

Record Field	Description
Defs Full Usage: Defs Field type: Map<Variable, Stmt>	A mapping from an SSA var to its def stmt. Field type: Map<Variable, Stmt>
Uses Full Usage: Uses Field type: Map<Variable, Set<SSAStmtLocation>>	A mapping from an SSA var to a set of use locations. Field type: Map<Variable, Set<SSAStmtLocation>>