Commits

Commit history

1. Commits on Sep 17, 2026

   • cpp: address review nits on qhelp references and test header

     Tito0015

     committed
     e41e090View commit details

     Copy full SHA for e41e090

     View code at this pointBrowse repository at this point

   • cpp: remove non-ASCII character in test file

     Tito0015

     committed
     ff2416bView commit details

     Copy full SHA for ff2416b

     View code at this pointBrowse repository at this point

   • cpp: fix alert location and update integration test expectations

     Tito0015

     committed
     5d6e2d4View commit details

     Copy full SHA for 5d6e2d4

     View code at this pointBrowse repository at this point

   • cpp: Move mmio-unsanitized-memcpy to experimental

     Show description for 30544e8
     Tito0015

     committed
     30544e8View commit details

     Copy full SHA for 30544e8

     View code at this pointBrowse repository at this point
2. Commits on Jul 7, 2026

   • Address review comments

     owen-mc

     committed
     9d95906View commit details

     Copy full SHA for 9d95906

     View code at this pointBrowse repository at this point

   • Add `MISSING:` tag

     owen-mc

     committed
     76d8ae8View commit details

     Copy full SHA for 76d8ae8

     View code at this pointBrowse repository at this point

   • Add `SPURIOUS:` tags

     owen-mc

     committed
     843ac7cView commit details

     Copy full SHA for 843ac7c

     View code at this pointBrowse repository at this point

   • C++: Convert qlref tests to inline expectations

     owen-mc

     committed
     a2c5d4cView commit details

     Copy full SHA for a2c5d4c

     View code at this pointBrowse repository at this point
3. Commits on May 13, 2026

   • C++: Accept test changes in experimental query.

     MathiasVP

     committed
     07b8d7eView commit details

     Copy full SHA for 07b8d7e

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

   • 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
5. Commits on Sep 18, 2025

   • C++: Accept test changes.

     MathiasVP

     committed
     2dc783dView commit details

     Copy full SHA for 2dc783d

     View code at this pointBrowse repository at this point
6. Commits on Aug 26, 2025

   • Crypto: Debug missing hashes associated with HMAC. EVP_PKEY_get1_RSA is now just a passthrough, it is not a known implicit operation call. Some final operations generating null outputs are now remo…

     Show description for 938b47c
     bdrodes

     committed
     938b47cView commit details

     Copy full SHA for 938b47c

     View code at this pointBrowse repository at this point
7. Commits on Aug 25, 2025

   • Crypto: OperationStep overhaul to account for errors and missing interproc flow.

     bdrodes

     committed
     5d29240View commit details

     Copy full SHA for 5d29240

     View code at this pointBrowse repository at this point
8. Commits on Aug 22, 2025

   • Crypto: nodes.expected update and removed dead code from Language.qll

     bdrodes

     committed
     b7ceeb3View commit details

     Copy full SHA for b7ceeb3

     View code at this pointBrowse repository at this point
9. Commits on Aug 21, 2025

   • Crypto: Fixed issues in CBOM representations (gaps in the underlying model) and simplified unit tests in terms of the graph complexity to aid visual assessments of model correctness.

     bdrodes

     committed
     ec7e41cView commit details

     Copy full SHA for ec7e41c

     View code at this pointBrowse repository at this point
10. Commits on Aug 20, 2025

    • Merge branch 'main' into signature_model_refactor

      bdrodes

      authored
      65ff727View commit details

      Copy full SHA for 65ff727

      View code at this pointBrowse repository at this point
11. Commits on Jul 1, 2025

    • Crypto: Misc. cleanup and completed model refactor for Mac. Passing tests for openssl, refactor still required for JCA.

      bdrodes

      committed
      d32e09aView commit details

      Copy full SHA for d32e09a

      View code at this pointBrowse repository at this point
12. Commits on Jun 30, 2025

    • Merge pull request #17581 from jketema/loc-table-merge

      Show description for 6ae1656
      jketema

      authored
      6ae1656View commit details

      Copy full SHA for 6ae1656

      View code at this pointBrowse repository at this point
13. Commits on Jun 27, 2025

    • Merge branch 'operation_step_refactor' into openssl_padding_refactor

      Show description for 97cd083
      bdrodes

      committed
      97cd083View commit details

      Copy full SHA for 97cd083

      View code at this pointBrowse repository at this point

    • C++: Merge the location tables

      jketema

      committed
      b4caba7View commit details

      Copy full SHA for b4caba7

      View code at this pointBrowse repository at this point
