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

Predicate MakeImpl::Impl::Stage1::parameterMayFlowThrough

Holds if flow may enter through p and reach a return node making p a candidate for the origin of a summary.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate parameterMayFlowThrough(ParamNodeEx p, Ap ap)