CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

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.