CodeQL library for C/C++
Search

Predicate resolveCall

Resolves a call from call in cc to result. This is equivalent to result = viableCallableExt(call) and checkCallContextCall(cc, call, result).

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
DataFlowCallable resolveCall(DataFlowCall call, CallContext cc)