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

Module Dispatch

Import path

import semmle.code.java.dispatch.VirtualDispatch

Predicates

exactMethodImpl

Gets the implementation of top present on a value of precisely type t.

lowConfidenceDispatchTarget

Holds if m is a viable implementation of the method called in ma for which we only have imprecise open-world type-based dispatch resolution, and the dispatch type is likely to yield implausible dispatch targets.

viableImpl

Gets a viable implementation of the method called in the given method access.

viableImpl_v1

INTERNAL: Use viableImpl instead.

viableImpl_v2

INTERNAL: Use viableImpl instead.

viableImpl_v3

INTERNAL: Use viableImpl instead.

viableMethodImpl

Gets the implementations of top present on viable subtypes of t.