Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 5, 2026

• Java: Make Assignment extend BinaryExpr.

  aschackmull

  committed
  ec1d034

  Copy full SHA for ec1d034

Commits on Mar 4, 2026

• Java: Align BinaryExpr.getOp() with AssignOp.getOp().

  aschackmull

  committed
  3c129fc

  Copy full SHA for 3c129fc

Commits on Feb 23, 2026

• Java/Cfg: Introduce new shared CFG library and replace the Java CFG.

  aschackmull

  committed
  48e3724

  Copy full SHA for 48e3724

Commits on Feb 16, 2026

• Replace "javax" with `javaxOrJakarta()`

  Show description for a5e6f6d
  owen-mc

  committed
  a5e6f6d

  Copy full SHA for a5e6f6d

Commits on Feb 4, 2026

• Java: Make loop classes extend LoopStmt and use getBody instead of getStmt.

  aschackmull

  committed
  4fcf3fb

  Copy full SHA for 4fcf3fb

• Java: Rename ReturnStmt.getResult to getExpr.

  aschackmull

  committed
  6f40ac1

  Copy full SHA for 6f40ac1

• Java: Rename getTrueExpr/getFalseExpr on ConditionalExpr to getThen/getElse.

  aschackmull

  committed
  36fa0a2

  Copy full SHA for 36fa0a2

Commits on Jan 27, 2026

• Specify what lock types are considered in qhelp

  owen-mc

  committed
  42cbe07

  Copy full SHA for 42cbe07

• (trivial) Remove double spaces in qhelp

  owen-mc

  committed
  97a0b9f

  Copy full SHA for 97a0b9f

Commits on Nov 12, 2025

• Java: Replace getAUse with getARead.

  aschackmull

  committed
  f4b9efc

  Copy full SHA for f4b9efc

• Java: Replace uses of SsaExplicitUpdate.

  aschackmull

  committed
  483b2d8

  Copy full SHA for 483b2d8

Commits on Oct 27, 2025

• java: adjust qhelp and examples for SafePublication

  yoff

  committed
  83508ba

  Copy full SHA for 83508ba

Commits on Oct 21, 2025

• java: address review comments

  Show description for de05bfb
  yoff

  committed
  de05bfb

  Copy full SHA for de05bfb

• Apply suggestions from code review

  Show description for 715acef
  

  yoff

  and

  aschackmull

  authored
  715acef

  Copy full SHA for 715acef

Commits on Oct 16, 2025

• java: rewrite conflict detection

  Show description for 61a3e96
  

  yoff

  and

  aschackmull

  committed
  61a3e96

  Copy full SHA for 61a3e96

Commits on Oct 9, 2025

• java: move shared code into `Concurrency.qll`

  yoff

  committed
  1ad2394

  Copy full SHA for 1ad2394

• java: fixes from the CI bots

  yoff

  committed
  830f02a

  Copy full SHA for 830f02a

• java: add Escaping query (P1)

  yoff

  committed
  5b30153

  Copy full SHA for 5b30153

• java: add SafePublication query (P2)

  yoff

  committed
  328b535

  Copy full SHA for 328b535

• java: add ThreadSafe query (P3)

  Show description for fe487e8
  

  4 peoplecommitted
  fe487e8

  Copy full SHA for fe487e8

Commits on Oct 8, 2025

• Java: Fix bug in ConstantExpAppearsNonConstant.

  aschackmull

  committed
  99f5dca

  Copy full SHA for 99f5dca

Commits on Sep 30, 2025

• Java: note that classes with entirely private constructors can't be subclassed

  smowton

  committed
  f88daff

  Copy full SHA for f88daff

• Java: Address review comment

  IdrissRio

  committed
  6377111

  Copy full SHA for 6377111

Commits on Sep 29, 2025

• Java: Fix false positives in evaluation-to-constant query for ErrorType

  IdrissRio

  committed
  659afb5

  Copy full SHA for 659afb5

Commits on Sep 10, 2025

• Java: Add some medium precision queries to the code-quality-extended suite.

  michaelnebel

  committed
  5680203

  Copy full SHA for 5680203

Commits on Sep 8, 2025

• Java: Fix more broken performance.

  aschackmull

  committed
  4c1fa58

  Copy full SHA for 4c1fa58

Commits on Sep 1, 2025

• Java: Fix some Ql4Ql violations.

  michaelnebel

  committed
  77113b2

  Copy full SHA for 77113b2

Commits on Jul 25, 2025

• Java: Untangle code a bit to improve join order.

  aschackmull

  committed
  e3021f4

  Copy full SHA for e3021f4

Commits on Jul 18, 2025

• Java: Improve join-order by controlling magic and breaking up TCs.

  aschackmull

  committed
  46ebf50

  Copy full SHA for 46ebf50

• Java: Improve join by preventing ssa use-pair join.

  aschackmull

  committed
  ca8fe03

  Copy full SHA for ca8fe03

• Java: getSourceDeclaration() and getASourceSupertype*() commute and this yields much better join-order.

  aschackmull

  committed
  7883124

  Copy full SHA for 7883124

Commits on Jul 7, 2025

• Improve query docs for `java/java-util-concurrent-scheduledthreadpoolexecutor`

  tamasvajk

  committed
  6013c34

  Copy full SHA for 6013c34

Commits on Jun 30, 2025

• Java: add qhelp references

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  4290411

  Copy full SHA for 4290411

• Java: remove java/run-method-called-on-java-lang-thread-directly

  Show description for 87ab4d0
  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  87ab4d0

  Copy full SHA for 87ab4d0

• Java: add previous-id

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  e266918

  Copy full SHA for e266918