Skip to content

Commit bcbd29b

Browse files
feggefegge
committed
Updated unit tests to list graph nodes, edges, and properties
1 parent cdb8f91 commit bcbd29b

File tree

11 files changed

+129
-28
lines changed

11 files changed

+129
-28
lines changed

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/cipher_operations.expected‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/cipher_operations.ql‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/key_artifacts.expected‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/node_edges.expected‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | Mode | AESCBCEncryption.java:18:31:18:56 | ModeOfOperation |
2+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | Padding | AESCBCEncryption.java:19:32:19:49 | PaddingAlgorithm |
3+
| AESCBCEncryption.java:22:50:22:52 | Key | Source | AESCBCEncryption.java:60:30:60:32 | RandomNumberGeneration |
4+
| AESCBCEncryption.java:23:66:23:67 | Nonce | Source | AESCBCEncryption.java:62:30:62:31 | RandomNumberGeneration |
5+
| AESCBCEncryption.java:27:45:27:53 | Message | Source | AESCBCEncryption.java:64:30:64:50 | Constant |
6+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | Algorithm | AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm |
7+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | Input | AESCBCEncryption.java:27:45:27:53 | Message |
8+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | Key | AESCBCEncryption.java:22:50:22:52 | Key |
9+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | Nonce | AESCBCEncryption.java:23:66:23:67 | Nonce |
10+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | Output | AESCBCEncryption.java:28:37:28:46 | KeyOperationOutput |
11+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | Mode | AESCBCEncryption.java:37:31:37:56 | ModeOfOperation |
12+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | Padding | AESCBCEncryption.java:38:32:38:49 | PaddingAlgorithm |
13+
| AESCBCEncryption.java:41:50:41:52 | Key | Source | AESCBCEncryption.java:60:30:60:32 | RandomNumberGeneration |
14+
| AESCBCEncryption.java:42:66:42:67 | Nonce | Source | AESCBCEncryption.java:62:30:62:31 | RandomNumberGeneration |
15+
| AESCBCEncryption.java:46:45:46:54 | Message | Source | AESCBCEncryption.java:28:37:28:46 | KeyOperationOutput |
16+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | Algorithm | AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm |
17+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | Input | AESCBCEncryption.java:46:45:46:54 | Message |
18+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | Key | AESCBCEncryption.java:41:50:41:52 | Key |
19+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | Nonce | AESCBCEncryption.java:42:66:42:67 | Nonce |
20+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | Output | AESCBCEncryption.java:47:37:47:45 | KeyOperationOutput |
21+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | Mode | AESGCMEncryption.java:16:33:16:58 | ModeOfOperation |
22+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | Padding | AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm |
23+
| AESGCMEncryption.java:18:34:18:36 | Key | Source | AESGCMEncryption.java:58:30:58:32 | RandomNumberGeneration |
24+
| AESGCMEncryption.java:20:17:20:21 | Nonce | Source | AESGCMEncryption.java:60:30:60:34 | RandomNumberGeneration |
25+
| AESGCMEncryption.java:25:45:25:53 | Message | Source | AESGCMEncryption.java:62:30:62:65 | Constant |
26+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | Algorithm | AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm |
27+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | Input | AESGCMEncryption.java:25:45:25:53 | Message |
28+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | Key | AESGCMEncryption.java:18:34:18:36 | Key |
29+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | Nonce | AESGCMEncryption.java:20:17:20:21 | Nonce |
30+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | Output | AESGCMEncryption.java:26:37:26:46 | KeyOperationOutput |
31+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | Mode | AESGCMEncryption.java:35:33:35:58 | ModeOfOperation |
32+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | Padding | AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm |
33+
| AESGCMEncryption.java:37:34:37:36 | Key | Source | AESGCMEncryption.java:58:30:58:32 | RandomNumberGeneration |
34+
| AESGCMEncryption.java:39:17:39:21 | Nonce | Source | AESGCMEncryption.java:60:30:60:34 | RandomNumberGeneration |
35+
| AESGCMEncryption.java:44:45:44:54 | Message | Source | AESGCMEncryption.java:26:37:26:46 | KeyOperationOutput |
36+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | Algorithm | AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm |
37+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | Input | AESGCMEncryption.java:44:45:44:54 | Message |
38+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | Key | AESGCMEncryption.java:37:34:37:36 | Key |
39+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | Nonce | AESGCMEncryption.java:39:17:39:21 | Nonce |
40+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | Output | AESGCMEncryption.java:45:37:45:45 | KeyOperationOutput |

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/node_edges.ql‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
import java
2+
import experimental.quantum.Language
3+
4+
from Crypto::NodeBase n, string key
5+
select n, key, n.getChild(key)

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/node_properties.expected‎

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 | PaddingAlgorithm | Name | PKCS7 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 |
2+
| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 | PaddingAlgorithm | RawName | PKCS7 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 | ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 |
3+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | Name | AES | AESCBCEncryption.java:17:28:17:42 | AESCBCEncryption.java:17:28:17:42 |
4+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | RawName | AES | AESCBCEncryption.java:17:28:17:42 | AESCBCEncryption.java:17:28:17:42 |
5+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | Structure | Block | AESCBCEncryption.java:17:28:17:42 | AESCBCEncryption.java:17:28:17:42 |
6+
| AESCBCEncryption.java:18:31:18:56 | ModeOfOperation | Name | CBC | AESCBCEncryption.java:18:31:18:56 | AESCBCEncryption.java:18:31:18:56 |
7+
| AESCBCEncryption.java:18:31:18:56 | ModeOfOperation | RawName | CBC | AESCBCEncryption.java:18:31:18:56 | AESCBCEncryption.java:18:31:18:56 |
8+
| AESCBCEncryption.java:19:32:19:49 | PaddingAlgorithm | Name | PKCS7 | AESCBCEncryption.java:19:32:19:49 | AESCBCEncryption.java:19:32:19:49 |
9+
| AESCBCEncryption.java:19:32:19:49 | PaddingAlgorithm | RawName | PKCS7 | AESCBCEncryption.java:19:32:19:49 | AESCBCEncryption.java:19:32:19:49 |
10+
| AESCBCEncryption.java:22:50:22:52 | Key | KeyType | Unknown | AESCBCEncryption.java:22:50:22:52 | AESCBCEncryption.java:22:50:22:52 |
11+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | Name | AES | AESCBCEncryption.java:36:28:36:42 | AESCBCEncryption.java:36:28:36:42 |
12+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | RawName | AES | AESCBCEncryption.java:36:28:36:42 | AESCBCEncryption.java:36:28:36:42 |
13+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | Structure | Block | AESCBCEncryption.java:36:28:36:42 | AESCBCEncryption.java:36:28:36:42 |
14+
| AESCBCEncryption.java:37:31:37:56 | ModeOfOperation | Name | CBC | AESCBCEncryption.java:37:31:37:56 | AESCBCEncryption.java:37:31:37:56 |
15+
| AESCBCEncryption.java:37:31:37:56 | ModeOfOperation | RawName | CBC | AESCBCEncryption.java:37:31:37:56 | AESCBCEncryption.java:37:31:37:56 |
16+
| AESCBCEncryption.java:38:32:38:49 | PaddingAlgorithm | Name | PKCS7 | AESCBCEncryption.java:38:32:38:49 | AESCBCEncryption.java:38:32:38:49 |
17+
| AESCBCEncryption.java:38:32:38:49 | PaddingAlgorithm | RawName | PKCS7 | AESCBCEncryption.java:38:32:38:49 | AESCBCEncryption.java:38:32:38:49 |
18+
| AESCBCEncryption.java:41:50:41:52 | Key | KeyType | Unknown | AESCBCEncryption.java:41:50:41:52 | AESCBCEncryption.java:41:50:41:52 |
19+
| AESCBCEncryption.java:60:30:60:32 | RandomNumberGeneration | Description | java.security.SecureRandom | AESCBCEncryption.java:60:30:60:32 | AESCBCEncryption.java:60:30:60:32 |
20+
| AESCBCEncryption.java:62:30:62:31 | RandomNumberGeneration | Description | java.security.SecureRandom | AESCBCEncryption.java:62:30:62:31 | AESCBCEncryption.java:62:30:62:31 |
21+
| AESCBCEncryption.java:64:30:64:50 | Constant | Description | "Hello AES-CBC mode!" | AESCBCEncryption.java:64:30:64:50 | AESCBCEncryption.java:64:30:64:50 |
22+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | Name | AES | AESGCMEncryption.java:15:28:15:42 | AESGCMEncryption.java:15:28:15:42 |
23+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | RawName | AES | AESGCMEncryption.java:15:28:15:42 | AESGCMEncryption.java:15:28:15:42 |
24+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | Structure | Block | AESGCMEncryption.java:15:28:15:42 | AESGCMEncryption.java:15:28:15:42 |
25+
| AESGCMEncryption.java:16:33:16:58 | ModeOfOperation | Name | GCM | AESGCMEncryption.java:16:33:16:58 | AESGCMEncryption.java:16:33:16:58 |
26+
| AESGCMEncryption.java:16:33:16:58 | ModeOfOperation | RawName | GCM | AESGCMEncryption.java:16:33:16:58 | AESGCMEncryption.java:16:33:16:58 |
27+
| AESGCMEncryption.java:18:34:18:36 | Key | KeyType | Unknown | AESGCMEncryption.java:18:34:18:36 | AESGCMEncryption.java:18:34:18:36 |
28+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | Name | AES | AESGCMEncryption.java:34:28:34:42 | AESGCMEncryption.java:34:28:34:42 |
29+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | RawName | AES | AESGCMEncryption.java:34:28:34:42 | AESGCMEncryption.java:34:28:34:42 |
30+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | Structure | Block | AESGCMEncryption.java:34:28:34:42 | AESGCMEncryption.java:34:28:34:42 |
31+
| AESGCMEncryption.java:35:33:35:58 | ModeOfOperation | Name | GCM | AESGCMEncryption.java:35:33:35:58 | AESGCMEncryption.java:35:33:35:58 |
32+
| AESGCMEncryption.java:35:33:35:58 | ModeOfOperation | RawName | GCM | AESGCMEncryption.java:35:33:35:58 | AESGCMEncryption.java:35:33:35:58 |
33+
| AESGCMEncryption.java:37:34:37:36 | Key | KeyType | Unknown | AESGCMEncryption.java:37:34:37:36 | AESGCMEncryption.java:37:34:37:36 |
34+
| AESGCMEncryption.java:58:30:58:32 | RandomNumberGeneration | Description | java.security.SecureRandom | AESGCMEncryption.java:58:30:58:32 | AESGCMEncryption.java:58:30:58:32 |
35+
| AESGCMEncryption.java:60:30:60:34 | RandomNumberGeneration | Description | java.security.SecureRandom | AESGCMEncryption.java:60:30:60:34 | AESGCMEncryption.java:60:30:60:34 |
36+
| AESGCMEncryption.java:62:30:62:65 | Constant | Description | "This is a message to be encrypted." | AESGCMEncryption.java:62:30:62:65 | AESGCMEncryption.java:62:30:62:65 |

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/node_properties.ql‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
import java
2+
import experimental.quantum.Language
3+
4+
from Crypto::NodeBase n, string key, string value, Location location
5+
where n.properties(key, value, location)
6+
select n, key, value, location

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/nodes.expected‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
| ../../../../../stubs/bcprov-lts8on-2.73.7/org/bouncycastle/crypto/paddings/PaddedBufferedBlockCipher.java:9:24:9:41 | PaddingAlgorithm |
2+
| AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm |
3+
| AESCBCEncryption.java:18:31:18:56 | ModeOfOperation |
4+
| AESCBCEncryption.java:19:32:19:49 | PaddingAlgorithm |
5+
| AESCBCEncryption.java:22:50:22:52 | Key |
6+
| AESCBCEncryption.java:23:66:23:67 | Nonce |
7+
| AESCBCEncryption.java:27:45:27:53 | Message |
8+
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation |
9+
| AESCBCEncryption.java:28:37:28:46 | KeyOperationOutput |
10+
| AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm |
11+
| AESCBCEncryption.java:37:31:37:56 | ModeOfOperation |
12+
| AESCBCEncryption.java:38:32:38:49 | PaddingAlgorithm |
13+
| AESCBCEncryption.java:41:50:41:52 | Key |
14+
| AESCBCEncryption.java:42:66:42:67 | Nonce |
15+
| AESCBCEncryption.java:46:45:46:54 | Message |
16+
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation |
17+
| AESCBCEncryption.java:47:37:47:45 | KeyOperationOutput |
18+
| AESCBCEncryption.java:60:30:60:32 | RandomNumberGeneration |
19+
| AESCBCEncryption.java:62:30:62:31 | RandomNumberGeneration |
20+
| AESCBCEncryption.java:64:30:64:50 | Constant |
21+
| AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm |
22+
| AESGCMEncryption.java:16:33:16:58 | ModeOfOperation |
23+
| AESGCMEncryption.java:18:34:18:36 | Key |
24+
| AESGCMEncryption.java:20:17:20:21 | Nonce |
25+
| AESGCMEncryption.java:25:45:25:53 | Message |
26+
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation |
27+
| AESGCMEncryption.java:26:37:26:46 | KeyOperationOutput |
28+
| AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm |
29+
| AESGCMEncryption.java:35:33:35:58 | ModeOfOperation |
30+
| AESGCMEncryption.java:37:34:37:36 | Key |
31+
| AESGCMEncryption.java:39:17:39:21 | Nonce |
32+
| AESGCMEncryption.java:44:45:44:54 | Message |
33+
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation |
34+
| AESGCMEncryption.java:45:37:45:45 | KeyOperationOutput |
35+
| AESGCMEncryption.java:58:30:58:32 | RandomNumberGeneration |
36+
| AESGCMEncryption.java:60:30:60:34 | RandomNumberGeneration |
37+
| AESGCMEncryption.java:62:30:62:65 | Constant |

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/nodes.ql‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
import java
2+
import experimental.quantum.Language
3+
4+
from Crypto::NodeBase n
5+
select n

‎java/ql/test/experimental/library-tests/quantum/BouncyCastle/modes/random_artifacts.expected‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)