Skip to content

Commit cdb8f91

Browse files
committed
Removed transient output artifact instances
1 parent 357ae92 commit cdb8f91

File tree

2 files changed

+1
-5
lines changed

2 files changed

+1
-5
lines changed

java/ql/lib/experimental/quantum/BouncyCastle/OperationInstances.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -724,7 +724,7 @@ module Modes {
724724
}
725725

726726
override Crypto::ArtifactOutputDataFlowNode getOutputArtifact() {
727-
result.asExpr() = this.getAUseCall().getOutput()
727+
result.asExpr() = super.getOutput()
728728
}
729729

730730
override Crypto::ConsumerInputDataFlowNode getInputConsumer() {
Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,4 @@
1-
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | AESCBCEncryption.java:22:50:22:52 | Key | AESCBCEncryption.java:23:66:23:67 | Nonce | AESCBCEncryption.java:27:45:27:53 | Message | AESCBCEncryption.java:27:77:27:86 | KeyOperationOutput |
21
| AESCBCEncryption.java:28:22:28:58 | EncryptOperation | AESCBCEncryption.java:17:28:17:42 | KeyOperationAlgorithm | AESCBCEncryption.java:22:50:22:52 | Key | AESCBCEncryption.java:23:66:23:67 | Nonce | AESCBCEncryption.java:27:45:27:53 | Message | AESCBCEncryption.java:28:37:28:46 | KeyOperationOutput |
3-
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | AESCBCEncryption.java:41:50:41:52 | Key | AESCBCEncryption.java:42:66:42:67 | Nonce | AESCBCEncryption.java:46:45:46:54 | Message | AESCBCEncryption.java:46:79:46:87 | KeyOperationOutput |
42
| AESCBCEncryption.java:47:22:47:57 | DecryptOperation | AESCBCEncryption.java:36:28:36:42 | KeyOperationAlgorithm | AESCBCEncryption.java:41:50:41:52 | Key | AESCBCEncryption.java:42:66:42:67 | Nonce | AESCBCEncryption.java:46:45:46:54 | Message | AESCBCEncryption.java:47:37:47:45 | KeyOperationOutput |
5-
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | AESGCMEncryption.java:18:34:18:36 | Key | AESGCMEncryption.java:20:17:20:21 | Nonce | AESGCMEncryption.java:25:45:25:53 | Message | AESGCMEncryption.java:25:77:25:86 | KeyOperationOutput |
63
| AESGCMEncryption.java:26:22:26:58 | EncryptOperation | AESGCMEncryption.java:15:28:15:42 | KeyOperationAlgorithm | AESGCMEncryption.java:18:34:18:36 | Key | AESGCMEncryption.java:20:17:20:21 | Nonce | AESGCMEncryption.java:25:45:25:53 | Message | AESGCMEncryption.java:26:37:26:46 | KeyOperationOutput |
7-
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | AESGCMEncryption.java:37:34:37:36 | Key | AESGCMEncryption.java:39:17:39:21 | Nonce | AESGCMEncryption.java:44:45:44:54 | Message | AESGCMEncryption.java:44:79:44:87 | KeyOperationOutput |
84
| AESGCMEncryption.java:45:22:45:57 | DecryptOperation | AESGCMEncryption.java:34:28:34:42 | KeyOperationAlgorithm | AESGCMEncryption.java:37:34:37:36 | Key | AESGCMEncryption.java:39:17:39:21 | Nonce | AESGCMEncryption.java:44:45:44:54 | Message | AESGCMEncryption.java:45:37:45:45 | KeyOperationOutput |

0 commit comments

Comments
 (0)