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.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate
checkCallContextCall
(
CallContext
cc
,
DataFlowCall
call
,
DataFlowCallable
calltarget
)