Predicate checkCallContextCall
Checks whether call
can resolve to calltarget
in the call context cc
.
Assumes a context of calltarget = viableCallableExt(call)
.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate checkCallContextCall(CallContext cc, DataFlowCall call, DataFlowCallable calltarget)