CFGEdgeKind (B2R2)

CFGEdgeKind Type

Namespace: B2R2.MiddleEnd.ControlFlowGraph
Assembly: B2R2.MiddleEnd.ControlFlowGraph.dll
Base Type: obj
All Interfaces: IEquatable<CFGEdgeKind> , IStructuralEquatable , IComparable<CFGEdgeKind> , IComparable , IStructuralComparable

CFG edge types. We distinguish CFG edges by classifying them into several different kinds.

Union cases

Union case	Description
`CallEdge` Full Usage: `CallEdge`	An edge of a regular call instruction.
`ExceptionFallThroughEdge` Full Usage: `ExceptionFallThroughEdge`	A fall-through representing C++ exception flows. If there is a function call which can raise an exception, then this edge will be used.
`ExternalCallEdge` Full Usage: `ExternalCallEdge`	An edge of a call instruction to an external function or PLT.
`ExternalJmpEdge` Full Usage: `ExternalJmpEdge`	An edge of a jmp instruction to an external function or PLT.
`FallThroughEdge` Full Usage: `FallThroughEdge`	A simple fall-through case. This type is created when an edge cuts in two consecutive instructions.
`ImplicitCallEdge` Full Usage: `ImplicitCallEdge`	An implicit edge that is not explicitly visible from the current CALL instruction, but visible within the function. If there is a path in the callee that calls a function, then we create an implicit edge from a caller to any of the callees.
`IndirectCallEdge` Full Usage: `IndirectCallEdge`	An edge from an indirect call instruction.
`IndirectJmpEdge` Full Usage: `IndirectJmpEdge`	An edge from an indirect jmp instruction.
`InterCJmpFalseEdge` Full Usage: `InterCJmpFalseEdge`	An edge of a conditional jump that is exercised when the condition is false.
`InterCJmpTrueEdge` Full Usage: `InterCJmpTrueEdge`	An edge of a conditional jump that is exercised when the condition is true.
`InterJmpEdge` Full Usage: `InterJmpEdge`	An edge of a direct jump, e.g., JMP +0x42.
`IntraCJmpFalseEdge` Full Usage: `IntraCJmpFalseEdge`	A false conditional edge only visible from an IR-level CFG, because there is a control-flow inside a machine instruction.
`IntraCJmpTrueEdge` Full Usage: `IntraCJmpTrueEdge`	A true conditional edge only visible from an IR-level CFG, because there is a control-flow inside a machine instruction.
`IntraJmpEdge` Full Usage: `IntraJmpEdge`	A direct jump edge only visible from an IR-level CFG, because there is a control-flow inside a machine instruction.
`NoReturnFallThroughEdge` Full Usage: `NoReturnFallThroughEdge`	A fall-through after a no-return call instruction. This edge will never be executed. We have this edge to include all "codes" compiler emitted. If we do not consider such "unreachable" codes from CFG building, we'll never see this edge in the result CFG.
`RecursiveCallEdge` Full Usage: `RecursiveCallEdge`	An edge of a recursive call instruction.
`RetEdge` Full Usage: `RetEdge`	An edge of a function return.
`TailCallEdge` Full Usage: `TailCallEdge`	An edge of a tail-call instruction.
`UnknownEdge` Full Usage: `UnknownEdge`	Unknown edge type. This should be an error case.

Instance members

Instance member	Description
`this.IsCallEdge` Full Usage: `this.IsCallEdge` Returns: `bool`	Returns: `bool`
`this.IsExceptionFallThroughEdge` Full Usage: `this.IsExceptionFallThroughEdge` Returns: `bool`	Returns: `bool`
`this.IsExternalCallEdge` Full Usage: `this.IsExternalCallEdge` Returns: `bool`	Returns: `bool`
`this.IsExternalJmpEdge` Full Usage: `this.IsExternalJmpEdge` Returns: `bool`	Returns: `bool`
`this.IsFallThroughEdge` Full Usage: `this.IsFallThroughEdge` Returns: `bool`	Returns: `bool`
`this.IsImplicitCallEdge` Full Usage: `this.IsImplicitCallEdge` Returns: `bool`	Returns: `bool`
`this.IsIndirectCallEdge` Full Usage: `this.IsIndirectCallEdge` Returns: `bool`	Returns: `bool`
`this.IsIndirectJmpEdge` Full Usage: `this.IsIndirectJmpEdge` Returns: `bool`	Returns: `bool`
`this.IsInterCJmpFalseEdge` Full Usage: `this.IsInterCJmpFalseEdge` Returns: `bool`	Returns: `bool`
`this.IsInterCJmpTrueEdge` Full Usage: `this.IsInterCJmpTrueEdge` Returns: `bool`	Returns: `bool`
`this.IsInterJmpEdge` Full Usage: `this.IsInterJmpEdge` Returns: `bool`	Returns: `bool`
`this.IsIntraCJmpFalseEdge` Full Usage: `this.IsIntraCJmpFalseEdge` Returns: `bool`	Returns: `bool`
`this.IsIntraCJmpTrueEdge` Full Usage: `this.IsIntraCJmpTrueEdge` Returns: `bool`	Returns: `bool`
`this.IsIntraJmpEdge` Full Usage: `this.IsIntraJmpEdge` Returns: `bool`	Returns: `bool`
`this.IsNoReturnFallThroughEdge` Full Usage: `this.IsNoReturnFallThroughEdge` Returns: `bool`	Returns: `bool`
`this.IsRecursiveCallEdge` Full Usage: `this.IsRecursiveCallEdge` Returns: `bool`	Returns: `bool`
`this.IsRetEdge` Full Usage: `this.IsRetEdge` Returns: `bool`	Returns: `bool`
`this.IsTailCallEdge` Full Usage: `this.IsTailCallEdge` Returns: `bool`	Returns: `bool`
`this.IsUnknownEdge` Full Usage: `this.IsUnknownEdge` Returns: `bool`	Returns: `bool`