Alex Eyers-Taylor
|
f5134e3125
|
Java: Eliminate pointless use of PathNodes over DataFlow::Node
The use of PathNode prevents these from being overlay informed.
|
2025-09-16 17:20:44 +01:00 |
|
Michael Nebel
|
77113b2e42
|
Java: Fix some Ql4Ql violations.
|
2025-09-01 15:04:08 +02: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 |
|