Commits

Branch selector

 main

User selector

yoff

Datepicker

All time

Commit History

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

• java: add test for aliasing

  Show description for 531b994
  yoff

  committed
  531b994

  Copy full SHA for 531b994

• java: adjust qhelp and examples for SafePublication

  yoff

  committed
  83508ba

  Copy full SHA for 83508ba

Commits on Oct 21, 2025

• java: add test with deeper paths

  Show description for 9e77e5b
  yoff

  committed
  9e77e5b

  Copy full SHA for 9e77e5b

• java: add test for `notFullyMonitored`

  yoff

  committed
  f183a72

  Copy full SHA for f183a72

• java: make as many predicates private as possible

  yoff

  committed
  f4878b3

  Copy full SHA for f4878b3

• 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: fix ql alerts

  yoff

  committed
  3a0a899

  Copy full SHA for 3a0a899

• java: rewrite conflict detection

  Show description for 61a3e96
  

  yoff

  and

  aschackmull

  committed
  61a3e96

  Copy full SHA for 61a3e96

Commits on Oct 13, 2025

• Merge pull request #20630 from github/tausbn/python-fix-importerror-in-imp

  Show description for ab78f2b
  yoff

  authored
  ab78f2b

  Copy full SHA for ab78f2b

Commits on Oct 9, 2025

• java: add qldoc

  Show description for 5109bab
  yoff

  committed
  5109bab

  Copy full SHA for 5109bab

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

  yoff

  committed
  1ad2394

  Copy full SHA for 1ad2394

• java: favour `inline_late` over `inline`

  Show description for f90e9db
  yoff

  committed
  f90e9db

  Copy full SHA for f90e9db

• java: adjust test expectations; new queries are enabled in extended

  yoff

  committed
  26c1b2f

  Copy full SHA for 26c1b2f

• java: fixes from the CI bots

  yoff

  committed
  830f02a

  Copy full SHA for 830f02a

• java: add auto-generated overlay annotations

  yoff

  committed
  93fc287

  Copy full SHA for 93fc287

• java: small cleanups

  Show description for a1671ea
  yoff

  committed
  a1671ea

  Copy full SHA for a1671ea

• java: inline char pred

  yoff

  committed
  821b1de

  Copy full SHA for 821b1de

• java: address some review comments

  yoff

  committed
  01ddc11

  Copy full SHA for 01ddc11

• java: better detection of thread safe fields.

  Show description for 77734f8
  yoff

  committed
  77734f8

  Copy full SHA for 77734f8

• java: update expectations for java-code-quality suite

  yoff

  committed
  bf13869

  Copy full SHA for bf13869

• java: implement SCC contraction of the call graph

  Show description for 096d5f2
  yoff

  committed
  096d5f2

  Copy full SHA for 096d5f2

• 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 May 23, 2025

• Merge pull request #19494 from neilmendum/actions/more-minimal-permission

  Show description for 909c1bb
  yoff

  authored
  909c1bb

  Copy full SHA for 909c1bb

Commits on May 14, 2025

• Merge pull request #19483 from yoff/ruby/more-capturedExitRead

  Show description for 3fa563b
  yoff

  authored
  3fa563b

  Copy full SHA for 3fa563b

Commits on May 13, 2025

• Apply suggestions from code review

  Show description for 3fcd46e
  

  yoff

  and

  Copilot

  authored
  3fcd46e

  Copy full SHA for 3fcd46e

• ruby: add change note

  yoff

  committed
  c70fd6a

  Copy full SHA for c70fd6a

• ruby: also insert `capturedExitRead`-nodes by exceptional exits

  yoff

  committed
  774b182

  Copy full SHA for 774b182

• ruby: test for DeadStore and captured variables

  yoff

  committed
  73bae16

  Copy full SHA for 73bae16

• Merge pull request #19476 from yoff/ruby/DeadStoreOfLocal-precision-high

  Show description for 1c863b1
  yoff

  authored
  1c863b1

  Copy full SHA for 1c863b1

Commits on May 12, 2025

• ruby: adjust precision of `rb/useless-assignment-to-local`

  Show description for a501678
  yoff

  committed
  a501678

  Copy full SHA for a501678

Pagination

Previous

Next