Commits

Breadcrumbs

History for

on608fa1a

User selector

All users

All time

Commit History

Commits on Jan 8, 2026

• Merge pull request #20910 from yoff/java/more-thread-safe-initialisers

  yoff

  authored
  608fa1a

  Copy full SHA for 608fa1a

Commits on Jan 7, 2026

• Merge pull request #20999 from joefarebrother/java-spring-websocket

  Show description for 6a3c74c
  owen-mc

  authored
  6a3c74c

  Copy full SHA for 6a3c74c

• Add model for `handlePongMessage` and update test

  owen-mc

  authored
  6c291e1

  Copy full SHA for 6c291e1

Commits on Dec 16, 2025

• java: understand more initializers

  Show description for c6240e5
  yoff

  committed
  c6240e5

  Copy full SHA for c6240e5

• java: add tests for thread safe initialisation

  Show description for a65d385
  

  yoff

  and

  raulpardo

  committed
  a65d385

  Copy full SHA for a65d385

Commits on Dec 10, 2025

• Java: Extend test to cover assertion-like barrier guards.

  aschackmull

  committed
  eaa9686

  Copy full SHA for eaa9686

Commits on Dec 9, 2025

• minor formatting tweak

  joefarebrother

  committed
  94fcee5

  Copy full SHA for 94fcee5

• Test fixes + more tests

  joefarebrother

  committed
  d98e660

  Copy full SHA for d98e660

• Generate stubs

  joefarebrother

  committed
  1d61da5

  Copy full SHA for 1d61da5

• Add tests

  joefarebrother

  committed
  a594ca9

  Copy full SHA for a594ca9

Commits on Dec 4, 2025

• Merge pull request #20956 from owen-mc/java/improve-regex-sanitizer

  Show description for 5c8ab1f
  owen-mc

  authored
  5c8ab1f

  Copy full SHA for 5c8ab1f

Commits on Dec 3, 2025

• Use flowFrom.

  aschackmull

  committed
  dc6d3fe

  Copy full SHA for dc6d3fe

Commits on Dec 2, 2025

• Make tests pass

  owen-mc

  committed
  a85d0ea

  Copy full SHA for a85d0ea

• Add failing tests for more regex match methods

  owen-mc

  committed
  8fd8fc0

  Copy full SHA for 8fd8fc0

Commits on Nov 24, 2025

• Range library recognises long literals now

  owen-mc

  authored
  1a59839

  Copy full SHA for 1a59839

Commits on Nov 21, 2025

• Use range analysis and improve tests

  owen-mc

  authored
  ec381e4

  Copy full SHA for ec381e4

Commits on Nov 20, 2025

• Fixed formatting

  aegilops

  committed
  e904520

  Copy full SHA for e904520

• Merge branch 'main' into java-kotlin-sensitive-logging-substring-barriers

  aegilops

  authored
  801cd72

  Copy full SHA for 801cd72

• Merge commit

  aegilops

  committed
  1e67907

  Copy full SHA for 1e67907

• Made changes requested by reviewers - bounded() for range checking, style and better comments

  aegilops

  committed
  62ee6d3

  Copy full SHA for 62ee6d3

Commits on Nov 18, 2025

• Merge pull request #20761 from aschackmull/java/ssa-shared

  Show description for fe7be22
  aschackmull

  authored
  fe7be22

  Copy full SHA for fe7be22

Commits on Nov 17, 2025

• Merge branch 'main' into java-kotlin-sensitive-logging-substring-barriers

  aegilops

  authored
  7b25e22

  Copy full SHA for 7b25e22

Commits on Nov 14, 2025

• Test cases for sensitive logging sanitizer

  aegilops

  committed
  fa703e3

  Copy full SHA for fa703e3

Commits on Nov 12, 2025

• Guards: Support disjunctive implications.

  aschackmull

  committed
  d680039

  Copy full SHA for d680039

• Java: Add test for a known FP.

  aschackmull

  committed
  2192d75

  Copy full SHA for 2192d75

• Java: Accept qltest changes due to dropped UntrackedDef.

  aschackmull

  committed
  109a5eb

  Copy full SHA for 109a5eb

• Java: Accept toString changes in qltest.

  aschackmull

  committed
  e059ded

  Copy full SHA for e059ded

• Java: Replace usages of SsaVariable.

  aschackmull

  committed
  f0bd034

  Copy full SHA for f0bd034

• Java: Replace getAUse with getARead.

  aschackmull

  committed
  f4b9efc

  Copy full SHA for f4b9efc

• Java: Replace SsaPhiNode with SsaPhiDefinition.

  aschackmull

  committed
  35caede

  Copy full SHA for 35caede

• Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

  aschackmull

  committed
  06df5c0

  Copy full SHA for 06df5c0

• Java: Replace getAFirstUse with top-level predicate.

  aschackmull

  committed
  07e6356

  Copy full SHA for 07e6356

Commits on Oct 29, 2025

• Pretty print models in test

  Show description for 7ad570b
  owen-mc

  committed
  7ad570b

  Copy full SHA for 7ad570b

Commits on Oct 28, 2025

• Merge pull request #19539 from yoff/java/conflicting-access

  yoff

  authored
  4461be1

  Copy full SHA for 4461be1

Commits on Oct 27, 2025

• java: fix aliasing FP

  Show description for 406e48b
  yoff

  committed
  406e48b

  Copy full SHA for 406e48b