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

Predicate locallySynchronizedOn

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

Import path

import semmle.code.java.Concurrency
predicate locallySynchronizedOn(Expr e, SynchronizedStmt sync, Variable v)