forked from github/codeql
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmemchr.model.yml
More file actions
274 lines (274 loc) · 48.2 KB
/
memchr.model.yml
File metadata and controls
274 lines (274 loc) · 48.2 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
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/rust-all
extensible: summaryModel
data:
- ["<core::core_arch::x86::__m128i as memchr::vector::Vector>::load_aligned", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<core::core_arch::x86::__m256i as memchr::vector::Vector>::load_aligned", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as memchr::ext::Byte>::to_char", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::One as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::One>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::One>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::all::memchr::OneIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::One>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::all::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::One>::try_new", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::OneIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::all::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::OneIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::memchr::OneIter::searcher].Field[memchr::arch::all::memchr::One::s1]", "ReturnValue.Field[memchr::arch::all::memchr::OneIter::searcher].Field[memchr::arch::all::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::OneIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::memchr::OneIter::searcher].Field[memchr::arch::all::memchr::One::v1]", "ReturnValue.Field[memchr::arch::all::memchr::OneIter::searcher].Field[memchr::arch::all::memchr::One::v1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::OneIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::all::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::Three>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::all::memchr::ThreeIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::all::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::new", "Argument[1]", "ReturnValue.Field[memchr::arch::all::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::new", "Argument[2]", "ReturnValue.Field[memchr::arch::all::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::try_new", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::try_new", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Three>::try_new", "Argument[2]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::ThreeIter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::ThreeIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::all::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::Two>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::all::memchr::TwoIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::all::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two>::new", "Argument[1]", "ReturnValue.Field[memchr::arch::all::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two>::try_new", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::Two>::try_new", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::all::memchr::TwoIter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::memchr::TwoIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::all::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::packedpair::Finder>::new", "Argument[0].Element", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Finder::byte1]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder>::new", "Argument[0].Element", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Finder::byte2]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder>::pair", "Argument[self].Field[memchr::arch::all::packedpair::Finder::pair]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder>::with_pair", "Argument[0].Element", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Finder::byte1]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder>::with_pair", "Argument[0].Element", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Finder::byte2]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Finder>::with_pair", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Finder::pair]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Pair as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::packedpair::Pair>::index1", "Argument[self].Field[memchr::arch::all::packedpair::Pair::index1]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Pair>::index2", "Argument[self].Field[memchr::arch::all::packedpair::Pair::index2]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Pair>::with_indices", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Pair::index1]", "value", "dfc-generated"]
- ["<memchr::arch::all::packedpair::Pair>::with_indices", "Argument[2]", "ReturnValue.Field[core::option::Option::Some(0)].Field[memchr::arch::all::packedpair::Pair::index2]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::Finder::hash].Field[memchr::arch::all::rabinkarp::Hash(0)]", "ReturnValue.Field[memchr::arch::all::rabinkarp::Finder::hash].Field[memchr::arch::all::rabinkarp::Hash(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow].Reference", "ReturnValue.Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "ReturnValue.Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Finder>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::FinderRev as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::FinderRev(0)].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "ReturnValue.Field[memchr::arch::all::rabinkarp::FinderRev(0)].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Hash as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::Hash(0)].Reference", "ReturnValue.Field[memchr::arch::all::rabinkarp::Hash(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::rabinkarp::Hash as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::rabinkarp::Hash(0)]", "ReturnValue.Field[memchr::arch::all::rabinkarp::Hash(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::shiftor::Finder>::find", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::twoway::ApproximateByteSet as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::twoway::ApproximateByteSet(0)].Reference", "ReturnValue.Field[memchr::arch::all::twoway::ApproximateByteSet(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::twoway::ApproximateByteSet as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::twoway::ApproximateByteSet(0)]", "ReturnValue.Field[memchr::arch::all::twoway::ApproximateByteSet(0)]", "value", "dfc-generated"]
- ["<memchr::arch::all::twoway::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::twoway::Finder(0)].Field[memchr::arch::all::twoway::TwoWay::critical_pos]", "ReturnValue.Field[memchr::arch::all::twoway::Finder(0)].Field[memchr::arch::all::twoway::TwoWay::critical_pos]", "value", "dfc-generated"]
- ["<memchr::arch::all::twoway::FinderRev as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::all::twoway::FinderRev(0)].Field[memchr::arch::all::twoway::TwoWay::critical_pos]", "ReturnValue.Field[memchr::arch::all::twoway::FinderRev(0)].Field[memchr::arch::all::twoway::TwoWay::critical_pos]", "value", "dfc-generated"]
- ["<memchr::arch::all::twoway::Shift as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::all::twoway::TwoWay as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::generic::memchr::Iter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::generic::memchr::Iter::haystack].Reference", "ReturnValue.Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::count", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::count", "Argument[self].Field[memchr::arch::generic::memchr::Iter::end]", "Argument[0].Parameter[1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::count", "Argument[self].Field[memchr::arch::generic::memchr::Iter::start]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::next", "Argument[self].Field[memchr::arch::generic::memchr::Iter::end]", "Argument[0].Parameter[1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::next", "Argument[self].Field[memchr::arch::generic::memchr::Iter::start]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::next", "Argument[self].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::next_back", "Argument[self].Field[memchr::arch::generic::memchr::Iter::end]", "Argument[0].Parameter[1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Iter>::next_back", "Argument[self].Field[memchr::arch::generic::memchr::Iter::start]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::One as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::generic::memchr::One::s1].Reference", "ReturnValue.Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::One as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::generic::memchr::One::s1]", "ReturnValue.Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::One>::needle1", "Argument[self].Field[memchr::arch::generic::memchr::One::s1]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::One>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::generic::memchr::Three>::needle1", "Argument[self].Field[memchr::arch::generic::memchr::Three::s1]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three>::needle2", "Argument[self].Field[memchr::arch::generic::memchr::Three::s2]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three>::needle3", "Argument[self].Field[memchr::arch::generic::memchr::Three::s3]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::generic::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three>::new", "Argument[1]", "ReturnValue.Field[memchr::arch::generic::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Three>::new", "Argument[2]", "ReturnValue.Field[memchr::arch::generic::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Two as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::generic::memchr::Two>::needle1", "Argument[self].Field[memchr::arch::generic::memchr::Two::s1]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Two>::needle2", "Argument[self].Field[memchr::arch::generic::memchr::Two::s2]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Two>::new", "Argument[0]", "ReturnValue.Field[memchr::arch::generic::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::generic::memchr::Two>::new", "Argument[1]", "ReturnValue.Field[memchr::arch::generic::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::generic::packedpair::Finder as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::generic::packedpair::Finder>::min_haystack_len", "Argument[self].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::generic::packedpair::Finder>::new", "Argument[1]", "ReturnValue.Field[memchr::arch::generic::packedpair::Finder::pair]", "value", "dfc-generated"]
- ["<memchr::arch::generic::packedpair::Finder>::pair", "Argument[self].Field[memchr::arch::generic::packedpair::Finder::pair]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::One::avx2].Field[memchr::arch::generic::memchr::One::s1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::One::avx2].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::One::sse2].Field[memchr::arch::generic::memchr::One::s1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::One::sse2].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::OneIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::One::avx2].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::One>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::One::sse2].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::OneIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::OneIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::ThreeIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::avx2].Field[memchr::arch::generic::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::sse2].Field[memchr::arch::generic::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::avx2].Field[memchr::arch::generic::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::sse2].Field[memchr::arch::generic::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[2]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::avx2].Field[memchr::arch::generic::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Three>::new_unchecked", "Argument[2]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Three::sse2].Field[memchr::arch::generic::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::ThreeIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::ThreeIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::TwoIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Two::avx2].Field[memchr::arch::generic::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Two::sse2].Field[memchr::arch::generic::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Two::avx2].Field[memchr::arch::generic::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::Two>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::Two::sse2].Field[memchr::arch::generic::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::TwoIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::avx2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::memchr::TwoIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::avx2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::packedpair::Finder::avx2].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue.Field[memchr::arch::x86_64::avx2::packedpair::Finder::avx2].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::avx2::packedpair::Finder::sse2].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue.Field[memchr::arch::x86_64::avx2::packedpair::Finder::sse2].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder>::min_haystack_len", "Argument[self].Field[memchr::arch::x86_64::avx2::packedpair::Finder::sse2].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder>::pair", "Argument[self].Field[memchr::arch::x86_64::avx2::packedpair::Finder::avx2].Field[memchr::arch::generic::packedpair::Finder::pair]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::One as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::One(0)].Field[memchr::arch::generic::memchr::One::s1]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::One(0)].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::One>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::One>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::OneIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::One>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::One(0)].Field[memchr::arch::generic::memchr::One::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::OneIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::OneIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::OneIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s1]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s2]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s3]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::ThreeIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Three>::new_unchecked", "Argument[2]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Three(0)].Field[memchr::arch::generic::memchr::Three::s3]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::ThreeIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::ThreeIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::ThreeIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s1]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s2]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two>::find_raw", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two>::iter", "Argument[self]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::TwoIter::searcher]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two>::new_unchecked", "Argument[0]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s1]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::Two>::new_unchecked", "Argument[1]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::Two(0)].Field[memchr::arch::generic::memchr::Two::s2]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::TwoIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::arch::x86_64::sse2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::memchr::TwoIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[memchr::arch::x86_64::sse2::memchr::TwoIter::it].Field[memchr::arch::generic::memchr::Iter::start]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder as core::clone::Clone>::clone", "Argument[self].Field[memchr::arch::x86_64::sse2::packedpair::Finder(0)].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue.Field[memchr::arch::x86_64::sse2::packedpair::Finder(0)].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::min_haystack_len", "Argument[self].Field[0].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::min_haystack_len", "Argument[self].Field[memchr::arch::x86_64::sse2::packedpair::Finder(0)].Field[memchr::arch::generic::packedpair::Finder::min_haystack_len]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::pair", "Argument[self].Field[0].Field[memchr::arch::generic::packedpair::Finder::pair]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::pair", "Argument[self].Field[memchr::arch::x86_64::sse2::packedpair::Finder(0)].Field[memchr::arch::generic::packedpair::Finder::pair]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<memchr::cow::CowBytes as core::clone::Clone>::clone", "Argument[self].Field[memchr::cow::CowBytes(0)].Field[memchr::cow::Imp::Owned(0)]", "ReturnValue.Field[memchr::cow::CowBytes(0)].Field[memchr::cow::Imp::Owned(0)]", "value", "dfc-generated"]
- ["<memchr::cow::CowBytes>::into_owned", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::cow::Imp as core::clone::Clone>::clone", "Argument[self].Field[memchr::cow::Imp::Owned(0)].Reference", "ReturnValue.Field[memchr::cow::Imp::Owned(0)]", "value", "dfc-generated"]
- ["<memchr::cow::Imp as core::clone::Clone>::clone", "Argument[self].Field[memchr::cow::Imp::Owned(0)]", "ReturnValue.Field[memchr::cow::Imp::Owned(0)]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr as core::clone::Clone>::clone", "Argument[self].Field[memchr::memchr::Memchr::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "ReturnValue.Field[memchr::memchr::Memchr::it].Field[memchr::arch::generic::memchr::Iter::haystack]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr as core::clone::Clone>::clone", "Argument[self].Field[memchr::memchr::Memchr::needle1].Reference", "ReturnValue.Field[memchr::memchr::Memchr::needle1]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr as core::clone::Clone>::clone", "Argument[self].Field[memchr::memchr::Memchr::needle1]", "ReturnValue.Field[memchr::memchr::Memchr::needle1]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr2 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memchr::Memchr2>::new", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr2::needle1]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr2>::new", "Argument[1]", "ReturnValue.Field[memchr::memchr::Memchr2::needle2]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr3 as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memchr::Memchr3>::new", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr3::needle1]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr3>::new", "Argument[1]", "ReturnValue.Field[memchr::memchr::Memchr3::needle2]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr3>::new", "Argument[2]", "ReturnValue.Field[memchr::memchr::Memchr3::needle3]", "value", "dfc-generated"]
- ["<memchr::memchr::Memchr>::new", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr::needle1]", "value", "dfc-generated"]
- ["<memchr::memmem::FindIter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memmem::FindIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::haystack]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::pos]", "ReturnValue.Field[memchr::memmem::FindIter::pos]", "value", "dfc-generated"]
- ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::prestate]", "ReturnValue.Field[memchr::memmem::FindIter::prestate]", "value", "dfc-generated"]
- ["<memchr::memmem::FindIter>::new", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::FindIter>::new", "Argument[1]", "ReturnValue.Field[memchr::memmem::FindIter::finder]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::FindRevIter::pos].Reference", "ReturnValue.Field[memchr::memmem::FindRevIter::pos]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::FindRevIter::pos]", "ReturnValue.Field[memchr::memmem::FindRevIter::pos]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self].Field[memchr::memmem::FindRevIter::haystack]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self].Field[memchr::memmem::FindRevIter::pos]", "ReturnValue.Field[memchr::memmem::FindRevIter::pos]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter>::new", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::FindRevIter>::new", "Argument[1]", "ReturnValue.Field[memchr::memmem::FindRevIter::finder]", "value", "dfc-generated"]
- ["<memchr::memmem::Finder>::find_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[0]", "Argument[self].Field[memchr::memmem::FinderBuilder::prefilter]", "value", "dfc-generated"]
- ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FinderBuilder::prefilter]", "value", "dfc-generated"]
- ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::memmem::FinderRev>::rfind_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::Prefilter as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memmem::searcher::PrefilterKind as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::PrefilterState as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memmem::searcher::Searcher as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::Searcher::rabinkarp].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "ReturnValue.Field[memchr::memmem::searcher::Searcher::rabinkarp].Field[memchr::arch::all::rabinkarp::Finder::hash_2pow]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::Searcher>::find", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["<memchr::memmem::searcher::Searcher>::find", "Argument[1]", "Argument[self]", "taint", "df-generated"]
- ["<memchr::memmem::searcher::Searcher>::find", "Argument[2]", "Argument[self]", "taint", "df-generated"]
- ["<memchr::memmem::searcher::Searcher>::find", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::memmem::searcher::SearcherKind as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::SearcherRev as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::SearcherRev::kind].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "ReturnValue.Field[memchr::memmem::searcher::SearcherRev::kind].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::SearcherRev>::new", "Argument[0].Element", "ReturnValue.Field[memchr::memmem::searcher::SearcherRev::kind].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::SearcherRevKind as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle].Reference", "ReturnValue.Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::SearcherRevKind as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "ReturnValue.Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::TwoWayWithPrefilter as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::TwoWayWithPrefilter::prestrat].Field[memchr::memmem::searcher::Prefilter::rarest_byte]", "ReturnValue.Field[memchr::memmem::searcher::TwoWayWithPrefilter::prestrat].Field[memchr::memmem::searcher::Prefilter::rarest_byte]", "value", "dfc-generated"]
- ["<memchr::memmem::searcher::TwoWayWithPrefilter as core::clone::Clone>::clone", "Argument[self].Field[memchr::memmem::searcher::TwoWayWithPrefilter::prestrat].Field[memchr::memmem::searcher::Prefilter::rarest_offset]", "ReturnValue.Field[memchr::memmem::searcher::TwoWayWithPrefilter::prestrat].Field[memchr::memmem::searcher::Prefilter::rarest_offset]", "value", "dfc-generated"]
- ["<memchr::vector::SensibleMoveMask as core::clone::Clone>::clone", "Argument[self].Field[memchr::vector::SensibleMoveMask(0)].Reference", "ReturnValue.Field[memchr::vector::SensibleMoveMask(0)]", "value", "dfc-generated"]
- ["<memchr::vector::SensibleMoveMask as core::clone::Clone>::clone", "Argument[self].Field[memchr::vector::SensibleMoveMask(0)]", "ReturnValue.Field[memchr::vector::SensibleMoveMask(0)]", "value", "dfc-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::all_zeros_except_least_significant", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::and", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::and", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::clear_least_significant_bit", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::has_non_zero", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::or", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::or", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["memchr::arch::generic::memchr::count_byte_by_byte", "Argument[0].Reference", "Argument[2].Parameter[0]", "value", "dfc-generated"]
- ["memchr::arch::generic::memchr::fwd_byte_by_byte", "Argument[0].Reference", "Argument[2].Parameter[0]", "value", "dfc-generated"]
- ["memchr::arch::generic::memchr::fwd_byte_by_byte", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["memchr::arch::generic::memchr::search_slice_with_raw", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["memchr::memchr::memchr2_iter", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr2::needle1]", "value", "dfc-generated"]
- ["memchr::memchr::memchr2_iter", "Argument[1]", "ReturnValue.Field[memchr::memchr::Memchr2::needle2]", "value", "dfc-generated"]
- ["memchr::memchr::memchr3_iter", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr3::needle1]", "value", "dfc-generated"]
- ["memchr::memchr::memchr3_iter", "Argument[1]", "ReturnValue.Field[memchr::memchr::Memchr3::needle2]", "value", "dfc-generated"]
- ["memchr::memchr::memchr3_iter", "Argument[2]", "ReturnValue.Field[memchr::memchr::Memchr3::needle3]", "value", "dfc-generated"]
- ["memchr::memchr::memchr_iter", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr::needle1]", "value", "dfc-generated"]
- ["memchr::memmem::find_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
- ["memchr::memmem::rfind_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sinkModel
data:
- ["<memchr::arch::all::twoway::Finder>::find", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::all::twoway::Finder>::find", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::arch::all::twoway::Finder>::find_with_prefilter", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::all::twoway::Finder>::find_with_prefilter", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::arch::all::twoway::FinderRev>::rfind", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::all::twoway::FinderRev>::rfind", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::arch::generic::packedpair::Finder>::find", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::generic::packedpair::Finder>::find_prefilter", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder>::find", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::x86_64::avx2::packedpair::Finder>::find_prefilter", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::find", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::arch::x86_64::sse2::packedpair::Finder>::find_prefilter", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::cow::CowBytes as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::cow::CowBytes as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::cow::CowBytes>::into_owned", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::cow::CowBytes>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::cow::Imp as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::cow::Imp as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FindIter as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FindIter as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FindIter>::into_owned", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FindIter>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FindRevIter as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FindRevIter as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FindRevIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FindRevIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::Finder as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::Finder as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::Finder>::into_owned", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::Finder>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FinderRev as core::clone::Clone>::clone", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FinderRev as core::clone::Clone>::clone", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FinderRev>::into_owned", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FinderRev>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::FinderRev>::rfind", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::FinderRev>::rfind", "Argument[self]", "pointer-access", "df-generated"]
- ["<memchr::memmem::searcher::SearcherRev>::rfind", "Argument[self]", "log-injection", "df-generated"]
- ["<memchr::memmem::searcher::SearcherRev>::rfind", "Argument[self]", "pointer-access", "df-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sourceModel
data:
- ["<core::core_arch::x86::__m128i as memchr::vector::Vector>::load_unaligned", "ReturnValue", "constant-source", "df-generated"]
- ["<core::core_arch::x86::__m256i as memchr::vector::Vector>::load_unaligned", "ReturnValue", "constant-source", "df-generated"]