Java: Queries for thread-safe classes#19539

Open

yoff wants to merge 8 commits intogithub:mainfrom

yoff:java/conflicting-access

Commits on May 22, 2025

java: add ThreadSafe query (P3)
Show description for 18bb94f

committed
18bb94f
Copy full SHA for 18bb94f
java: add SafePublication query (P2)
yoff
committed
4a546d5
Copy full SHA for 4a546d5
java: add Escaping query (P1)
yoff
committed
aa5cc6d
Copy full SHA for aa5cc6d
java: implement SCC contraction of the call graph
Show description for c2374e5
yoff
committed
c2374e5
Copy full SHA for c2374e5
java: update expectations for java-code-quality suite
yoff
committed
6240ae9
Copy full SHA for 6240ae9

Commits on May 27, 2025

java: better detection of thread safe fields.
Show description for 6cbcc22
yoff
committed
6cbcc22
Copy full SHA for 6cbcc22

Commits on Jun 9, 2025

java: address some review comments
yoff
committed
53d4f60
Copy full SHA for 53d4f60
java: inline char pred
yoff
committed
02c26ce
Copy full SHA for 02c26ce