Commits

Commit history

1. Commits on Jan 9, 2026

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

     Show description for 636bbe3
     hvitved

     authored
     636bbe3View commit details

     Copy full SHA for 636bbe3

     Browse repository at this point

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

     Show description for ac62a9f
     paldepind

     authored
     ac62a9fView commit details

     Copy full SHA for ac62a9f

     Browse repository at this point

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

     Show description for 89ddd67
     tausbn

     authored
     89ddd67View commit details

     Copy full SHA for 89ddd67

     Browse repository at this point

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

     hvitved

     committed
     209ee92View commit details

     Copy full SHA for 209ee92

     Browse repository at this point

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

     Show description for 1a29b32
     hvitved

     authored
     1a29b32View commit details

     Copy full SHA for 1a29b32

     Browse repository at this point

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

     Show description for 9493d9d
     owen-mc

     authored
     9493d9dView commit details

     Copy full SHA for 9493d9d

     Browse repository at this point

   • Rust: Use `TypeItem` in path resolution

     paldepind

     committed
     11bd334View commit details

     Copy full SHA for 11bd334

     Browse repository at this point

   • Rust: Fix QL4QL finding

     hvitved

     committed
     e2eaf80View commit details

     Copy full SHA for e2eaf80

     Browse repository at this point

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

     Show description for d7acb75
     owen-mc

     authored
     d7acb75View commit details

     Copy full SHA for d7acb75

     Browse repository at this point

   • Address review comments

     hvitved

     committed
     6028cd6View commit details

     Copy full SHA for 6028cd6

     Browse repository at this point

   • Minor tweaks to QLDocs

     owen-mc

     authored
     8c9318bView commit details

     Copy full SHA for 8c9318b

     Browse repository at this point

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

     Show description for 70c90a1
     owen-mc

     authored
     70c90a1View commit details

     Copy full SHA for 70c90a1

     Browse repository at this point

   • Add changed framework coverage reports

     github-actions[bot]

     committed
     bea93aeView commit details

     Copy full SHA for bea93ae

     Browse repository at this point
2. Commits on Jan 8, 2026

   • Delete experimental models that have been promoted

     Show description for cce6823
     owen-mc

     committed
     cce6823View commit details

     Copy full SHA for cce6823

     Browse repository at this point

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

     Show description for 8a80158
     owen-mc

     authored
     8a80158View commit details

     Copy full SHA for 8a80158

     Browse repository at this point

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

     Show description for c8728c2
     paldepind

     authored
     c8728c2View commit details

     Copy full SHA for c8728c2

     Browse repository at this point

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

     yoff

     authored
     608fa1aView commit details

     Copy full SHA for 608fa1a

     Browse repository at this point

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

     Show description for 26bd332
     paldepind

     authored
     26bd332View commit details

     Copy full SHA for 26bd332

     Browse repository at this point

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

     Show description for 0c8fd83
     jketema

     authored
     0c8fd83View commit details

     Copy full SHA for 0c8fd83

     Browse repository at this point

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

     Show description for c419b51
     owen-mc

     authored
     c419b51View commit details

     Copy full SHA for c419b51

     Browse repository at this point

   • Rust: Use `getAssocItem` consistently in stdlib classes

     paldepind

     committed
     56f5328View commit details

     Copy full SHA for 56f5328

     Browse repository at this point

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

     jketema

     committed
     217c5cbView commit details

     Copy full SHA for 217c5cb

     Browse repository at this point

   • C++: Add tests for logical vector operations

     jketema

     committed
     89c11b8View commit details

     Copy full SHA for 89c11b8

     Browse repository at this point

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

     jketema

     committed
     1ebf623View commit details

     Copy full SHA for 1ebf623

     Browse repository at this point

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

     Show description for 22b88ae
     redsun82

     authored
     22b88aeView commit details

     Copy full SHA for 22b88ae

     Browse repository at this point

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

     Show description for 2ea3c0e
     asgerf

     authored
     2ea3c0eView commit details

     Copy full SHA for 2ea3c0e

     Browse repository at this point

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

     Show description for 7c0054b
     

     paldepind

     and

     geoffw0

     authored
     7c0054bView commit details

     Copy full SHA for 7c0054b

     Browse repository at this point

   • Add changed framework coverage reports

     github-actions[bot]

     committed
     614a051View commit details

     Copy full SHA for 614a051

     Browse repository at this point
3. Commits on Jan 7, 2026

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

     Show description for d048d39
     smowton

     authored
     d048d39View commit details

     Copy full SHA for d048d39

     Browse repository at this point

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

     Show description for a5f6806
     jketema

     authored
     a5f6806View commit details

     Copy full SHA for a5f6806

     Browse repository at this point

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

     redsun82

     committed
     e3503beView commit details

     Copy full SHA for e3503be

     Browse repository at this point

   • Python: Use correct first parameter name for zstd call

     Show description for 8602a2d
     

     tausbn

     and

     yoff

     authored
     8602a2dView commit details

     Copy full SHA for 8602a2d

     Browse repository at this point

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

     Show description for 6a3c74c
     owen-mc

     authored
     6a3c74cView commit details

     Copy full SHA for 6a3c74c

     Browse repository at this point

   • Revert "Change note"

     Show description for 688f10d
     smowton

     committed
     688f10dView commit details

     Copy full SHA for 688f10d

     Browse repository at this point

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

     Show description for 9db11f7
     smowton

     committed
     9db11f7View commit details

     Copy full SHA for 9db11f7

     Browse repository at this point