Module VirtualDispatch
A module for performing simple virtual dispatch analysis.
Import path
import semmle.code.cpp.dispatch.VirtualDispatchPrototype
Predicates
getAViableTarget | Gets a viable target for the given function call. |
A module for performing simple virtual dispatch analysis.
import semmle.code.cpp.dispatch.VirtualDispatchPrototype
getAViableTarget | Gets a viable target for the given function call. |