Module VirtualDispatch

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

Import path

import semmle.code.java.dispatch.VirtualDispatch

Dispatch
TypeFlow	Provides predicates for giving improved type bounds on expressions.
java	Provides all default Java QL imports.

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`.

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