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

Module Concurrency

Import path

import semmle.code.java.Concurrency

Imports

java

Provides all default Java QL imports.

Predicates

locallySynchronizedOn

Holds if e is synchronized by a local synchronized statement sync on the variable v.

locallySynchronizedOnClass

Holds if e is synchronized by a synchronized modifier on the enclosing (static) method.

locallySynchronizedOnThis

Holds if e is synchronized by a local synchronized statement on a this of type thisType, or by a synchronized modifier on the enclosing (non-static) method.

Classes

SynchronizedCallable

A callable that is synchronized on its enclosing instance, either by a synchronized modifier, or by having a body which is precisely synchronized(this) { ... }.