CodeQL library for C#

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

Module ControlFlow

Provides classes representing the control flow graph within callables.

Import path

import csharp

Classes

AbruptSuccessor	An abrupt control flow successor.
BooleanSuccessor	A Boolean control flow successor.
BreakSuccessor	A `break` control flow successor.
ConditionalSuccessor	A conditional control flow successor. Either a Boolean successor (`BooleanSuccessor`), a nullness successor (`NullnessSuccessor`), a matching successor (`MatchingSuccessor`), or an emptiness successor (`EmptinessSuccessor`).
ContinueSuccessor	A `continue` control flow successor.
DirectSuccessor	A direct control flow successor.
EmptinessSuccessor	An emptiness control flow successor.
ExceptionSuccessor	An exceptional control flow successor.
ExitSuccessor	An exit control flow successor.
GotoSuccessor	A `goto` control flow successor.
JumpSuccessor	A jump control flow successor.
MatchingSuccessor	A matching control flow successor.
Node	A control flow node.
NormalSuccessor	A normal control flow successor. This is either a direct or a conditional successor.
NullnessSuccessor	A nullness control flow successor.
RedoSuccessor	A `redo` control flow successor (rare, used in Ruby).
RetrySuccessor	A `retry` control flow successor (rare, used in Ruby).
ReturnSuccessor	A `return` control flow successor.
SuccessorType	The type of a control flow successor.

Modules

BasicBlocks	Provides different types of basic blocks.
Nodes	Provides different types of control flow nodes.

Aliases

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