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.DispatchFlowImports
| java | Provides all default Java QL imports. |
Predicates
| viableImpl_out | Gets a viable dispatch target for |
Classes
| Node | A node with a type that is relevant for dispatch flow. |