Predicate Cached::recordDataFlowCallSiteDispatch
Holds if the call context call
improves virtual dispatch in callable
.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSiteDispatch(DataFlowCall call, DataFlowCallable callable)