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

Module VirtualDispatch

Provides predicates for reasoning about runtime call targets through virtual dispatch.

Import path

import semmle.code.java.dispatch.VirtualDispatch

Imports

Dispatch
TypeFlow

Provides predicates for giving improved type bounds on expressions.

java

Provides all default Java QL imports.

Predicates

exactCallable

A conservative analysis that returns a single callable - if we can establish one - that will be the target of the call.

exactVirtualMethod

A conservative analysis that returns a single method - if we can establish one - that will be the target of the virtual dispatch.

viableCallable

Gets a viable implementation of the target of the given Call.

Classes

VirtCalledSrcMethod

The source declaration of a method that is the target of a virtual call.