CodeQL library for C#

codeql/csharp-all 5.4.1 (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 the AST node `n`.
idOfAstNode	Gets an `id` of `node`. This is used to order the predecessors of a join basic block.
idOfCfgScope	Gets an `id` of `scope`. This is used to order the predecessors of a join basic block.
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.

Types

AstNode	An AST node.
CfgScope	A CFG scope. Each CFG scope gets its own control flow graph.
Completion	A control-flow completion.

Parameters

Location