14. Commits on Jun 26, 2025

    • Crypto: Add key input support for the graph for key generation operations.

      bdrodes

      committed
      505d880View commit details

      Copy full SHA for 505d880

      View code at this pointBrowse repository at this point

    • Crypto: Fix openssl padding to propery link async padding to hashing configs.

      bdrodes

      committed
      6e5734aView commit details

      Copy full SHA for 6e5734a

      View code at this pointBrowse repository at this point
15. Commits on Jun 25, 2025

    • Crypto: Misc bug fixes and updated expected files.

      bdrodes

      committed
      93bad3cView commit details

      Copy full SHA for 93bad3c

      View code at this pointBrowse repository at this point
16. Commits on Jun 13, 2025

    • Crypto: Update expected files. There are failures, but accepting them for now and noting the issue for a future PR.

      bdrodes

      committed
      fb495bfView commit details

      Copy full SHA for fb495bf

      View code at this pointBrowse repository at this point

    • Crypto: Initial model of signatures. Still incomplete for verification and correct handling of MACs.

      bdrodes

      committed
      cf2f0f1View commit details

      Copy full SHA for cf2f0f1

      View code at this pointBrowse repository at this point
17. Commits on Jun 12, 2025

    • Crypto: Further simplify test caes to only use edges/nodes/properties. Update model to account for MAC algorithms.

      bdrodes

      committed
      eb20955View commit details

      Copy full SHA for eb20955

      View code at this pointBrowse repository at this point

    • Crypto: Overhaul/refactor of EVPInitialzers. Update cipher operation to disallow null key and IV on initializers (typically do not represent an actual key or IV).

      bdrodes

      committed
      20e2c7cView commit details

      Copy full SHA for 20e2c7c

      View code at this pointBrowse repository at this point
18. Commits on Jun 11, 2025

    • Crypto: Consolidate tests to use node, edges, and properties.

      bdrodes

      committed
      8f25380View commit details

      Copy full SHA for 8f25380

      View code at this pointBrowse repository at this point

    • Crypto: Add support to trace keys, add support to find prior key gen properties that configure downstream operations. Add key size tests

      bdrodes

      committed
      d3cff2dView commit details

      Copy full SHA for d3cff2d

      View code at this pointBrowse repository at this point
19. Commits on Jun 10, 2025

    • Crypto: Nop out signature operations for now until complete. Minor model update. Remove setting RSA bits as an RSA algorithm. Fix bug in hash algorithm. Add missing PKey encryption to cipher ops. C…

      Show description for 7d47994
      bdrodes

      committed
      7d47994View commit details

      Copy full SHA for 7d47994

      View code at this pointBrowse repository at this point
20. Commits on Jun 9, 2025

    • Crypto: CtxFlow now uses an interface for additional steps. Add CTX step to handle paramgen. Remove redundant test. Overhaul of EVP update/initializer/final mechanics. Misc. updates for new API and…

      Show description for 4f2045b
      bdrodes

      committed
      4f2045bView commit details

      Copy full SHA for 4f2045b

      View code at this pointBrowse repository at this point
21. Commits on Jun 5, 2025

    • Crypto: Add EVP key gen and signature operation (work in progress). Add initial signature tests (no expected files yet). Add new openssl .h stubs. Clean up of OperationBase and associated uses. Up…

      Show description for 98aae6a
      bdrodes

      committed
      98aae6aView commit details

      Copy full SHA for 98aae6a

      View code at this pointBrowse repository at this point
22. Commits on Jun 3, 2025

    • fix openssl outputs

      GrosQuildu

      committed
      af8702dView commit details

      Copy full SHA for af8702d

      View code at this pointBrowse repository at this point

    • refactor EVP common classes

      Show description for 6d1b1d1
      GrosQuildu

      committed
      6d1b1d1View commit details

      Copy full SHA for 6d1b1d1

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

    • Crypto: Move crypto test stubs under experimental/stubs and remove special CODEOWNERS assignments for crypto stubs.

      

      bdrodes

      authored and

      nicolaswill

      committed
      a473c96View commit details

      Copy full SHA for a473c96

      View code at this pointBrowse repository at this point