forked from github/codeql
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathlibc.model.yml
More file actions
492 lines (492 loc) · 73.5 KB
/
libc.model.yml
File metadata and controls
492 lines (492 loc) · 73.5 KB
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
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/rust-all
extensible: summaryModel
data:
- ["<core::i16 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-elf::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-fcntl::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-if-arp::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-ipv6::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-strerror_r::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as linux-termios::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as main::Pretty>::pretty", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::group as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::group::gr_gid].Reference", "ReturnValue.Field[libc::unix::group::gr_gid]", "value", "dfc-generated"]
- ["<libc::unix::group as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::group::gr_gid]", "ReturnValue.Field[libc::unix::group::gr_gid]", "value", "dfc-generated"]
- ["<libc::unix::hostent as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::in6_addr as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::in6_addr::s6_addr].Reference", "ReturnValue.Field[libc::unix::in6_addr::s6_addr]", "value", "dfc-generated"]
- ["<libc::unix::in6_addr as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::in6_addr::s6_addr]", "ReturnValue.Field[libc::unix::in6_addr::s6_addr]", "value", "dfc-generated"]
- ["<libc::unix::iovec as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::iovec::iov_len].Reference", "ReturnValue.Field[libc::unix::iovec::iov_len]", "value", "dfc-generated"]
- ["<libc::unix::iovec as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::iovec::iov_len]", "ReturnValue.Field[libc::unix::iovec::iov_len]", "value", "dfc-generated"]
- ["<libc::unix::ipv6_mreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::ipv6_mreq::ipv6mr_interface].Reference", "ReturnValue.Field[libc::unix::ipv6_mreq::ipv6mr_interface]", "value", "dfc-generated"]
- ["<libc::unix::ipv6_mreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::ipv6_mreq::ipv6mr_interface]", "ReturnValue.Field[libc::unix::ipv6_mreq::ipv6mr_interface]", "value", "dfc-generated"]
- ["<libc::unix::ipv6_mreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::ipv6_mreq::ipv6mr_multiaddr].Field[libc::unix::in6_addr::s6_addr]", "ReturnValue.Field[libc::unix::ipv6_mreq::ipv6mr_multiaddr].Field[libc::unix::in6_addr::s6_addr]", "value", "dfc-generated"]
- ["<libc::unix::itimerval as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linger as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::addrinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::arphdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::arpreq as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::arpreq_old as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::epoll_event as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::fd_set as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::fd_set::fds_bits].Reference", "ReturnValue.Field[libc::unix::linux_like::fd_set::fds_bits]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::fd_set as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::fd_set::fds_bits]", "ReturnValue.Field[libc::unix::linux_like::fd_set::fds_bits]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ifaddrs as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ifaddrs::ifa_flags].Reference", "ReturnValue.Field[libc::unix::linux_like::ifaddrs::ifa_flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ifaddrs as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ifaddrs::ifa_flags]", "ReturnValue.Field[libc::unix::linux_like::ifaddrs::ifa_flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::in6_rtmsg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::in_addr as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::in_addr::s_addr].Reference", "ReturnValue.Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::in_addr as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::in_pktinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::ip_mreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ip_mreq::imr_interface].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::ip_mreq::imr_interface].Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ip_mreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ip_mreq::imr_multiaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::ip_mreq::imr_multiaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ip_mreq_source as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ip_mreq_source::imr_interface].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::ip_mreq_source::imr_interface].Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ip_mreq_source as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ip_mreq_source::imr_multiaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::ip_mreq_source::imr_multiaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ip_mreq_source as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::ip_mreq_source::imr_sourceaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "ReturnValue.Field[libc::unix::linux_like::ip_mreq_source::imr_sourceaddr].Field[libc::unix::linux_like::in_addr::s_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::ip_mreqn as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::lconv as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf32_Ehdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf32_Phdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf32_Shdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf32_Sym as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf64_Ehdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf64_Phdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf64_Shdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::Elf64_Sym as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t::val].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t::val]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t::val]", "ReturnValue.Field[libc::unix::linux_like::linux::__c_anonymous__kernel_fsid_t::val]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_elf32_rel as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_elf32_rela as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_elf64_rel as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_elf64_rela as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ifru_map as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_j1939 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_tp as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::af_alg_iv as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::arch::generic::termios2 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::arpd_request as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::can_filter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::can_frame as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::canfd_frame as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::canxl_frame as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::cpu_set_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::cpu_set_t::bits].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::cpu_set_t::bits]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::cpu_set_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::cpu_set_t::bits]", "ReturnValue.Field[libc::unix::linux_like::linux::cpu_set_t::bits]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::dirent as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dirent64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dl_phdr_info as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dmabuf_cmsg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dmabuf_token as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dqblk as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::epoll_params as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::fanotify_event_info_fid as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::fanotify_event_info_header as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::fanotify_event_metadata as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::fanotify_response as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::fanout_args as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_condition_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_constant_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_envelope as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_periodic_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_ramp_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_replay as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_rumble_effect as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ff_trigger as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::file_clone_range as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::genlmsghdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::glob_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::Elf32_Chdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::Elf64_Chdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_entry as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_exit as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_seccomp as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__exit_status as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__timeval as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::aiocb as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::msqid_ds as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::semid_ds as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::sysinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_fpstate as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_fpxreg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg::element].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg::element]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg::element]", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::_libc_xmmreg::element]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::clone_args as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::flock as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::flock64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::ipc_perm as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t::priv_].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t::priv_]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t::priv_]", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::max_align_t::priv_]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t::gregs].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t::gregs]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t::gregs]", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::b64::x86_64::mcontext_t::gregs]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::not_x32::statvfs as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::ptrace_rseq_configuration as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::shmid_ds as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::sigaction as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::siginfo_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::stack_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::stat as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::stat64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::statfs as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::statfs64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::statvfs64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::ucontext_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::user as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::user_fpregs_struct as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::user_regs_struct as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::cmsghdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::fanotify_event_info_error as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::fanotify_event_info_pidfd as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::glob64_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::iocb as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::mallinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::mallinfo2 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::msghdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::nl_mmap_hdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::nl_mmap_req as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::nl_pktinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::nl_pktinfo::group].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::nl_pktinfo::group]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::nl_pktinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::gnu::nl_pktinfo::group]", "ReturnValue.Field[libc::unix::linux_like::linux::gnu::nl_pktinfo::group]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::ntptimeval as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::ptrace_peeksiginfo_args as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::ptrace_sud_config as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::ptrace_syscall_info as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::rtentry as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::seminfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::tcp_info as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::termios as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::timex as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::utmpx as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::hwtstamp_config as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::if_nameindex as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::if_nameindex::if_index].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::if_nameindex::if_index]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::if_nameindex as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::if_nameindex::if_index]", "ReturnValue.Field[libc::unix::linux_like::linux::if_nameindex::if_index]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::ifconf as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::ifconf::ifc_len].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::ifconf::ifc_len]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::ifconf as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::ifconf::ifc_len]", "ReturnValue.Field[libc::unix::linux_like::linux::ifconf::ifc_len]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::ifreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::ifreq::ifr_name].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::ifreq::ifr_name]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::ifreq as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::ifreq::ifr_name]", "ReturnValue.Field[libc::unix::linux_like::linux::ifreq::ifr_name]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::in6_ifreq as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::in6_pktinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_addr].Field[libc::unix::in6_addr::s6_addr]", "ReturnValue.Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_addr].Field[libc::unix::in6_addr::s6_addr]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::in6_pktinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_ifindex].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_ifindex]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::in6_pktinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_ifindex]", "ReturnValue.Field[libc::unix::linux_like::linux::in6_pktinfo::ipi6_ifindex]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::inotify_event as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::input_absinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::input_event as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::input_id as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::input_keymap_entry as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::input_mask as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::itimerspec as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_discarded as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_encode_ext as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_event as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_freq as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_michaelmicfailure as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_missed as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::iw_missed::beacon].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::iw_missed::beacon]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::iw_missed as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::iw_missed::beacon]", "ReturnValue.Field[libc::unix::linux_like::linux::iw_missed::beacon]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::iw_mlme as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_param as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_pmkid_cand as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_pmksa as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_point as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_priv_args as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_quality as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_range as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_scan_req as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_statistics as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_thrspy as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iwreq_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::j1939_filter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::mntent as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::mount_attr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::mq_attr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::msginfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::nlattr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::nlmsgerr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::nlmsghdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::open_how as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::option as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::packet_mreq as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::passwd as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::pthread_barrier_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_barrier_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_barrier_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_barrier_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_barrier_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_barrier_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_barrierattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_barrierattr_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_barrierattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_barrierattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_barrierattr_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_barrierattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_cond_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_cond_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_cond_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_cond_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_cond_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_cond_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_condattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_condattr_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_condattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_condattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_condattr_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_condattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_mutex_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_mutex_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_mutex_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_mutex_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_mutex_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_mutex_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_mutexattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_mutexattr_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_mutexattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_mutexattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_mutexattr_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_mutexattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_rwlock_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_rwlock_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_rwlock_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_rwlock_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_rwlock_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_rwlock_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_rwlockattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_rwlockattr_t::size].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_rwlockattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::pthread_rwlockattr_t as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::pthread_rwlockattr_t::size]", "ReturnValue.Field[libc::unix::linux_like::linux::pthread_rwlockattr_t::size]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::ptp_clock_caps as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_clock_time as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_extts_event as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_extts_request as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_perout_request as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_pin_desc as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_sys_offset as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_sys_offset_extended as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ptp_sys_offset_precise as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::regmatch_t as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::rlimit64 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sched_attr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_authinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::sctp_authinfo::auth_keynumber].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::sctp_authinfo::auth_keynumber]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::sctp_authinfo as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::sctp_authinfo::auth_keynumber]", "ReturnValue.Field[libc::unix::linux_like::linux::sctp_authinfo::auth_keynumber]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::sctp_initmsg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_nxtinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_prinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_rcvinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_sndinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sctp_sndrcvinfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::seccomp_data as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::seccomp_notif as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::seccomp_notif_addfd as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::seccomp_notif_resp as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::seccomp_notif_sizes as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sembuf as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::signalfd_siginfo as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sock_extended_err as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sock_filter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sock_fprog as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::sock_fprog::len].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::sock_fprog::len]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::sock_fprog as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::sock_fprog::len]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_fprog::len]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::sock_txtime as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_alg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_can as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_nl as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_pkt as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_vm as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_xdp as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::spwd as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_aes_ccm_128 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_aes_gcm_128 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_aes_gcm_256 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_aria_gcm_128 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_aria_gcm_256 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_chacha20_poly1305 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_sm4_ccm as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls12_crypto_info_sm4_gcm as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tls_crypto_info as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket2_hdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket3_hdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_auxdata as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::tpacket_bd_ts as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_block_desc as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_hdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_hdr_v1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_hdr_variant1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_req as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_req3 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_req_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::tpacket_rollover_stats as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_stats as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_stats_v3 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ucred as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_abs_setup as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_ff_erase as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_ff_upload as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_setup as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_user_dev as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_desc as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_mmap_offsets as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_mmap_offsets_v1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_options as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xdp_options::flags].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::xdp_options::flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xdp_options as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xdp_options::flags]", "ReturnValue.Field[libc::unix::linux_like::linux::xdp_options::flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xdp_ring_offset as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_ring_offset_v1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_statistics as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_statistics_v1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_umem_reg as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xdp_umem_reg_v1 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::xsk_tx_metadata as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xsk_tx_metadata::flags].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::xsk_tx_metadata::flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xsk_tx_metadata as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xsk_tx_metadata::flags]", "ReturnValue.Field[libc::unix::linux_like::linux::xsk_tx_metadata::flags]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xsk_tx_metadata_completion as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xsk_tx_metadata_completion::tx_timestamp].Reference", "ReturnValue.Field[libc::unix::linux_like::linux::xsk_tx_metadata_completion::tx_timestamp]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xsk_tx_metadata_completion as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::linux::xsk_tx_metadata_completion::tx_timestamp]", "ReturnValue.Field[libc::unix::linux_like::linux::xsk_tx_metadata_completion::tx_timestamp]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::xsk_tx_metadata_request as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::mmsghdr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sched_param as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::sched_param::sched_priority].Reference", "ReturnValue.Field[libc::unix::linux_like::sched_param::sched_priority]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::sched_param as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::sched_param::sched_priority]", "ReturnValue.Field[libc::unix::linux_like::sched_param::sched_priority]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::sigevent as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_in as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_in6 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_ll as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_storage as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::sockaddr_storage::ss_family].Reference", "ReturnValue.Field[libc::unix::linux_like::sockaddr_storage::ss_family]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::sockaddr_storage as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::linux_like::sockaddr_storage::ss_family]", "ReturnValue.Field[libc::unix::linux_like::sockaddr_storage::ss_family]", "value", "dfc-generated"]
- ["<libc::unix::linux_like::sockaddr_un as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::statx as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::statx_timestamp as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::tm as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::utsname as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::pollfd as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::protoent as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::protoent::p_proto].Reference", "ReturnValue.Field[libc::unix::protoent::p_proto]", "value", "dfc-generated"]
- ["<libc::unix::protoent as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::protoent::p_proto]", "ReturnValue.Field[libc::unix::protoent::p_proto]", "value", "dfc-generated"]
- ["<libc::unix::rlimit as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::rusage as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::servent as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::servent::s_port].Reference", "ReturnValue.Field[libc::unix::servent::s_port]", "value", "dfc-generated"]
- ["<libc::unix::servent as core::clone::Clone>::clone", "Argument[self].Field[libc::unix::servent::s_port]", "ReturnValue.Field[libc::unix::servent::s_port]", "value", "dfc-generated"]
- ["<libc::unix::timespec as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::timeval as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::tms as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::utimbuf as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::winsize as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
- ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_COPIED", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_NUMBER", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPTOS_ECN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::QCMD", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::QCMD", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WEXITSTATUS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WSTOPSIG", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WTERMSIG", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_EXITCODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_EXITCODE", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_STOPCODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[0]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::code]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[2]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::jt]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[3]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::jf]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_MISCOP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_MODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_OP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_RVAL", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_SRC", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[0]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::code]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::CMSG_NXTHDR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::CPU_ALLOC_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_TYPE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_TYPE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[3]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::IPTOS_PREC", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::IPTOS_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::NLA_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::RT_ADDRCLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::RT_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::SCTP_PR_INDEX", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::SCTP_PR_POLICY", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::TPACKET_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOW", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOW", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOWR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOWR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sinkModel
data:
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "log-injection", "df-generated"]
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "pointer-access", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "log-injection", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "pointer-access", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "log-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "pointer-access", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "log-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "pointer-access", "df-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sourceModel
data:
- ["<style::style::StyleChecker>::check_file", "ReturnValue", "file", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "ReturnValue", "file", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "ReturnValue", "file", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "ReturnValue", "file", "df-generated"]