CodeQL library for C#

codeql/csharp-all 4.0.1-dev (changelog, source)

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 `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.

Types

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
ControlFlowNode	A control flow node.
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

Location