Module Paths

This library provides predicates for reasoning about the set of all paths through a callable.

Import path

import semmle.code.java.controlflow.Paths

Imports

VirtualDispatch	Provides predicates for reasoning about runtime call targets through virtual dispatch.
java	Provides all default Java QL imports.

Classes

ActionConfiguration

A configuration to define an “action”. The member predicates callableAlwaysPerformsAction and callAlwaysPerformsAction then gives all the callables and calls that always performs an action taking inter-procedural flow into account.