CodeQL library for Java/Kotlin
codeql/java-all 0.9.0 (changelog, source)
Search

Predicate DispatchImpl::viableImplInCallContext

Gets a viable dispatch target of call in the context ctx. This is restricted to those calls for which a context might make a difference.

Import path

import semmle.code.java.dataflow.internal.DataFlowDispatch
DataFlowCallable viableImplInCallContext(DataFlowCall call, DataFlowCall ctx)