Ben Rodes
|
b32a6407b9
|
Update java/ql/lib/experimental/quantum/JCA.qll
Co-authored-by: Nicolas Will <nicolaswill@github.com>
|
2025-10-06 09:04:19 -04:00 |
|
Nicolas Will
|
579da1dbd6
|
Fix QL-for-QL alerts
|
2025-10-06 14:45:45 +02:00 |
|
REDMOND\brodes
|
9fa30a3884
|
Crypto: Updating algorithm string literals and key generation algorithm literal sources to include signatures.
|
2025-10-03 18:09:27 -04:00 |
|
REDMOND\brodes
|
9c5765a48c
|
Crypto: Add missing string constants for signature algorithms.
|
2025-10-03 17:17:07 -04:00 |
|
REDMOND\brodes
|
f1eb6511a7
|
Crypto: Add modeling for JCA signatures. Make consistent use of "unknown" or "other" for unrecognized types.
|
2025-10-03 12:07:37 -04:00 |
|
REDMOND\brodes
|
a46bd4c4ca
|
Crypto: JCA random number generation model.
|
2025-10-02 15:21:28 -04:00 |
|
Nicolas Will
|
4901cdf929
|
Crypto: Refactor and change casts to super
|
2025-10-02 18:43:38 +02:00 |
|
REDMOND\brodes
|
9673b81677
|
Crypto: Update JCA 'wihHmac" raw name to be the entire raw string, not just "Hmac"
|
2025-10-02 11:49:23 -04:00 |
|
REDMOND\brodes
|
704a06e1fa
|
Crypto: Update JCA PBKDF2 modeling: 1) add further inheritance structures to make the inheritance decomposition and caveats clearer, and 2) use getConsumer to establish the hash and hmac consumer. Update the Model to expect hash node types specifically for HMAC getHashALgorithmOrUnknown.
|
2025-10-02 11:45:13 -04:00 |
|
REDMOND\brodes
|
850c1ec12d
|
Crypto: Fix use of a member where a singleton set literal exists
|
2025-10-02 09:20:40 -04:00 |
|
REDMOND\brodes
|
b08533b322
|
Crypto: Fix missing output variable
|
2025-10-02 09:10:50 -04:00 |
|
REDMOND\brodes
|
c37b7c1389
|
Merge branch 'signature_model_refactor' of https://github.com/bdrodes/codeql into signature_model_refactor
|
2025-10-02 09:05:09 -04:00 |
|
REDMOND\brodes
|
38421cec94
|
Crypto: Missing casing fix for JCA classes
|
2025-10-02 09:04:23 -04:00 |
|
Ben Rodes
|
d251b3f9f7
|
Merge branch 'main' into signature_model_refactor
|
2025-10-02 09:02:34 -04:00 |
|
REDMOND\brodes
|
329a7dee1c
|
Crypto: Fixing JCA class naming casing for PBKDF2 classes.
|
2025-10-02 09:02:17 -04:00 |
|
REDMOND\brodes
|
d49efefefa
|
Crypto: Fix for non-monotonic recursion in JCA
|
2025-10-01 14:36:26 -04:00 |
|
REDMOND\brodes
|
92dac0341c
|
Crypto: Adding necessary model interfaces for MacOperationCall in JCA.
|
2025-10-01 11:13:37 -04:00 |
|
Michael Nebel
|
77113b2e42
|
Java: Fix some Ql4Ql violations.
|
2025-09-01 15:04:08 +02:00 |
|
REDMOND\brodes
|
ff93045938
|
Crypto: remove JCA bad import.
|
2025-07-01 12:21:51 -04:00 |
|
REDMOND\brodes
|
88d36aa574
|
Crypto: Intermediate JCA updates to support new MAC model. Work in progress.
|
2025-07-01 12:19:15 -04:00 |
|
Nicolas Will
|
976364fcaa
|
Merge branch 'main' into operation_step_refactor
|
2025-06-27 12:05:14 +02:00 |
|
Kasper Svendsen
|
da1b99b921
|
Merge pull request #19779 from github/kaspersv/overlay-java-annotations
Overlay: Add overlay annotations to Java & shared libraries
|
2025-06-27 08:26:33 +02:00 |
|
REDMOND\brodes
|
0aee4f76f9
|
Crypto: Minor change to force CI/CD checks to restart, prior ql check failures do not make sense.
|
2025-06-26 16:35:01 -04:00 |
|
REDMOND\brodes
|
dc8d22a468
|
Crypto: Fix JCA to account for new key gen instance API in model.qll.
|
2025-06-26 15:48:10 -04:00 |
|
Nicolas Will
|
c54e68c855
|
Merge branch 'main' into pr/19880
|
2025-06-26 16:47: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
|
14472bf744
|
Crypto: Refactor type name mapping and fix QL-for-QL alerts
|
2025-06-25 20:08:14 +02:00 |
|
REDMOND\brodes
|
8280cbcaa1
|
Crypto: Update JCA model to include new model.qll updates.
|
2025-06-25 13:55:47 -04:00 |
|
Nicolas Will
|
710e08088f
|
Crypto: Refactor casing and documentation
|
2025-06-25 15:29:03 +02:00 |
|
Kasper Svendsen
|
c207cfdeb7
|
Overlay: Add overlay annotations to Java & shared libraries
|
2025-06-24 10:25:06 +02:00 |
|
REDMOND\brodes
|
2b6a8321fd
|
Crypto: Update JCA model to account for Model.qll changes.
|
2025-06-16 12:53:48 -04:00 |
|
REDMOND\brodes
|
f5d24c5a7b
|
Crypto: Fix UnknownKeyAgreementType to OthernKeyAgreementType for JCA.
|
2025-06-02 10:11:53 -04:00 |
|
REDMOND\brodes
|
b56472436e
|
Crypto: Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.
|
2025-05-20 10:36:56 -04:00 |
|
REDMOND\brodes
|
e7535b3eff
|
Crypto: Updating JCA to use new key size predicate returning int for elliptic curve.
|
2025-05-19 13:09:33 -04:00 |
|
REDMOND\brodes
|
dbd66e64c6
|
Fixing bug in JCA cipher modeling. intermediate operations should not be key operations.
|
2025-05-16 11:23:42 -04:00 |
|
Nicolas Will
|
c66ec63333
|
Fix query compilation errors
|
2025-05-12 14:48:58 +02:00 |
|
Nicolas Will
|
8f36624171
|
Add AsymmetricAlgorithmNode, refactor and address feedback
|
2025-05-12 14:37:44 +02:00 |
|
Nicolas Will
|
cd59ce5b04
|
Rename shared pack to quantum from experimental
|
2025-05-09 14:36:12 +02:00 |
|
Nicolas Will
|
7339dd0077
|
Rename "Quantum" to "quantum" in dir structure
|
2025-05-08 02:39:40 +02:00 |
|