codeql/csharp/ql/lib/ext/generated/modelgenerator/System.IO.model.yml at 7f12fb73522515dfbcdcbd9693f969e8d2c9536f · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.IO", "BinaryReader", False, "BinaryReader", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.BinaryReader._stream]", "value", "dfc-generated"]
      - ["System.IO", "BinaryReader", True, "Read", "(System.Byte[],System.Int32,System.Int32)", "", "Argument[this]", "Argument[0].Element", "taint", "df-generated"]
      - ["System.IO", "BinaryReader", True, "Read", "(System.Span<System.Byte>)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.IO", "BinaryReader", True, "ReadBytes", "(System.Int32)", "", "Argument[this].SyntheticField[System.IO.BinaryReader._stream]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "BinaryReader", True, "ReadExactly", "(System.Span<System.Byte>)", "", "Argument[this].SyntheticField[System.IO.BinaryReader._stream]", "Argument[0]", "taint", "dfc-generated"]
      - ["System.IO", "BinaryReader", True, "ReadString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "BinaryReader", True, "get_BaseStream", "()", "", "Argument[this].SyntheticField[System.IO.BinaryReader._stream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "BinaryWriter", False, "BinaryWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[0]", "Argument[this].Field[System.IO.BinaryWriter.OutStream]", "value", "dfc-generated"]
      - ["System.IO", "BinaryWriter", True, "Write", "(System.Byte[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "BinaryWriter", True, "Write", "(System.Byte[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "BinaryWriter", True, "Write", "(System.ReadOnlySpan<System.Byte>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "BinaryWriter", True, "get_BaseStream", "()", "", "Argument[this].Field[System.IO.BinaryWriter.OutStream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "BufferedStream", False, "get_UnderlyingStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "Directory", False, "CreateDirectory", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "CreateDirectory", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "CreateDirectory", "(System.String,System.IO.UnixFileMode)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "CreateDirectory", "(System.String,System.IO.UnixFileMode)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "CreateSymbolicLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "CreateSymbolicLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "GetDirectoryRoot", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Directory", False, "GetParent", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "Directory", False, "GetParent", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "CreateSubdirectory", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "CreateSubdirectory", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "CreateSubdirectory", "(System.String)", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "CreateSubdirectory", "(System.String)", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "DirectoryInfo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "DirectoryInfo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateDirectories", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateDirectories", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateDirectories", "(System.String,System.IO.EnumerationOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateDirectories", "(System.String,System.IO.EnumerationOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateDirectories", "(System.String,System.IO.SearchOption)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFileSystemInfos", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFileSystemInfos", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFileSystemInfos", "(System.String,System.IO.EnumerationOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFileSystemInfos", "(System.String,System.IO.EnumerationOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFileSystemInfos", "(System.String,System.IO.SearchOption)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFiles", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFiles", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFiles", "(System.String,System.IO.EnumerationOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFiles", "(System.String,System.IO.EnumerationOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "EnumerateFiles", "(System.String,System.IO.SearchOption)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "DirectoryInfo", False, "MoveTo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "MoveTo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "get_Parent", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "get_Parent", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "get_Root", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "taint", "dfc-generated"]
      - ["System.IO", "DirectoryInfo", False, "get_Root", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "taint", "dfc-generated"]
      - ["System.IO", "DriveInfo", False, "DriveInfo", "(System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.DriveInfo._name]", "value", "dfc-generated"]
      - ["System.IO", "DriveInfo", False, "ToString", "()", "", "Argument[this].Property[System.IO.DriveInfo.Name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "DriveInfo", False, "ToString", "()", "", "Argument[this].SyntheticField[System.IO.DriveInfo._name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "DriveInfo", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.IO.DriveInfo._name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "ErrorEventArgs", False, "ErrorEventArgs", "(System.Exception)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.ErrorEventArgs._exception]", "value", "dfc-generated"]
      - ["System.IO", "ErrorEventArgs", True, "GetException", "()", "", "Argument[this].SyntheticField[System.IO.ErrorEventArgs._exception]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "File", False, "AppendAllBytesAsync", "(System.String,System.Byte[],System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllBytesAsync", "(System.String,System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllLinesAsync", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllLinesAsync", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllTextAsync", "(System.String,System.ReadOnlyMemory<System.Char>,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllTextAsync", "(System.String,System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllTextAsync", "(System.String,System.String,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "AppendAllTextAsync", "(System.String,System.String,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "Create", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "Create", "(System.String,System.Int32)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "Create", "(System.String,System.Int32,System.IO.FileOptions)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "CreateHardLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "File", False, "CreateHardLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "File", False, "CreateSymbolicLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "File", False, "CreateSymbolicLink", "(System.String,System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "File", False, "Open", "(System.String,System.IO.FileMode)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "Open", "(System.String,System.IO.FileMode,System.IO.FileAccess)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "Open", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "OpenHandle", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.IO.FileOptions,System.Int64)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "OpenRead", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "OpenText", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "OpenWrite", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "ReadAllText", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "ReadAllText", "(System.String,System.Text.Encoding)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "File", False, "ReadLines", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "ReadLines", "(System.String,System.Text.Encoding)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "ReadLines", "(System.String,System.Text.Encoding)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllBytesAsync", "(System.String,System.Byte[],System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllBytesAsync", "(System.String,System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllLinesAsync", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllLinesAsync", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllTextAsync", "(System.String,System.ReadOnlyMemory<System.Char>,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllTextAsync", "(System.String,System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllTextAsync", "(System.String,System.String,System.Text.Encoding,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "File", False, "WriteAllTextAsync", "(System.String,System.String,System.Threading.CancellationToken)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileFormatException", False, "FileFormatException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "taint", "dfc-generated"]
      - ["System.IO", "FileFormatException", False, "FileFormatException", "(System.Uri)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "value", "dfc-generated"]
      - ["System.IO", "FileFormatException", False, "FileFormatException", "(System.Uri,System.Exception)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "value", "dfc-generated"]
      - ["System.IO", "FileFormatException", False, "FileFormatException", "(System.Uri,System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "value", "dfc-generated"]
      - ["System.IO", "FileFormatException", False, "FileFormatException", "(System.Uri,System.String,System.Exception)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "value", "dfc-generated"]
      - ["System.IO", "FileFormatException", False, "get_SourceUri", "()", "", "Argument[this].SyntheticField[System.IO.FileFormatException._sourceUri]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "CopyTo", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "CopyTo", "(System.String)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "CopyTo", "(System.String,System.Boolean)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "CopyTo", "(System.String,System.Boolean)", "", "Argument[0]", "ReturnValue.Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "Create", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "MoveTo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "MoveTo", "(System.String)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "MoveTo", "(System.String,System.Boolean)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "MoveTo", "(System.String,System.Boolean)", "", "Argument[0]", "Argument[this].Field[System.IO.FileSystemInfo.OriginalPath]", "value", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "Open", "(System.IO.FileMode)", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "Open", "(System.IO.FileMode,System.IO.FileAccess)", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "Open", "(System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "OpenRead", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "OpenText", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "OpenWrite", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "FileInfo", False, "get_Directory", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileInfo", False, "get_DirectoryName", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileLoadException", True, "get_Message", "()", "", "Argument[this].Property[System.IO.FileLoadException.FileName]", "Argument[this].SyntheticField[System.Exception._message]", "taint", "dfc-generated"]
      - ["System.IO", "FileStream", False, "FileStream", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.IO.FileAccess,System.Int32)", "", "Argument[this]", "Argument[this].SyntheticField[System.IO.FileStream._strategy].SyntheticField[System.IO.Strategies.DerivedFileStreamStrategy._fileStream]", "value", "dfc-generated"]
      - ["System.IO", "FileStream", False, "FileStream", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.IO.FileAccess,System.Int32,System.Boolean)", "", "Argument[this]", "Argument[this].SyntheticField[System.IO.FileStream._strategy].SyntheticField[System.IO.Strategies.DerivedFileStreamStrategy._fileStream]", "value", "dfc-generated"]
      - ["System.IO", "FileStream", False, "FileStream", "(System.IntPtr,System.IO.FileAccess,System.Boolean,System.Int32,System.Boolean)", "", "Argument[this]", "Argument[this].SyntheticField[System.IO.FileStream._strategy].SyntheticField[System.IO.Strategies.DerivedFileStreamStrategy._fileStream]", "value", "dfc-generated"]
      - ["System.IO", "FileStream", False, "FileStream", "(System.String,System.IO.FileStreamOptions)", "", "Argument[this]", "Argument[this].SyntheticField[System.IO.FileStream._strategy].SyntheticField[System.IO.Strategies.DerivedFileStreamStrategy._fileStream]", "value", "dfc-generated"]
      - ["System.IO", "FileStream", True, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[this].SyntheticField[System.IO.FileStream._strategy].SyntheticField[System.IO.Strategies.DerivedFileStreamStrategy._fileStream]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "FileStream", True, "get_Handle", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileStream", True, "get_Name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileStream", True, "get_SafeFileHandle", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileSystemEventArgs", False, "FileSystemEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String)", "", "Argument[1]", "Argument[this].SyntheticField[System.IO.FileSystemEventArgs._fullPath]", "taint", "dfc-generated"]
      - ["System.IO", "FileSystemEventArgs", False, "FileSystemEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String)", "", "Argument[2]", "Argument[this].SyntheticField[System.IO.FileSystemEventArgs._fullPath]", "taint", "dfc-generated"]
      - ["System.IO", "FileSystemEventArgs", False, "FileSystemEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String)", "", "Argument[2]", "Argument[this].SyntheticField[System.IO.FileSystemEventArgs._name]", "value", "dfc-generated"]
      - ["System.IO", "FileSystemEventArgs", False, "get_FullPath", "()", "", "Argument[this].SyntheticField[System.IO.FileSystemEventArgs._fullPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileSystemEventArgs", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.IO.FileSystemEventArgs._name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileSystemInfo", False, "ToString", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.OriginalPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileSystemInfo", False, "get_Extension", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileSystemInfo", False, "get_LinkTarget", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileSystemInfo", True, "get_FullName", "()", "", "Argument[this].Field[System.IO.FileSystemInfo.FullPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "FileSystemInfo", True, "get_Name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "FileSystemWatcher", False, "FileSystemWatcher", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "FileSystemWatcher", False, "FileSystemWatcher", "(System.String,System.String)", "", "Argument[1]", "Argument[this].Property[System.IO.FileSystemWatcher.Filters].Element", "value", "dfc-generated"]
      - ["System.IO", "FileSystemWatcher", False, "FileSystemWatcher", "(System.String,System.String)", "", "Argument[1]", "Argument[this].SyntheticField[System.IO.FileSystemWatcher._filters].Element", "value", "dfc-generated"]
      - ["System.IO", "FileSystemWatcher", False, "OnChanged", "(System.IO.FileSystemEventArgs)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "FileSystemWatcher", False, "OnCreated", "(System.IO.FileSystemEventArgs)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "FileSystemWatcher", False, "OnDeleted", "(System.IO.FileSystemEventArgs)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "FileSystemWatcher", False, "get_Filters", "()", "", "Argument[this].SyntheticField[System.IO.FileSystemWatcher._filters]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "MemoryStream", True, "GetBuffer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "MemoryStream", True, "TryGetBuffer", "(System.ArraySegment<System.Byte>)", "", "Argument[this]", "Argument[0].Element", "taint", "df-generated"]
      - ["System.IO", "MemoryStream", True, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[0].Property[System.ReadOnlyMemory`1.Span].Element", "Argument[this]", "taint", "dfc-generated"]
      - ["System.IO", "MemoryStream", True, "WriteTo", "(System.IO.Stream)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.IO", "Path", False, "ChangeExtension", "(System.String,System.String)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[1].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[1].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[2].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[1].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[2].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>)", "", "Argument[3].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String)", "", "Argument[2]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String,System.String)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String,System.String)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String,System.String)", "", "Argument[2]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "Join", "(System.String,System.String,System.String,System.String)", "", "Argument[3]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TrimEndingDirectorySeparator", "(System.ReadOnlySpan<System.Char>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TrimEndingDirectorySeparator", "(System.ReadOnlySpan<System.Char>)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TrimEndingDirectorySeparator", "(System.String)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TryJoin", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.Span<System.Char>,System.Int32)", "", "Argument[0].Element", "Argument[3].Element", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TryJoin", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.Span<System.Char>,System.Int32)", "", "Argument[1].Element", "Argument[3].Element", "value", "dfc-generated"]
      - ["System.IO", "Path", False, "TryJoin", "(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.Span<System.Char>,System.Int32)", "", "Argument[0].Element", "Argument[2].Element", "value", "dfc-generated"]
      - ["System.IO", "RandomAccess", False, "ReadAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.Memory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "ReadAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.Memory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "ReadAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.Memory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "ReadAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Memory<System.Byte>,System.Int64,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "ReadAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Memory<System.Byte>,System.Int64,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.ReadOnlyMemory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.ReadOnlyMemory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.ReadOnlyMemory<System.Byte>>,System.Int64,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.ReadOnlyMemory<System.Byte>,System.Int64,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.ReadOnlyMemory<System.Byte>,System.Int64,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RandomAccess", False, "WriteAsync", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.ReadOnlyMemory<System.Byte>,System.Int64,System.Threading.CancellationToken)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "RenamedEventArgs", False, "RenamedEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String,System.String)", "", "Argument[1]", "Argument[this].SyntheticField[System.IO.RenamedEventArgs._oldFullPath]", "taint", "dfc-generated"]
      - ["System.IO", "RenamedEventArgs", False, "RenamedEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String,System.String)", "", "Argument[3]", "Argument[this].SyntheticField[System.IO.RenamedEventArgs._oldFullPath]", "taint", "dfc-generated"]
      - ["System.IO", "RenamedEventArgs", False, "RenamedEventArgs", "(System.IO.WatcherChangeTypes,System.String,System.String,System.String)", "", "Argument[3]", "Argument[this].SyntheticField[System.IO.RenamedEventArgs._oldName]", "value", "dfc-generated"]
      - ["System.IO", "RenamedEventArgs", False, "get_OldFullPath", "()", "", "Argument[this].SyntheticField[System.IO.RenamedEventArgs._oldFullPath]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "RenamedEventArgs", False, "get_OldName", "()", "", "Argument[this].SyntheticField[System.IO.RenamedEventArgs._oldName]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Stream", False, "FlushAsync", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "Stream", False, "Synchronized", "(System.IO.Stream)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "Stream", True, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "Stream", True, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "Stream", True, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "Stream", True, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "Stream", True, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "StreamReader", True, "get_BaseStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "StreamReader", True, "get_CurrentEncoding", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "StreamWriter", False, "StreamWriter", "(System.IO.Stream,System.Text.Encoding,System.Int32,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.StreamWriter._stream]", "value", "dfc-generated"]
      - ["System.IO", "StreamWriter", True, "FlushAsync", "()", "", "Argument[this]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "StreamWriter", True, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "StreamWriter", True, "get_BaseStream", "()", "", "Argument[this].SyntheticField[System.IO.StreamWriter._stream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "TextReader", False, "Synchronized", "(System.IO.TextReader)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "TextReader", True, "ReadLineAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextReader", True, "ReadToEndAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "Synchronized", "(System.IO.TextWriter)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "TextWriter", False, "TextWriter", "(System.IFormatProvider)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.TextWriter._internalFormatProvider]", "value", "dfc-generated"]
      - ["System.IO", "TextWriter", False, "WriteAsync", "(System.Char[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteAsync", "(System.Char[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteAsync", "(System.Char[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteAsync", "(System.String,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteAsync", "(System.String,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.Char[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.Char[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.Char[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.String,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.String,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", False, "WriteLineAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "FlushAsync", "()", "", "Argument[this]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "TextWriter", True, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue.SyntheticField[System.Threading.Tasks.Task.m_stateObject]", "value", "dfc-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.Char[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.Char[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.Object[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.ReadOnlySpan<System.Object>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.String,System.ReadOnlySpan<System.Object>)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "Write", "(System.Text.StringBuilder)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.Char)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.Char[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "dfc-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.Text.Rune)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.Text.StringBuilder,System.Threading.CancellationToken)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteAsync", "(System.Text.StringBuilder,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.Char[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.Char[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object,System.Object,System.Object)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.Object[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.ReadOnlySpan<System.Object>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.String,System.ReadOnlySpan<System.Object>)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLine", "(System.Text.StringBuilder)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Char)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Char[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Char[],System.Int32,System.Int32)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Char[],System.Int32,System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.ReadOnlyMemory<System.Char>,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Text.Rune)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Text.StringBuilder,System.Threading.CancellationToken)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Text.StringBuilder,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "WriteLineAsync", "(System.Text.StringBuilder,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "get_Encoding", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO", "TextWriter", True, "get_FormatProvider", "()", "", "Argument[this].SyntheticField[System.IO.TextWriter._internalFormatProvider]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", False, "Initialize", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", False, "UnmanagedMemoryAccessor", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", False, "UnmanagedMemoryAccessor", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "Initialize", "(System.Byte*,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "Initialize", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "UnmanagedMemoryStream", "(System.Byte*,System.Int64)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "UnmanagedMemoryStream", "(System.Byte*,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "UnmanagedMemoryStream", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", False, "UnmanagedMemoryStream", "(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64,System.IO.FileAccess)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: sourceModel
    data:
      - ["System.IO", "Path", False, "GetTempPath", "()", "", "ReturnValue", "environment", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.IO", "BinaryReader", "BinaryReader", "(System.IO.Stream)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "BinaryReader", "(System.IO.Stream,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "FillBuffer", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "PeekChar", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Read7BitEncodedInt64", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Read7BitEncodedInt", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Read", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Read", "(System.Char[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "Read", "(System.Span<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadBoolean", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadChar", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadChars", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadDecimal", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadDouble", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadHalf", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadInt16", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadInt32", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadInt64", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadSByte", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadSingle", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadUInt16", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadUInt32", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryReader", "ReadUInt64", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "BinaryWriter", "(System.IO.Stream)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "BinaryWriter", "(System.IO.Stream,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Seek", "(System.Int32,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write7BitEncodedInt64", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write7BitEncodedInt", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Char)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Char[])", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Char[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Decimal)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Double)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Half)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Int16)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.SByte)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.Single)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.UInt16)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.UInt32)", "summary", "df-generated"]
      - ["System.IO", "BinaryWriter", "Write", "(System.UInt64)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "get_BufferSize", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "BufferedStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO", "Directory", "CreateTempSubdirectory", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "Delete", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "Delete", "(System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateDirectories", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateDirectories", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateDirectories", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateDirectories", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFileSystemEntries", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFileSystemEntries", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFileSystemEntries", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFileSystemEntries", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFiles", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFiles", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFiles", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "EnumerateFiles", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "Exists", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetCreationTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetCreationTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetCurrentDirectory", "()", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetDirectories", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetDirectories", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetDirectories", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetDirectories", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFileSystemEntries", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFileSystemEntries", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFileSystemEntries", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFileSystemEntries", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFiles", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFiles", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFiles", "(System.String,System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetFiles", "(System.String,System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetLastAccessTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetLastAccessTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetLastWriteTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetLastWriteTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "GetLogicalDrives", "()", "summary", "df-generated"]
      - ["System.IO", "Directory", "Move", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "ResolveLinkTarget", "(System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetCreationTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetCreationTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetCurrentDirectory", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetLastAccessTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetLastAccessTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetLastWriteTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "Directory", "SetLastWriteTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "Create", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "Delete", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "Delete", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetDirectories", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetDirectories", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetDirectories", "(System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetDirectories", "(System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFileSystemInfos", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFileSystemInfos", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFileSystemInfos", "(System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFileSystemInfos", "(System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFiles", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFiles", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFiles", "(System.String,System.IO.EnumerationOptions)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "GetFiles", "(System.String,System.IO.SearchOption)", "summary", "df-generated"]
      - ["System.IO", "DirectoryInfo", "get_Exists", "()", "summary", "df-generated"]
      - ["System.IO", "DirectoryNotFoundException", "DirectoryNotFoundException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "DirectoryNotFoundException", "DirectoryNotFoundException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "DirectoryNotFoundException", "DirectoryNotFoundException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "GetDrives", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_AvailableFreeSpace", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_DriveFormat", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_DriveType", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_IsReady", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_RootDirectory", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_TotalFreeSpace", "()", "summary", "df-generated"]
      - ["System.IO", "DriveInfo", "get_TotalSize", "()", "summary", "df-generated"]
      - ["System.IO", "DriveNotFoundException", "DriveNotFoundException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "DriveNotFoundException", "DriveNotFoundException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "DriveNotFoundException", "DriveNotFoundException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "EndOfStreamException", "EndOfStreamException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "EndOfStreamException", "EndOfStreamException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "EndOfStreamException", "EndOfStreamException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllBytes", "(System.String,System.Byte[])", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllBytes", "(System.String,System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllLines", "(System.String,System.Collections.Generic.IEnumerable<System.String>)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllLines", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllText", "(System.String,System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllText", "(System.String,System.ReadOnlySpan<System.Char>,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllText", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendAllText", "(System.String,System.String,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "AppendText", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Copy", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Copy", "(System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "File", "CreateText", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Decrypt", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Delete", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Encrypt", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Exists", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetAttributes", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetAttributes", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetCreationTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetCreationTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetCreationTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetCreationTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastAccessTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastAccessTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastAccessTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastAccessTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastWriteTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastWriteTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastWriteTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetLastWriteTimeUtc", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "GetUnixFileMode", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "File", "GetUnixFileMode", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Move", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Move", "(System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "File", "Open", "(System.String,System.IO.FileStreamOptions)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllBytes", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllBytesAsync", "(System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllLines", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllLines", "(System.String,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllLinesAsync", "(System.String,System.Text.Encoding,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllLinesAsync", "(System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllTextAsync", "(System.String,System.Text.Encoding,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadAllTextAsync", "(System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadLinesAsync", "(System.String,System.Text.Encoding,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "ReadLinesAsync", "(System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "File", "Replace", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "Replace", "(System.String,System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "File", "ResolveLinkTarget", "(System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "File", "SetAttributes", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.IO.FileAttributes)", "summary", "df-generated"]
      - ["System.IO", "File", "SetAttributes", "(System.String,System.IO.FileAttributes)", "summary", "df-generated"]
      - ["System.IO", "File", "SetCreationTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetCreationTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetCreationTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetCreationTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastAccessTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastAccessTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastAccessTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastAccessTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastWriteTime", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastWriteTime", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastWriteTimeUtc", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetLastWriteTimeUtc", "(System.String,System.DateTime)", "summary", "df-generated"]
      - ["System.IO", "File", "SetUnixFileMode", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.IO.UnixFileMode)", "summary", "df-generated"]
      - ["System.IO", "File", "SetUnixFileMode", "(System.String,System.IO.UnixFileMode)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllBytes", "(System.String,System.Byte[])", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllBytes", "(System.String,System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllLines", "(System.String,System.Collections.Generic.IEnumerable<System.String>)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllLines", "(System.String,System.Collections.Generic.IEnumerable<System.String>,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllLines", "(System.String,System.String[])", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllLines", "(System.String,System.String[],System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllText", "(System.String,System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllText", "(System.String,System.ReadOnlySpan<System.Char>,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllText", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "File", "WriteAllText", "(System.String,System.String,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "FileFormatException", "FileFormatException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileFormatException", "FileFormatException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "AppendText", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "CreateAsHardLink", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "CreateText", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Decrypt", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Delete", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Encrypt", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "FileInfo", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Open", "(System.IO.FileStreamOptions)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Replace", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "Replace", "(System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "get_Exists", "()", "summary", "df-generated"]
      - ["System.IO", "FileInfo", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "FileLoadException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "FileLoadException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "FileLoadException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "FileLoadException", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "FileLoadException", "(System.String,System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "get_FileName", "()", "summary", "df-generated"]
      - ["System.IO", "FileLoadException", "get_FusionLog", "()", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "FileNotFoundException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "FileNotFoundException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "FileNotFoundException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "FileNotFoundException", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "FileNotFoundException", "(System.String,System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "get_FileName", "()", "summary", "df-generated"]
      - ["System.IO", "FileNotFoundException", "get_FusionLog", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "FileStream", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.IO.FileAccess)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "FileStream", "(System.IntPtr,System.IO.FileAccess)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "FileStream", "(System.IntPtr,System.IO.FileAccess,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "FileStream", "(System.IntPtr,System.IO.FileAccess,System.Boolean,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Flush", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Lock", "(System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "Unlock", "(System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "FileStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "get_IsAsync", "()", "summary", "df-generated"]
      - ["System.IO", "FileStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "Create", "(System.IO.DirectoryInfo,System.Security.AccessControl.DirectorySecurity)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "Create", "(System.IO.FileInfo,System.IO.FileMode,System.Security.AccessControl.FileSystemRights,System.IO.FileShare,System.Int32,System.IO.FileOptions,System.Security.AccessControl.FileSecurity)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "CreateDirectory", "(System.Security.AccessControl.DirectorySecurity,System.String)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "GetAccessControl", "(System.IO.DirectoryInfo)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "GetAccessControl", "(System.IO.DirectoryInfo,System.Security.AccessControl.AccessControlSections)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "GetAccessControl", "(System.IO.FileInfo)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "GetAccessControl", "(System.IO.FileInfo,System.Security.AccessControl.AccessControlSections)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "GetAccessControl", "(System.IO.FileStream)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "SetAccessControl", "(System.IO.DirectoryInfo,System.Security.AccessControl.DirectorySecurity)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "SetAccessControl", "(System.IO.FileInfo,System.Security.AccessControl.FileSecurity)", "summary", "df-generated"]
      - ["System.IO", "FileSystemAclExtensions", "SetAccessControl", "(System.IO.FileStream,System.Security.AccessControl.FileSecurity)", "summary", "df-generated"]
      - ["System.IO", "FileSystemEventArgs", "get_ChangeType", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "CreateAsSymbolicLink", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "Delete", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "FileSystemInfo", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "Refresh", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "ResolveLinkTarget", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileSystemInfo", "get_Exists", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "BeginInit", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "EndInit", "()", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "OnError", "(System.IO.ErrorEventArgs)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "OnRenamed", "(System.IO.RenamedEventArgs)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "WaitForChanged", "(System.IO.WatcherChangeTypes)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "WaitForChanged", "(System.IO.WatcherChangeTypes,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "WaitForChanged", "(System.IO.WatcherChangeTypes,System.TimeSpan)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "add_Changed", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "add_Created", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "add_Deleted", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "add_Error", "(System.IO.ErrorEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "add_Renamed", "(System.IO.RenamedEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "remove_Changed", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "remove_Created", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "remove_Deleted", "(System.IO.FileSystemEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "remove_Error", "(System.IO.ErrorEventHandler)", "summary", "df-generated"]
      - ["System.IO", "FileSystemWatcher", "remove_Renamed", "(System.IO.RenamedEventHandler)", "summary", "df-generated"]
      - ["System.IO", "IOException", "IOException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "IOException", "IOException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "IOException", "IOException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "IOException", "IOException", "(System.String,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "InternalBufferOverflowException", "InternalBufferOverflowException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "InternalBufferOverflowException", "InternalBufferOverflowException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "InternalBufferOverflowException", "InternalBufferOverflowException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "InvalidDataException", "InvalidDataException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "InvalidDataException", "InvalidDataException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "MemoryStream", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "MemoryStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "EndsInDirectorySeparator", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "Path", "EndsInDirectorySeparator", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Path", "Exists", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Path", "GetInvalidFileNameChars", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "GetInvalidPathChars", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "GetRandomFileName", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "GetTempFileName", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "GetTempPath", "()", "summary", "df-generated"]
      - ["System.IO", "Path", "HasExtension", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "Path", "HasExtension", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Path", "IsPathFullyQualified", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "Path", "IsPathFullyQualified", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Path", "IsPathRooted", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "Path", "IsPathRooted", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "Path", "Join", "(System.ReadOnlySpan<System.String>)", "summary", "df-generated"]
      - ["System.IO", "Path", "Join", "(System.String[])", "summary", "df-generated"]
      - ["System.IO", "PathTooLongException", "PathTooLongException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO", "PathTooLongException", "PathTooLongException", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "PathTooLongException", "PathTooLongException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "FlushToDisk", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "GetLength", "(Microsoft.Win32.SafeHandles.SafeFileHandle)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "Read", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.Memory<System.Byte>>,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "Read", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Span<System.Byte>,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "SetLength", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "Write", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.Collections.Generic.IReadOnlyList<System.ReadOnlyMemory<System.Byte>>,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "RandomAccess", "Write", "(Microsoft.Win32.SafeHandles.SafeFileHandle,System.ReadOnlySpan<System.Byte>,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "Stream", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "CreateWaitHandle", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "Stream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "Stream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO", "Stream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "ObjectInvariant", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "ReadExactlyAsync", "(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "Stream", "ReadExactlyAsync", "(System.Memory<System.Byte>,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO", "Stream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "Stream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "Stream", "ValidateBufferArguments", "(System.Byte[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "Stream", "ValidateCopyToArguments", "(System.IO.Stream,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "Stream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "Stream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "get_CanTimeout", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "Stream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO", "StreamReader", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "StreamReader", "DiscardBufferedData", "()", "summary", "df-generated"]
      - ["System.IO", "StreamReader", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "StreamReader", "Peek", "()", "summary", "df-generated"]
      - ["System.IO", "StreamReader", "get_EndOfStream", "()", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.IO.Stream)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.IO.Stream,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.IO.Stream,System.Text.Encoding,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String,System.Boolean,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String,System.Boolean,System.Text.Encoding,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String,System.IO.FileStreamOptions)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "StreamWriter", "(System.String,System.Text.Encoding,System.IO.FileStreamOptions)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "Write", "(System.Char)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "Write", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "StreamWriter", "WriteLine", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "StringReader", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "StringReader", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "StringReader", "Peek", "()", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "StringWriter", "(System.IFormatProvider)", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "StringWriter", "(System.Text.StringBuilder)", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "Write", "(System.Char)", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "Write", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "StringWriter", "WriteLine", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "TextReader", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "TextReader", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "TextReader", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "TextReader", "Peek", "()", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Close", "()", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "CreateBroadcasting", "(System.IO.TextWriter[])", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Char)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Decimal)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Double)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Single)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.Text.Rune)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.UInt32)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "Write", "(System.UInt64)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "()", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Char)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Decimal)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Double)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Single)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.Text.Rune)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.UInt32)", "summary", "df-generated"]
      - ["System.IO", "TextWriter", "WriteLine", "(System.UInt64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Read<T>", "(System.Int64,T)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadArray<T>", "(System.Int64,T[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadBoolean", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadByte", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadChar", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadDecimal", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadDouble", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadInt16", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadInt32", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadInt64", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadSByte", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadSingle", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadUInt16", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadUInt32", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "ReadUInt64", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Byte)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Char)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Decimal)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Double)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Int16)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.SByte)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.Single)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.UInt16)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.UInt32)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write", "(System.Int64,System.UInt64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "Write<T>", "(System.Int64,T)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "WriteArray<T>", "(System.Int64,T[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "get_Capacity", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryAccessor", "get_IsOpen", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "get_Capacity", "()", "summary", "df-generated"]
      - ["System.IO", "UnmanagedMemoryStream", "get_Length", "()", "summary", "df-generated"]