TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / mirror / mbed-tls.git / 585f7f776d06ea4fe1af56edd94baf751fb6cc62 / . / tests / suites / test_suite_constant_time.data
blob: f692176cdac2be9aec9b6fd0982c9f08934c2fc5 [file] [log] [blame]
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]1# these are the numbers we'd get with an empty plaintext and truncated HMAC
2Constant-flow memcpy from offset: small
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]3mbedtls_ct_memcpy_offset:0:5:10
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]4
5# we could get this with 255-bytes plaintext and untruncated SHA-256
6Constant-flow memcpy from offset: medium
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]7mbedtls_ct_memcpy_offset:0:255:32
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]8
9# we could get this with 255-bytes plaintext and untruncated SHA-384
10Constant-flow memcpy from offset: large
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]11mbedtls_ct_memcpy_offset:100:339:48
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]12
13mbedtls_ct_memcmp NULL
14mbedtls_ct_memcmp_null
15
16mbedtls_ct_memcmp len 1
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]17mbedtls_ct_memcmp:-1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]18
19mbedtls_ct_memcmp len 3
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]20mbedtls_ct_memcmp:-1:3:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]21
22mbedtls_ct_memcmp len 4
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]23mbedtls_ct_memcmp:-1:4:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]24
25mbedtls_ct_memcmp len 5
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]26mbedtls_ct_memcmp:-1:5:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]27
28mbedtls_ct_memcmp len 15
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]29mbedtls_ct_memcmp:-1:15:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]30
31mbedtls_ct_memcmp len 16
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]32mbedtls_ct_memcmp:-1:16:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]33
34mbedtls_ct_memcmp len 17
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]35mbedtls_ct_memcmp:-1:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]36
37mbedtls_ct_memcmp len 1 different
38mbedtls_ct_memcmp:0:1:0
39
40mbedtls_ct_memcmp len 17 different
41mbedtls_ct_memcmp:0:17:0
42
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]43mbedtls_ct_memcmp len 17 different 1
44mbedtls_ct_memcmp:1:17:0
45
46mbedtls_ct_memcmp len 17 different 4
47mbedtls_ct_memcmp:4:17:0
48
49mbedtls_ct_memcmp len 17 different 10
50mbedtls_ct_memcmp:10:17:0
51
52mbedtls_ct_memcmp len 17 different 16
53mbedtls_ct_memcmp:16:17:0
54
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]55mbedtls_ct_memcmp len 1 offset 1 different
56mbedtls_ct_memcmp:0:1:1
57
58mbedtls_ct_memcmp len 17 offset 1 different
59mbedtls_ct_memcmp:0:17:1
60
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]61mbedtls_ct_memcmp len 17 offset 1 different 1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]62mbedtls_ct_memcmp:1:17:1
63
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]64mbedtls_ct_memcmp len 17 offset 1 different 5
65mbedtls_ct_memcmp:5:17:1
66
67mbedtls_ct_memcmp len 1 offset 1
68mbedtls_ct_memcmp:-1:1:1
69
70mbedtls_ct_memcmp len 1 offset 2
71mbedtls_ct_memcmp:-1:1:2
72
73mbedtls_ct_memcmp len 1 offset 3
74mbedtls_ct_memcmp:-1:1:3
75
76mbedtls_ct_memcmp len 5 offset 1
77mbedtls_ct_memcmp:-1:5:1
78
79mbedtls_ct_memcmp len 5 offset 2
80mbedtls_ct_memcmp:-1:5:2
81
82mbedtls_ct_memcmp len 5 offset 3
83mbedtls_ct_memcmp:-1:5:3
84
85mbedtls_ct_memcmp len 17 offset 1
86mbedtls_ct_memcmp:-1:17:1
87
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]88mbedtls_ct_memcmp len 17 offset 2
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]89mbedtls_ct_memcmp:-1:17:2
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]90
91mbedtls_ct_memcmp len 17 offset 3
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]92mbedtls_ct_memcmp:-1:17:3
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]93
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]94mbedtls_ct_memcpy_if len 1 offset 0
95mbedtls_ct_memcpy_if:1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]96
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]97mbedtls_ct_memcpy_if len 1 offset 1
98mbedtls_ct_memcpy_if:1:1:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]99
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]100mbedtls_ct_memcpy_if len 4 offset 0
101mbedtls_ct_memcpy_if:1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]102
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]103mbedtls_ct_memcpy_if len 4 offset 1
104mbedtls_ct_memcpy_if:1:1:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]105
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]106mbedtls_ct_memcpy_if len 4 offset 2
107mbedtls_ct_memcpy_if:1:1:2
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]108
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]109mbedtls_ct_memcpy_if len 4 offset 3
110mbedtls_ct_memcpy_if:1:1:3
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]111
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]112mbedtls_ct_memcpy_if len 15 offset 0
113mbedtls_ct_memcpy_if:1:15:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]114
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]115mbedtls_ct_memcpy_if len 15 offset 1
116mbedtls_ct_memcpy_if:1:15:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]117
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]118mbedtls_ct_memcpy_if len 16 offset 0
119mbedtls_ct_memcpy_if:1:16:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]120
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]121mbedtls_ct_memcpy_if len 16 offset 1
122mbedtls_ct_memcpy_if:1:16:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]123
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]124mbedtls_ct_memcpy_if len 17 offset 0
125mbedtls_ct_memcpy_if:1:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]126
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]127mbedtls_ct_memcpy_if len 17 offset 1
128mbedtls_ct_memcpy_if:1:17:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]129
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]130mbedtls_ct_memcpy_if len 0 not eq
131mbedtls_ct_memcpy_if:0:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]132
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]133mbedtls_ct_memcpy_if len 5 offset 1 not eq
134mbedtls_ct_memcpy_if:0:5:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]135
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]136mbedtls_ct_memcpy_if len 17 offset 3 not eq
137mbedtls_ct_memcpy_if:0:17:3
138
139mbedtls_ct_bool 0
140mbedtls_ct_bool:"0x0"
141
142mbedtls_ct_bool 1
143mbedtls_ct_bool:"0x1"
144
145mbedtls_ct_bool 4
146mbedtls_ct_bool:"0x4"
147
148mbedtls_ct_bool 0xfffffff
149mbedtls_ct_bool:"0xfffffff"
150
151mbedtls_ct_bool 0x7fffffff
152mbedtls_ct_bool:"0x7fffffff"
153
154mbedtls_ct_bool 0xfffffffe
155mbedtls_ct_bool:"0xfffffffe"
156
157mbedtls_ct_bool 0xffffffff
158mbedtls_ct_bool:"0xffffffff"
159
160mbedtls_ct_bool 0x0fffffffffffffff
161mbedtls_ct_bool:"0x0fffffffffffffff"
162
163mbedtls_ct_bool 0x7fffffffffffffff
164mbedtls_ct_bool:"0x7fffffffffffffff"
165
166mbedtls_ct_bool 0xffffffffffffffff
167mbedtls_ct_bool:"0xffffffffffffffff"
168
169mbedtls_ct_bool_xxx 0x0 0x0
170mbedtls_ct_bool_xxx:"0x0":"0x0"
171
172mbedtls_ct_bool_xxx 0x0 0x1
173mbedtls_ct_bool_xxx:"0x0":"0x1"
174
175mbedtls_ct_bool_xxx 0x0 0x7fffffff
176mbedtls_ct_bool_xxx:"0x0":"0x7fffffff"
177
178mbedtls_ct_bool_xxx 0x0 0xffffffff
179mbedtls_ct_bool_xxx:"0x0":"0xffffffff"
180
181mbedtls_ct_bool_xxx 0x0 0x7fffffffffffffff
182mbedtls_ct_bool_xxx:"0x0":"0x7fffffffffffffff"
183
184mbedtls_ct_bool_xxx 0x0 0xffffffffffffffff
185mbedtls_ct_bool_xxx:"0x0":"0xffffffffffffffff"
186
187mbedtls_ct_bool_xxx 0x1 0x0
188mbedtls_ct_bool_xxx:"0x1":"0x0"
189
190mbedtls_ct_bool_xxx 0x1 0x1
191mbedtls_ct_bool_xxx:"0x1":"0x1"
192
193mbedtls_ct_bool_xxx 0x1 0x7fffffff
194mbedtls_ct_bool_xxx:"0x1":"0x7fffffff"
195
196mbedtls_ct_bool_xxx 0x1 0xffffffff
197mbedtls_ct_bool_xxx:"0x1":"0xffffffff"
198
199mbedtls_ct_bool_xxx 0x1 0x7fffffffffffffff
200mbedtls_ct_bool_xxx:"0x1":"0x7fffffffffffffff"
201
202mbedtls_ct_bool_xxx 0x1 0xffffffffffffffff
203mbedtls_ct_bool_xxx:"0x1":"0xffffffffffffffff"
204
205mbedtls_ct_bool_xxx 0x7fffffff 0x0
206mbedtls_ct_bool_xxx:"0x7fffffff":"0x0"
207
208mbedtls_ct_bool_xxx 0x7fffffff 0x1
209mbedtls_ct_bool_xxx:"0x7fffffff":"0x1"
210
211mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffff
212mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffff"
213
214mbedtls_ct_bool_xxx 0x7fffffff 0xffffffff
215mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffff"
216
217mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffffffffffff
218mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffffffffffff"
219
220mbedtls_ct_bool_xxx 0x7fffffff 0xffffffffffffffff
221mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffffffffffff"
222
223mbedtls_ct_bool_xxx 0xffffffff 0x0
224mbedtls_ct_bool_xxx:"0xffffffff":"0x0"
225
226mbedtls_ct_bool_xxx 0xffffffff 0x1
227mbedtls_ct_bool_xxx:"0xffffffff":"0x1"
228
229mbedtls_ct_bool_xxx 0xffffffff 0x7fffffff
230mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffff"
231
232mbedtls_ct_bool_xxx 0xffffffff 0xffffffff
233mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffff"
234
235mbedtls_ct_bool_xxx 0xffffffff 0x7fffffffffffffff
236mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffffffffffff"
237
238mbedtls_ct_bool_xxx 0xffffffff 0xffffffffffffffff
239mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffffffffffff"
240
241mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x0
242mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x0"
243
244mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x1
245mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x1"
246
247mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffff
248mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffff"
249
250mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffff
251mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffff"
252
253mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffffffffffff
254mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffffffffffff"
255
256mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffffffffffff
257mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffffffffffff"
258
259mbedtls_ct_bool_xxx 0xffffffffffffffff 0x0
260mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x0"
261
262mbedtls_ct_bool_xxx 0xffffffffffffffff 0x1
263mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x1"
264
265mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffff
266mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffff"
267
268mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffff
269mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffff"
270
271mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffffffffffff
272mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffffffffffff"
273
274mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffffffffffff
275mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffffffffffff"
276
277mbedtls_ct_bool_xxx 138 256
278mbedtls_ct_bool_xxx:"138":"256"
279
280mbedtls_ct_bool_xxx 256 138
281mbedtls_ct_bool_xxx:"256":"138"
282
283mbedtls_ct_bool_xxx 6 6
284mbedtls_ct_bool_xxx:"0x6":"0x6"
285
286mbedtls_ct_uchar_in_range_if 0 0 0 0
287mbedtls_ct_uchar_in_range_if:0:0:0:0
288
289mbedtls_ct_uchar_in_range_if 0 100 2 2
290mbedtls_ct_uchar_in_range_if:0:100:2:2
291
292mbedtls_ct_uchar_in_range_if 0 100 2 0
293mbedtls_ct_uchar_in_range_if:0:100:2:0
294
295mbedtls_ct_uchar_in_range_if 0 100 200 2
296mbedtls_ct_uchar_in_range_if:0:100:200:2
297
298mbedtls_ct_uchar_in_range_if 0 255 0 2
299mbedtls_ct_uchar_in_range_if:0:255:0:2
300
301mbedtls_ct_uchar_in_range_if 0 255 100 2
302mbedtls_ct_uchar_in_range_if:0:255:100:2
303
304mbedtls_ct_uchar_in_range_if 0 255 255 2
305mbedtls_ct_uchar_in_range_if:0:255:255:2
306
307mbedtls_ct_uchar_in_range_if 255 255 255 255
308mbedtls_ct_uchar_in_range_if:255:255:255:255
309
310mbedtls_ct_if 0x0 0x0 0x0
311mbedtls_ct_if:"0x0":"0x0":"0x0"
312
313mbedtls_ct_if 0x0 0x0 0x1
314mbedtls_ct_if:"0x0":"0x0":"0x1"
315
316mbedtls_ct_if 0x0 0x0 0x7fffffff
317mbedtls_ct_if:"0x0":"0x0":"0x7fffffff"
318
319mbedtls_ct_if 0x0 0x0 0xffffffff
320mbedtls_ct_if:"0x0":"0x0":"0xffffffff"
321
322mbedtls_ct_if 0x0 0x0 0x7fffffffffffffff
323mbedtls_ct_if:"0x0":"0x0":"0x7fffffffffffffff"
324
325mbedtls_ct_if 0x0 0x0 0xffffffffffffffff
326mbedtls_ct_if:"0x0":"0x0":"0xffffffffffffffff"
327
328mbedtls_ct_if 0x0 0x1 0x0
329mbedtls_ct_if:"0x0":"0x1":"0x0"
330
331mbedtls_ct_if 0x0 0x1 0x1
332mbedtls_ct_if:"0x0":"0x1":"0x1"
333
334mbedtls_ct_if 0x0 0x1 0x7fffffff
335mbedtls_ct_if:"0x0":"0x1":"0x7fffffff"
336
337mbedtls_ct_if 0x0 0x1 0xffffffff
338mbedtls_ct_if:"0x0":"0x1":"0xffffffff"
339
340mbedtls_ct_if 0x0 0x1 0x7fffffffffffffff
341mbedtls_ct_if:"0x0":"0x1":"0x7fffffffffffffff"
342
343mbedtls_ct_if 0x0 0x1 0xffffffffffffffff
344mbedtls_ct_if:"0x0":"0x1":"0xffffffffffffffff"
345
346mbedtls_ct_if 0x0 0x7fffffff 0x0
347mbedtls_ct_if:"0x0":"0x7fffffff":"0x0"
348
349mbedtls_ct_if 0x0 0x7fffffff 0x1
350mbedtls_ct_if:"0x0":"0x7fffffff":"0x1"
351
352mbedtls_ct_if 0x0 0x7fffffff 0x7fffffff
353mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffff"
354
355mbedtls_ct_if 0x0 0x7fffffff 0xffffffff
356mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffff"
357
358mbedtls_ct_if 0x0 0x7fffffff 0x7fffffffffffffff
359mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffffffffffff"
360
361mbedtls_ct_if 0x0 0x7fffffff 0xffffffffffffffff
362mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffffffffffff"
363
364mbedtls_ct_if 0x0 0xffffffff 0x0
365mbedtls_ct_if:"0x0":"0xffffffff":"0x0"
366
367mbedtls_ct_if 0x0 0xffffffff 0x1
368mbedtls_ct_if:"0x0":"0xffffffff":"0x1"
369
370mbedtls_ct_if 0x0 0xffffffff 0x7fffffff
371mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffff"
372
373mbedtls_ct_if 0x0 0xffffffff 0xffffffff
374mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffff"
375
376mbedtls_ct_if 0x0 0xffffffff 0x7fffffffffffffff
377mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffffffffffff"
378
379mbedtls_ct_if 0x0 0xffffffff 0xffffffffffffffff
380mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffffffffffff"
381
382mbedtls_ct_if 0x0 0x7fffffffffffffff 0x0
383mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x0"
384
385mbedtls_ct_if 0x0 0x7fffffffffffffff 0x1
386mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x1"
387
388mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffff
389mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffff"
390
391mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffff
392mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffff"
393
394mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffffffffffff
395mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffffffffffff"
396
397mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffffffffffff
398mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffffffffffff"
399
400mbedtls_ct_if 0x0 0xffffffffffffffff 0x0
401mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x0"
402
403mbedtls_ct_if 0x0 0xffffffffffffffff 0x1
404mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x1"
405
406mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffff
407mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffff"
408
409mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffff
410mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffff"
411
412mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffffffffffff
413mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffffffffffff"
414
415mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffffffffffff
416mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffffffffffff"
417
418mbedtls_ct_if 0xffffffffffffffff 0x0 0x0
419mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x0"
420
421mbedtls_ct_if 0xffffffffffffffff 0x0 0x1
422mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x1"
423
424mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffff
425mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffff"
426
427mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffff
428mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffff"
429
430mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffffffffffff
431mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffffffffffff"
432
433mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffffffffffff
434mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffffffffffff"
435
436mbedtls_ct_if 0xffffffffffffffff 0x1 0x0
437mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x0"
438
439mbedtls_ct_if 0xffffffffffffffff 0x1 0x1
440mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x1"
441
442mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffff
443mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffff"
444
445mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffff
446mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffff"
447
448mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffffffffffff
449mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffffffffffff"
450
451mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffffffffffff
452mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffffffffffff"
453
454mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x0
455mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x0"
456
457mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x1
458mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x1"
459
460mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffff
461mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffff"
462
463mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffff
464mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffff"
465
466mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffffffffffff
467mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffffffffffff"
468
469mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffffffffffff
470mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffffffffffff"
471
472mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x0
473mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x0"
474
475mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x1
476mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x1"
477
478mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffff
479mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffff"
480
481mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffff
482mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffff"
483
484mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffffffffffff
485mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffffffffffff"
486
487mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffffffffffff
488mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffffffffffff"
489
490mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x0
491mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x0"
492
493mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x1
494mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x1"
495
496mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffff
497mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffff"
498
499mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffff
500mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffff"
501
502mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffffffffffff
503mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffffffffffff"
504
505mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffffffffffff
506mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffffffffffff"
507
508mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x0
509mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x0"
510
511mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x1
512mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x1"
513
514mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffff
515mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffff"
516
517mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffff
518mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffff"
519
520mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffffffffffff
521mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffffffffffff"
522
523mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffffffffffff
524mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffffffffffff"
525
526mbedtls_ct_zeroize_if 0x0 0
527mbedtls_ct_zeroize_if:"0x0":0
528
529mbedtls_ct_zeroize_if 0x0 1
530mbedtls_ct_zeroize_if:"0x0":1
531
532mbedtls_ct_zeroize_if 0x0 1024
533mbedtls_ct_zeroize_if:"0x0":1024
534
535mbedtls_ct_zeroize_if 0xffffffffffffffff 0
536mbedtls_ct_zeroize_if:"0xffffffffffffffff":0
537
538mbedtls_ct_zeroize_if 0xffffffffffffffff 1
539mbedtls_ct_zeroize_if:"0xffffffffffffffff":1
540
541mbedtls_ct_zeroize_if 0xffffffffffffffff 4
542mbedtls_ct_zeroize_if:"0xffffffffffffffff":4
543
544mbedtls_ct_zeroize_if 0xffffffffffffffff 5
545mbedtls_ct_zeroize_if:"0xffffffffffffffff":5
546
547mbedtls_ct_zeroize_if 0xffffffffffffffff 7
548mbedtls_ct_zeroize_if:"0xffffffffffffffff":7
549
550mbedtls_ct_zeroize_if 0xffffffffffffffff 8
551mbedtls_ct_zeroize_if:"0xffffffffffffffff":8
552
553mbedtls_ct_zeroize_if 0xffffffffffffffff 9
554mbedtls_ct_zeroize_if:"0xffffffffffffffff":9
555
556mbedtls_ct_zeroize_if 0xffffffffffffffff 1024
557mbedtls_ct_zeroize_if:"0xffffffffffffffff":1024
558
559mbedtls_ct_memmove_left 0 0
560mbedtls_ct_memmove_left:0:0
561
562mbedtls_ct_memmove_left 1 0
563mbedtls_ct_memmove_left:1:0
564
565mbedtls_ct_memmove_left 1 1
566mbedtls_ct_memmove_left:1:1
567
568mbedtls_ct_memmove_left 16 0
569mbedtls_ct_memmove_left:16:0
570
571mbedtls_ct_memmove_left 16 1
572mbedtls_ct_memmove_left:16:1
573
574mbedtls_ct_memmove_left 16 4
575mbedtls_ct_memmove_left:16:4
576
577mbedtls_ct_memmove_left 16 15
578mbedtls_ct_memmove_left:16:15
579
580mbedtls_ct_memmove_left 16 16
581mbedtls_ct_memmove_left:16:16
582