CodeQL library for Java
codeql/java-all 0.7.5 ( 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 )