Module WrappedInvocation
Provides classes and predicates for reasoning about calls that may invoke one of their arguments.
Import path
import semmle.code.java.dispatch.WrappedInvocation
Imports
FlowSummary | Provides classes and predicates for defining flow summaries. |
VirtualDispatch | Provides predicates for reasoning about runtime call targets through virtual dispatch. |
java | Provides all default Java QL imports. |
Predicates
getRunnerTarget | Gets a method that can be invoked through a functional interface as an argument to |