CodeQL library for Swift

codeql/swift-all 5.0.10-dev (changelog, source)

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.

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.
Stages	INTERNAL: Subject to change without notice.

Aliases

Stage6
stageStats	INTERNAL: Only for debugging.

Parameters

Config		FullStateConfigSig
Stage1		Stage1Output<DataFlowImpl::MakeImpl::Impl::Config::FlowState>