hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Updated Bouncy Castle signer unit tests

Browse Source
This commit is contained in:
Fredrik Dahlgren
2025-07-04 10:20:02 +02:00
parent 2098a64c2a
commit a50a92673c
12 changed files with 255 additions and 50 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.expected
View File

@@ -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 |

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_artifacts.ql
View File

@@ -1,5 +0,0 @@
import java
import experimental.quantum.Language
from Crypto::KeyArtifactNode n
select n, n.getAKnownAlgorithm()

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.expected
View File

@@ -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 |

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/key_generation_operations.ql
View File

@@ -1,5 +0,0 @@
import java
import experimental.quantum.Language
from Crypto::KeyGenerationOperationNode n
select n, n.getAKnownAlgorithm(), n.getOutputKeyArtifact()

98
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.expected Normal file
View File

@@ -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 |

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_edges.ql Normal file
View File

@@ -0,0 +1,5 @@
import java
import experimental.quantum.Language
from Crypto::NodeBase n, string key
select n, key, n.getChild(key)

74
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.expected Normal file
View File

@@ -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 |

6
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/node_properties.ql Normal file
View File

@@ -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

67
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.expected Normal file
View File

@@ -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 |

5
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/nodes.ql Normal file
View File

@@ -0,0 +1,5 @@
import java
import experimental.quantum.Language
from Crypto::NodeBase n
select n

8
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.expected
View File

@@ -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 | |

22
java/ql/test/experimental/library-tests/quantum/BouncyCastle/signers/signature_operations.ql
View File

@@ -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)