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