Predicate virtualThis
Import path
import semmle.code.cpp.pointsto.PointsTopredicate virtualThis(Expr receiver, VirtualFunction called, string thislabel, Expr thisexpr)import semmle.code.cpp.pointsto.PointsTopredicate virtualThis(Expr receiver, VirtualFunction called, string thislabel, Expr thisexpr)