Skip to content

Commit b7ceeb3

Browse files
bdrodesbdrodes
committed
Crypto: nodes.expected update and removed dead code from Language.qll
1 parent ec7e41c commit b7ceeb3

File tree

2 files changed

+113
-102
lines changed

2 files changed

+113
-102
lines changed

‎cpp/ql/lib/experimental/quantum/Language.qll

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -103,28 +103,4 @@ private class ConstantDataSource extends Crypto::GenericConstantSourceInstance i
103103
override string getAdditionalDescription() { result = this.toString() }
104104
}
105105

106-
module ArtifactUniversalFlowConfig implements DataFlow::ConfigSig {
107-
predicate isSource(DataFlow::Node source) {
108-
source = any(Crypto::ArtifactInstance artifact).getOutputNode()
109-
}
110-
111-
predicate isSink(DataFlow::Node sink) {
112-
sink = any(Crypto::FlowAwareElement other).getInputNode()
113-
}
114-
115-
predicate isBarrierOut(DataFlow::Node node) {
116-
node = any(Crypto::FlowAwareElement element).getInputNode()
117-
}
118-
119-
predicate isBarrierIn(DataFlow::Node node) {
120-
node = any(Crypto::FlowAwareElement element).getOutputNode()
121-
}
122-
123-
predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
124-
node1.(AdditionalFlowInputStep).getOutput() = node2
125-
}
126-
}
127-
128-
module ArtifactUniversalFlow = DataFlow::Global<ArtifactUniversalFlowConfig>;
129-
130106
import OpenSSL.OpenSSL

‎cpp/ql/test/experimental/library-tests/quantum/nodes.expected

