CodeQL library for C/C++
Search

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)