CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Index
Search

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration.

Import path

import codeql.dataflow.internal.DataFlowImpl

Imports

Public

Predicates

flow

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.

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.

Ap

A list of Contents where nested tails are also paired with a DataFlowType. If data flows from a source to a given node with a given AccessPath, 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
ApNil
ApOption

Modules

Debug

INTERNAL: Only for debugging.

FlowExplorationFwd
FlowExplorationRev
Stages

INTERNAL: Subject to change without notice.

Aliases

Stage6
hasFlow

DEPRECATED: Use flow instead.

hasFlowPath

DEPRECATED: Use flowPath instead.

hasFlowTo

DEPRECATED: Use flowTo instead.

hasFlowToExpr

DEPRECATED: Use flowToExpr instead.

stageStats

INTERNAL: Only for debugging.

Parameters

ConfigFullStateConfigSig