Predicate resolveCall
Resolve potential target function(s) for call.
If call is a call through a function pointer (ExprCall) or its target is
a virtual member function, simple data flow analysis is performed in order
to identify the possible target(s).
Import path
import semmle.code.cpp.ir.dataflow.ResolveCall
Function
resolveCall
(
Call
call
)