Commits

Commit history

1. Commits on Nov 13, 2026

   • Merge pull request #23116 from MathiasVP/fix-gl-value-as-expr-step-1

     Show description for a6af179
     MathiasVP

     authored
     a6af179View commit details

     Copy full SHA for a6af179

     View code at this pointBrowse repository at this point

   • Merge pull request #23118 from MathiasVP/flow-summary-source-node-cleanup

     Show description for c11c0e7
     MathiasVP

     authored
     c11c0e7View commit details

     Copy full SHA for c11c0e7

     View code at this pointBrowse repository at this point
2. Commits on Nov 12, 2026

   • C++: Small cleanup on FlowSummaryImpl.qll

     MathiasVP

     committed
     7be762eView commit details

     Copy full SHA for 7be762e

     View code at this pointBrowse repository at this point

   • C++: Make sure 'asExpr' only has a result for the 'PostUpdateNode' when the indirection index is 1. Previously, it would also have a result for indirection idnex 0.

     MathiasVP

     committed
     aed02aaView commit details

     Copy full SHA for aed02aa

     View code at this pointBrowse repository at this point

   • C++: Add test with duplicated 'asExpr' results.

     MathiasVP

     committed
     b447a9eView commit details

     Copy full SHA for b447a9e

     View code at this pointBrowse repository at this point

   • Merge pull request #22804 from SkyCipherr/codex/fix-missing-check-scanf

     Show description for 7cff658
     geoffw0

     authored
     7cff658View commit details

     Copy full SHA for 7cff658

     View code at this pointBrowse repository at this point

   • C++: cover scanf review edge cases and simplify output check

     SkyCipherr

     committed
     2606c67View commit details

     Copy full SHA for 2606c67

     View code at this pointBrowse repository at this point
3. Commits on Nov 11, 2026

   • Merge pull request #22899 from jketema/jketema/fileannotations

     Show description for b517fa7
     jketema

     authored
     b517fa7View commit details

     Copy full SHA for b517fa7

     View code at this pointBrowse repository at this point
4. Commits on Nov 10, 2026

   • Merge branch 'main' into codex/fix-missing-check-scanf

     geoffw0

     authored
     25b0d64View commit details

     Copy full SHA for 25b0d64

     View code at this pointBrowse repository at this point

   • C++: Update stats file

     jketema

     committed
     70cbf30View commit details

     Copy full SHA for 70cbf30

     View code at this pointBrowse repository at this point

   • C++: Add upgrade and downgrade scripts

     jketema

     committed
     dfb9808View commit details

     Copy full SHA for dfb9808

     View code at this pointBrowse repository at this point

   • C++: Update `File.qll`

     jketema

     committed
     dbb7195View commit details

     Copy full SHA for dbb7195

     View code at this pointBrowse repository at this point

   • C++: Add `compilation` column to `fileannotations`

     jketema

     committed
     c497045View commit details

     Copy full SHA for c497045

     View code at this pointBrowse repository at this point

   • SSA: Rename Expr-named classes.

     aschackmull

     committed
     649c487View commit details

     Copy full SHA for 649c487

     View code at this pointBrowse repository at this point

   • SSA: Remove Expr from df-integration signature.

     aschackmull

     committed
     dcf80b7View commit details

     Copy full SHA for dcf80b7

     View code at this pointBrowse repository at this point

   • SSA: Replace Expr-based member predicates in df-integration.

     aschackmull

     committed
     becc2d8View commit details

     Copy full SHA for becc2d8

     View code at this pointBrowse repository at this point

   • Merge pull request #23051 from aschackmull/ssa/barrierguard-refactor

     Show description for 92c8ce9
     aschackmull

     authored
     92c8ce9View commit details

     Copy full SHA for 92c8ce9

     View code at this pointBrowse repository at this point
5. Commits on Nov 6, 2026

   • SSA: Rename BarrierGuardDefWithState to SsaBarrierGuardWithState

     aschackmull

     committed
     9aaa23fView commit details

     Copy full SHA for 9aaa23f

     View code at this pointBrowse repository at this point
6. Commits on Nov 5, 2026

   • Merge pull request #23022 from MathiasVP/replace-ql-models-with-mad-for-assoc-cleaned-up-step-3

     Show description for 33dfa65
     MathiasVP

     authored
     33dfa65View commit details

     Copy full SHA for 33dfa65

     View code at this pointBrowse repository at this point

   • Merge pull request #23011 from aschackmull/ssa/caching

     Show description for fd83822
     aschackmull

     authored
     fd83822View commit details

     Copy full SHA for fd83822

     View code at this pointBrowse repository at this point

   • Merge pull request #23018 from aschackmull/cpp/iterator-use-use

     Show description for 96852da
     aschackmull

     authored
     96852daView commit details

     Copy full SHA for 96852da

     View code at this pointBrowse repository at this point
7. Commits on Nov 4, 2026

   • C++: Restrict `TypeState` to reachable tuples.

     MathiasVP

     committed
     dacd42aView commit details

     Copy full SHA for dacd42a

     View code at this pointBrowse repository at this point

   • C++: Do not define `typeStep` using `TypeState` columns.

     Show description for 33b8346
     MathiasVP

     committed
     33b8346View commit details

     Copy full SHA for 33b8346

     View code at this pointBrowse repository at this point

   • C++: Add some bindingset annotations.

     MathiasVP

     committed
     a4ca101View commit details

     Copy full SHA for a4ca101

     View code at this pointBrowse repository at this point

   • C++: Move predicates around. This just makes the subsequent diffs smaller.

     MathiasVP

     committed
     4f8f78bView commit details

     Copy full SHA for 4f8f78b

     View code at this pointBrowse repository at this point

   • Merge pull request #23019 from MathiasVP/replace-ql-models-with-mad-for-assoc-cleaned-up-step-2

     Show description for 07502a6
     MathiasVP

     authored
     07502a6View commit details

     Copy full SHA for 07502a6

     View code at this pointBrowse repository at this point

   • C++: Add change note.

     MathiasVP

     committed
     c1402e6View commit details

     Copy full SHA for c1402e6

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     37581e4View commit details

     Copy full SHA for 37581e4

     View code at this pointBrowse repository at this point

   • C++: Drive-by fix: Select the underlying value instead of the reference in CWE-311 queries.

     MathiasVP

     committed
     03a8c20View commit details

     Copy full SHA for 03a8c20

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     11561b0View commit details

     Copy full SHA for 11561b0

     View code at this pointBrowse repository at this point

   • C++: Alow char-like types in CWE-311 queries.

     MathiasVP

     committed
     1bcea30View commit details

     Copy full SHA for 1bcea30

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     da6b766View commit details

     Copy full SHA for da6b766

     View code at this pointBrowse repository at this point

   • C/C++: Skip redundant iterator use-use edges.

     aschackmull

     committed
     944f1bcView commit details

     Copy full SHA for 944f1bc

     View code at this pointBrowse repository at this point

   • C++: Support typedef's in forward models.

     Show description for 4018024
     MathiasVP

     committed
     4018024View commit details

     Copy full SHA for 4018024

     View code at this pointBrowse repository at this point

   • C++: Test nested typedefs in forwarding.

     MathiasVP

     committed
     8f6f788View commit details

     Copy full SHA for 8f6f788

     View code at this pointBrowse repository at this point