CodeQL library for Swift
codeql/swift-all 2.0.2 (changelog, source)
Search

Module MakeImpl::Impl::FlowExploration

Import path

import codeql.dataflow.internal.DataFlowImpl

Imports

Predicates

partialFlowFwd

Holds if there is a partial data flow path from source to node. The approximate distance between node and the closest source is dist and is restricted to be less than or equal to explorationLimit(). This predicate completely disregards sink definitions.

partialFlowRev

Holds if there is a partial data flow path from node to sink. The approximate distance between node and the closest sink is dist and is restricted to be less than or equal to explorationLimit(). This predicate completely disregards source definitions.

Modules

Aliases

CallContext

A call context to restrict the targets of virtual dispatch and prune local flow.

CallContextCall
CallContextNoCall
callContextNone
callContextSomeCall

Parameters

explorationLimitexplorationLimitSig
flagFwdflag
flagRevflag