CodeQL library for C/C++

codeql/cpp-all 3.0.1-dev (changelog, source)

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration.

Import path

import codeql.dataflow.internal.DataFlowImpl

Imports

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 `Content`s, 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.
Ap	A list of `Content`s.
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

Config

FullStateConfigSig