Predicate viableCallable
Gets a viable implementation of the target of the given Call.
Import path
import semmle.code.java.dispatch.VirtualDispatchGets a viable implementation of the target of the given Call.
import semmle.code.java.dispatch.VirtualDispatch