Predicate exactVirtualMethod
A conservative analysis that returns a single method - if we can establish one - that will be the target of the virtual dispatch.
Import path
import semmle.code.java.dispatch.VirtualDispatch