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
Callable resolveCall(Call call, CallContext cc)