Module Cached::DispatchWithCallContext
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
Predicates
prunedViableImplInCallContext | Gets a viable run-time dispatch target for the call |
prunedViableImplInCallContextReverse | Gets a viable run-time dispatch target for the call |
reducedViableImplInCallContext | Holds if the call context |
reducedViableImplInReturn | Holds if flow returning from callable |