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

Predicate signature InputSig::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.

signature DataFlowCallable viableImplInCallContext(DataFlowCall call, DataFlowCall ctx)