Predicate Dispatch::lowConfidenceDispatchTarget
Holds if m
is a viable implementation of the method called in ma
for
which we only have imprecise open-world type-based dispatch resolution, and
the dispatch type is likely to yield implausible dispatch targets.
Import path
import semmle.code.java.dispatch.VirtualDispatch
predicate lowConfidenceDispatchTarget(MethodCall ma, Method m)