Skip to content

Commit 1820fcf

Browse files
hvitvedhvitved
committed
output
1 parent a1c4c53 commit 1820fcf

File tree

8 files changed

+50
-117
lines changed

8 files changed

+50
-117
lines changed

‎rust/ql/test/library-tests/dataflow/sources/net/CONSISTENCY/PathResolutionConsistency.expected‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,3 @@ multipleCallTargets
77
| test.rs:447:30:447:67 | pinned.poll_read(...) |
88
| test.rs:470:26:470:54 | pinned.poll_fill_buf(...) |
99
| test.rs:519:50:519:66 | ...::from(...) |
10-
| test.rs:519:50:519:66 | ...::from(...) |

‎rust/ql/test/library-tests/dataflow/sources/net/TaintSources.expected‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,3 @@
1515
| test.rs:332:22:332:50 | ...::new | Flow source 'RemoteSource' of type remote (DEFAULT). |
1616
| test.rs:373:19:373:36 | ...::connect | Flow source 'RemoteSource' of type remote (DEFAULT). |
1717
| test.rs:519:16:519:29 | ...::args | Flow source 'CommandLineArgs' of type commandargs (DEFAULT). |
18-
| test.rs:519:16:519:29 | ...::args | Flow source 'CommandLineArgs' of type commandargs (DEFAULT). |

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

