Module ResolveCall
Provides a predicate for non-contextual virtual dispatch and function pointer resolution.
Import path
import semmle.code.cpp.ir.dataflow.ResolveCall
Imports
cpp | Provides classes and predicates for working with C/C++ code. |
Predicates
resolveCall | Resolve potential target function(s) for |