Module Flow::CaptureSsaInput

Import path

import codeql.dataflow.VariableCapture

getABasicBlockSuccessor	Gets an immediate successor of basic block `bb`, if any.
getImmediateBasicBlockDominator	Gets the basic block that immediately dominates basic block `bb`, if any.
variableRead	Holds if the `i`th node of basic block `bb` reads source variable `v`. The Boolean `certain` indicates whether the read is certain.
variableWrite	Holds if the `i`th node of basic block `bb` is a (potential) write to source variable `v`. The Boolean `certain` indicates whether the write is certain.

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
ControlFlowNode	A control flow node.