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 |