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

Call viableImplCallContextReducedReverse(Callable callable, CallContextNoCall ctx)