Predicate resolveCall
Resolve potential target function(s) for call.
If call is a call through a function pointer (ExprCall) or
targets a virtual method, simple data flow analysis is performed
in order to identify target(s).
Import path
import semmle.code.cpp.security.TaintTrackingImpl
Function
resolveCall
(
Call
call
)