Module ControlFlowGraphImpl

Provides an implementation for constructing control-flow graphs (CFGs) from abstract syntax trees (ASTs), using the shared library from codeql.controlflow.Cfg.

Import path

import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl

Imports

MakeWithSplitting<Location::Location, ControlFlowGraphImpl::CfgInput, ControlFlowGraphImpl::CfgSplittingInput, ControlFlowGraphImpl::ConditionalCompletionSplittingInput>	Provides a shared interface for constructing control-flow graphs (CFGs) from abstract syntax trees (ASTs).
csharp	The default C# QL library.

Predicates

getCompilation	Gets the compilation that source file `f` belongs to.
scopeFirst	Holds if `first` is first executed when entering `scope`.
scopeLast	Holds if `scope` is exited when `last` finishes with completion `c`.

Classes

AstNode	An AST node.
CfgScope	An element that defines a new CFG scope.
SplitAstNode	A control flow element that is split into multiple control flow nodes.

Datatypes

CompilationExt

A compilation.

Modules

Expressions
Statements