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

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

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

Commits on Oct 2, 2025