Module ObjFlow

Provides a dispatch relation viableImpl_out that reduces the set of dispatch targets for Object.toString() calls relative to the input dispatch relation viableImpl_inp.

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

Imports

java	Provides all default Java QL imports.

Predicates

objectToStringCall	Holds if `ma` is an `Object.toString()` call taking possibly improved type bounds into account.
viableImpl_out	Gets a viable dispatch target for `ma`. This is the output dispatch relation.