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 |