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

Predicate MakeImpl::Impl::MkStage::Stage::revFlow

Holds if node with access path ap is part of a path from a source to a sink.

The parameter returnCtx records whether (and how) the node must be returned from the enclosing callable in order to reach a sink, and if so, returnAp records the access path of the returned value.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate revFlow(NodeEx node, FlowState state, ReturnCtx returnCtx, ApOption returnAp, Ap ap)