Skip to content

Java: Queries for thread-safe classes #19539

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
yoff merged 25 commits into from
Oct 28, 2025
Merged

Java: Queries for thread-safe classes #19539

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
fe487e8
java: add ThreadSafe query (P3)
yoff Jan 13, 2025
328b535
java: add SafePublication query (P2)
yoff May 15, 2025
5b30153
java: add Escaping query (P1)
yoff May 15, 2025
096d5f2
java: implement SCC contraction of the call graph
yoff May 20, 2025
bf13869
java: update expectations for java-code-quality suite
yoff May 22, 2025
77734f8
java: better detection of thread safe fields.
yoff May 27, 2025
01ddc11
java: address some review comments
yoff Jun 9, 2025
821b1de
java: inline char pred
yoff Jun 9, 2025
a1671ea
java: small cleanups
yoff Oct 9, 2025
93fc287
java: add auto-generated overlay annotations
yoff Oct 9, 2025
830f02a
java: fixes from the CI bots
yoff Oct 9, 2025
26c1b2f
java: adjust test expectations; new queries are enabled in extended
yoff Oct 9, 2025
f90e9db
java: favour `inline_late` over `inline`
yoff Oct 9, 2025
1ad2394
java: move shared code into `Concurrency.qll`
yoff Oct 9, 2025
5109bab
java: add qldoc
yoff Oct 9, 2025
61a3e96
java: rewrite conflict detection
yoff Oct 16, 2025
3a0a899
java: fix ql alerts
yoff Oct 16, 2025
715acef
Apply suggestions from code review
yoff Oct 21, 2025
de05bfb
java: address review comments
yoff Oct 21, 2025
f4878b3
java: make as many predicates private as possible
yoff Oct 21, 2025
f183a72
java: add test for `notFullyMonitored`
yoff Oct 21, 2025
9e77e5b
java: add test with deeper paths
yoff Oct 21, 2025
83508ba
java: adjust qhelp and examples for SafePublication
yoff Oct 27, 2025
531b994
java: add test for aliasing
yoff Oct 27, 2025
406e48b
java: fix aliasing FP
yoff Oct 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions java/ql/integration-tests/java/query-suite/java-code-quality.qls.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,10 +30,13 @@ ql/java/ql/src/Likely Bugs/Comparison/WrongNanComparison.ql
ql/java/ql/src/Likely Bugs/Concurrency/CallsToRunnableRun.ql
ql/java/ql/src/Likely Bugs/Concurrency/DoubleCheckedLocking.ql
ql/java/ql/src/Likely Bugs/Concurrency/DoubleCheckedLockingWithInitRace.ql
ql/java/ql/src/Likely Bugs/Concurrency/Escaping.ql
ql/java/ql/src/Likely Bugs/Concurrency/NonSynchronizedOverride.ql
ql/java/ql/src/Likely Bugs/Concurrency/SafePublication.ql
ql/java/ql/src/Likely Bugs/Concurrency/ScheduledThreadPoolExecutorZeroThread.ql
ql/java/ql/src/Likely Bugs/Concurrency/SynchOnBoxedType.ql
ql/java/ql/src/Likely Bugs/Concurrency/SynchSetUnsynchGet.ql
ql/java/ql/src/Likely Bugs/Concurrency/ThreadSafe.ql
ql/java/ql/src/Likely Bugs/Frameworks/JUnit/JUnit5MissingNestedAnnotation.ql
ql/java/ql/src/Likely Bugs/Inheritance/NoNonFinalInConstructor.ql
ql/java/ql/src/Likely Bugs/Likely Typos/ContainerSizeCmpZero.ql
Expand Down
Loading
Loading