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

Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::viableImplCallContextReducedReverse

Gets a viable call site for the return from callable in call context ctx. This is restricted to those callables and contexts for which the possible call sites are restricted.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
DataFlowCall viableImplCallContextReducedReverse(DataFlowCallable callable, CallContextNoCall ctx)