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

Module DispatchFlow

INTERNAL: This is part of the virtual dispatch computation.

Provides a strengthening of the virtual dispatch relation using a dedicated data flow check for lambdas, anonymous classes, and other sufficiently private classes where all object instantiations are accounted for.

Import path

import semmle.code.java.dispatch.DispatchFlow

Imports

java

Provides all default Java QL imports.

Predicates

viableImpl_out

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