CodeQL library for C#

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

Module ControlFlow::Nodes

Provides different types of control flow nodes.

Import path

import csharp

Classes

AnnotatedExitNode	A node for a callable exit point, annotated with the type of exit.
ElementNode	A node for a control flow element, that is, an expression or a statement.
EntryNode	A node for a callable entry point.
ExitNode	A node for a callable exit point.
ExprNode	A control-flow node for an expression.

Aliases

BooleanSplit	A split for elements that can reach a condition where this split determines the Boolean value that the condition evaluates to. For example, in
ExceptionHandlerSplit	A split for elements belonging to a `catch` clause, which determines the type of exception to handle. For example, in
FinallySplit	A split for elements belonging to a `finally` block, which determines how to continue execution after leaving the `finally` block. For example, in
LoopSplit	A split for loops where the body is guaranteed to be executed at least once, or guaranteed to never be executed. For example, in
Split	A split for a control flow element. For example, a tag that determines how to continue execution after leaving a `finally` block.