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
Make<Location::Location, ControlFlowGraphImpl::CfgInput> | 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 |
scopeFirst | Holds if |
scopeLast | Holds if |
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. |