CodeQL library for Java
codeql/java-all 0.3.2 (changelog, source)
Search

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

viableImpl_out

Gets a viable dispatch target for ma. This is the output dispatch relation.