Skip to content

Commit 9d411c6

Browse files
paldepindpaldepind
committed
Rust: Update expected files
1 parent 2b28deb commit 9d411c6

File tree

4 files changed

+76
-37
lines changed

4 files changed

+76
-37
lines changed

‎rust/ql/test/library-tests/dataflow/global/inline-flow.expected‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -178,10 +178,13 @@ edges
178178
| main.rs:306:30:306:56 | ...::take_second(...) [MyInt] | main.rs:306:9:306:26 | MyInt {...} [MyInt] | provenance | |
179179
| main.rs:306:55:306:55 | b [MyInt] | main.rs:293:26:293:37 | ...: MyInt [MyInt] | provenance | |
180180
| main.rs:306:55:306:55 | b [MyInt] | main.rs:306:30:306:56 | ...::take_second(...) [MyInt] | provenance | |
181+
| main.rs:315:32:319:1 | { ... } | main.rs:322:13:322:26 | async_source(...) | provenance | |
181182
| main.rs:315:32:319:1 | { ... } | main.rs:334:41:334:54 | async_source(...) | provenance | |
182183
| main.rs:316:9:316:9 | a | main.rs:315:32:319:1 | { ... } | provenance | |
183184
| main.rs:316:9:316:9 | a | main.rs:317:10:317:10 | a | provenance | |
184185
| main.rs:316:13:316:21 | source(...) | main.rs:316:9:316:9 | a | provenance | |
186+
| main.rs:322:9:322:9 | a | main.rs:323:10:323:10 | a | provenance | |
187+
| main.rs:322:13:322:26 | async_source(...) | main.rs:322:9:322:9 | a | provenance | |
185188
| main.rs:326:13:326:13 | c | main.rs:327:14:327:14 | c | provenance | |
186189
| main.rs:326:17:326:25 | source(...) | main.rs:326:13:326:13 | c | provenance | |
187190
| main.rs:334:9:334:9 | a | main.rs:335:10:335:10 | a | provenance | |
@@ -384,6 +387,9 @@ nodes
384387
| main.rs:316:9:316:9 | a | semmle.label | a |
385388
| main.rs:316:13:316:21 | source(...) | semmle.label | source(...) |
386389
| main.rs:317:10:317:10 | a | semmle.label | a |
390+
| main.rs:322:9:322:9 | a | semmle.label | a |
391+
| main.rs:322:13:322:26 | async_source(...) | semmle.label | async_source(...) |
392+
| main.rs:323:10:323:10 | a | semmle.label | a |
387393
| main.rs:326:13:326:13 | c | semmle.label | c |
388394
| main.rs:326:17:326:25 | source(...) | semmle.label | source(...) |
389395
| main.rs:327:14:327:14 | c | semmle.label | c |
@@ -440,5 +446,6 @@ testFailures
440446
| main.rs:302:10:302:10 | c | main.rs:299:28:299:36 | source(...) | main.rs:302:10:302:10 | c | $@ | main.rs:299:28:299:36 | source(...) | source(...) |
441447
| main.rs:307:10:307:10 | c | main.rs:305:28:305:37 | source(...) | main.rs:307:10:307:10 | c | $@ | main.rs:305:28:305:37 | source(...) | source(...) |
442448
| main.rs:317:10:317:10 | a | main.rs:316:13:316:21 | source(...) | main.rs:317:10:317:10 | a | $@ | main.rs:316:13:316:21 | source(...) | source(...) |
449+
| main.rs:323:10:323:10 | a | main.rs:316:13:316:21 | source(...) | main.rs:323:10:323:10 | a | $@ | main.rs:316:13:316:21 | source(...) | source(...) |
443450
| main.rs:327:14:327:14 | c | main.rs:326:17:326:25 | source(...) | main.rs:327:14:327:14 | c | $@ | main.rs:326:17:326:25 | source(...) | source(...) |
444451
| main.rs:335:10:335:10 | a | main.rs:316:13:316:21 | source(...) | main.rs:335:10:335:10 | a | $@ | main.rs:316:13:316:21 | source(...) | source(...) |

