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