Module Make
Provides a basic block construction on top of a control flow graph.
Import path
import codeql.controlflow.BasicBlock
Predicates
dominatingEdge | Holds if |
Classes
BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
Parameters
Location | LocationSig | |
Input | InputSig<Make::Location> |