Predicate resolve
Holds if actual is the override of resolved for a value of type
dynamic.
Import path
import semmle.code.cpp.pointsto.PointsTopredicate 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.PointsTopredicate resolve(Class dynamic, VirtualFunction resolved, VirtualFunction actual)