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

Merged

nicolaswill merged 31 commits intogithub: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

Commits on Jun 27, 2025

Commits on Jun 30, 2025

Crypto: fix Ql-for-QL alerts.
bdrodes
committed
Crypto: Initial sketch for refactoring MAC and signatures to account for APIs having one function to do both. Incomplete. Work in progress.
bdrodes
committed

Commits on Aug 20, 2025

Merge branch 'main' into signature_model_refactor
bdrodes
authored

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

Commits on Aug 22, 2025

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

Commits on Aug 25, 2025

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

Commits on Aug 29, 2025

Crypto: Moving all data flow analyses to taint tracking.
bdrodes
committed

Commits on Oct 1, 2025

Commits on Oct 2, 2025