This library provides predicates for reasoning about the set of all paths
through a callable.
Provides predicates for reasoning about runtime call targets through virtual dispatch.
Provides all default Java QL imports.
A configuration to define an “action”. The member predicates
callAlwaysPerformsAction then gives all the callables and calls that always performs an action taking inter-procedural flow into account.