Lines changed: 0 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -12,20 +12,12 @@ models
1212
| 11 | Summary: <alloc::string::String>::as_str; Argument[self]; ReturnValue; value |
1313
edges
1414
| test.rs:11:31:11:31 | a | test.rs:13:14:13:14 | a | provenance | |
15-
| test.rs:11:31:11:31 | a | test.rs:13:14:13:14 | a | provenance | |
16-
| test.rs:11:31:11:31 | a | test.rs:13:14:13:23 | a.as_str() | provenance | MaD:11 |
1715
| test.rs:11:31:11:31 | a | test.rs:13:14:13:23 | a.as_str() | provenance | MaD:11 |
1816
| test.rs:11:31:11:31 | a | test.rs:14:14:14:14 | a | provenance | |
19-
| test.rs:11:31:11:31 | a | test.rs:14:14:14:14 | a | provenance | |
2017
| test.rs:11:31:11:31 | a | test.rs:14:14:14:25 | a.as_bytes() | provenance | MaD:10 |
21-
| test.rs:11:31:11:31 | a | test.rs:14:14:14:25 | a.as_bytes() | provenance | MaD:10 |
22-
| test.rs:11:31:11:31 | a | test.rs:15:14:15:14 | a | provenance | |
2318
| test.rs:11:31:11:31 | a | test.rs:15:14:15:14 | a | provenance | |
2419
| test.rs:13:14:13:14 | a | test.rs:13:14:13:23 | a.as_str() | provenance | MaD:11 |
25-
| test.rs:13:14:13:14 | a | test.rs:13:14:13:23 | a.as_str() | provenance | MaD:11 |
2620
| test.rs:14:14:14:14 | a | test.rs:14:14:14:25 | a.as_bytes() | provenance | MaD:10 |
27-
| test.rs:14:14:14:14 | a | test.rs:14:14:14:25 | a.as_bytes() | provenance | MaD:10 |
28-
| test.rs:68:15:68:15 | a | test.rs:70:14:70:14 | a | provenance | |
2921
| test.rs:68:15:68:15 | a | test.rs:70:14:70:14 | a | provenance | |
3022
| test.rs:98:9:98:31 | ...: ...::Path::<...> | test.rs:100:17:100:33 | path.into_inner() | provenance | MaD:9 |
3123
| test.rs:98:9:98:31 | ...: ...::Path::<...> | test.rs:100:17:100:33 | path.into_inner() [tuple.0] | provenance | MaD:6 |
@@ -87,37 +79,21 @@ edges
8779
| test.rs:139:41:139:42 | to | test.rs:98:9:98:31 | ...: ...::Path::<...> | provenance | Src:MaD:5 |
8880
| test.rs:140:45:140:46 | to | test.rs:109:9:109:41 | ...: ...::Path::<...> | provenance | Src:MaD:5 |
8981
| test.rs:242:33:242:35 | map | test.rs:242:38:242:46 | ...: String | provenance | Src:MaD:2 |
90-
| test.rs:242:33:242:35 | map | test.rs:242:38:242:46 | ...: String | provenance | Src:MaD:2 |
9182
| test.rs:242:38:242:46 | ...: String | test.rs:244:18:244:18 | a | provenance | |
92-
| test.rs:242:38:242:46 | ...: String | test.rs:244:18:244:18 | a | provenance | |
93-
| test.rs:250:46:250:49 | then | test.rs:251:25:251:33 | ...: String | provenance | Src:MaD:3 |
9483
| test.rs:250:46:250:49 | then | test.rs:251:25:251:33 | ...: String | provenance | Src:MaD:3 |
9584
| test.rs:251:25:251:33 | ...: String | test.rs:252:22:252:22 | a | provenance | |
96-
| test.rs:251:25:251:33 | ...: String | test.rs:252:22:252:22 | a | provenance | |
97-
| test.rs:259:50:259:57 | and_then | test.rs:260:26:260:32 | ...: u64 | provenance | Src:MaD:1 |
9885
| test.rs:259:50:259:57 | and_then | test.rs:260:26:260:32 | ...: u64 | provenance | Src:MaD:1 |
9986
| test.rs:260:26:260:32 | ...: u64 | test.rs:263:22:263:23 | id | provenance | |
100-
| test.rs:260:26:260:32 | ...: u64 | test.rs:263:22:263:23 | id | provenance | |
10187
| test.rs:272:75:272:77 | map | test.rs:273:15:273:23 | ...: String | provenance | Src:MaD:2 |
102-
| test.rs:272:75:272:77 | map | test.rs:273:15:273:23 | ...: String | provenance | Src:MaD:2 |
103-
| test.rs:273:15:273:23 | ...: String | test.rs:275:22:275:22 | a | provenance | |
10488
| test.rs:273:15:273:23 | ...: String | test.rs:275:22:275:22 | a | provenance | |
10589
nodes
10690
| test.rs:11:31:11:31 | a | semmle.label | a |
107-
| test.rs:11:31:11:31 | a | semmle.label | a |
10891
| test.rs:13:14:13:14 | a | semmle.label | a |
109-
| test.rs:13:14:13:14 | a | semmle.label | a |
110-
| test.rs:13:14:13:23 | a.as_str() | semmle.label | a.as_str() |
11192
| test.rs:13:14:13:23 | a.as_str() | semmle.label | a.as_str() |
11293
| test.rs:14:14:14:14 | a | semmle.label | a |
113-
| test.rs:14:14:14:14 | a | semmle.label | a |
11494
| test.rs:14:14:14:25 | a.as_bytes() | semmle.label | a.as_bytes() |
115-
| test.rs:14:14:14:25 | a.as_bytes() | semmle.label | a.as_bytes() |
116-
| test.rs:15:14:15:14 | a | semmle.label | a |
11795
| test.rs:15:14:15:14 | a | semmle.label | a |
11896
| test.rs:68:15:68:15 | a | semmle.label | a |
119-
| test.rs:68:15:68:15 | a | semmle.label | a |
120-
| test.rs:70:14:70:14 | a | semmle.label | a |
12197
| test.rs:70:14:70:14 | a | semmle.label | a |
12298
| test.rs:98:9:98:31 | ...: ...::Path::<...> | semmle.label | ...: ...::Path::<...> |
12399
| test.rs:100:13:100:13 | a | semmle.label | a |
@@ -162,39 +138,23 @@ nodes
162138
| test.rs:139:41:139:42 | to | semmle.label | to |
163139
| test.rs:140:45:140:46 | to | semmle.label | to |
164140
| test.rs:242:33:242:35 | map | semmle.label | map |
165-
| test.rs:242:33:242:35 | map | semmle.label | map |
166141
| test.rs:242:38:242:46 | ...: String | semmle.label | ...: String |
167-
| test.rs:242:38:242:46 | ...: String | semmle.label | ...: String |
168-
| test.rs:244:18:244:18 | a | semmle.label | a |
169142
| test.rs:244:18:244:18 | a | semmle.label | a |
170143
| test.rs:250:46:250:49 | then | semmle.label | then |
171-
| test.rs:250:46:250:49 | then | semmle.label | then |
172144
| test.rs:251:25:251:33 | ...: String | semmle.label | ...: String |
173-
| test.rs:251:25:251:33 | ...: String | semmle.label | ...: String |
174-
| test.rs:252:22:252:22 | a | semmle.label | a |
175145
| test.rs:252:22:252:22 | a | semmle.label | a |
176146
| test.rs:259:50:259:57 | and_then | semmle.label | and_then |
177-
| test.rs:259:50:259:57 | and_then | semmle.label | and_then |
178147
| test.rs:260:26:260:32 | ...: u64 | semmle.label | ...: u64 |
179-
| test.rs:260:26:260:32 | ...: u64 | semmle.label | ...: u64 |
180-
| test.rs:263:22:263:23 | id | semmle.label | id |
181148
| test.rs:263:22:263:23 | id | semmle.label | id |
182149
| test.rs:272:75:272:77 | map | semmle.label | map |
183-
| test.rs:272:75:272:77 | map | semmle.label | map |
184-
| test.rs:273:15:273:23 | ...: String | semmle.label | ...: String |
185150
| test.rs:273:15:273:23 | ...: String | semmle.label | ...: String |
186151
| test.rs:275:22:275:22 | a | semmle.label | a |
187-
| test.rs:275:22:275:22 | a | semmle.label | a |
188152
subpaths
189153
testFailures
190154
#select
191155
| test.rs:13:14:13:23 | a.as_str() | test.rs:11:31:11:31 | a | test.rs:13:14:13:23 | a.as_str() | $@ | test.rs:11:31:11:31 | a | a |
192-
| test.rs:13:14:13:23 | a.as_str() | test.rs:11:31:11:31 | a | test.rs:13:14:13:23 | a.as_str() | $@ | test.rs:11:31:11:31 | a | a |
193-
| test.rs:14:14:14:25 | a.as_bytes() | test.rs:11:31:11:31 | a | test.rs:14:14:14:25 | a.as_bytes() | $@ | test.rs:11:31:11:31 | a | a |
194156
| test.rs:14:14:14:25 | a.as_bytes() | test.rs:11:31:11:31 | a | test.rs:14:14:14:25 | a.as_bytes() | $@ | test.rs:11:31:11:31 | a | a |
195157
| test.rs:15:14:15:14 | a | test.rs:11:31:11:31 | a | test.rs:15:14:15:14 | a | $@ | test.rs:11:31:11:31 | a | a |
196-
| test.rs:15:14:15:14 | a | test.rs:11:31:11:31 | a | test.rs:15:14:15:14 | a | $@ | test.rs:11:31:11:31 | a | a |
197-
| test.rs:70:14:70:14 | a | test.rs:68:15:68:15 | a | test.rs:70:14:70:14 | a | $@ | test.rs:68:15:68:15 | a | a |
198158
| test.rs:70:14:70:14 | a | test.rs:68:15:68:15 | a | test.rs:70:14:70:14 | a | $@ | test.rs:68:15:68:15 | a | a |
199159
| test.rs:101:14:101:23 | a.as_str() | test.rs:139:41:139:42 | to | test.rs:101:14:101:23 | a.as_str() | $@ | test.rs:139:41:139:42 | to | to |
200160
| test.rs:102:14:102:25 | a.as_bytes() | test.rs:139:41:139:42 | to | test.rs:102:14:102:25 | a.as_bytes() | $@ | test.rs:139:41:139:42 | to | to |
@@ -203,10 +163,6 @@ testFailures
203163
| test.rs:114:14:114:14 | b | test.rs:140:45:140:46 | to | test.rs:114:14:114:14 | b | $@ | test.rs:140:45:140:46 | to | to |
204164
| test.rs:132:14:132:14 | a | test.rs:127:5:127:20 | to | test.rs:132:14:132:14 | a | $@ | test.rs:127:5:127:20 | to | to |
205165
| test.rs:244:18:244:18 | a | test.rs:242:33:242:35 | map | test.rs:244:18:244:18 | a | $@ | test.rs:242:33:242:35 | map | map |
206-
| test.rs:244:18:244:18 | a | test.rs:242:33:242:35 | map | test.rs:244:18:244:18 | a | $@ | test.rs:242:33:242:35 | map | map |
207-
| test.rs:252:22:252:22 | a | test.rs:250:46:250:49 | then | test.rs:252:22:252:22 | a | $@ | test.rs:250:46:250:49 | then | then |
208166
| test.rs:252:22:252:22 | a | test.rs:250:46:250:49 | then | test.rs:252:22:252:22 | a | $@ | test.rs:250:46:250:49 | then | then |
209167
| test.rs:263:22:263:23 | id | test.rs:259:50:259:57 | and_then | test.rs:263:22:263:23 | id | $@ | test.rs:259:50:259:57 | and_then | and_then |
210-
| test.rs:263:22:263:23 | id | test.rs:259:50:259:57 | and_then | test.rs:263:22:263:23 | id | $@ | test.rs:259:50:259:57 | and_then | and_then |
211-
| test.rs:275:22:275:22 | a | test.rs:272:75:272:77 | map | test.rs:275:22:275:22 | a | $@ | test.rs:272:75:272:77 | map | map |
212168
| test.rs:275:22:275:22 | a | test.rs:272:75:272:77 | map | test.rs:275:22:275:22 | a | $@ | test.rs:272:75:272:77 | map | map |

