Skip to content

Commit 3eae1cd

Browse files
calumgrantcalumgrant
committed
C#: Update test outputs.
1 parent 69ab1ed commit 3eae1cd

File tree

2 files changed

+305
-0
lines changed

2 files changed

+305
-0
lines changed

‎csharp/ql/test/library-tests/dataflow/global/DataFlowPath.expected‎

Lines changed: 130 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -172,6 +172,136 @@ edges
172172
| GlobalDataFlow.cs:377:16:377:21 | access to local variable sink11 | GlobalDataFlow.cs:159:22:159:43 | call to method TaintedParam |
173173
| GlobalDataFlow.cs:399:9:399:11 | value | GlobalDataFlow.cs:399:41:399:46 | access to local variable sink20 |
174174
| GlobalDataFlow.cs:410:22:410:35 | "taint source" | GlobalDataFlow.cs:193:22:193:32 | access to property OutProperty |
175+
nodes
176+
| Capture.cs:7:20:7:26 | tainted |
177+
| Capture.cs:9:9:13:9 | SSA capture def(tainted) |
178+
| Capture.cs:12:19:12:24 | access to local variable sink27 |
179+
| Capture.cs:14:9:14:20 | tainted [implicit argument] |
180+
| Capture.cs:18:13:22:13 | SSA capture def(tainted) |
181+
| Capture.cs:21:23:21:28 | access to local variable sink28 |
182+
| Capture.cs:25:9:25:20 | tainted [implicit argument] |
183+
| Capture.cs:27:43:32:9 | SSA capture def(tainted) |
184+
| Capture.cs:30:19:30:24 | access to local variable sink29 |
185+
| Capture.cs:33:9:33:40 | tainted [implicit argument] |
186+
| Capture.cs:57:13:57:35 | SSA def(sink30) |
187+
| Capture.cs:57:22:57:35 | "taint source" |
188+
| Capture.cs:59:9:59:21 | SSA call def(sink30) |
189+
| Capture.cs:60:15:60:20 | access to local variable sink30 |
190+
| Capture.cs:67:17:67:39 | SSA def(sink31) |
191+
| Capture.cs:67:26:67:39 | "taint source" |
192+
| Capture.cs:71:9:71:21 | SSA call def(sink31) |
193+
| Capture.cs:72:15:72:20 | access to local variable sink31 |
194+
| Capture.cs:77:13:77:35 | SSA def(sink32) |
195+
| Capture.cs:77:22:77:35 | "taint source" |
196+
| Capture.cs:80:9:80:41 | SSA call def(sink32) |
197+
| Capture.cs:81:15:81:20 | access to local variable sink32 |
198+
| Capture.cs:101:25:101:31 | tainted |
199+
| Capture.cs:108:9:108:25 | SSA call def(sink33) |
200+
| Capture.cs:108:9:108:25 | tainted [implicit argument] |
201+
| Capture.cs:109:15:109:20 | access to local variable sink33 |
202+
| Capture.cs:120:9:120:25 | SSA call def(sink34) |
203+
| Capture.cs:120:9:120:25 | tainted [implicit argument] |
204+
| Capture.cs:121:15:121:20 | access to local variable sink34 |
205+
| Capture.cs:129:9:129:45 | SSA call def(sink35) |
206+
| Capture.cs:129:9:129:45 | tainted [implicit argument] |
207+
| Capture.cs:130:15:130:20 | access to local variable sink35 |
208+
| Capture.cs:136:22:136:38 | call to local function CaptureThrough4 |
209+
| Capture.cs:136:22:136:38 | tainted [implicit argument] |
210+
| Capture.cs:137:15:137:20 | access to local variable sink36 |
211+
| Capture.cs:144:9:144:32 | SSA call def(sink37) |
212+
| Capture.cs:144:25:144:31 | access to parameter tainted |
213+
| Capture.cs:145:15:145:20 | access to local variable sink37 |
214+
| Capture.cs:170:22:170:32 | call to local function Id |
215+
| Capture.cs:170:25:170:31 | access to parameter tainted |
216+
| Capture.cs:171:15:171:20 | access to local variable sink38 |
217+
| GlobalDataFlow.cs:17:27:17:40 | "taint source" |
218+
| GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 |
219+
| GlobalDataFlow.cs:26:15:26:32 | access to property SinkProperty0 |
220+
| GlobalDataFlow.cs:35:13:35:30 | access to property SinkProperty0 |
221+
| GlobalDataFlow.cs:37:35:37:52 | access to property SinkProperty0 |
222+
| GlobalDataFlow.cs:44:30:44:39 | sinkParam2 |
223+
| GlobalDataFlow.cs:44:50:44:59 | access to parameter sinkParam2 |
224+
| GlobalDataFlow.cs:45:13:45:30 | access to property SinkProperty0 |
225+
| GlobalDataFlow.cs:52:20:52:37 | access to property SinkProperty0 |
226+
| GlobalDataFlow.cs:53:15:53:15 | x |
227+
| GlobalDataFlow.cs:53:24:53:24 | access to parameter x |
228+
| GlobalDataFlow.cs:53:28:53:45 | access to property SinkProperty0 |
229+
| GlobalDataFlow.cs:54:44:54:61 | access to property SinkProperty0 |
230+
| GlobalDataFlow.cs:55:28:55:45 | access to property SinkProperty0 |
231+
| GlobalDataFlow.cs:56:37:56:37 | x |
232+
| GlobalDataFlow.cs:56:46:56:46 | access to parameter x |
233+
| GlobalDataFlow.cs:57:35:57:52 | access to property SinkProperty0 |
234+
| GlobalDataFlow.cs:64:22:64:39 | access to property SinkProperty0 |
235+
| GlobalDataFlow.cs:70:21:70:46 | call to method Return |
236+
| GlobalDataFlow.cs:70:28:70:45 | access to property SinkProperty0 |
237+
| GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 |
238+
| GlobalDataFlow.cs:72:29:72:101 | call to method Invoke |
239+
| GlobalDataFlow.cs:72:94:72:98 | access to local variable sink0 |
240+
| GlobalDataFlow.cs:73:15:73:19 | access to local variable sink1 |
241+
| GlobalDataFlow.cs:75:19:75:23 | access to local variable sink1 |
242+
| GlobalDataFlow.cs:75:30:75:34 | SSA def(sink2) |
243+
| GlobalDataFlow.cs:76:15:76:19 | access to local variable sink2 |
244+
| GlobalDataFlow.cs:78:19:78:23 | access to local variable sink2 |
245+
| GlobalDataFlow.cs:78:30:78:34 | SSA def(sink3) |
246+
| GlobalDataFlow.cs:79:15:79:19 | access to local variable sink3 |
247+
| GlobalDataFlow.cs:131:21:131:34 | delegate call |
248+
| GlobalDataFlow.cs:131:29:131:33 | access to local variable sink3 |
249+
| GlobalDataFlow.cs:132:15:132:19 | access to local variable sink4 |
250+
| GlobalDataFlow.cs:139:21:139:44 | call to method ApplyFunc |
251+
| GlobalDataFlow.cs:139:39:139:43 | access to local variable sink4 |
252+
| GlobalDataFlow.cs:140:15:140:19 | access to local variable sink5 |
253+
| GlobalDataFlow.cs:149:21:149:25 | call to method Out |
254+
| GlobalDataFlow.cs:150:15:150:19 | access to local variable sink6 |
255+
| GlobalDataFlow.cs:152:20:152:24 | SSA def(sink7) |
256+
| GlobalDataFlow.cs:153:15:153:19 | access to local variable sink7 |
257+
| GlobalDataFlow.cs:155:20:155:24 | SSA def(sink8) |
258+
| GlobalDataFlow.cs:156:15:156:19 | access to local variable sink8 |
259+
| GlobalDataFlow.cs:159:22:159:43 | call to method TaintedParam |
260+
| GlobalDataFlow.cs:160:15:160:20 | access to local variable sink23 |
261+
| GlobalDataFlow.cs:175:35:175:48 | "taint source" |
262+
| GlobalDataFlow.cs:176:21:176:26 | delegate call |
263+
| GlobalDataFlow.cs:177:15:177:19 | access to local variable sink9 |
264+
| GlobalDataFlow.cs:185:39:185:41 | [implicit call] delegate creation of type Func<String> |
265+
| GlobalDataFlow.cs:186:15:186:20 | access to local variable sink10 |
266+
| GlobalDataFlow.cs:193:22:193:32 | access to property OutProperty |
267+
| GlobalDataFlow.cs:194:15:194:20 | access to local variable sink19 |
268+
| GlobalDataFlow.cs:230:26:230:35 | sinkParam0 |
269+
| GlobalDataFlow.cs:230:26:230:35 | sinkParam0 |
270+
| GlobalDataFlow.cs:232:16:232:25 | access to parameter sinkParam0 |
271+
| GlobalDataFlow.cs:232:16:232:25 | access to parameter sinkParam0 |
272+
| GlobalDataFlow.cs:233:15:233:24 | access to parameter sinkParam0 |
273+
| GlobalDataFlow.cs:233:15:233:24 | access to parameter sinkParam0 |
274+
| GlobalDataFlow.cs:236:26:236:35 | sinkParam1 |
275+
| GlobalDataFlow.cs:238:15:238:24 | access to parameter sinkParam1 |
276+
| GlobalDataFlow.cs:241:26:241:35 | sinkParam3 |
277+
| GlobalDataFlow.cs:243:15:243:24 | access to parameter sinkParam3 |
278+
| GlobalDataFlow.cs:246:26:246:35 | sinkParam4 |
279+
| GlobalDataFlow.cs:248:15:248:24 | access to parameter sinkParam4 |
280+
| GlobalDataFlow.cs:251:26:251:35 | sinkParam5 |
281+
| GlobalDataFlow.cs:253:15:253:24 | access to parameter sinkParam5 |
282+
| GlobalDataFlow.cs:256:26:256:35 | sinkParam6 |
283+
| GlobalDataFlow.cs:258:15:258:24 | access to parameter sinkParam6 |
284+
| GlobalDataFlow.cs:261:26:261:35 | sinkParam7 |
285+
| GlobalDataFlow.cs:263:15:263:24 | access to parameter sinkParam7 |
286+
| GlobalDataFlow.cs:313:16:313:29 | "taint source" |
287+
| GlobalDataFlow.cs:318:13:318:26 | "taint source" |
288+
| GlobalDataFlow.cs:323:13:323:26 | "taint source" |
289+
| GlobalDataFlow.cs:354:41:354:41 | x |
290+
| GlobalDataFlow.cs:354:41:354:41 | x |
291+
| GlobalDataFlow.cs:356:11:356:11 | access to parameter x |
292+
| GlobalDataFlow.cs:356:11:356:11 | access to parameter x |
293+
| GlobalDataFlow.cs:368:52:368:52 | x |
294+
| GlobalDataFlow.cs:368:52:368:52 | x |
295+
| GlobalDataFlow.cs:368:52:368:52 | x |
296+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
297+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
298+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
299+
| GlobalDataFlow.cs:373:39:373:45 | tainted |
300+
| GlobalDataFlow.cs:376:15:376:20 | access to local variable sink11 |
301+
| GlobalDataFlow.cs:377:16:377:21 | access to local variable sink11 |
302+
| GlobalDataFlow.cs:399:9:399:11 | value |
303+
| GlobalDataFlow.cs:399:41:399:46 | access to local variable sink20 |
304+
| GlobalDataFlow.cs:410:22:410:35 | "taint source" |
175305
#select
176306
| GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 | access to field SinkField0 | GlobalDataFlow.cs:17:27:17:40 | "taint source" | GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 |
177307
| GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 | access to local variable sink0 | GlobalDataFlow.cs:17:27:17:40 | "taint source" | GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 |

