REDMOND\brodes
|
938b47c2ad
|
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 removed from possible final operartions (typically used to determine buffer lenghth and not actually performing the operation). Misc. false positive/error fixes and code clean up, and added missing models.
|
2025-08-26 16:07:04 -04:00 |
|
REDMOND\brodes
|
5d29240f27
|
Crypto: OperationStep overhaul to account for errors and missing interproc flow.
|
2025-08-25 16:59:09 -04:00 |
|
REDMOND\brodes
|
8b64a72fe1
|
Crypto: Initial sketch for refactoring MAC and signatures to account for APIs having one function to do both. Incomplete. Work in progress.
|
2025-06-30 15:36:55 -04:00 |
|
REDMOND\brodes
|
97cd083f65
|
Merge branch 'operation_step_refactor' into openssl_padding_refactor
# Conflicts:
# cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/AlgToAVCFlow.qll
# cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/PaddingAlgorithmInstance.qll
|
2025-06-27 09:42:06 -04:00 |
|
REDMOND\brodes
|
9f0c62b572
|
Crypto: Address PR comments.
|
2025-06-27 08:33:01 -04:00 |
|
REDMOND\brodes
|
6e5734adca
|
Crypto: Fix openssl padding to propery link async padding to hashing configs.
|
2025-06-26 09:18:30 -04:00 |
|
REDMOND\brodes
|
7477471bc5
|
Crypto: Bug fix in output model
|
2025-06-25 15:25:51 -04:00 |
|
REDMOND\brodes
|
072765abca
|
Crypto: Code scanning warning corrections.
|
2025-06-25 11:16:49 -04:00 |
|
REDMOND\brodes
|
93bad3c799
|
Crypto: Misc bug fixes and updated expected files.
|
2025-06-25 11:02:30 -04:00 |
|
REDMOND\brodes
|
bd0efbe48c
|
Crypto: Overhaul of EVP final/init/update to now use a more general 'OperationStep' mechanic.
|
2025-06-24 16:03:25 -04:00 |
|