‎rust/ql/test/library-tests/dataflow/sources/web_frameworks/TaintSources.expected‎

Lines changed: 0 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,7 @@
11
| test.rs:11:31:11:31 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
2-
| test.rs:11:31:11:31 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
3-
| test.rs:22:14:22:19 | TuplePat | Flow source 'RemoteSource' of type remote (DEFAULT). |
42
| test.rs:22:14:22:19 | TuplePat | Flow source 'RemoteSource' of type remote (DEFAULT). |
53
| test.rs:48:14:48:30 | MyStruct {...} | Flow source 'RemoteSource' of type remote (DEFAULT). |
6-
| test.rs:48:14:48:30 | MyStruct {...} | Flow source 'RemoteSource' of type remote (DEFAULT). |
74
| test.rs:58:14:58:15 | ms | Flow source 'RemoteSource' of type remote (DEFAULT). |
8-
| test.rs:58:14:58:15 | ms | Flow source 'RemoteSource' of type remote (DEFAULT). |
9-
| test.rs:68:15:68:15 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
105
| test.rs:68:15:68:15 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
116
| test.rs:127:5:127:20 | to | Flow source 'RemoteSource' of type remote (DEFAULT). |
127
| test.rs:127:5:127:20 | to | Flow source 'RemoteSource' of type remote (DEFAULT). |
@@ -48,20 +43,6 @@
4843
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
4944
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
5045
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
51-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
52-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
53-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
54-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
55-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
56-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
57-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
58-
| test.rs:242:33:242:35 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
59-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
60-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
61-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
62-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
63-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
64-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
6546
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
6647
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
6748
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
@@ -70,15 +51,6 @@
7051
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
7152
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
7253
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
73-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
74-
| test.rs:250:46:250:49 | then | Flow source 'RemoteSource' of type remote (DEFAULT). |
75-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
76-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
77-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
78-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
79-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
80-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
81-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
8254
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
8355
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
8456
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
@@ -87,15 +59,6 @@
8759
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
8860
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
8961
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
90-
| test.rs:259:50:259:57 | and_then | Flow source 'RemoteSource' of type remote (DEFAULT). |
91-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
92-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
93-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
94-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
95-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
96-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
97-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
98-
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
9962
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
10063
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |
10164
| test.rs:272:75:272:77 | map | Flow source 'RemoteSource' of type remote (DEFAULT). |

0 commit comments

Comments
 (0)