‎csharp/ql/test/library-tests/dataflow/global/TaintTrackingPath.expected‎

Lines changed: 175 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -215,6 +215,181 @@ edges
215215
| GlobalDataFlow.cs:377:16:377:21 | access to local variable sink11 | GlobalDataFlow.cs:159:22:159:43 | call to method TaintedParam |
216216
| GlobalDataFlow.cs:399:9:399:11 | value | GlobalDataFlow.cs:399:41:399:46 | access to local variable sink20 |
217217
| GlobalDataFlow.cs:410:22:410:35 | "taint source" | GlobalDataFlow.cs:193:22:193:32 | access to property OutProperty |
218+
nodes
219+
| Capture.cs:7:20:7:26 | tainted |
220+
| Capture.cs:9:9:13:9 | SSA capture def(tainted) |
221+
| Capture.cs:12:19:12:24 | access to local variable sink27 |
222+
| Capture.cs:14:9:14:20 | tainted [implicit argument] |
223+
| Capture.cs:18:13:22:13 | SSA capture def(tainted) |
224+
| Capture.cs:21:23:21:28 | access to local variable sink28 |
225+
| Capture.cs:25:9:25:20 | tainted [implicit argument] |
226+
| Capture.cs:27:43:32:9 | SSA capture def(tainted) |
227+
| Capture.cs:30:19:30:24 | access to local variable sink29 |
228+
| Capture.cs:33:9:33:40 | tainted [implicit argument] |
229+
| Capture.cs:57:13:57:35 | SSA def(sink30) |
230+
| Capture.cs:57:22:57:35 | "taint source" |
231+
| Capture.cs:59:9:59:21 | SSA call def(sink30) |
232+
| Capture.cs:60:15:60:20 | access to local variable sink30 |
233+
| Capture.cs:67:17:67:39 | SSA def(sink31) |
234+
| Capture.cs:67:26:67:39 | "taint source" |
235+
| Capture.cs:71:9:71:21 | SSA call def(sink31) |
236+
| Capture.cs:72:15:72:20 | access to local variable sink31 |
237+
| Capture.cs:77:13:77:35 | SSA def(sink32) |
238+
| Capture.cs:77:22:77:35 | "taint source" |
239+
| Capture.cs:80:9:80:41 | SSA call def(sink32) |
240+
| Capture.cs:81:15:81:20 | access to local variable sink32 |
241+
| Capture.cs:101:25:101:31 | tainted |
242+
| Capture.cs:108:9:108:25 | SSA call def(sink33) |
243+
| Capture.cs:108:9:108:25 | tainted [implicit argument] |
244+
| Capture.cs:109:15:109:20 | access to local variable sink33 |
245+
| Capture.cs:120:9:120:25 | SSA call def(sink34) |
246+
| Capture.cs:120:9:120:25 | tainted [implicit argument] |
247+
| Capture.cs:121:15:121:20 | access to local variable sink34 |
248+
| Capture.cs:129:9:129:45 | SSA call def(sink35) |
249+
| Capture.cs:129:9:129:45 | tainted [implicit argument] |
250+
| Capture.cs:130:15:130:20 | access to local variable sink35 |
251+
| Capture.cs:136:22:136:38 | call to local function CaptureThrough4 |
252+
| Capture.cs:136:22:136:38 | tainted [implicit argument] |
253+
| Capture.cs:137:15:137:20 | access to local variable sink36 |
254+
| Capture.cs:144:9:144:32 | SSA call def(sink37) |
255+
| Capture.cs:144:25:144:31 | access to parameter tainted |
256+
| Capture.cs:145:15:145:20 | access to local variable sink37 |
257+
| Capture.cs:170:22:170:32 | call to local function Id |
258+
| Capture.cs:170:25:170:31 | access to parameter tainted |
259+
| Capture.cs:171:15:171:20 | access to local variable sink38 |
260+
| GlobalDataFlow.cs:17:27:17:40 | "taint source" |
261+
| GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 |
262+
| GlobalDataFlow.cs:26:15:26:32 | access to property SinkProperty0 |
263+
| GlobalDataFlow.cs:35:13:35:30 | access to property SinkProperty0 |
264+
| GlobalDataFlow.cs:37:35:37:52 | access to property SinkProperty0 |
265+
| GlobalDataFlow.cs:44:30:44:39 | sinkParam2 |
266+
| GlobalDataFlow.cs:44:50:44:59 | access to parameter sinkParam2 |
267+
| GlobalDataFlow.cs:45:13:45:30 | access to property SinkProperty0 |
268+
| GlobalDataFlow.cs:52:20:52:37 | access to property SinkProperty0 |
269+
| GlobalDataFlow.cs:53:15:53:15 | x |
270+
| GlobalDataFlow.cs:53:24:53:24 | access to parameter x |
271+
| GlobalDataFlow.cs:53:28:53:45 | access to property SinkProperty0 |
272+
| GlobalDataFlow.cs:54:44:54:61 | access to property SinkProperty0 |
273+
| GlobalDataFlow.cs:55:28:55:45 | access to property SinkProperty0 |
274+
| GlobalDataFlow.cs:56:37:56:37 | x |
275+
| GlobalDataFlow.cs:56:46:56:46 | access to parameter x |
276+
| GlobalDataFlow.cs:57:35:57:52 | access to property SinkProperty0 |
277+
| GlobalDataFlow.cs:64:22:64:39 | access to property SinkProperty0 |
278+
| GlobalDataFlow.cs:70:21:70:46 | call to method Return |
279+
| GlobalDataFlow.cs:70:28:70:45 | access to property SinkProperty0 |
280+
| GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 |
281+
| GlobalDataFlow.cs:72:29:72:101 | call to method Invoke |
282+
| GlobalDataFlow.cs:72:94:72:98 | access to local variable sink0 |
283+
| GlobalDataFlow.cs:73:15:73:19 | access to local variable sink1 |
284+
| GlobalDataFlow.cs:75:19:75:23 | access to local variable sink1 |
285+
| GlobalDataFlow.cs:75:30:75:34 | SSA def(sink2) |
286+
| GlobalDataFlow.cs:76:15:76:19 | access to local variable sink2 |
287+
| GlobalDataFlow.cs:78:19:78:23 | access to local variable sink2 |
288+
| GlobalDataFlow.cs:78:30:78:34 | SSA def(sink3) |
289+
| GlobalDataFlow.cs:79:15:79:19 | access to local variable sink3 |
290+
| GlobalDataFlow.cs:80:22:80:85 | call to method SelectEven |
291+
| GlobalDataFlow.cs:80:23:80:65 | (...) ... |
292+
| GlobalDataFlow.cs:81:15:81:20 | access to local variable sink13 |
293+
| GlobalDataFlow.cs:82:23:82:74 | (...) ... |
294+
| GlobalDataFlow.cs:82:84:82:94 | [implicit call] delegate creation of type Func<String,String> |
295+
| GlobalDataFlow.cs:83:15:83:20 | access to local variable sink14 |
296+
| GlobalDataFlow.cs:84:23:84:74 | (...) ... |
297+
| GlobalDataFlow.cs:84:125:84:135 | [implicit call] (...) => ... |
298+
| GlobalDataFlow.cs:85:15:85:20 | access to local variable sink15 |
299+
| GlobalDataFlow.cs:86:70:86:121 | (...) ... |
300+
| GlobalDataFlow.cs:86:125:86:135 | [implicit call] (...) => ... |
301+
| GlobalDataFlow.cs:87:15:87:20 | access to local variable sink16 |
302+
| GlobalDataFlow.cs:88:22:88:27 | access to local variable sink14 |
303+
| GlobalDataFlow.cs:88:43:88:61 | [implicit call] (...) => ... |
304+
| GlobalDataFlow.cs:88:64:88:69 | [implicit call] (...) => ... |
305+
| GlobalDataFlow.cs:89:15:89:20 | access to local variable sink17 |
306+
| GlobalDataFlow.cs:90:75:90:88 | call to method First |
307+
| GlobalDataFlow.cs:90:91:90:109 | [implicit call] (...) => ... |
308+
| GlobalDataFlow.cs:90:112:90:117 | [implicit call] (...) => ... |
309+
| GlobalDataFlow.cs:91:15:91:20 | access to local variable sink18 |
310+
| GlobalDataFlow.cs:94:15:94:20 | access to local variable sink21 |
311+
| GlobalDataFlow.cs:97:15:97:20 | access to local variable sink22 |
312+
| GlobalDataFlow.cs:131:21:131:34 | delegate call |
313+
| GlobalDataFlow.cs:131:29:131:33 | access to local variable sink3 |
314+
| GlobalDataFlow.cs:132:15:132:19 | access to local variable sink4 |
315+
| GlobalDataFlow.cs:139:21:139:44 | call to method ApplyFunc |
316+
| GlobalDataFlow.cs:139:39:139:43 | access to local variable sink4 |
317+
| GlobalDataFlow.cs:140:15:140:19 | access to local variable sink5 |
318+
| GlobalDataFlow.cs:149:21:149:25 | call to method Out |
319+
| GlobalDataFlow.cs:150:15:150:19 | access to local variable sink6 |
320+
| GlobalDataFlow.cs:152:20:152:24 | SSA def(sink7) |
321+
| GlobalDataFlow.cs:153:15:153:19 | access to local variable sink7 |
322+
| GlobalDataFlow.cs:155:20:155:24 | SSA def(sink8) |
323+
| GlobalDataFlow.cs:156:15:156:19 | access to local variable sink8 |
324+
| GlobalDataFlow.cs:157:22:157:31 | call to method OutYield |
325+
| GlobalDataFlow.cs:158:15:158:20 | access to local variable sink12 |
326+
| GlobalDataFlow.cs:159:22:159:43 | call to method TaintedParam |
327+
| GlobalDataFlow.cs:160:15:160:20 | access to local variable sink23 |
328+
| GlobalDataFlow.cs:175:35:175:48 | "taint source" |
329+
| GlobalDataFlow.cs:176:21:176:26 | delegate call |
330+
| GlobalDataFlow.cs:177:15:177:19 | access to local variable sink9 |
331+
| GlobalDataFlow.cs:185:39:185:41 | [implicit call] delegate creation of type Func<String> |
332+
| GlobalDataFlow.cs:186:15:186:20 | access to local variable sink10 |
333+
| GlobalDataFlow.cs:193:22:193:32 | access to property OutProperty |
334+
| GlobalDataFlow.cs:194:15:194:20 | access to local variable sink19 |
335+
| GlobalDataFlow.cs:201:39:201:45 | tainted |
336+
| GlobalDataFlow.cs:204:35:204:45 | sinkParam10 |
337+
| GlobalDataFlow.cs:204:58:204:68 | access to parameter sinkParam10 |
338+
| GlobalDataFlow.cs:205:71:205:71 | x |
339+
| GlobalDataFlow.cs:205:89:205:89 | access to parameter x |
340+
| GlobalDataFlow.cs:206:22:206:28 | access to parameter tainted |
341+
| GlobalDataFlow.cs:206:37:206:38 | [implicit call] access to local variable f1 |
342+
| GlobalDataFlow.cs:207:15:207:20 | access to local variable sink24 |
343+
| GlobalDataFlow.cs:208:22:208:28 | access to parameter tainted |
344+
| GlobalDataFlow.cs:208:37:208:38 | [implicit call] access to local variable f2 |
345+
| GlobalDataFlow.cs:209:15:209:20 | access to local variable sink25 |
346+
| GlobalDataFlow.cs:210:22:210:28 | access to parameter tainted |
347+
| GlobalDataFlow.cs:210:37:210:48 | [implicit call] delegate creation of type Func<String,String> |
348+
| GlobalDataFlow.cs:211:15:211:20 | access to local variable sink26 |
349+
| GlobalDataFlow.cs:230:26:230:35 | sinkParam0 |
350+
| GlobalDataFlow.cs:230:26:230:35 | sinkParam0 |
351+
| GlobalDataFlow.cs:232:16:232:25 | access to parameter sinkParam0 |
352+
| GlobalDataFlow.cs:232:16:232:25 | access to parameter sinkParam0 |
353+
| GlobalDataFlow.cs:233:15:233:24 | access to parameter sinkParam0 |
354+
| GlobalDataFlow.cs:233:15:233:24 | access to parameter sinkParam0 |
355+
| GlobalDataFlow.cs:236:26:236:35 | sinkParam1 |
356+
| GlobalDataFlow.cs:238:15:238:24 | access to parameter sinkParam1 |
357+
| GlobalDataFlow.cs:241:26:241:35 | sinkParam3 |
358+
| GlobalDataFlow.cs:243:15:243:24 | access to parameter sinkParam3 |
359+
| GlobalDataFlow.cs:246:26:246:35 | sinkParam4 |
360+
| GlobalDataFlow.cs:248:15:248:24 | access to parameter sinkParam4 |
361+
| GlobalDataFlow.cs:251:26:251:35 | sinkParam5 |
362+
| GlobalDataFlow.cs:253:15:253:24 | access to parameter sinkParam5 |
363+
| GlobalDataFlow.cs:256:26:256:35 | sinkParam6 |
364+
| GlobalDataFlow.cs:258:15:258:24 | access to parameter sinkParam6 |
365+
| GlobalDataFlow.cs:261:26:261:35 | sinkParam7 |
366+
| GlobalDataFlow.cs:263:15:263:24 | access to parameter sinkParam7 |
367+
| GlobalDataFlow.cs:287:31:287:40 | sinkParam8 |
368+
| GlobalDataFlow.cs:289:15:289:24 | access to parameter sinkParam8 |
369+
| GlobalDataFlow.cs:293:32:293:41 | sinkParam9 |
370+
| GlobalDataFlow.cs:295:15:295:24 | access to parameter sinkParam9 |
371+
| GlobalDataFlow.cs:299:32:299:42 | sinkParam11 |
372+
| GlobalDataFlow.cs:301:15:301:25 | access to parameter sinkParam11 |
373+
| GlobalDataFlow.cs:313:16:313:29 | "taint source" |
374+
| GlobalDataFlow.cs:318:13:318:26 | "taint source" |
375+
| GlobalDataFlow.cs:323:13:323:26 | "taint source" |
376+
| GlobalDataFlow.cs:329:22:329:35 | "taint source" |
377+
| GlobalDataFlow.cs:354:41:354:41 | x |
378+
| GlobalDataFlow.cs:354:41:354:41 | x |
379+
| GlobalDataFlow.cs:356:11:356:11 | access to parameter x |
380+
| GlobalDataFlow.cs:356:11:356:11 | access to parameter x |
381+
| GlobalDataFlow.cs:368:52:368:52 | x |
382+
| GlobalDataFlow.cs:368:52:368:52 | x |
383+
| GlobalDataFlow.cs:368:52:368:52 | x |
384+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
385+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
386+
| GlobalDataFlow.cs:370:11:370:11 | access to parameter x |
387+
| GlobalDataFlow.cs:373:39:373:45 | tainted |
388+
| GlobalDataFlow.cs:376:15:376:20 | access to local variable sink11 |
389+
| GlobalDataFlow.cs:377:16:377:21 | access to local variable sink11 |
390+
| GlobalDataFlow.cs:399:9:399:11 | value |
391+
| GlobalDataFlow.cs:399:41:399:46 | access to local variable sink20 |
392+
| GlobalDataFlow.cs:410:22:410:35 | "taint source" |
218393
#select
219394
| GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 | access to field SinkField0 | GlobalDataFlow.cs:17:27:17:40 | "taint source" | GlobalDataFlow.cs:18:15:18:29 | access to field SinkField0 |
220395
| GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 | access to local variable sink0 | GlobalDataFlow.cs:17:27:17:40 | "taint source" | GlobalDataFlow.cs:71:15:71:19 | access to local variable sink0 |

0 commit comments

Comments
 (0)