Module VirtualDispatch
Provides predicates for reasoning about runtime call targets through virtual dispatch.
Import path
import semmle.code.java.dispatch.VirtualDispatch
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 |
Classes
VirtCalledSrcMethod | The source declaration of a method that is the target of a virtual call. |