Lines changed: 113 additions & 78 deletions
Original file line numberDiff line numberDiff line change
@@ -59,82 +59,117 @@
5959
| openssl_pkey.c:64:9:64:24 | EncryptOperation |
6060
| openssl_pkey.c:64:31:64:39 | KeyOperationOutput |
6161
| openssl_pkey.c:64:58:64:66 | Message |
62-
| openssl_signature.c:22:34:22:40 | Message |
63-
| openssl_signature.c:23:9:23:26 | HashOperation |
64-
| openssl_signature.c:23:36:23:41 | Digest |
65-
| openssl_signature.c:70:32:70:38 | Message |
66-
| openssl_signature.c:75:28:75:36 | Message |
67-
| openssl_signature.c:80:9:80:21 | SignOperation |
68-
| openssl_signature.c:80:31:80:40 | SignatureOutput |
69-
| openssl_signature.c:80:53:80:56 | Key |
70-
| openssl_signature.c:133:52:133:55 | Key |
71-
| openssl_signature.c:134:38:134:44 | Message |
62+
| openssl_signature.c:25:34:25:40 | Message |
63+
| openssl_signature.c:26:9:26:26 | HashOperation |
64+
| openssl_signature.c:26:36:26:41 | Digest |
65+
| openssl_signature.c:63:32:63:38 | Message |
66+
| openssl_signature.c:68:28:68:36 | Message |
67+
| openssl_signature.c:73:9:73:21 | SignOperation |
68+
| openssl_signature.c:73:31:73:40 | SignatureOutput |
69+
| openssl_signature.c:73:53:73:56 | Key |
70+
| openssl_signature.c:126:52:126:55 | Key |
71+
| openssl_signature.c:127:38:127:44 | Message |
72+
| openssl_signature.c:128:9:128:27 | SignatureOrMACOperation |
73+
| openssl_signature.c:128:37:128:40 | SignatureOutput |
7274
| openssl_signature.c:135:9:135:27 | SignatureOrMACOperation |
73-
| openssl_signature.c:135:37:135:40 | SignatureOutput |
74-
| openssl_signature.c:142:9:142:27 | SignatureOrMACOperation |
75-
| openssl_signature.c:142:37:142:46 | SignatureOutput |
76-
| openssl_signature.c:165:54:165:57 | Key |
77-
| openssl_signature.c:166:40:166:46 | Message |
78-
| openssl_signature.c:167:9:167:29 | VerifyOperation |
79-
| openssl_signature.c:167:39:167:47 | SignatureInput |
80-
| openssl_signature.c:190:57:190:60 | Key |
81-
| openssl_signature.c:196:38:196:44 | Message |
82-
| openssl_signature.c:197:9:197:27 | SignatureOrMACOperation |
83-
| openssl_signature.c:197:37:197:40 | SignatureOutput |
84-
| openssl_signature.c:204:9:204:27 | SignatureOrMACOperation |
85-
| openssl_signature.c:204:37:204:46 | SignatureOutput |
86-
| openssl_signature.c:228:59:228:62 | Key |
87-
| openssl_signature.c:234:40:234:46 | Message |
88-
| openssl_signature.c:235:9:235:29 | VerifyOperation |
89-
| openssl_signature.c:235:39:235:47 | SignatureInput |
90-
| openssl_signature.c:260:39:260:42 | Key |
91-
| openssl_signature.c:263:9:263:21 | SignOperation |
92-
| openssl_signature.c:263:33:263:36 | SignatureOutput |
93-
| openssl_signature.c:263:54:263:59 | Message |
94-
| openssl_signature.c:270:9:270:21 | SignOperation |
95-
| openssl_signature.c:270:33:270:42 | SignatureOutput |
96-
| openssl_signature.c:270:60:270:65 | Message |
97-
| openssl_signature.c:292:39:292:42 | Key |
98-
| openssl_signature.c:295:9:295:23 | VerifyOperation |
99-
| openssl_signature.c:295:35:295:43 | SignatureInput |
100-
| openssl_signature.c:295:61:295:66 | Message |
101-
| openssl_signature.c:321:39:321:42 | Key |
102-
| openssl_signature.c:326:48:326:54 | Message |
103-
| openssl_signature.c:327:9:327:35 | SignOperation |
104-
| openssl_signature.c:327:47:327:50 | SignatureOutput |
105-
| openssl_signature.c:334:9:334:35 | SignOperation |
106-
| openssl_signature.c:334:47:334:56 | SignatureOutput |
107-
| openssl_signature.c:357:39:357:42 | Key |
108-
| openssl_signature.c:363:42:363:50 | SignatureInput |
109-
| openssl_signature.c:365:50:365:56 | Message |
110-
| openssl_signature.c:366:9:366:37 | VerifyOperation |
111-
| openssl_signature.c:398:9:398:16 | KeyOperationAlgorithm |
112-
| openssl_signature.c:398:9:398:16 | SignOperation |
113-
| openssl_signature.c:398:28:398:33 | Message |
114-
| openssl_signature.c:398:48:398:57 | SignatureOutput |
115-
| openssl_signature.c:399:48:399:54 | Key |
116-
| openssl_signature.c:421:12:421:21 | KeyOperationAlgorithm |
117-
| openssl_signature.c:421:12:421:21 | VerifyOperation |
118-
| openssl_signature.c:421:33:421:38 | Message |
119-
| openssl_signature.c:421:53:421:61 | SignatureInput |
120-
| openssl_signature.c:422:51:422:57 | Key |
121-
| openssl_signature.c:521:46:521:66 | PaddingAlgorithm |
122-
| openssl_signature.c:543:35:543:46 | KeyOperationAlgorithm |
123-
| openssl_signature.c:547:51:547:54 | Constant |
124-
| openssl_signature.c:548:9:548:23 | KeyGeneration |
125-
| openssl_signature.c:548:34:548:37 | Key |
126-
| openssl_signature.c:565:50:565:54 | KeyOperationAlgorithm |
127-
| openssl_signature.c:569:55:569:58 | Constant |
128-
| openssl_signature.c:575:32:575:37 | Key |
129-
| openssl_signature.c:578:9:578:23 | KeyGeneration |
130-
| openssl_signature.c:578:34:578:37 | Key |
131-
| openssl_signature.c:602:37:602:77 | Constant |
132-
| openssl_signature.c:684:24:684:33 | HashAlgorithm |
133-
| openssl_signature.c:685:37:685:77 | Constant |
134-
| openssl_signature.c:702:60:702:71 | HashAlgorithm |
135-
| openssl_signature.c:702:60:702:71 | KeyOperationAlgorithm |
136-
| openssl_signature.c:709:37:709:46 | HashAlgorithm |
137-
| openssl_signature.c:711:41:711:50 | HashAlgorithm |
138-
| openssl_signature.c:740:24:740:33 | HashAlgorithm |
139-
| openssl_signature.c:741:37:741:77 | Constant |
140-
| openssl_signature.c:758:60:758:64 | KeyOperationAlgorithm |
75+
| openssl_signature.c:135:37:135:46 | SignatureOutput |
76+
| openssl_signature.c:158:54:158:57 | Key |
77+
| openssl_signature.c:159:40:159:46 | Message |
78+
| openssl_signature.c:160:9:160:29 | VerifyOperation |
79+
| openssl_signature.c:160:39:160:47 | SignatureInput |
80+
| openssl_signature.c:182:57:182:60 | Key |
81+
| openssl_signature.c:185:44:185:64 | PaddingAlgorithm |
82+
| openssl_signature.c:187:38:187:44 | Message |
83+
| openssl_signature.c:188:9:188:27 | SignatureOrMACOperation |
84+
| openssl_signature.c:188:37:188:40 | SignatureOutput |
85+
| openssl_signature.c:195:9:195:27 | SignatureOrMACOperation |
86+
| openssl_signature.c:195:37:195:46 | SignatureOutput |
87+
| openssl_signature.c:218:59:218:62 | Key |
88+
| openssl_signature.c:222:44:222:64 | PaddingAlgorithm |
89+
| openssl_signature.c:224:40:224:46 | Message |
90+
| openssl_signature.c:225:9:225:29 | VerifyOperation |
91+
| openssl_signature.c:225:39:225:47 | SignatureInput |
92+
| openssl_signature.c:250:39:250:42 | Key |
93+
| openssl_signature.c:253:9:253:21 | SignOperation |
94+
| openssl_signature.c:253:33:253:36 | SignatureOutput |
95+
| openssl_signature.c:253:54:253:59 | Message |
96+
| openssl_signature.c:260:9:260:21 | SignOperation |
97+
| openssl_signature.c:260:33:260:42 | SignatureOutput |
98+
| openssl_signature.c:260:60:260:65 | Message |
99+
| openssl_signature.c:282:39:282:42 | Key |
100+
| openssl_signature.c:285:9:285:23 | VerifyOperation |
101+
| openssl_signature.c:285:35:285:43 | SignatureInput |
102+
| openssl_signature.c:285:61:285:66 | Message |
103+
| openssl_signature.c:311:39:311:42 | Key |
104+
| openssl_signature.c:316:48:316:54 | Message |
105+
| openssl_signature.c:317:9:317:35 | SignOperation |
106+
| openssl_signature.c:317:47:317:50 | SignatureOutput |
107+
| openssl_signature.c:324:9:324:35 | SignOperation |
108+
| openssl_signature.c:324:47:324:56 | SignatureOutput |
109+
| openssl_signature.c:347:39:347:42 | Key |
110+
| openssl_signature.c:353:42:353:50 | SignatureInput |
111+
| openssl_signature.c:355:50:355:56 | Message |
112+
| openssl_signature.c:356:9:356:37 | VerifyOperation |
113+
| openssl_signature.c:388:9:388:16 | KeyOperationAlgorithm |
114+
| openssl_signature.c:388:9:388:16 | SignOperation |
115+
| openssl_signature.c:388:28:388:33 | Message |
116+
| openssl_signature.c:388:48:388:57 | SignatureOutput |
117+
| openssl_signature.c:389:48:389:54 | Key |
118+
| openssl_signature.c:411:12:411:21 | KeyOperationAlgorithm |
119+
| openssl_signature.c:411:12:411:21 | VerifyOperation |
120+
| openssl_signature.c:411:33:411:38 | Message |
121+
| openssl_signature.c:411:53:411:61 | SignatureInput |
122+
| openssl_signature.c:412:51:412:57 | Key |
123+
| openssl_signature.c:519:35:519:46 | KeyOperationAlgorithm |
124+
| openssl_signature.c:523:51:523:54 | Constant |
125+
| openssl_signature.c:524:9:524:23 | KeyGeneration |
126+
| openssl_signature.c:524:34:524:37 | Key |
127+
| openssl_signature.c:541:50:541:54 | KeyOperationAlgorithm |
128+
| openssl_signature.c:545:55:545:58 | Constant |
129+
| openssl_signature.c:551:32:551:37 | Key |
130+
| openssl_signature.c:554:9:554:23 | KeyGeneration |
131+
| openssl_signature.c:554:34:554:37 | Key |
132+
| openssl_signature.c:574:37:574:74 | Constant |
133+
| openssl_signature.c:575:24:575:30 | HashAlgorithm |
134+
| openssl_signature.c:583:35:583:46 | KeyOperationAlgorithm |
135+
| openssl_signature.c:587:51:587:54 | Constant |
136+
| openssl_signature.c:588:9:588:23 | KeyGeneration |
137+
| openssl_signature.c:588:34:588:37 | Key |
138+
| openssl_signature.c:596:15:596:31 | KeyOperationAlgorithm |
139+
| openssl_signature.c:604:37:604:46 | HashAlgorithm |
140+
| openssl_signature.c:606:41:606:50 | HashAlgorithm |
141+
| openssl_signature.c:624:37:624:74 | Constant |
142+
| openssl_signature.c:625:24:625:33 | HashAlgorithm |
143+
| openssl_signature.c:660:37:660:61 | Constant |
144+
| openssl_signature.c:661:24:661:33 | HashAlgorithm |
145+
| openssl_signature.c:670:35:670:46 | KeyOperationAlgorithm |
146+
| openssl_signature.c:674:51:674:54 | Constant |
147+
| openssl_signature.c:675:9:675:23 | KeyGeneration |
148+
| openssl_signature.c:675:34:675:37 | Key |
149+
| openssl_signature.c:701:37:701:67 | Constant |
150+
| openssl_signature.c:702:24:702:33 | HashAlgorithm |
151+
| openssl_signature.c:711:35:711:46 | KeyOperationAlgorithm |
152+
| openssl_signature.c:715:51:715:54 | Constant |
153+
| openssl_signature.c:716:9:716:23 | KeyGeneration |
154+
| openssl_signature.c:716:34:716:37 | Key |
155+
| openssl_signature.c:741:37:741:66 | Constant |
156+
| openssl_signature.c:742:24:742:31 | HashAlgorithm |
157+
| openssl_signature.c:755:35:755:46 | KeyOperationAlgorithm |
158+
| openssl_signature.c:759:51:759:54 | Constant |
159+
| openssl_signature.c:760:9:760:23 | KeyGeneration |
160+
| openssl_signature.c:760:34:760:37 | Key |
161+
| openssl_signature.c:786:37:786:73 | Constant |
162+
| openssl_signature.c:787:24:787:31 | HashAlgorithm |
163+
| openssl_signature.c:795:35:795:46 | KeyOperationAlgorithm |
164+
| openssl_signature.c:799:51:799:54 | Constant |
165+
| openssl_signature.c:800:9:800:23 | KeyGeneration |
166+
| openssl_signature.c:800:34:800:37 | Key |
167+
| openssl_signature.c:826:37:826:63 | Constant |
168+
| openssl_signature.c:833:35:833:46 | KeyOperationAlgorithm |
169+
| openssl_signature.c:837:51:837:54 | Constant |
170+
| openssl_signature.c:838:9:838:23 | KeyGeneration |
171+
| openssl_signature.c:838:34:838:37 | Key |
172+
| openssl_signature.c:847:85:847:96 | HashAlgorithm |
173+
| openssl_signature.c:847:85:847:96 | KeyOperationAlgorithm |
174+
| openssl_signature.c:848:87:848:98 | HashAlgorithm |
175+
| openssl_signature.c:848:87:848:98 | KeyOperationAlgorithm |

0 commit comments

Comments
 (0)