Module VirtualDispatch

Import path

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.

variableTrack

Gets an expression by tracking use backwards through variable assignments.

viableCallable

Classes

CalledMethod

A method that is the target of a call.