CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

Module DataFlowDispatch

Import path

import semmle.code.csharp.dataflow.internal.DataFlowDispatch

Imports

Predicates

getAnOutNode

Gets a node that can read the value returned from call with return kind kind.

getCallableForDataFlow

Gets a source declaration of callable c that has a body or has a flow summary.

parameterMatch

Holds if arguments at position apos match parameters at position ppos.

Classes

ArgumentPosition

An argument position.

CilDataFlowCall

A CIL call relevant for data flow.

DataFlowCall

A call relevant for data flow.

DataFlowCallable

A callable used for data flow.

DataFlowSummarizedCallable

A summarized callable where the summary should be used for dataflow analysis.

DelegateDataFlowCall

A delegate call relevant for data flow.

ExplicitDelegateLikeDataFlowCall

An explicit delegate or function pointer call relevant for data flow.

ImplicitCapturedReturnKind

A value implicitly returned from a callable using a captured variable.

JumpReturnKind

A value returned through the output of another callable.

NonDelegateDataFlowCall

A non-delegate C# call relevant for data flow.

NormalReturnKind

A value returned from a callable using a return statement or an expression body, that is, a “normal” return.

OutRefReturnKind

A value returned from a callable using an out or a ref parameter.

OutReturnKind

A value returned from a callable using an out parameter.

ParameterPosition

A parameter position.

RefReturnKind

A value returned from a callable using a ref parameter.

ReturnKind

A return kind. A return kind describes how a value can be returned from a callable.

SummaryCall

A synthesized call inside a callable with a flow summary.

TransitiveCapturedDataFlowCall

A call that can reach a callable, using one or more additional calls, which reads or updates a captured variable. We model such a chain of calls as just a single call for performance reasons.

Datatypes