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

Predicate MakeImpl::Impl::MkStage::Stage::fwdFlow

Holds if node is reachable with access path ap from a source.

The call context cc records whether the node is reached through an argument in a call, and if so, summaryCtx records the corresponding parameter position and access path of that argument.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate fwdFlow(NodeEx node, FlowState state, Cc cc, SummaryCtx summaryCtx, Typ t, Ap ap, ApApprox apa)