Josh Brown
|
f39c1141d8
|
Revert "Merge pull request #257 from microsoft/jb1/reapply-22.1-tmp"
This reverts commit 6d496ee073, reversing
changes made to 866977b6c5.
|
2025-08-11 12:45:01 -07:00 |
|
Josh Brown
|
4c5945f4aa
|
Manual merge
|
2025-07-10 15:08:14 -07:00 |
|
Josh Brown
|
5fb45c89e9
|
Revert "Merge pull request #251 from microsoft/jb1/upstream-zipslip"
This reverts commit 4dfa5d2858, reversing
changes made to 8cd58aa6e8.
|
2025-07-10 14:57:38 -07:00 |
|
Josh Brown
|
4122283ec8
|
Manual merge
|
2025-07-01 16:10:55 -07:00 |
|
Jeroen Ketema
|
6ae1656ec4
|
Merge pull request #17581 from jketema/loc-table-merge
C++: Merge the location tables
|
2025-06-30 10:33:46 +02:00 |
|
Jeroen Ketema
|
b4caba7c0e
|
C++: Merge the location tables
|
2025-06-27 14:42:08 +02: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
|
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 |
|
Ben Rodes
|
b2765a2ff7
|
Merge branch 'main' into pawel_signatures_conversion
|
2025-06-17 14:52:41 -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 |
|
dilanbhalla
|
7bfefefbf7
|
Merge tag 'codeql-cli/latest' into auto/sync-main-pr
Compatible with the latest released version of the CodeQL CLI
|
2025-06-11 17:00:14 +00:00 |
|
Nora Dimitrijević
|
4dd07f475b
|
C++: mass enable diff-informed data flow
An auto-generated patch that enables diff-informed data flow in the obvious cases.
Builds on https://github.com/github/codeql/pull/18342 and https://github.com/github/codeql-patch/pull/88
|
2025-06-11 18:51:01 +02: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 |
|
GrosQuildu
|
60d9b6e338
|
update docs
|
2025-06-03 16:27:50 +02:00 |
|
GrosQuildu
|
eff6eb3cc2
|
remove redundant if/none
|
2025-06-03 16:27:50 +02:00 |
|
GrosQuildu
|
f04fa58c8b
|
rm one-shot class
|
2025-06-03 16:27:50 +02:00 |
|
Paweł Płatek
|
328cf798bf
|
Apply docs suggestions
Co-authored-by: Ben Rodes <benjaminrodes@gmail.com>
|
2025-06-03 16:27:50 +02:00 |
|
Paweł Płatek
|
f103e8be96
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll
Co-authored-by: Ben Rodes <benjaminrodes@gmail.com>
|
2025-06-03 16:27:50 +02:00 |
|