CodeQL library for C#
codeql/csharp-all 1.0.1 (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 and is defined in source.

parameterMatch

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

Classes

ArgumentPosition

An argument position.

DataFlowCall

A call relevant for data flow.

DataFlowCallable

A callable used for data flow.

DelegateDataFlowCall

A delegate call relevant for data flow.

ExplicitDelegateLikeDataFlowCall

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

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.

Datatypes