For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Paths

Import path
Imports
Classes

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.