‎rust/ql/test/library-tests/dataflow/global/main.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -320,7 +320,7 @@ async fn async_source() -> i64 {
320320

321321
async fn test_async_await_async_part() {
322322
let a = async_source().await;
323-
sink(a); // $ MISSING: hasValueFlow=1
323+
sink(a); // $ hasTaintFlow=1 MISSING: hasValueFlow=1
324324

325325
let b = async {
326326
let c = source(2);

‎rust/ql/test/library-tests/dataflow/sources/database/InlineFlow.expected‎

Lines changed: 60 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -48,25 +48,31 @@ edges
4848
| test.rs:41:42:41:44 | get | test.rs:41:14:41:61 | ... .get(...) [Some] | provenance | Src:MaD:7 |
4949
| test.rs:42:13:42:15 | row | test.rs:44:22:44:22 | v | provenance | |
5050
| test.rs:42:20:42:21 | t1 [element] | test.rs:42:13:42:15 | row | provenance | |
51-
| test.rs:48:22:48:30 | query_map | test.rs:50:14:50:24 | ...: i64 | provenance | Src:MaD:3 |
52-
| test.rs:50:14:50:24 | ...: i64 | test.rs:51:22:51:27 | values | provenance | |
53-
| test.rs:55:22:55:30 | query_map | test.rs:57:14:57:39 | ...: ... | provenance | Src:MaD:3 |
54-
| test.rs:57:14:57:39 | ...: ... | test.rs:59:22:59:29 | values.1 | provenance | |
51+
| test.rs:48:22:48:30 | query_map | test.rs:50:14:50:24 | values: i64 | provenance | Src:MaD:3 |
52+
| test.rs:50:14:50:24 | values: i64 | test.rs:51:22:51:27 | values | provenance | |
53+
| test.rs:55:22:55:30 | query_map | test.rs:57:14:57:39 | values: ... | provenance | Src:MaD:3 |
54+
| test.rs:57:14:57:39 | values: ... | test.rs:58:22:58:29 | values.0 | provenance | |
55+
| test.rs:57:14:57:39 | values: ... | test.rs:59:22:59:29 | values.1 | provenance | |
56+
| test.rs:57:14:57:39 | values: ... | test.rs:60:22:60:29 | values.2 | provenance | |
5557
| test.rs:64:13:64:17 | total | test.rs:68:14:68:18 | total | provenance | |
5658
| test.rs:64:21:67:10 | conn.query_fold(...) [Ok] | test.rs:64:21:67:11 | TryExpr | provenance | |
5759
| test.rs:64:21:67:11 | TryExpr | test.rs:64:13:64:17 | total | provenance | |
58-
| test.rs:64:26:64:35 | query_fold | test.rs:64:76:64:83 | ...: i64 | provenance | Src:MaD:2 |
59-
| test.rs:64:76:64:83 | ...: i64 | test.rs:64:86:67:9 | { ... } | provenance | |
60-
| test.rs:64:76:64:83 | ...: i64 | test.rs:65:18:65:20 | row | provenance | |
61-
| test.rs:64:76:64:83 | ...: i64 | test.rs:66:19:66:21 | row | provenance | |
60+
| test.rs:64:26:64:35 | query_fold | test.rs:64:76:64:83 | row: i64 | provenance | Src:MaD:2 |
61+
| test.rs:64:76:64:83 | row: i64 | test.rs:64:86:67:9 | { ... } | provenance | |
62+
| test.rs:64:76:64:83 | row: i64 | test.rs:65:18:65:20 | row | provenance | |
63+
| test.rs:64:76:64:83 | row: i64 | test.rs:66:19:66:21 | row | provenance | |
6264
| test.rs:64:86:67:9 | { ... } | test.rs:64:21:67:10 | conn.query_fold(...) [Ok] | provenance | MaD:13 |
6365
| test.rs:66:13:66:21 | ... + ... | test.rs:64:86:67:9 | { ... } | provenance | |
6466
| test.rs:66:19:66:21 | row | test.rs:66:13:66:21 | ... + ... | provenance | MaD:11 |
6567
| test.rs:66:19:66:21 | row | test.rs:66:13:66:21 | ... + ... | provenance | MaD:12 |
6668
| test.rs:66:19:66:21 | row | test.rs:66:13:66:21 | ... + ... | provenance | MaD:15 |
67-
| test.rs:70:22:70:31 | query_fold | test.rs:70:83:70:105 | ...: ... | provenance | Src:MaD:2 |
68-
| test.rs:70:83:70:105 | ...: ... | test.rs:72:17:72:20 | name | provenance | |
69+
| test.rs:70:22:70:31 | query_fold | test.rs:70:83:70:105 | row: ... | provenance | Src:MaD:2 |
70+
| test.rs:70:83:70:105 | row: ... | test.rs:71:17:71:18 | id | provenance | |
71+
| test.rs:70:83:70:105 | row: ... | test.rs:72:17:72:20 | name | provenance | |
72+
| test.rs:70:83:70:105 | row: ... | test.rs:73:17:73:19 | age | provenance | |
73+
| test.rs:71:17:71:18 | id | test.rs:74:18:74:19 | id | provenance | |
6974
| test.rs:72:17:72:20 | name | test.rs:75:18:75:21 | name | provenance | |
75+
| test.rs:73:17:73:19 | age | test.rs:76:18:76:20 | age | provenance | |
7076
| test.rs:105:13:105:14 | v1 | test.rs:106:14:106:15 | v1 | provenance | |
7177
| test.rs:105:24:105:33 | row.get(...) [Some] | test.rs:105:24:105:42 | ... .unwrap() | provenance | MaD:16 |
7278
| test.rs:105:24:105:42 | ... .unwrap() | test.rs:105:13:105:14 | v1 | provenance | |
@@ -85,26 +91,32 @@ edges
8591
| test.rs:114:24:114:47 | ... .unwrap() [Ok] | test.rs:114:24:114:56 | ... .unwrap() | provenance | MaD:17 |
8692
| test.rs:114:24:114:56 | ... .unwrap() | test.rs:114:13:114:14 | v4 | provenance | |
8793
| test.rs:114:28:114:35 | take_opt | test.rs:114:24:114:38 | row.take_opt(...) [Some, Ok] | provenance | Src:MaD:10 |
88-
| test.rs:135:22:135:30 | query_map | test.rs:137:14:137:24 | ...: i64 | provenance | Src:MaD:5 |
89-
| test.rs:137:14:137:24 | ...: i64 | test.rs:138:22:138:27 | values | provenance | |
90-
| test.rs:142:22:142:30 | query_map | test.rs:144:14:144:39 | ...: ... | provenance | Src:MaD:5 |
91-
| test.rs:144:14:144:39 | ...: ... | test.rs:146:22:146:29 | values.1 | provenance | |
94+
| test.rs:135:22:135:30 | query_map | test.rs:137:14:137:24 | values: i64 | provenance | Src:MaD:5 |
95+
| test.rs:137:14:137:24 | values: i64 | test.rs:138:22:138:27 | values | provenance | |
96+
| test.rs:142:22:142:30 | query_map | test.rs:144:14:144:39 | values: ... | provenance | Src:MaD:5 |
97+
| test.rs:144:14:144:39 | values: ... | test.rs:145:22:145:29 | values.0 | provenance | |
98+
| test.rs:144:14:144:39 | values: ... | test.rs:146:22:146:29 | values.1 | provenance | |
99+
| test.rs:144:14:144:39 | values: ... | test.rs:147:22:147:29 | values.2 | provenance | |
92100
| test.rs:151:13:151:17 | total | test.rs:155:14:155:18 | total | provenance | |
93101
| test.rs:151:21:154:10 | conn.query_fold(...) [future, Ok] | test.rs:151:21:154:16 | await ... [Ok] | provenance | |
94102
| test.rs:151:21:154:16 | await ... [Ok] | test.rs:151:21:154:17 | TryExpr | provenance | |
95103
| test.rs:151:21:154:17 | TryExpr | test.rs:151:13:151:17 | total | provenance | |
96-
| test.rs:151:26:151:35 | query_fold | test.rs:151:76:151:83 | ...: i64 | provenance | Src:MaD:4 |
97-
| test.rs:151:76:151:83 | ...: i64 | test.rs:151:86:154:9 | { ... } | provenance | |
98-
| test.rs:151:76:151:83 | ...: i64 | test.rs:152:18:152:20 | row | provenance | |
99-
| test.rs:151:76:151:83 | ...: i64 | test.rs:153:19:153:21 | row | provenance | |
104+
| test.rs:151:26:151:35 | query_fold | test.rs:151:76:151:83 | row: i64 | provenance | Src:MaD:4 |
105+
| test.rs:151:76:151:83 | row: i64 | test.rs:151:86:154:9 | { ... } | provenance | |
106+
| test.rs:151:76:151:83 | row: i64 | test.rs:152:18:152:20 | row | provenance | |
107+
| test.rs:151:76:151:83 | row: i64 | test.rs:153:19:153:21 | row | provenance | |
100108
| test.rs:151:86:154:9 | { ... } | test.rs:151:21:154:10 | conn.query_fold(...) [future, Ok] | provenance | MaD:14 |
101109
| test.rs:153:13:153:21 | ... + ... | test.rs:151:86:154:9 | { ... } | provenance | |
102110
| test.rs:153:19:153:21 | row | test.rs:153:13:153:21 | ... + ... | provenance | MaD:11 |
103111
| test.rs:153:19:153:21 | row | test.rs:153:13:153:21 | ... + ... | provenance | MaD:12 |
104112
| test.rs:153:19:153:21 | row | test.rs:153:13:153:21 | ... + ... | provenance | MaD:15 |
105-
| test.rs:157:22:157:31 | query_fold | test.rs:157:83:157:105 | ...: ... | provenance | Src:MaD:4 |
106-
| test.rs:157:83:157:105 | ...: ... | test.rs:159:17:159:20 | name | provenance | |
113+
| test.rs:157:22:157:31 | query_fold | test.rs:157:83:157:105 | row: ... | provenance | Src:MaD:4 |
114+
| test.rs:157:83:157:105 | row: ... | test.rs:158:17:158:18 | id | provenance | |
115+
| test.rs:157:83:157:105 | row: ... | test.rs:159:17:159:20 | name | provenance | |
116+
| test.rs:157:83:157:105 | row: ... | test.rs:160:17:160:19 | age | provenance | |
117+
| test.rs:158:17:158:18 | id | test.rs:161:18:161:19 | id | provenance | |
107118
| test.rs:159:17:159:20 | name | test.rs:162:18:162:21 | name | provenance | |
119+
| test.rs:160:17:160:19 | age | test.rs:163:18:163:20 | age | provenance | |
108120
nodes
109121
| test.rs:18:13:18:14 | v1 | semmle.label | v1 |
110122
| test.rs:18:24:18:33 | row.get(...) [Some] | semmle.label | row.get(...) [Some] |
@@ -145,25 +157,31 @@ nodes
145157
| test.rs:42:20:42:21 | t1 [element] | semmle.label | t1 [element] |
146158
| test.rs:44:22:44:22 | v | semmle.label | v |
147159
| test.rs:48:22:48:30 | query_map | semmle.label | query_map |
148-
| test.rs:50:14:50:24 | ...: i64 | semmle.label | ...: i64 |
160+
| test.rs:50:14:50:24 | values: i64 | semmle.label | values: i64 |
149161
| test.rs:51:22:51:27 | values | semmle.label | values |
150162
| test.rs:55:22:55:30 | query_map | semmle.label | query_map |
151-
| test.rs:57:14:57:39 | ...: ... | semmle.label | ...: ... |
163+
| test.rs:57:14:57:39 | values: ... | semmle.label | values: ... |
164+
| test.rs:58:22:58:29 | values.0 | semmle.label | values.0 |
152165
| test.rs:59:22:59:29 | values.1 | semmle.label | values.1 |
166+
| test.rs:60:22:60:29 | values.2 | semmle.label | values.2 |
153167
| test.rs:64:13:64:17 | total | semmle.label | total |
154168
| test.rs:64:21:67:10 | conn.query_fold(...) [Ok] | semmle.label | conn.query_fold(...) [Ok] |
155169
| test.rs:64:21:67:11 | TryExpr | semmle.label | TryExpr |
156170
| test.rs:64:26:64:35 | query_fold | semmle.label | query_fold |
157-
| test.rs:64:76:64:83 | ...: i64 | semmle.label | ...: i64 |
171+
| test.rs:64:76:64:83 | row: i64 | semmle.label | row: i64 |
158172
| test.rs:64:86:67:9 | { ... } | semmle.label | { ... } |
159173
| test.rs:65:18:65:20 | row | semmle.label | row |
160174
| test.rs:66:13:66:21 | ... + ... | semmle.label | ... + ... |
161175
| test.rs:66:19:66:21 | row | semmle.label | row |
162176
| test.rs:68:14:68:18 | total | semmle.label | total |
163177
| test.rs:70:22:70:31 | query_fold | semmle.label | query_fold |
164-
| test.rs:70:83:70:105 | ...: ... | semmle.label | ...: ... |
178+
| test.rs:70:83:70:105 | row: ... | semmle.label | row: ... |
179+
| test.rs:71:17:71:18 | id | semmle.label | id |
165180
| test.rs:72:17:72:20 | name | semmle.label | name |
181+
| test.rs:73:17:73:19 | age | semmle.label | age |
182+
| test.rs:74:18:74:19 | id | semmle.label | id |
166183
| test.rs:75:18:75:21 | name | semmle.label | name |
184+
| test.rs:76:18:76:20 | age | semmle.label | age |
167185
| test.rs:105:13:105:14 | v1 | semmle.label | v1 |
168186
| test.rs:105:24:105:33 | row.get(...) [Some] | semmle.label | row.get(...) [Some] |
169187
| test.rs:105:24:105:42 | ... .unwrap() | semmle.label | ... .unwrap() |
@@ -187,26 +205,32 @@ nodes
187205
| test.rs:114:28:114:35 | take_opt | semmle.label | take_opt |
188206
| test.rs:115:14:115:15 | v4 | semmle.label | v4 |
189207
| test.rs:135:22:135:30 | query_map | semmle.label | query_map |
190-
| test.rs:137:14:137:24 | ...: i64 | semmle.label | ...: i64 |
208+
| test.rs:137:14:137:24 | values: i64 | semmle.label | values: i64 |
191209
| test.rs:138:22:138:27 | values | semmle.label | values |
192210
| test.rs:142:22:142:30 | query_map | semmle.label | query_map |
193-
| test.rs:144:14:144:39 | ...: ... | semmle.label | ...: ... |
211+
| test.rs:144:14:144:39 | values: ... | semmle.label | values: ... |
212+
| test.rs:145:22:145:29 | values.0 | semmle.label | values.0 |
194213
| test.rs:146:22:146:29 | values.1 | semmle.label | values.1 |
214+
| test.rs:147:22:147:29 | values.2 | semmle.label | values.2 |
195215
| test.rs:151:13:151:17 | total | semmle.label | total |
196216
| test.rs:151:21:154:10 | conn.query_fold(...) [future, Ok] | semmle.label | conn.query_fold(...) [future, Ok] |
197217
| test.rs:151:21:154:16 | await ... [Ok] | semmle.label | await ... [Ok] |
198218
| test.rs:151:21:154:17 | TryExpr | semmle.label | TryExpr |
199219
| test.rs:151:26:151:35 | query_fold | semmle.label | query_fold |
200-
| test.rs:151:76:151:83 | ...: i64 | semmle.label | ...: i64 |
220+
| test.rs:151:76:151:83 | row: i64 | semmle.label | row: i64 |
201221
| test.rs:151:86:154:9 | { ... } | semmle.label | { ... } |
202222
| test.rs:152:18:152:20 | row | semmle.label | row |
203223
| test.rs:153:13:153:21 | ... + ... | semmle.label | ... + ... |
204224
| test.rs:153:19:153:21 | row | semmle.label | row |
205225
| test.rs:155:14:155:18 | total | semmle.label | total |
206226
| test.rs:157:22:157:31 | query_fold | semmle.label | query_fold |
207-
| test.rs:157:83:157:105 | ...: ... | semmle.label | ...: ... |
227+
| test.rs:157:83:157:105 | row: ... | semmle.label | row: ... |
228+
| test.rs:158:17:158:18 | id | semmle.label | id |
208229
| test.rs:159:17:159:20 | name | semmle.label | name |
230+
| test.rs:160:17:160:19 | age | semmle.label | age |
231+
| test.rs:161:18:161:19 | id | semmle.label | id |
209232
| test.rs:162:18:162:21 | name | semmle.label | name |
233+
| test.rs:163:18:163:20 | age | semmle.label | age |
210234
subpaths
211235
testFailures
212236
#select
@@ -218,16 +242,24 @@ testFailures
218242
| test.rs:41:14:41:70 | ... .unwrap() | test.rs:41:42:41:44 | get | test.rs:41:14:41:70 | ... .unwrap() | $@ | test.rs:41:42:41:44 | get | get |
219243
| test.rs:44:22:44:22 | v | test.rs:40:27:40:35 | exec_iter | test.rs:44:22:44:22 | v | $@ | test.rs:40:27:40:35 | exec_iter | exec_iter |
220244
| test.rs:51:22:51:27 | values | test.rs:48:22:48:30 | query_map | test.rs:51:22:51:27 | values | $@ | test.rs:48:22:48:30 | query_map | query_map |
245+
| test.rs:58:22:58:29 | values.0 | test.rs:55:22:55:30 | query_map | test.rs:58:22:58:29 | values.0 | $@ | test.rs:55:22:55:30 | query_map | query_map |
221246
| test.rs:59:22:59:29 | values.1 | test.rs:55:22:55:30 | query_map | test.rs:59:22:59:29 | values.1 | $@ | test.rs:55:22:55:30 | query_map | query_map |
247+
| test.rs:60:22:60:29 | values.2 | test.rs:55:22:55:30 | query_map | test.rs:60:22:60:29 | values.2 | $@ | test.rs:55:22:55:30 | query_map | query_map |
222248
| test.rs:65:18:65:20 | row | test.rs:64:26:64:35 | query_fold | test.rs:65:18:65:20 | row | $@ | test.rs:64:26:64:35 | query_fold | query_fold |
223249
| test.rs:68:14:68:18 | total | test.rs:64:26:64:35 | query_fold | test.rs:68:14:68:18 | total | $@ | test.rs:64:26:64:35 | query_fold | query_fold |
250+
| test.rs:74:18:74:19 | id | test.rs:70:22:70:31 | query_fold | test.rs:74:18:74:19 | id | $@ | test.rs:70:22:70:31 | query_fold | query_fold |
224251
| test.rs:75:18:75:21 | name | test.rs:70:22:70:31 | query_fold | test.rs:75:18:75:21 | name | $@ | test.rs:70:22:70:31 | query_fold | query_fold |
252+
| test.rs:76:18:76:20 | age | test.rs:70:22:70:31 | query_fold | test.rs:76:18:76:20 | age | $@ | test.rs:70:22:70:31 | query_fold | query_fold |
225253
| test.rs:106:14:106:15 | v1 | test.rs:105:28:105:30 | get | test.rs:106:14:106:15 | v1 | $@ | test.rs:105:28:105:30 | get | get |
226254
| test.rs:109:14:109:15 | v2 | test.rs:108:28:108:34 | get_opt | test.rs:109:14:109:15 | v2 | $@ | test.rs:108:28:108:34 | get_opt | get_opt |
227255
| test.rs:112:14:112:15 | v3 | test.rs:111:28:111:31 | take | test.rs:112:14:112:15 | v3 | $@ | test.rs:111:28:111:31 | take | take |
228256
| test.rs:115:14:115:15 | v4 | test.rs:114:28:114:35 | take_opt | test.rs:115:14:115:15 | v4 | $@ | test.rs:114:28:114:35 | take_opt | take_opt |
229257
| test.rs:138:22:138:27 | values | test.rs:135:22:135:30 | query_map | test.rs:138:22:138:27 | values | $@ | test.rs:135:22:135:30 | query_map | query_map |
258+
| test.rs:145:22:145:29 | values.0 | test.rs:142:22:142:30 | query_map | test.rs:145:22:145:29 | values.0 | $@ | test.rs:142:22:142:30 | query_map | query_map |
230259
| test.rs:146:22:146:29 | values.1 | test.rs:142:22:142:30 | query_map | test.rs:146:22:146:29 | values.1 | $@ | test.rs:142:22:142:30 | query_map | query_map |
260+
| test.rs:147:22:147:29 | values.2 | test.rs:142:22:142:30 | query_map | test.rs:147:22:147:29 | values.2 | $@ | test.rs:142:22:142:30 | query_map | query_map |
231261
| test.rs:152:18:152:20 | row | test.rs:151:26:151:35 | query_fold | test.rs:152:18:152:20 | row | $@ | test.rs:151:26:151:35 | query_fold | query_fold |
232262
| test.rs:155:14:155:18 | total | test.rs:151:26:151:35 | query_fold | test.rs:155:14:155:18 | total | $@ | test.rs:151:26:151:35 | query_fold | query_fold |
263+
| test.rs:161:18:161:19 | id | test.rs:157:22:157:31 | query_fold | test.rs:161:18:161:19 | id | $@ | test.rs:157:22:157:31 | query_fold | query_fold |
233264
| test.rs:162:18:162:21 | name | test.rs:157:22:157:31 | query_fold | test.rs:162:18:162:21 | name | $@ | test.rs:157:22:157:31 | query_fold | query_fold |
265+
| test.rs:163:18:163:20 | age | test.rs:157:22:157:31 | query_fold | test.rs:163:18:163:20 | age | $@ | test.rs:157:22:157:31 | query_fold | query_fold |

‎rust/ql/test/library-tests/dataflow/sources/database/test.rs‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -55,9 +55,9 @@ mod test_mysql {
5555
let _ = conn.query_map( // $ Alert[rust/summary/taint-sources]
5656
"SELECT id, name, age FROM person",
5757
|values: (i64, String, i32)| -> () {
58-
sink(values.0); // $ MISSING: hasTaintFlow
58+
sink(values.0); // $ hasTaintFlow
5959
sink(values.1); // $ hasTaintFlow
60-
sink(values.2); // $ MISSING: hasTaintFlow
60+
sink(values.2); // $ hasTaintFlow
6161
}
6262
)?;
6363

@@ -71,9 +71,9 @@ mod test_mysql {
7171
let id: i64 = row.0;
7272
let name: String = row.1;
7373
let age: i32 = row.2;
74-
sink(id); // $ MISSING: hasTaintFlow
74+
sink(id); // $ hasTaintFlow
7575
sink(name); // $ hasTaintFlow
76-
sink(age); // $ MISSING: hasTaintFlow
76+
sink(age); // $ hasTaintFlow
7777
acc + 1
7878
})?;
7979

@@ -142,9 +142,9 @@ mod test_mysql_async {
142142
let _ = conn.query_map( // $ Alert[rust/summary/taint-sources]
143143
"SELECT id, name, age FROM person",
144144
|values: (i64, String, i32)| -> () {
145-
sink(values.0); // $ MISSING: hasTaintFlow
145+
sink(values.0); // $ hasTaintFlow
146146
sink(values.1); // $ hasTaintFlow
147-
sink(values.2); // $ MISSING: hasTaintFlow
147+
sink(values.2); // $ hasTaintFlow
148148
}
149149
).await?;
150150

@@ -158,9 +158,9 @@ mod test_mysql_async {
158158
let id: i64 = row.0;
159159
let name: String = row.1;
160160
let age: i32 = row.2;
161-
sink(id); // $ MISSING: hasTaintFlow
161+
sink(id); // $ hasTaintFlow
162162
sink(name); // $ hasTaintFlow
163-
sink(age); // $ MISSING: hasTaintFlow
163+
sink(age); // $ hasTaintFlow
164164
acc + 1
165165
}).await?;
166166

0 commit comments

Comments
 (0)