CodeQL library for Swift

codeql/swift-all 2.0.2 (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 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 `DataFlowType`s indicate the types of the stored values.
Ap	A list of `Content`s 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 `DataFlowType`s 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

Config

FullStateConfigSig