Predicate resolve
Holds if actual
is the override of resolved
for a value of type
dynamic
.
Import path
import semmle.code.cpp.pointsto.PointsTo
predicate resolve(Class dynamic, VirtualFunction resolved, VirtualFunction actual)
Holds if actual
is the override of resolved
for a value of type
dynamic
.
import semmle.code.cpp.pointsto.PointsTo
predicate resolve(Class dynamic, VirtualFunction resolved, VirtualFunction actual)