Skip to content

Commit 9b44a95

Browse files
hvitvedhvitved
committed
wip
1 parent 332303a commit 9b44a95

2 files changed

Lines changed: 261 additions & 136 deletions

File tree

‎rust/ql/test/library-tests/dataflow/models/models.expected‎

Lines changed: 38 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -229,8 +229,10 @@ edges
229229
| main.rs:232:30:232:30 | s | main.rs:232:13:232:31 | get_async_number(...) [future] | provenance | MaD:28 |
230230
| main.rs:257:9:257:9 | s [D] | main.rs:258:11:258:11 | s [D] | provenance | |
231231
| main.rs:257:9:257:9 | s [D] | main.rs:258:11:258:11 | s [D] | provenance | |
232-
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:9:257:9 | s [D] | provenance | Src:MaD:12 |
233-
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:9:257:9 | s [D] | provenance | Src:MaD:12 |
232+
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:13:257:27 | enum_source(...) [D] | provenance | Src:MaD:12 |
233+
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:13:257:27 | enum_source(...) [D] | provenance | Src:MaD:12 |
234+
| main.rs:257:13:257:27 | enum_source(...) [D] | main.rs:257:9:257:9 | s [D] | provenance | |
235+
| main.rs:257:13:257:27 | enum_source(...) [D] | main.rs:257:9:257:9 | s [D] | provenance | |
234236
| main.rs:258:11:258:11 | s [D] | main.rs:260:9:260:37 | ...::D {...} [D] | provenance | |
235237
| main.rs:258:11:258:11 | s [D] | main.rs:260:9:260:37 | ...::D {...} [D] | provenance | |
236238
| main.rs:260:9:260:37 | ...::D {...} [D] | main.rs:260:35:260:35 | i | provenance | |
@@ -239,8 +241,10 @@ edges
239241
| main.rs:260:35:260:35 | i | main.rs:260:47:260:47 | i | provenance | |
240242
| main.rs:264:9:264:9 | s [E, Some] | main.rs:265:11:265:11 | s [E, Some] | provenance | |
241243
| main.rs:264:9:264:9 | s [E, Some] | main.rs:265:11:265:11 | s [E, Some] | provenance | |
242-
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:9:264:9 | s [E, Some] | provenance | Src:MaD:13 |
243-
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:9:264:9 | s [E, Some] | provenance | Src:MaD:13 |
244+
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | provenance | Src:MaD:13 |
245+
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | provenance | Src:MaD:13 |
246+
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | main.rs:264:9:264:9 | s [E, Some] | provenance | |
247+
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | main.rs:264:9:264:9 | s [E, Some] | provenance | |
244248
| main.rs:265:11:265:11 | s [E, Some] | main.rs:268:9:268:37 | ...::E {...} [E, Some] | provenance | |
245249
| main.rs:265:11:265:11 | s [E, Some] | main.rs:268:9:268:37 | ...::E {...} [E, Some] | provenance | |
246250
| main.rs:268:9:268:37 | ...::E {...} [E, Some] | main.rs:268:35:268:35 | o [Some] | provenance | |
@@ -255,8 +259,10 @@ edges
255259
| main.rs:271:22:271:22 | i | main.rs:271:33:271:33 | i | provenance | |
256260
| main.rs:280:9:280:9 | s [C] | main.rs:281:11:281:11 | s [C] | provenance | |
257261
| main.rs:280:9:280:9 | s [C] | main.rs:281:11:281:11 | s [C] | provenance | |
258-
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:9:280:9 | s [C] | provenance | Src:MaD:10 |
259-
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:9:280:9 | s [C] | provenance | Src:MaD:10 |
262+
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:13:280:24 | e.source(...) [C] | provenance | Src:MaD:10 |
263+
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:13:280:24 | e.source(...) [C] | provenance | Src:MaD:10 |
264+
| main.rs:280:13:280:24 | e.source(...) [C] | main.rs:280:9:280:9 | s [C] | provenance | |
265+
| main.rs:280:13:280:24 | e.source(...) [C] | main.rs:280:9:280:9 | s [C] | provenance | |
260266
| main.rs:281:11:281:11 | s [C] | main.rs:282:9:282:37 | ...::C {...} [C] | provenance | |
261267
| main.rs:281:11:281:11 | s [C] | main.rs:282:9:282:37 | ...::C {...} [C] | provenance | |
262268
| main.rs:282:9:282:37 | ...::C {...} [C] | main.rs:282:35:282:35 | i | provenance | |
@@ -279,10 +285,12 @@ edges
279285
| main.rs:315:24:317:9 | \|...\| ... | main.rs:315:36:315:36 | ... | provenance | Src:MaD:17 |
280286
| main.rs:315:36:315:36 | ... | main.rs:316:18:316:18 | a | provenance | |
281287
| main.rs:315:36:315:36 | ... | main.rs:316:18:316:18 | a | provenance | |
282-
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:32:319:32 | ... | provenance | Src:MaD:18 |
283-
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:32:319:32 | ... | provenance | Src:MaD:18 |
284-
| main.rs:319:32:319:32 | ... | main.rs:320:19:320:19 | e [E, Some] | provenance | |
285-
| main.rs:319:32:319:32 | ... | main.rs:320:19:320:19 | e [E, Some] | provenance | |
288+
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:31:331:9 | \|...\| ... [E, Some] | provenance | Src:MaD:18 |
289+
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:31:331:9 | \|...\| ... [E, Some] | provenance | Src:MaD:18 |
290+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:319:32:319:32 | ... [E, Some] | provenance | |
291+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:319:32:319:32 | ... [E, Some] | provenance | |
292+
| main.rs:319:32:319:32 | ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
293+
| main.rs:319:32:319:32 | ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
286294
| main.rs:320:19:320:19 | e [E, Some] | main.rs:323:17:323:45 | ...::E {...} [E, Some] | provenance | |
287295
| main.rs:320:19:320:19 | e [E, Some] | main.rs:323:17:323:45 | ...::E {...} [E, Some] | provenance | |
288296
| main.rs:323:17:323:45 | ...::E {...} [E, Some] | main.rs:323:43:323:43 | o [Some] | provenance | |
@@ -299,12 +307,8 @@ edges
299307
| main.rs:346:21:346:29 | source(...) | main.rs:346:21:346:29 | source(...) | provenance | |
300308
| main.rs:346:21:346:29 | source(...) | main.rs:347:19:347:19 | a | provenance | Sink:MaD:7 |
301309
| main.rs:346:21:346:29 | source(...) | main.rs:347:19:347:19 | a | provenance | Sink:MaD:7 |
302-
| main.rs:349:22:352:9 | { ... } | main.rs:353:26:353:26 | b | provenance | Sink:MaD:8 |
303-
| main.rs:349:22:352:9 | { ... } | main.rs:353:26:353:26 | b | provenance | Sink:MaD:8 |
304-
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:349:22:352:9 | { ... } [Some] | provenance | |
305-
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:349:22:352:9 | { ... } [Some] | provenance | |
306-
| main.rs:349:22:352:9 | { ... } [Some] | main.rs:349:22:352:9 | { ... } | provenance | |
307-
| main.rs:349:22:352:9 | { ... } [Some] | main.rs:349:22:352:9 | { ... } | provenance | |
310+
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
311+
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
308312
| main.rs:350:17:350:17 | s | main.rs:351:52:351:52 | s | provenance | |
309313
| main.rs:350:17:350:17 | s | main.rs:351:52:351:52 | s | provenance | |
310314
| main.rs:350:21:350:29 | source(...) | main.rs:350:17:350:17 | s | provenance | |
@@ -315,6 +319,10 @@ edges
315319
| main.rs:351:39:351:53 | ...::Some(...) [Some] | main.rs:351:13:351:55 | ...::E {...} [E, Some] | provenance | |
316320
| main.rs:351:52:351:52 | s | main.rs:351:39:351:53 | ...::Some(...) [Some] | provenance | |
317321
| main.rs:351:52:351:52 | s | main.rs:351:39:351:53 | ...::Some(...) [Some] | provenance | |
322+
| main.rs:353:26:353:26 | b [E, Some] | main.rs:353:26:353:26 | b [Some] | provenance | |
323+
| main.rs:353:26:353:26 | b [E, Some] | main.rs:353:26:353:26 | b [Some] | provenance | |
324+
| main.rs:353:26:353:26 | b [Some] | main.rs:353:26:353:26 | b | provenance | Sink:MaD:8 |
325+
| main.rs:353:26:353:26 | b [Some] | main.rs:353:26:353:26 | b | provenance | Sink:MaD:8 |
318326
| main.rs:364:9:364:9 | s | main.rs:365:41:365:41 | s | provenance | |
319327
| main.rs:364:9:364:9 | s | main.rs:365:41:365:41 | s | provenance | |
320328
| main.rs:364:9:364:9 | s | main.rs:368:53:368:53 | s | provenance | |
@@ -624,6 +632,8 @@ nodes
624632
| main.rs:257:9:257:9 | s [D] | semmle.label | s [D] |
625633
| main.rs:257:13:257:27 | enum_source(...) | semmle.label | enum_source(...) |
626634
| main.rs:257:13:257:27 | enum_source(...) | semmle.label | enum_source(...) |
635+
| main.rs:257:13:257:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
636+
| main.rs:257:13:257:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
627637
| main.rs:258:11:258:11 | s [D] | semmle.label | s [D] |
628638
| main.rs:258:11:258:11 | s [D] | semmle.label | s [D] |
629639
| main.rs:260:9:260:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
@@ -636,6 +646,8 @@ nodes
636646
| main.rs:264:9:264:9 | s [E, Some] | semmle.label | s [E, Some] |
637647
| main.rs:264:13:264:34 | enum_source_nested(...) | semmle.label | enum_source_nested(...) |
638648
| main.rs:264:13:264:34 | enum_source_nested(...) | semmle.label | enum_source_nested(...) |
649+
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | semmle.label | enum_source_nested(...) [E, Some] |
650+
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | semmle.label | enum_source_nested(...) [E, Some] |
639651
| main.rs:265:11:265:11 | s [E, Some] | semmle.label | s [E, Some] |
640652
| main.rs:265:11:265:11 | s [E, Some] | semmle.label | s [E, Some] |
641653
| main.rs:268:9:268:37 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
@@ -654,6 +666,8 @@ nodes
654666
| main.rs:280:9:280:9 | s [C] | semmle.label | s [C] |
655667
| main.rs:280:13:280:24 | e.source(...) | semmle.label | e.source(...) |
656668
| main.rs:280:13:280:24 | e.source(...) | semmle.label | e.source(...) |
669+
| main.rs:280:13:280:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
670+
| main.rs:280:13:280:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
657671
| main.rs:281:11:281:11 | s [C] | semmle.label | s [C] |
658672
| main.rs:281:11:281:11 | s [C] | semmle.label | s [C] |
659673
| main.rs:282:9:282:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
@@ -688,8 +702,10 @@ nodes
688702
| main.rs:316:18:316:18 | a | semmle.label | a |
689703
| main.rs:319:31:331:9 | \|...\| ... | semmle.label | \|...\| ... |
690704
| main.rs:319:31:331:9 | \|...\| ... | semmle.label | \|...\| ... |
691-
| main.rs:319:32:319:32 | ... | semmle.label | ... |
692-
| main.rs:319:32:319:32 | ... | semmle.label | ... |
705+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | semmle.label | \|...\| ... [E, Some] |
706+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | semmle.label | \|...\| ... [E, Some] |
707+
| main.rs:319:32:319:32 | ... [E, Some] | semmle.label | ... [E, Some] |
708+
| main.rs:319:32:319:32 | ... [E, Some] | semmle.label | ... [E, Some] |
693709
| main.rs:320:19:320:19 | e [E, Some] | semmle.label | e [E, Some] |
694710
| main.rs:320:19:320:19 | e [E, Some] | semmle.label | e [E, Some] |
695711
| main.rs:323:17:323:45 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
@@ -710,12 +726,8 @@ nodes
710726
| main.rs:346:21:346:29 | source(...) | semmle.label | source(...) |
711727
| main.rs:347:19:347:19 | a | semmle.label | a |
712728
| main.rs:347:19:347:19 | a | semmle.label | a |
713-
| main.rs:349:22:352:9 | { ... } | semmle.label | { ... } |
714-
| main.rs:349:22:352:9 | { ... } | semmle.label | { ... } |
715729
| main.rs:349:22:352:9 | { ... } [E, Some] | semmle.label | { ... } [E, Some] |
716730
| main.rs:349:22:352:9 | { ... } [E, Some] | semmle.label | { ... } [E, Some] |
717-
| main.rs:349:22:352:9 | { ... } [Some] | semmle.label | { ... } [Some] |
718-
| main.rs:349:22:352:9 | { ... } [Some] | semmle.label | { ... } [Some] |
719731
| main.rs:350:17:350:17 | s | semmle.label | s |
720732
| main.rs:350:17:350:17 | s | semmle.label | s |
721733
| main.rs:350:21:350:29 | source(...) | semmle.label | source(...) |
@@ -728,6 +740,10 @@ nodes
728740
| main.rs:351:52:351:52 | s | semmle.label | s |
729741
| main.rs:353:26:353:26 | b | semmle.label | b |
730742
| main.rs:353:26:353:26 | b | semmle.label | b |
743+
| main.rs:353:26:353:26 | b [E, Some] | semmle.label | b [E, Some] |
744+
| main.rs:353:26:353:26 | b [E, Some] | semmle.label | b [E, Some] |
745+
| main.rs:353:26:353:26 | b [Some] | semmle.label | b [Some] |
746+
| main.rs:353:26:353:26 | b [Some] | semmle.label | b [Some] |
731747
| main.rs:364:9:364:9 | s | semmle.label | s |
732748
| main.rs:364:9:364:9 | s | semmle.label | s |
733749
| main.rs:364:13:364:22 | source(...) | semmle.label | source(...) |

0 commit comments

Comments
 (0)