REDMOND\brodes
|
f4fea6d635
|
Crypto: Fix consistency update with "other" vs "unknown" naming convetions for openssl.
|
2025-10-03 12:10:48 -04:00 |
|
Nicolas Will
|
4901cdf929
|
Crypto: Refactor and change casts to super
|
2025-10-02 18:43:38 +02:00 |
|
REDMOND\brodes
|
74ce7cd188
|
Crypto: Moving all data flow analyses to taint tracking.
|
2025-08-28 20:40:05 -04:00 |
|
REDMOND\brodes
|
7c8177de97
|
Crypto: Added missing ArtifactPassthrough.qll (forgot to add to merged in branch). Acronym casing fix.
|
2025-08-26 17:12:21 -04:00 |
|
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
|
422352c632
|
Crypto: Continued refactoring of operation steps and bug fixes.
|
2025-08-26 11:49:26 -04:00 |
|
REDMOND\brodes
|
48dc280e6c
|
Crypto: Fix issue with OAEP padding edges regressing.
|
2025-08-26 08:51:52 -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
|
ec7e41cb30
|
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.
|
2025-08-21 15:05:45 -04:00 |
|
REDMOND\brodes
|
d32e09ac37
|
Crypto: Misc. cleanup and completed model refactor for Mac. Passing tests for openssl, refactor still required for JCA.
|
2025-07-01 10:37: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
|
e6b363b81b
|
Crypto: fix Ql-for-QL alerts.
|
2025-06-30 11:08:30 -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 |
|
Ben Rodes
|
122a004851
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/MACAlgorithmInstance.qll
Co-authored-by: Nicolas Will <nicolaswill@github.com>
|
2025-06-27 08:28:05 -04:00 |
|
REDMOND\brodes
|
505d8806c7
|
Crypto: Add key input support for the graph for key generation operations.
|
2025-06-26 11:51:49 -04:00 |
|
Nicolas Will
|
c54e68c855
|
Merge branch 'main' into pr/19880
|
2025-06-26 16:47:38 +02: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 |
|
Nicolas Will
|
ad7358ac4f
|
Crypto: Deduplicate "GCM" mapping from OpenSSL modeling
|
2025-06-25 20:26:38 +02:00 |
|
Nicolas Will
|
8e6031df14
|
Crypto: Fix further acronym casing and remove unused field
|
2025-06-25 20:25:33 +02:00 |
|
Nicolas Will
|
b8097501b6
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-06-25 20:12:51 +02:00 |
|
Nicolas Will
|
14472bf744
|
Crypto: Refactor type name mapping and fix QL-for-QL alerts
|
2025-06-25 20:08:14 +02:00 |
|
REDMOND\brodes
|
f9147cfb2b
|
Crypto: Remove experimental qll file
|
2025-06-25 12:26:41 -04:00 |
|
REDMOND\brodes
|
9cd2241bf6
|
Crypto: Remove accidentally uploaded temporary file.
|
2025-06-25 11:36:40 -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 |
|
Nicolas Will
|
710e08088f
|
Crypto: Refactor casing and documentation
|
2025-06-25 15:29:03 +02: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 |
|
REDMOND\brodes
|
8ee03e48ca
|
Crypto: Fix cpp-specific code scanning alert failure
|
2025-06-18 11:04:27 -04:00 |
|
REDMOND\brodes
|
a81fffcbda
|
Crypto: Fix redundant override issue.
|
2025-06-17 13:27:54 -04:00 |
|
REDMOND\brodes
|
f2f97c993b
|
Crypto: QL docs fix.
|
2025-06-17 13:18:03 -04:00 |
|
REDMOND\brodes
|
ac35634217
|
Merge branch 'openssl_acronym_normalization' into pawel_signatures_conversion
|
2025-06-17 13:03:12 -04:00 |
|
REDMOND\brodes
|
6c9c969573
|
Crypto: Remove dead comments
|
2025-06-16 12:43:29 -04:00 |
|
REDMOND\brodes
|
7c18686462
|
Crypto: Further ql-for-ql alert alert fixes.
|
2025-06-16 12:14:09 -04:00 |
|
REDMOND\brodes
|
790a60784e
|
Crypto: Acronym change from OpenSSL to OpenSsl, AVC to Avc and EVP to Evp.
|
2025-06-16 10:56:31 -04:00 |
|
REDMOND\brodes
|
45fa2c94da
|
Crypto: Code review cleanup.
|
2025-06-16 09:22:11 -04:00 |
|
REDMOND\brodes
|
1882db7d86
|
Crypto: EVP Signature Operation cleanup.
|
2025-06-13 12:07:03 -04:00 |
|
REDMOND\brodes
|
cf2f0f16b8
|
Crypto: Initial model of signatures. Still incomplete for verification and correct handling of MACs.
|
2025-06-13 11:52:37 -04:00 |
|
REDMOND\brodes
|
eb20955a54
|
Crypto: Further simplify test caes to only use edges/nodes/properties. Update model to account for MAC algorithms.
|
2025-06-12 15:36:59 -04:00 |
|
REDMOND\brodes
|
20e2c7cefd
|
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).
|
2025-06-12 00:41:15 -04:00 |
|
REDMOND\brodes
|
d3cff2dff1
|
Crypto: Add support to trace keys, add support to find prior key gen properties that configure downstream operations. Add key size tests
|
2025-06-11 13:58:56 -04:00 |
|
REDMOND\brodes
|
7d479940e5
|
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. Consolidate ctx initializers. Add unit tests, and alter unit test directory structure to allow for application to other APIs. Update expected files for unit tests (not all updated yet, a work in progress).
|
2025-06-10 13:37:17 -04:00 |
|
REDMOND\brodes
|
729467ccd6
|
Crypto: Separate out CTX parameter initialization, and add additional initializer subclasses.
|
2025-06-09 16:49:54 -04:00 |
|
REDMOND\brodes
|
4f2045bbdd
|
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 refactoring EVPKeyGenOperation. Clean up of keygen_operaitons.ql.
|
2025-06-09 15:07:00 -04:00 |
|
REDMOND\brodes
|
98aae6a7bf
|
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. Update test case stubs to be closer to the actual stubs. Fix unncessary instanceof check in signatures.
|
2025-06-05 16:43:58 -04:00 |
|
REDMOND\brodes
|
f952f901e4
|
Crypto: Update CtxFlow to flow from any "source ctx" which is any ctx that is an argument or a return.
|
2025-06-04 15:44:45 -04:00 |
|
REDMOND\brodes
|
33e239d667
|
Crypto: Collapse initializer qll's into operations.
|
2025-06-04 15:44:06 -04:00 |
|
REDMOND\brodes
|
952bc266b1
|
Crypto: Added Signature algorithm instance and consumer
|
2025-06-04 15:42:55 -04:00 |
|
REDMOND\brodes
|
39583abade
|
Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.
|
2025-06-04 15:41:24 -04:00 |
|