Module signature InputSig
Provides the input specification of the SSA implementation.
Import path
import codeql.ssa.Ssa
Predicates
getABasicBlockSuccessor |
Gets an immediate successor of basic block |
getImmediateBasicBlockDominator |
Gets the basic block that immediately dominates basic block |
variableRead |
Holds if the |
variableWrite |
Holds if the |
Types
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. |