CodeQL library for C#

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

Module signature InputSig

Provides the language-specific input specification.

Import path

import codeql.controlflow.Cfg

Predicates

completionIsNormal	Hold if `c` represents normal evaluation of a statement or an expression.
completionIsSimple	Hold if `c` represents simple (normal) evaluation of a statement or an expression.
completionIsValidFor	Holds if `c` is a valid completion for AST node `n`.
getAMatchingSuccessorType	Gets a successor type that matches completion `c`.
getCfgScope	Gets the CFG scope of AST node `n`.
isAbnormalExitType	Holds if `t` is an abnormal exit type out of a CFG scope.
scopeFirst	Holds if `first` is executed first when entering `scope`.
scopeLast	Holds if `scope` is exited when `last` finishes with completion `c`.
successorTypeIsCondition	Hold if `t` represents a conditional successor type.
successorTypeIsSimple	Hold if `t` represents simple (normal) evaluation of a statement or an expression.

Types

AstNode	An AST node.
CfgScope	A CFG scope. Each CFG scope gets its own control flow graph.
Completion	A control-flow completion.
SuccessorType	A type of a control flow successor.

Parameters

Location