Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::resolveCall
Resolves a call from call
in cc
to result
, where result
is
restricted by relevantResolveTarget
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
DataFlowCallable resolveCall(DataFlowCall call, CallContext cc)