Module Paths

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

Import path

semmle.code.java.controlflow.Paths

Imports

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