Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on Jan 9, 2026

• Merge pull request #21122 from hvitved/rust/summary-read-taint-step

  Show description for 636bbe3
  hvitved

  authored
  636bbe3

  Copy full SHA for 636bbe3

• Merge pull request #21133 from paldepind/rust/type-item-path-resolution

  Show description for ac62a9f
  paldepind

  authored
  ac62a9f

  Copy full SHA for ac62a9f

• Merge pull request #21002 from github/tausbn/python-add-models-for-zstd-compression

  Show description for 89ddd67
  tausbn

  authored
  89ddd67

  Copy full SHA for 89ddd67

• Rust: Also lift read steps in summaries as taint steps

  hvitved

  committed
  209ee92

  Copy full SHA for 209ee92

• Merge pull request #20987 from hvitved/rust/type-inference-deref-trait

  Show description for 1a29b32
  hvitved

  authored
  1a29b32

  Copy full SHA for 1a29b32

• Merge pull request #21131 from github/workflow/coverage/update

  Show description for 9493d9d
  owen-mc

  authored
  9493d9d

  Copy full SHA for 9493d9d

• Rust: Use `TypeItem` in path resolution

  paldepind

  committed
  11bd334

  Copy full SHA for 11bd334

• Rust: Fix QL4QL finding

  hvitved

  committed
  e2eaf80

  Copy full SHA for e2eaf80

• Merge pull request #21055 from owen-mc/java/allow-mad-barriers

  Show description for d7acb75
  owen-mc

  authored
  d7acb75

  Copy full SHA for d7acb75

• Address review comments

  hvitved

  committed
  6028cd6

  Copy full SHA for 6028cd6

• Minor tweaks to QLDocs

  owen-mc

  authored
  8c9318b

  Copy full SHA for 8c9318b

• Merge pull request #21129 from owen-mc/java/delete-promoted-experimental-models

  Show description for 70c90a1
  owen-mc

  authored
  70c90a1

  Copy full SHA for 70c90a1

• Add changed framework coverage reports

  github-actions[bot]

  committed
  bea93ae

  Copy full SHA for bea93ae

Commits on Jan 8, 2026

• Delete experimental models that have been promoted

  Show description for cce6823
  owen-mc

  committed
  cce6823

  Copy full SHA for cce6823

• Merge pull request #17590 from Kwstubbs/java-mad-test

  Show description for 8a80158
  owen-mc

  authored
  8a80158

  Copy full SHA for 8a80158

• Merge pull request #21125 from paldepind/rust/builtin-refactor

  Show description for c8728c2
  paldepind

  authored
  c8728c2

  Copy full SHA for c8728c2

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

  yoff

  authored
  608fa1a

  Copy full SHA for 608fa1a

• Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil

  Show description for 26bd332
  paldepind

  authored
  26bd332

  Copy full SHA for 26bd332

• Merge pull request #21124 from jketema/jketema/vec-expr

  Show description for 0c8fd83
  jketema

  authored
  0c8fd83

  Copy full SHA for 0c8fd83

• Merge pull request #21120 from github/workflow/coverage/update

  Show description for c419b51
  owen-mc

  authored
  c419b51

  Copy full SHA for c419b51

• Rust: Use `getAssocItem` consistently in stdlib classes

  paldepind

  committed
  56f5328

  Copy full SHA for 56f5328

• C++: Update tests after adding extractor support for logical vector operations

  jketema

  committed
  217c5cb

  Copy full SHA for 217c5cb

• C++: Add tests for logical vector operations

  jketema

  committed
  89c11b8

  Copy full SHA for 89c11b8

• C++: Add space in tests for adding new tests in a logical place

  jketema

  committed
  1ebf623

  Copy full SHA for 1ebf623

• Merge pull request #21119 from github/redsun82/cmake

  Show description for 22b88ae
  redsun82

  authored
  22b88ae

  Copy full SHA for 22b88ae

• Merge pull request #20938 from tesseractjh/js/use-cache-directives

  Show description for 2ea3c0e
  asgerf

  authored
  2ea3c0e

  Copy full SHA for 2ea3c0e

• C++: Tweak a comment in simple range analysis

  Show description for 7c0054b
  

  paldepind

  and

  geoffw0

  authored
  7c0054b

  Copy full SHA for 7c0054b

• Add changed framework coverage reports

  github-actions[bot]

  committed
  614a051

  Copy full SHA for 614a051

Commits on Jan 7, 2026

• Merge pull request #21117 from smowton/smowton/admin/revert-java-paths-directives

  Show description for d048d39
  smowton

  authored
  d048d39

  Copy full SHA for d048d39

• Merge pull request #21105 from jketema/load-this

  Show description for a5f6806
  jketema

  authored
  a5f6806

  Copy full SHA for a5f6806

• Cmake: fix bazel not generating files for the cmake generator

  redsun82

  committed
  e3503be

  Copy full SHA for e3503be

• Python: Use correct first parameter name for zstd call

  Show description for 8602a2d
  

  tausbn

  and

  yoff

  authored
  8602a2d

  Copy full SHA for 8602a2d

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

  Show description for 6a3c74c
  owen-mc

  authored
  6a3c74c

  Copy full SHA for 6a3c74c

• Revert "Change note"

  Show description for 688f10d
  smowton

  committed
  688f10d

  Copy full SHA for 688f10d

• Revert "Add integration test for paths and paths-ignore vs. Java buildless mode"

  Show description for 9db11f7
  smowton

  committed
  9db11f7

  Copy full SHA for 9db11f7