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

Predicate 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.

Import path

import semmle.code.java.Concurrency
predicate locallySynchronizedOnThis(Expr e, RefType thisType)