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

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration.

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

flow

Holds if data can flow from source to sink.

flowPath

Holds if data can flow from source to sink.

flowTo

Holds if data can flow from some source to sink.

flowToExpr

Holds if data can flow from some source to sink.

stageStats

INTERNAL: Only for debugging.

Classes

Ap

Conceptually a list of Contents where nested tails are also paired with a DataFlowType, but only the first two elements of the list and its length are tracked. If data flows from a source to a given node with a given AccessPathApprox, this indicates the sequence of dereference operations needed to get from the value in the node to the tracked object. The DataFlowTypes indicate the types of the stored values.

ApNil
ApOption
PathNode

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Modules

FlowExplorationFwd
FlowExplorationRev
PathGraph

Provides the query predicates needed to include a graph in a path-problem query.

Aliases

hasFlow

DEPRECATED: Use flow instead.

hasFlowPath

DEPRECATED: Use flowPath instead.

hasFlowTo

DEPRECATED: Use flowTo instead.

hasFlowToExpr

DEPRECATED: Use flowToExpr instead.

Parameters