Commit history

1. Commits on Oct 24, 2025

   • C++: Make small trivial tweaks

     paldepind

     committed
     d1ea1afView commit details

     Copy full SHA for d1ea1af

     View code at this pointBrowse repository at this point

   • C++: Simplify boundFromGuard

     Show description for 5709964
     paldepind

     committed
     5709964View commit details

     Copy full SHA for 5709964

     View code at this pointBrowse repository at this point

   • C++: Use `or` instead of `if`

     Show description for 383e6a4
     paldepind

     committed
     383e6a4View commit details

     Copy full SHA for 383e6a4

     View code at this pointBrowse repository at this point

   • C++: Fix typos in tests

     paldepind

     committed
     3af9885View commit details

     Copy full SHA for 3af9885

     View code at this pointBrowse repository at this point

   • C++: Add toString for RelationStrictness

     Show description for 17e0dec
     paldepind

     committed
     17e0decView commit details

     Copy full SHA for 17e0dec

     View code at this pointBrowse repository at this point

   • Merge pull request #20645 from paldepind/cpp/range-analysis-measure

     Show description for a0a6f28
     paldepind

     authored
     a0a6f28View commit details

     Copy full SHA for a0a6f28

     View code at this pointBrowse repository at this point
2. Commits on Oct 23, 2025

   • Guards: Align the SSA signature with the one from shared SSA.

     aschackmull

     committed
     f257c7aView commit details

     Copy full SHA for f257c7a

     View code at this pointBrowse repository at this point

   • Merge pull request #20558 from aschackmull/csharp/guards3

     Show description for 8a3f62b
     aschackmull

     authored
     8a3f62bView commit details

     Copy full SHA for 8a3f62b

     View code at this pointBrowse repository at this point
3. Commits on Oct 21, 2025

   • C++: Accept test changes

     paldepind

     committed
     f207404View commit details

     Copy full SHA for f207404

     View code at this pointBrowse repository at this point

   • C++: Address review comments

     paldepind

     committed
     0badcfdView commit details

     Copy full SHA for 0badcfd

     View code at this pointBrowse repository at this point
4. Commits on Oct 18, 2025

   • Merge branch 'main' into santander-java-crypto-check

     bdrodes

     authored
     2b683c2View commit details

     Copy full SHA for 2b683c2

     View code at this pointBrowse repository at this point
5. Commits on Oct 17, 2025

   • Merge pull request #20603 from owen-mc/update-broken-algo-qhelp

     Show description for 66f95bc
     owen-mc

     authored
     66f95bcView commit details

     Copy full SHA for 66f95bc

     View code at this pointBrowse repository at this point

   • C++: Apply suggested fixes from review

     paldepind

     committed
     979b05cView commit details

     Copy full SHA for 979b05c

     View code at this pointBrowse repository at this point
6. Commits on Oct 16, 2025

   • C++: Add change note

     paldepind

     committed
     68d4240View commit details

     Copy full SHA for 68d4240

     View code at this pointBrowse repository at this point

   • C++: Add debug predicates

     paldepind

     committed
     9502d83View commit details

     Copy full SHA for 9502d83

     View code at this pointBrowse repository at this point

   • C++: Handle guard phi nodes differently

     paldepind

     committed
     c1f0f3dView commit details

     Copy full SHA for c1f0f3d

     View code at this pointBrowse repository at this point

   • C++: Add additional test for range analysis

     paldepind

     committed
     99103a5View commit details

     Copy full SHA for 99103a5

     View code at this pointBrowse repository at this point

   • C++: Add number of bounds test to simple range analysis

     paldepind

     committed
     8896a72View commit details

     Copy full SHA for 8896a72

     View code at this pointBrowse repository at this point

   • C++: Apply widening based on number of bounds measure

     paldepind

     committed
     7eacd87View commit details

     Copy full SHA for 7eacd87

     View code at this pointBrowse repository at this point
7. Commits on Oct 15, 2025

   • C++: Add range analysis examples that explode

     paldepind

     committed
     70a8c4fView commit details

     Copy full SHA for 70a8c4f

     View code at this pointBrowse repository at this point

   • C++: Factor out widening of bounds

     paldepind

     committed
     8aaf9f6View commit details

     Copy full SHA for 8aaf9f6

     View code at this pointBrowse repository at this point
8. Commits on Oct 14, 2025

   • Post-release preparation for codeql-cli-2.23.3

     

     github-actions[bot]

     committed
     6dd0779View commit details

     Copy full SHA for 6dd0779

     View code at this pointBrowse repository at this point

   • Rephrase C++ BMN changelog note

     henrymercer

     committed
     17352a1View commit details

     Copy full SHA for 17352a1

     View code at this pointBrowse repository at this point

   • Prefer code quotes for BMN

     henrymercer

     committed
     9466279View commit details

     Copy full SHA for 9466279

     View code at this pointBrowse repository at this point

   • Release preparation for version 2.23.3

     

     github-actions[bot]

     committed
     33542f7View commit details

     Copy full SHA for 33542f7

     View code at this pointBrowse repository at this point
9. Commits on Oct 8, 2025

   • Crypto: Standardize naming where use of "family" and "type" have been used. Prefer 'type'.

     bdrodes

     committed
     cf88e3fView commit details

     Copy full SHA for cf88e3f

     View code at this pointBrowse repository at this point

   • Improve qhelp for broken crypto algo queries

     Show description for 0bcdb91
     owen-mc

     committed
     0bcdb91View commit details

     Copy full SHA for 0bcdb91

     View code at this pointBrowse repository at this point
10. Commits on Oct 7, 2025

    • C++: Add a changenote for C/C++ BMN GA

      igfoo

      committed
      791a92bView commit details

      Copy full SHA for 791a92b

      View code at this pointBrowse repository at this point
11. Commits on Oct 6, 2025

    • Merge branch 'main' into jca_signature_extensions

      nicolaswill

      authored
      378eb18View commit details

      Copy full SHA for 378eb18

      View code at this pointBrowse repository at this point
12. Commits on Oct 3, 2025

    • Crypto: Fix consistency update with "other" vs "unknown" naming convetions for openssl.

      bdrodes

      committed
      f4fea6dView commit details

      Copy full SHA for f4fea6d

      View code at this pointBrowse repository at this point

    • C++: Accept qltest change (useless guard tautology removed).

      aschackmull

      committed
      fad49ffView commit details

      Copy full SHA for fad49ff

      View code at this pointBrowse repository at this point
13. Commits on Oct 2, 2025

    • Merge pull request #20573 from MathiasVP/fix-bad-magic-on-get-file

      Show description for 7807804
      jketema

      authored
      7807804View commit details

      Copy full SHA for 7807804

      View code at this pointBrowse repository at this point

    • Crypto: Refactor and change casts to `super`

      nicolaswill

      committed
      4901cdfView commit details

      Copy full SHA for 4901cdf

      View code at this pointBrowse repository at this point

    • C++: Fix bad magic on `Element.getFile` when running on InconsistentCheckReturnNull.qll:

      Show description for bc0b876
      MathiasVP

      committed
      bc0b876View commit details

      Copy full SHA for bc0b876

      View code at this pointBrowse repository at this point

    • Merge branch 'main' into signature_model_refactor

      bdrodes

      authored
      d251b3fView commit details

      Copy full SHA for d251b3f

      View code at this pointBrowse repository at this point