CodeQL library for C/C++
codeql/cpp-all 1.1.0 (changelog, source)
Search

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 bb, if any.

getImmediateBasicBlockDominator

Gets the basic block that immediately dominates basic block bb, if any.

variableRead

Holds if the ith node of basic block bb reads source variable v. The Boolean certain indicates whether the read is certain.

variableWrite

Holds if the ith node of basic block bb is a (potential) write to source variable v. The Boolean certain indicates whether the write is certain.

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.

Parameters

LocationLocationSig