CodeQL library for C#
Search

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.