Predicate viableImpl_out
Gets a viable dispatch target for ma
. This is the output dispatch relation.
The set of dispatch targets for Object.toString()
calls are reduced based
on possible data flow from objects of more specific types to the qualifier.
Import path
import semmle.code.java.dispatch.ObjFlow