For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

InputSig

Module Ssa

Provides the input specification of the SSA implementation.


                                import codeql.ssa.Ssa

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.
ExitBasicBlock	An exit basic block, that is, a basic block whose last node is an exit node.
SourceVariable	A variable that can be SSA converted.