From a50a92673cc5110497c5f9a36af6d23948b3cf6c Mon Sep 17 00:00:00 2001 From: Fredrik Dahlgren Date: Fri, 4 Jul 2025 10:20:02 +0200 Subject: [PATCH] Updated Bouncy Castle signer unit tests --- .../signers/key_artifacts.expected | 5 - .../BouncyCastle/signers/key_artifacts.ql | 5 - .../key_generation_operations.expected | 5 - .../signers/key_generation_operations.ql | 5 - .../BouncyCastle/signers/node_edges.expected | 98 +++++++++++++++++++ .../BouncyCastle/signers/node_edges.ql | 5 + .../signers/node_properties.expected | 74 ++++++++++++++ .../BouncyCastle/signers/node_properties.ql | 6 ++ .../BouncyCastle/signers/nodes.expected | 67 +++++++++++++ .../quantum/BouncyCastle/signers/nodes.ql | 5 + .../signers/signature_operations.expected | 8 -- .../signers/signature_operations.ql | 22 ----- 12 files changed, 255 insertions(+), 50 deletions(-) delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.expected delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.ql delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.expected delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.ql create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.expected create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.ql create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.expected create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.ql create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.expected create mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.ql delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.expected delete mode 100644 java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.ql diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.expected deleted file mode 100644 index 213d8d1baae..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.expected +++ /dev/null @@ -1,5 +0,0 @@ -| ECDSASignAndVerify.java:57:16:57:49 | Key | secp256r1 | -| ECDSASignAndVerify.java:80:16:80:49 | Key | secp256k1 | -| Ed448SignAndVerify.java:21:47:21:80 | Key | Ed448 | -| Ed25519SignAndVerify.java:21:47:21:80 | Key | Ed25519 | -| LMSSignAndVerify.java:33:47:33:74 | Key | LMS | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.ql deleted file mode 100644 index 394c82d70fc..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.ql +++ /dev/null @@ -1,5 +0,0 @@ -import java -import experimental.quantum.Language - -from Crypto::KeyArtifactNode n -select n, n.getAKnownAlgorithm() diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.expected deleted file mode 100644 index a07e0f8d8ab..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.expected +++ /dev/null @@ -1,5 +0,0 @@ -| ECDSASignAndVerify.java:57:16:57:49 | KeyGeneration | ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | ECDSASignAndVerify.java:57:16:57:49 | Key | -| ECDSASignAndVerify.java:80:16:80:49 | KeyGeneration | ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | ECDSASignAndVerify.java:80:16:80:49 | Key | -| Ed448SignAndVerify.java:21:47:21:80 | KeyGeneration | Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | Ed448SignAndVerify.java:21:47:21:80 | Key | -| Ed25519SignAndVerify.java:21:47:21:80 | KeyGeneration | Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | Ed25519SignAndVerify.java:21:47:21:80 | Key | -| LMSSignAndVerify.java:33:47:33:74 | KeyGeneration | LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | LMSSignAndVerify.java:33:47:33:74 | Key | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.ql deleted file mode 100644 index 30447906aed..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.ql +++ /dev/null @@ -1,5 +0,0 @@ -import java -import experimental.quantum.Language - -from Crypto::KeyGenerationOperationNode n -select n, n.getAKnownAlgorithm(), n.getOutputKeyArtifact() diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.expected new file mode 100644 index 00000000000..ca46ef4ee5d --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.expected @@ -0,0 +1,98 @@ +| ECDSASignAndVerify.java:57:16:57:49 | Key | Algorithm | ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | +| ECDSASignAndVerify.java:57:16:57:49 | KeyGeneration | Algorithm | ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | +| ECDSASignAndVerify.java:57:16:57:49 | KeyGeneration | Output | ECDSASignAndVerify.java:57:16:57:49 | Key | +| ECDSASignAndVerify.java:80:16:80:49 | Key | Algorithm | ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | +| ECDSASignAndVerify.java:80:16:80:49 | KeyGeneration | Algorithm | ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | +| ECDSASignAndVerify.java:80:16:80:49 | KeyGeneration | Output | ECDSASignAndVerify.java:80:16:80:49 | Key | +| ECDSASignAndVerify.java:103:16:103:49 | Key | Algorithm | ECDSASignAndVerify.java:103:16:103:49 | Key | +| ECDSASignAndVerify.java:103:16:103:49 | KeyGeneration | Algorithm | ECDSASignAndVerify.java:103:16:103:49 | KeyGeneration | +| ECDSASignAndVerify.java:103:16:103:49 | KeyGeneration | Output | ECDSASignAndVerify.java:103:16:103:49 | Key | +| ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | Mode | ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | Padding | ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:115:27:115:36 | Key | Source | ECDSASignAndVerify.java:57:16:57:49 | Key | +| ECDSASignAndVerify.java:115:27:115:36 | Key | Source | ECDSASignAndVerify.java:80:16:80:49 | Key | +| ECDSASignAndVerify.java:115:27:115:36 | Key | Source | ECDSASignAndVerify.java:103:16:103:49 | Key | +| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | Algorithm | ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | Input | ECDSASignAndVerify.java:116:69:116:75 | Message | +| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | Key | ECDSASignAndVerify.java:115:27:115:36 | Key | +| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | Output | ECDSASignAndVerify.java:116:44:116:76 | SignatureOutput | +| ECDSASignAndVerify.java:116:69:116:75 | Message | Source | ECDSASignAndVerify.java:31:30:31:54 | Constant | +| ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | Mode | ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | Padding | ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:120:30:120:38 | Key | Source | ECDSASignAndVerify.java:57:16:57:49 | Key | +| ECDSASignAndVerify.java:120:30:120:38 | Key | Source | ECDSASignAndVerify.java:80:16:80:49 | Key | +| ECDSASignAndVerify.java:120:30:120:38 | Key | Source | ECDSASignAndVerify.java:103:16:103:49 | Key | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | Algorithm | ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | Input | ECDSASignAndVerify.java:121:53:121:59 | Message | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | Key | ECDSASignAndVerify.java:120:30:120:38 | Key | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | Signature | ECDSASignAndVerify.java:121:62:121:73 | SignatureInput | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | Signature | ECDSASignAndVerify.java:121:76:121:87 | SignatureInput | +| ECDSASignAndVerify.java:121:53:121:59 | Message | Source | ECDSASignAndVerify.java:121:53:121:59 | Message | +| ECDSASignAndVerify.java:121:62:121:73 | SignatureInput | Source | ECDSASignAndVerify.java:116:44:116:76 | SignatureOutput | +| ECDSASignAndVerify.java:121:76:121:87 | SignatureInput | Source | ECDSASignAndVerify.java:116:44:116:76 | SignatureOutput | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | Mode | Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | Padding | Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:21:47:21:80 | Key | Algorithm | Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:21:47:21:80 | KeyGeneration | Algorithm | Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:21:47:21:80 | KeyGeneration | Output | Ed448SignAndVerify.java:21:47:21:80 | Key | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | Mode | Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | Padding | Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:30:31:30:40 | Key | Source | Ed448SignAndVerify.java:21:47:21:80 | Key | +| Ed448SignAndVerify.java:31:27:31:33 | Message | Source | Ed448SignAndVerify.java:26:30:26:54 | Constant | +| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | Algorithm | Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | Input | Ed448SignAndVerify.java:31:27:31:33 | Message | +| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | Key | Ed448SignAndVerify.java:30:31:30:40 | Key | +| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | Output | Ed448SignAndVerify.java:32:32:32:57 | SignatureOutput | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | Mode | Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | Padding | Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:38:34:38:42 | Key | Source | Ed448SignAndVerify.java:21:47:21:80 | Key | +| Ed448SignAndVerify.java:39:29:39:35 | Message | Source | Ed448SignAndVerify.java:39:29:39:35 | Message | +| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | Algorithm | Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | Input | Ed448SignAndVerify.java:39:29:39:35 | Message | +| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | Key | Ed448SignAndVerify.java:38:34:38:42 | Key | +| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | Signature | Ed448SignAndVerify.java:40:57:40:65 | SignatureInput | +| Ed448SignAndVerify.java:40:57:40:65 | SignatureInput | Source | Ed448SignAndVerify.java:32:32:32:57 | SignatureOutput | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | Mode | Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | Padding | Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:21:47:21:80 | Key | Algorithm | Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:21:47:21:80 | KeyGeneration | Algorithm | Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:21:47:21:80 | KeyGeneration | Output | Ed25519SignAndVerify.java:21:47:21:80 | Key | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | Mode | Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | Padding | Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:30:31:30:40 | Key | Source | Ed25519SignAndVerify.java:21:47:21:80 | Key | +| Ed25519SignAndVerify.java:31:27:31:33 | Message | Source | Ed25519SignAndVerify.java:26:30:26:56 | Constant | +| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | Algorithm | Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | Input | Ed25519SignAndVerify.java:31:27:31:33 | Message | +| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | Key | Ed25519SignAndVerify.java:30:31:30:40 | Key | +| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | Output | Ed25519SignAndVerify.java:32:32:32:57 | SignatureOutput | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | Mode | Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | Padding | Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:38:34:38:42 | Key | Source | Ed25519SignAndVerify.java:21:47:21:80 | Key | +| Ed25519SignAndVerify.java:39:29:39:35 | Message | Source | Ed25519SignAndVerify.java:39:29:39:35 | Message | +| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | Algorithm | Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | Input | Ed25519SignAndVerify.java:39:29:39:35 | Message | +| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | Key | Ed25519SignAndVerify.java:38:34:38:42 | Key | +| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | Signature | Ed25519SignAndVerify.java:40:57:40:65 | SignatureInput | +| Ed25519SignAndVerify.java:40:57:40:65 | SignatureInput | Source | Ed25519SignAndVerify.java:32:32:32:57 | SignatureOutput | +| LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | Mode | LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | Padding | LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:33:47:33:74 | Key | Algorithm | LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:33:47:33:74 | KeyGeneration | Algorithm | LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:33:47:33:74 | KeyGeneration | Output | LMSSignAndVerify.java:33:47:33:74 | Key | +| LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | Mode | LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | Padding | LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:42:31:42:40 | Key | Source | LMSSignAndVerify.java:33:47:33:74 | Key | +| LMSSignAndVerify.java:43:32:43:64 | SignOperation | Algorithm | LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:43:32:43:64 | SignOperation | Input | LMSSignAndVerify.java:43:57:43:63 | Message | +| LMSSignAndVerify.java:43:32:43:64 | SignOperation | Key | LMSSignAndVerify.java:42:31:42:40 | Key | +| LMSSignAndVerify.java:43:32:43:64 | SignOperation | Output | LMSSignAndVerify.java:43:32:43:64 | SignatureOutput | +| LMSSignAndVerify.java:43:57:43:63 | Message | Source | LMSSignAndVerify.java:38:30:38:52 | Constant | +| LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | Mode | LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | Padding | LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:47:34:47:42 | Key | Source | LMSSignAndVerify.java:33:47:33:74 | Key | +| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | Algorithm | LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | Input | LMSSignAndVerify.java:48:57:48:63 | Message | +| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | Key | LMSSignAndVerify.java:47:34:47:42 | Key | +| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | Signature | LMSSignAndVerify.java:48:66:48:74 | SignatureInput | +| LMSSignAndVerify.java:48:57:48:63 | Message | Source | LMSSignAndVerify.java:48:57:48:63 | Message | +| LMSSignAndVerify.java:48:66:48:74 | SignatureInput | Source | LMSSignAndVerify.java:43:32:43:64 | SignatureOutput | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.ql new file mode 100644 index 00000000000..4c9afb6c8ff --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.ql @@ -0,0 +1,5 @@ +import java +import experimental.quantum.Language + +from Crypto::NodeBase n, string key +select n, key, n.getChild(key) diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.expected new file mode 100644 index 00000000000..d8d019717b4 --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.expected @@ -0,0 +1,74 @@ +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | EllipticCurve | KeySize | 256 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | EllipticCurve | Name | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | EllipticCurve | ParsedName | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | EllipticCurve | RawName | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | EllipticCurve | KeySize | 256 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | EllipticCurve | Name | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | EllipticCurve | ParsedName | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | EllipticCurve | RawName | secp256r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | EllipticCurve | KeySize | 256 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | EllipticCurve | Name | secp256k1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | EllipticCurve | ParsedName | secp256k1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | EllipticCurve | RawName | secp256k1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | EllipticCurve | KeySize | 384 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | EllipticCurve | Name | secp384r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | EllipticCurve | ParsedName | secp384r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | EllipticCurve | RawName | secp384r1 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | +| ECDSASignAndVerify.java:31:30:31:54 | Constant | Description | "Hello, ECDSA signature!" | ECDSASignAndVerify.java:31:30:31:54 | ECDSASignAndVerify.java:31:30:31:54 | +| ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | KeySize | 256 | ECDSASignAndVerify.java:47:28:47:38 | ECDSASignAndVerify.java:47:28:47:38 | +| ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | Name | secp256r1 | ECDSASignAndVerify.java:47:28:47:38 | ECDSASignAndVerify.java:47:28:47:38 | +| ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | ParsedName | secp256r1 | ECDSASignAndVerify.java:47:28:47:38 | ECDSASignAndVerify.java:47:28:47:38 | +| ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | RawName | secp256r1 | ECDSASignAndVerify.java:47:28:47:38 | ECDSASignAndVerify.java:47:28:47:38 | +| ECDSASignAndVerify.java:57:16:57:49 | Key | KeyType | Asymmetric | ECDSASignAndVerify.java:57:16:57:49 | ECDSASignAndVerify.java:57:16:57:49 | +| ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | KeySize | 256 | ECDSASignAndVerify.java:65:28:65:38 | ECDSASignAndVerify.java:65:28:65:38 | +| ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | Name | secp256k1 | ECDSASignAndVerify.java:65:28:65:38 | ECDSASignAndVerify.java:65:28:65:38 | +| ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | ParsedName | secp256k1 | ECDSASignAndVerify.java:65:28:65:38 | ECDSASignAndVerify.java:65:28:65:38 | +| ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | RawName | secp256k1 | ECDSASignAndVerify.java:65:28:65:38 | ECDSASignAndVerify.java:65:28:65:38 | +| ECDSASignAndVerify.java:80:16:80:49 | Key | KeyType | Asymmetric | ECDSASignAndVerify.java:80:16:80:49 | ECDSASignAndVerify.java:80:16:80:49 | +| ECDSASignAndVerify.java:89:28:89:38 | EllipticCurve | KeySize | 384 | ECDSASignAndVerify.java:89:28:89:38 | ECDSASignAndVerify.java:89:28:89:38 | +| ECDSASignAndVerify.java:89:28:89:38 | EllipticCurve | Name | secp384r1 | ECDSASignAndVerify.java:89:28:89:38 | ECDSASignAndVerify.java:89:28:89:38 | +| ECDSASignAndVerify.java:89:28:89:38 | EllipticCurve | ParsedName | secp384r1 | ECDSASignAndVerify.java:89:28:89:38 | ECDSASignAndVerify.java:89:28:89:38 | +| ECDSASignAndVerify.java:89:28:89:38 | EllipticCurve | RawName | secp384r1 | ECDSASignAndVerify.java:89:28:89:38 | ECDSASignAndVerify.java:89:28:89:38 | +| ECDSASignAndVerify.java:103:16:103:49 | Key | KeyType | Asymmetric | ECDSASignAndVerify.java:103:16:103:49 | ECDSASignAndVerify.java:103:16:103:49 | +| ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | Name | ECDSA | ECDSASignAndVerify.java:114:30:114:46 | ECDSASignAndVerify.java:114:30:114:46 | +| ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | RawName | ECDSA | ECDSASignAndVerify.java:114:30:114:46 | ECDSASignAndVerify.java:114:30:114:46 | +| ECDSASignAndVerify.java:115:27:115:36 | Key | KeyType | Unknown | ECDSASignAndVerify.java:115:27:115:36 | ECDSASignAndVerify.java:115:27:115:36 | +| ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | Name | ECDSA | ECDSASignAndVerify.java:119:32:119:48 | ECDSASignAndVerify.java:119:32:119:48 | +| ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | RawName | ECDSA | ECDSASignAndVerify.java:119:32:119:48 | ECDSASignAndVerify.java:119:32:119:48 | +| ECDSASignAndVerify.java:120:30:120:38 | Key | KeyType | Unknown | ECDSASignAndVerify.java:120:30:120:38 | ECDSASignAndVerify.java:120:30:120:38 | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | KeySize | 448 | Ed448SignAndVerify.java:19:54:19:80 | Ed448SignAndVerify.java:19:54:19:80 | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | Name | Ed448 | Ed448SignAndVerify.java:19:54:19:80 | Ed448SignAndVerify.java:19:54:19:80 | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | RawName | Ed448 | Ed448SignAndVerify.java:19:54:19:80 | Ed448SignAndVerify.java:19:54:19:80 | +| Ed448SignAndVerify.java:21:47:21:80 | Key | KeyType | Asymmetric | Ed448SignAndVerify.java:21:47:21:80 | Ed448SignAndVerify.java:21:47:21:80 | +| Ed448SignAndVerify.java:26:30:26:54 | Constant | Description | "Hello, Ed448 signature!" | Ed448SignAndVerify.java:26:30:26:54 | Ed448SignAndVerify.java:26:30:26:54 | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | KeySize | 448 | Ed448SignAndVerify.java:29:34:29:70 | Ed448SignAndVerify.java:29:34:29:70 | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | Name | Ed448 | Ed448SignAndVerify.java:29:34:29:70 | Ed448SignAndVerify.java:29:34:29:70 | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | RawName | Ed448 | Ed448SignAndVerify.java:29:34:29:70 | Ed448SignAndVerify.java:29:34:29:70 | +| Ed448SignAndVerify.java:30:31:30:40 | Key | KeyType | Unknown | Ed448SignAndVerify.java:30:31:30:40 | Ed448SignAndVerify.java:30:31:30:40 | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | KeySize | 448 | Ed448SignAndVerify.java:37:36:37:72 | Ed448SignAndVerify.java:37:36:37:72 | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | Name | Ed448 | Ed448SignAndVerify.java:37:36:37:72 | Ed448SignAndVerify.java:37:36:37:72 | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | RawName | Ed448 | Ed448SignAndVerify.java:37:36:37:72 | Ed448SignAndVerify.java:37:36:37:72 | +| Ed448SignAndVerify.java:38:34:38:42 | Key | KeyType | Unknown | Ed448SignAndVerify.java:38:34:38:42 | Ed448SignAndVerify.java:38:34:38:42 | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | KeySize | 256 | Ed25519SignAndVerify.java:19:56:19:84 | Ed25519SignAndVerify.java:19:56:19:84 | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | Name | Ed25519 | Ed25519SignAndVerify.java:19:56:19:84 | Ed25519SignAndVerify.java:19:56:19:84 | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | RawName | Ed25519 | Ed25519SignAndVerify.java:19:56:19:84 | Ed25519SignAndVerify.java:19:56:19:84 | +| Ed25519SignAndVerify.java:21:47:21:80 | Key | KeyType | Asymmetric | Ed25519SignAndVerify.java:21:47:21:80 | Ed25519SignAndVerify.java:21:47:21:80 | +| Ed25519SignAndVerify.java:26:30:26:56 | Constant | Description | "Hello, Ed25519 signature!" | Ed25519SignAndVerify.java:26:30:26:56 | Ed25519SignAndVerify.java:26:30:26:56 | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | KeySize | 256 | Ed25519SignAndVerify.java:29:36:29:54 | Ed25519SignAndVerify.java:29:36:29:54 | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | Name | Ed25519 | Ed25519SignAndVerify.java:29:36:29:54 | Ed25519SignAndVerify.java:29:36:29:54 | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | RawName | Ed25519 | Ed25519SignAndVerify.java:29:36:29:54 | Ed25519SignAndVerify.java:29:36:29:54 | +| Ed25519SignAndVerify.java:30:31:30:40 | Key | KeyType | Unknown | Ed25519SignAndVerify.java:30:31:30:40 | Ed25519SignAndVerify.java:30:31:30:40 | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | KeySize | 256 | Ed25519SignAndVerify.java:37:38:37:56 | Ed25519SignAndVerify.java:37:38:37:56 | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | Name | Ed25519 | Ed25519SignAndVerify.java:37:38:37:56 | Ed25519SignAndVerify.java:37:38:37:56 | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | RawName | Ed25519 | Ed25519SignAndVerify.java:37:38:37:56 | Ed25519SignAndVerify.java:37:38:37:56 | +| Ed25519SignAndVerify.java:38:34:38:42 | Key | KeyType | Unknown | Ed25519SignAndVerify.java:38:34:38:42 | Ed25519SignAndVerify.java:38:34:38:42 | +| LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | Name | LMS | LMSSignAndVerify.java:31:46:31:70 | LMSSignAndVerify.java:31:46:31:70 | +| LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | RawName | LMS | LMSSignAndVerify.java:31:46:31:70 | LMSSignAndVerify.java:31:46:31:70 | +| LMSSignAndVerify.java:33:47:33:74 | Key | KeyType | Asymmetric | LMSSignAndVerify.java:33:47:33:74 | LMSSignAndVerify.java:33:47:33:74 | +| LMSSignAndVerify.java:38:30:38:52 | Constant | Description | "Hello, LMS signature!" | LMSSignAndVerify.java:38:30:38:52 | LMSSignAndVerify.java:38:30:38:52 | +| LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | Name | LMS | LMSSignAndVerify.java:41:32:41:46 | LMSSignAndVerify.java:41:32:41:46 | +| LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | RawName | LMS | LMSSignAndVerify.java:41:32:41:46 | LMSSignAndVerify.java:41:32:41:46 | +| LMSSignAndVerify.java:42:31:42:40 | Key | KeyType | Unknown | LMSSignAndVerify.java:42:31:42:40 | LMSSignAndVerify.java:42:31:42:40 | +| LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | Name | LMS | LMSSignAndVerify.java:46:34:46:48 | LMSSignAndVerify.java:46:34:46:48 | +| LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | RawName | LMS | LMSSignAndVerify.java:46:34:46:48 | LMSSignAndVerify.java:46:34:46:48 | +| LMSSignAndVerify.java:47:34:47:42 | Key | KeyType | Unknown | LMSSignAndVerify.java:47:34:47:42 | LMSSignAndVerify.java:47:34:47:42 | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.ql new file mode 100644 index 00000000000..79514611e67 --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.ql @@ -0,0 +1,6 @@ +import java +import experimental.quantum.Language + +from Crypto::NodeBase n, string key, string value, Location location +where n.properties(key, value, location) +select n, key, value, location diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.expected new file mode 100644 index 00000000000..4fe61c5fedc --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.expected @@ -0,0 +1,67 @@ +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/asn1/sec/SECNamedCurves.java:11:16:11:26 | EllipticCurve | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:31:11:41 | EllipticCurve | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:44:11:54 | EllipticCurve | +| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/jce/ECNamedCurveTable.java:11:57:11:67 | EllipticCurve | +| ECDSASignAndVerify.java:31:30:31:54 | Constant | +| ECDSASignAndVerify.java:47:28:47:38 | EllipticCurve | +| ECDSASignAndVerify.java:57:16:57:49 | Key | +| ECDSASignAndVerify.java:57:16:57:49 | KeyGeneration | +| ECDSASignAndVerify.java:65:28:65:38 | EllipticCurve | +| ECDSASignAndVerify.java:80:16:80:49 | Key | +| ECDSASignAndVerify.java:80:16:80:49 | KeyGeneration | +| ECDSASignAndVerify.java:89:28:89:38 | EllipticCurve | +| ECDSASignAndVerify.java:103:16:103:49 | Key | +| ECDSASignAndVerify.java:103:16:103:49 | KeyGeneration | +| ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:115:27:115:36 | Key | +| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | +| ECDSASignAndVerify.java:116:44:116:76 | SignatureOutput | +| ECDSASignAndVerify.java:116:69:116:75 | Message | +| ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | +| ECDSASignAndVerify.java:120:30:120:38 | Key | +| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | +| ECDSASignAndVerify.java:121:53:121:59 | Message | +| ECDSASignAndVerify.java:121:62:121:73 | SignatureInput | +| ECDSASignAndVerify.java:121:76:121:87 | SignatureInput | +| Ed448SignAndVerify.java:19:54:19:80 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:21:47:21:80 | Key | +| Ed448SignAndVerify.java:21:47:21:80 | KeyGeneration | +| Ed448SignAndVerify.java:26:30:26:54 | Constant | +| Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:30:31:30:40 | Key | +| Ed448SignAndVerify.java:31:27:31:33 | Message | +| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | +| Ed448SignAndVerify.java:32:32:32:57 | SignatureOutput | +| Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | +| Ed448SignAndVerify.java:38:34:38:42 | Key | +| Ed448SignAndVerify.java:39:29:39:35 | Message | +| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | +| Ed448SignAndVerify.java:40:57:40:65 | SignatureInput | +| Ed25519SignAndVerify.java:19:56:19:84 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:21:47:21:80 | Key | +| Ed25519SignAndVerify.java:21:47:21:80 | KeyGeneration | +| Ed25519SignAndVerify.java:26:30:26:56 | Constant | +| Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:30:31:30:40 | Key | +| Ed25519SignAndVerify.java:31:27:31:33 | Message | +| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | +| Ed25519SignAndVerify.java:32:32:32:57 | SignatureOutput | +| Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | +| Ed25519SignAndVerify.java:38:34:38:42 | Key | +| Ed25519SignAndVerify.java:39:29:39:35 | Message | +| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | +| Ed25519SignAndVerify.java:40:57:40:65 | SignatureInput | +| LMSSignAndVerify.java:31:46:31:70 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:33:47:33:74 | Key | +| LMSSignAndVerify.java:33:47:33:74 | KeyGeneration | +| LMSSignAndVerify.java:38:30:38:52 | Constant | +| LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:42:31:42:40 | Key | +| LMSSignAndVerify.java:43:32:43:64 | SignOperation | +| LMSSignAndVerify.java:43:32:43:64 | SignatureOutput | +| LMSSignAndVerify.java:43:57:43:63 | Message | +| LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | +| LMSSignAndVerify.java:47:34:47:42 | Key | +| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | +| LMSSignAndVerify.java:48:57:48:63 | Message | +| LMSSignAndVerify.java:48:66:48:74 | SignatureInput | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.ql new file mode 100644 index 00000000000..e080ce7297a --- /dev/null +++ b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.ql @@ -0,0 +1,5 @@ +import java +import experimental.quantum.Language + +from Crypto::NodeBase n +select n diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.expected b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.expected deleted file mode 100644 index 86d161c6488..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.expected +++ /dev/null @@ -1,8 +0,0 @@ -| ECDSASignAndVerify.java:116:44:116:76 | SignOperation | ECDSASignAndVerify.java:114:30:114:46 | KeyOperationAlgorithm | ECDSASignAndVerify.java:115:27:115:36 | Key | ECDSASignAndVerify.java:116:69:116:75 | Message | | SignatureOutput | -| ECDSASignAndVerify.java:121:28:121:88 | VerifyOperation | ECDSASignAndVerify.java:119:32:119:48 | KeyOperationAlgorithm | ECDSASignAndVerify.java:120:30:120:38 | Key | ECDSASignAndVerify.java:121:53:121:59 | Message | SignatureInput | | -| Ed448SignAndVerify.java:32:32:32:57 | SignOperation | Ed448SignAndVerify.java:29:34:29:70 | KeyOperationAlgorithm | Ed448SignAndVerify.java:30:31:30:40 | Key | Ed448SignAndVerify.java:31:27:31:33 | Message | | SignatureOutput | -| Ed448SignAndVerify.java:40:32:40:66 | VerifyOperation | Ed448SignAndVerify.java:37:36:37:72 | KeyOperationAlgorithm | Ed448SignAndVerify.java:38:34:38:42 | Key | Ed448SignAndVerify.java:39:29:39:35 | Message | SignatureInput | | -| Ed25519SignAndVerify.java:32:32:32:57 | SignOperation | Ed25519SignAndVerify.java:29:36:29:54 | KeyOperationAlgorithm | Ed25519SignAndVerify.java:30:31:30:40 | Key | Ed25519SignAndVerify.java:31:27:31:33 | Message | | SignatureOutput | -| Ed25519SignAndVerify.java:40:32:40:66 | VerifyOperation | Ed25519SignAndVerify.java:37:38:37:56 | KeyOperationAlgorithm | Ed25519SignAndVerify.java:38:34:38:42 | Key | Ed25519SignAndVerify.java:39:29:39:35 | Message | SignatureInput | | -| LMSSignAndVerify.java:43:32:43:64 | SignOperation | LMSSignAndVerify.java:41:32:41:46 | KeyOperationAlgorithm | LMSSignAndVerify.java:42:31:42:40 | Key | LMSSignAndVerify.java:43:57:43:63 | Message | | SignatureOutput | -| LMSSignAndVerify.java:48:32:48:75 | VerifyOperation | LMSSignAndVerify.java:46:34:46:48 | KeyOperationAlgorithm | LMSSignAndVerify.java:47:34:47:42 | Key | LMSSignAndVerify.java:48:57:48:63 | Message | SignatureInput | | diff --git a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.ql b/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.ql deleted file mode 100644 index 9eda60a6a0a..00000000000 --- a/java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.ql +++ /dev/null @@ -1,22 +0,0 @@ -import java -import experimental.quantum.Language - -string getASignatureInput(Crypto::SignatureOperationNode n) { - exists(Crypto::SignatureArtifactNode input | - input = n.getASignatureArtifact() and result = input.toString() - ) - or - not exists(n.getASignatureArtifact()) and result = "" -} - -string getASignatureOutput(Crypto::SignatureOperationNode n) { - exists(Crypto::KeyOperationOutputNode output | - output = n.getAnOutputArtifact() and result = output.toString() - ) - or - not exists(n.getAnOutputArtifact()) and result = "" -} - -from Crypto::SignatureOperationNode n -select n, n.getAKnownAlgorithm(), n.getAKey(), n.getAnInputArtifact(), getASignatureInput(n), - getASignatureOutput(n)