Repository navigation

Crypto: Refactor Model and signatures, fix models, add unit tests - #19944

Merged

nicolaswill merged 31 commits into

github:mainfrom

bdrodes:signature_model_refactor

Oct 2, 2025

Merged

Crypto: Refactor Model and signatures, fix models, add unit tests#19944
nicolaswill merged 31 commits into
github:mainfrom
bdrodes:signature_model_refactor

Commits on Jun 26, 2025
- Crypto: Fix openssl padding to propery link async padding to hashing configs.
  bdrodes
  committed
  6e5734a
Commits on Jun 27, 2025
- Merge branch 'operation_step_refactor' into openssl_padding_refactor
  bdrodes
  committed
  97cd083
- Merge branch 'main' into openssl_padding_refactor
  bdrodes
  committed
  eba1204
Commits on Jun 30, 2025
- Crypto: fix Ql-for-QL alerts.
  bdrodes
  committed
  e6b363b
- Crypto: Initial sketch for refactoring MAC and signatures to account for APIs having one function to do both. Incomplete. Work in progress.
  bdrodes
  committed
  8b64a72
Commits on Jul 1, 2025
Commits on Aug 20, 2025
- Merge branch 'main' into signature_model_refactor
  bdrodes
  authored
  65ff727
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
  ec7e41c
Commits on Aug 22, 2025
- Crypto: nodes.expected update and removed dead code from Language.qll
  bdrodes
  committed
  b7ceeb3
Commits on Aug 25, 2025
- Crypto: OperationStep overhaul to account for errors and missing interproc flow.
  bdrodes
  committed
  5d29240
Commits on Aug 26, 2025
Commits on Aug 29, 2025
- Crypto: Moving all data flow analyses to taint tracking.
  bdrodes
  committed
  74ce7cd
Commits on Oct 1, 2025
- Crypto: Adding necessary model interfaces for MacOperationCall in JCA.
  bdrodes
  committed
  92dac03
- Crypto: Fix for non-monotonic recursion in JCA
  bdrodes
  committed
  d49efef
Commits on Oct 2, 2025

Commits

Commits on Jun 26, 2025

Commits on Jun 27, 2025

Commits on Jun 30, 2025

Commits on Jul 1, 2025

Commits on Aug 20, 2025

Commits on Aug 21, 2025

Commits on Aug 22, 2025

Commits on Aug 25, 2025

Commits on Aug 26, 2025

Commits on Aug 29, 2025

Commits on Oct 1, 2025

Commits on Oct 2, 2025