CodeQL library for C#

codeql/csharp-all 0.8.3 (changelog, source)

Module DataFlowDispatch

Import path

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

Imports

Cached
DispatchImpl

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.
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