Module signature CfgSig

Import path

import codeql.controlflow.BasicBlock

Holds if bb1 has bb2 as a direct successor and the edge between bb1 and bb2 is a dominating edge.

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
ControlFlowNode	A control flow node.
EntryBasicBlock	An entry basic block, that is, a basic block whose first node is an entry node.
SuccessorType	The type of a control flow successor.

Location