1# these are the numbers we'd get with an empty plaintext and truncated HMAC 2Constant-flow memcpy from offset: small 3mbedtls_ct_memcpy_offset:0:5:10 4 5# we could get this with 255-bytes plaintext and untruncated SHA-256 6Constant-flow memcpy from offset: medium 7mbedtls_ct_memcpy_offset:0:255:32 8 9# we could get this with 255-bytes plaintext and untruncated SHA-384 10Constant-flow memcpy from offset: large 11mbedtls_ct_memcpy_offset:100:339:48 12 13mbedtls_ct_memcmp NULL 14mbedtls_ct_memcmp_null 15 16mbedtls_ct_memcmp len 1 17mbedtls_ct_memcmp:-1:1:0 18 19mbedtls_ct_memcmp len 3 20mbedtls_ct_memcmp:-1:3:0 21 22mbedtls_ct_memcmp len 4 23mbedtls_ct_memcmp:-1:4:0 24 25mbedtls_ct_memcmp len 5 26mbedtls_ct_memcmp:-1:5:0 27 28mbedtls_ct_memcmp len 15 29mbedtls_ct_memcmp:-1:15:0 30 31mbedtls_ct_memcmp len 16 32mbedtls_ct_memcmp:-1:16:0 33 34mbedtls_ct_memcmp len 17 35mbedtls_ct_memcmp:-1:17:0 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 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 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 61mbedtls_ct_memcmp len 17 offset 1 different 1 62mbedtls_ct_memcmp:1:17:1 63 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 88mbedtls_ct_memcmp len 17 offset 2 89mbedtls_ct_memcmp:-1:17:2 90 91mbedtls_ct_memcmp len 17 offset 3 92mbedtls_ct_memcmp:-1:17:3 93 94mbedtls_ct_memcmp_single_bit_diff 95mbedtls_ct_memcmp_single_bit_diff: 96 97mbedtls_ct_memcpy_if len 1 offset 0 98mbedtls_ct_memcpy_if:1:1:0 99 100mbedtls_ct_memcpy_if len 1 offset 1 101mbedtls_ct_memcpy_if:1:1:1 102 103mbedtls_ct_memcpy_if len 4 offset 0 104mbedtls_ct_memcpy_if:1:1:0 105 106mbedtls_ct_memcpy_if len 4 offset 1 107mbedtls_ct_memcpy_if:1:1:1 108 109mbedtls_ct_memcpy_if len 4 offset 2 110mbedtls_ct_memcpy_if:1:1:2 111 112mbedtls_ct_memcpy_if len 4 offset 3 113mbedtls_ct_memcpy_if:1:1:3 114 115mbedtls_ct_memcpy_if len 15 offset 0 116mbedtls_ct_memcpy_if:1:15:0 117 118mbedtls_ct_memcpy_if len 15 offset 1 119mbedtls_ct_memcpy_if:1:15:1 120 121mbedtls_ct_memcpy_if len 16 offset 0 122mbedtls_ct_memcpy_if:1:16:0 123 124mbedtls_ct_memcpy_if len 16 offset 1 125mbedtls_ct_memcpy_if:1:16:1 126 127mbedtls_ct_memcpy_if len 17 offset 0 128mbedtls_ct_memcpy_if:1:17:0 129 130mbedtls_ct_memcpy_if len 17 offset 1 131mbedtls_ct_memcpy_if:1:17:1 132 133mbedtls_ct_memcpy_if len 0 not eq 134mbedtls_ct_memcpy_if:0:17:0 135 136mbedtls_ct_memcpy_if len 5 offset 1 not eq 137mbedtls_ct_memcpy_if:0:5:1 138 139mbedtls_ct_memcpy_if len 17 offset 3 not eq 140mbedtls_ct_memcpy_if:0:17:3 141 142mbedtls_ct_bool 0 143mbedtls_ct_bool:"0x0" 144 145mbedtls_ct_bool 1 146mbedtls_ct_bool:"0x1" 147 148mbedtls_ct_bool 4 149mbedtls_ct_bool:"0x4" 150 151mbedtls_ct_bool 0xfffffff 152mbedtls_ct_bool:"0xfffffff" 153 154mbedtls_ct_bool 0x7fffffff 155mbedtls_ct_bool:"0x7fffffff" 156 157mbedtls_ct_bool 0xfffffffe 158mbedtls_ct_bool:"0xfffffffe" 159 160mbedtls_ct_bool 0xffffffff 161mbedtls_ct_bool:"0xffffffff" 162 163mbedtls_ct_bool 0x0fffffffffffffff 164mbedtls_ct_bool:"0x0fffffffffffffff" 165 166mbedtls_ct_bool 0x7fffffffffffffff 167mbedtls_ct_bool:"0x7fffffffffffffff" 168 169mbedtls_ct_bool 0xffffffffffffffff 170mbedtls_ct_bool:"0xffffffffffffffff" 171 172mbedtls_ct_bool_xxx 0x0 0x0 173mbedtls_ct_bool_xxx:"0x0":"0x0" 174 175mbedtls_ct_bool_xxx 0x0 0x1 176mbedtls_ct_bool_xxx:"0x0":"0x1" 177 178mbedtls_ct_bool_xxx 0x0 0x7fffffff 179mbedtls_ct_bool_xxx:"0x0":"0x7fffffff" 180 181mbedtls_ct_bool_xxx 0x0 0xffffffff 182mbedtls_ct_bool_xxx:"0x0":"0xffffffff" 183 184mbedtls_ct_bool_xxx 0x0 0x7fffffffffffffff 185mbedtls_ct_bool_xxx:"0x0":"0x7fffffffffffffff" 186 187mbedtls_ct_bool_xxx 0x0 0xffffffffffffffff 188mbedtls_ct_bool_xxx:"0x0":"0xffffffffffffffff" 189 190mbedtls_ct_bool_xxx 0x1 0x0 191mbedtls_ct_bool_xxx:"0x1":"0x0" 192 193mbedtls_ct_bool_xxx 0x1 0x1 194mbedtls_ct_bool_xxx:"0x1":"0x1" 195 196mbedtls_ct_bool_xxx 0x1 0x7fffffff 197mbedtls_ct_bool_xxx:"0x1":"0x7fffffff" 198 199mbedtls_ct_bool_xxx 0x1 0xffffffff 200mbedtls_ct_bool_xxx:"0x1":"0xffffffff" 201 202mbedtls_ct_bool_xxx 0x1 0x7fffffffffffffff 203mbedtls_ct_bool_xxx:"0x1":"0x7fffffffffffffff" 204 205mbedtls_ct_bool_xxx 0x1 0xffffffffffffffff 206mbedtls_ct_bool_xxx:"0x1":"0xffffffffffffffff" 207 208mbedtls_ct_bool_xxx 0x7fffffff 0x0 209mbedtls_ct_bool_xxx:"0x7fffffff":"0x0" 210 211mbedtls_ct_bool_xxx 0x7fffffff 0x1 212mbedtls_ct_bool_xxx:"0x7fffffff":"0x1" 213 214mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffff 215mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffff" 216 217mbedtls_ct_bool_xxx 0x7fffffff 0xffffffff 218mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffff" 219 220mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffffffffffff 221mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffffffffffff" 222 223mbedtls_ct_bool_xxx 0x7fffffff 0xffffffffffffffff 224mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffffffffffff" 225 226mbedtls_ct_bool_xxx 0xffffffff 0x0 227mbedtls_ct_bool_xxx:"0xffffffff":"0x0" 228 229mbedtls_ct_bool_xxx 0xffffffff 0x1 230mbedtls_ct_bool_xxx:"0xffffffff":"0x1" 231 232mbedtls_ct_bool_xxx 0xffffffff 0x7fffffff 233mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffff" 234 235mbedtls_ct_bool_xxx 0xffffffff 0xffffffff 236mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffff" 237 238mbedtls_ct_bool_xxx 0xffffffff 0x7fffffffffffffff 239mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffffffffffff" 240 241mbedtls_ct_bool_xxx 0xffffffff 0xffffffffffffffff 242mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffffffffffff" 243 244mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x0 245mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x0" 246 247mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x1 248mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x1" 249 250mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffff 251mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffff" 252 253mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffff 254mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffff" 255 256mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffffffffffff 257mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffffffffffff" 258 259mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffffffffffff 260mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffffffffffff" 261 262mbedtls_ct_bool_xxx 0xffffffffffffffff 0x0 263mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x0" 264 265mbedtls_ct_bool_xxx 0xffffffffffffffff 0x1 266mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x1" 267 268mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffff 269mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffff" 270 271mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffff 272mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffff" 273 274mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffffffffffff 275mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffffffffffff" 276 277mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffffffffffff 278mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffffffffffff" 279 280mbedtls_ct_bool_xxx 138 256 281mbedtls_ct_bool_xxx:"138":"256" 282 283mbedtls_ct_bool_xxx 256 138 284mbedtls_ct_bool_xxx:"256":"138" 285 286mbedtls_ct_bool_xxx 6 6 287mbedtls_ct_bool_xxx:"0x6":"0x6" 288 289mbedtls_ct_uchar_in_range_if 0 0 0 290mbedtls_ct_uchar_in_range_if:0:0:0 291 292mbedtls_ct_uchar_in_range_if 0 0 100 293mbedtls_ct_uchar_in_range_if:0:0:100 294 295mbedtls_ct_uchar_in_range_if 0 0 255 296mbedtls_ct_uchar_in_range_if:0:0:255 297 298mbedtls_ct_uchar_in_range_if 0 65 0 299mbedtls_ct_uchar_in_range_if:0:65:0 300 301mbedtls_ct_uchar_in_range_if 0 65 100 302mbedtls_ct_uchar_in_range_if:0:65:100 303 304mbedtls_ct_uchar_in_range_if 0 65 255 305mbedtls_ct_uchar_in_range_if:0:65:255 306 307mbedtls_ct_uchar_in_range_if 0 90 0 308mbedtls_ct_uchar_in_range_if:0:90:0 309 310mbedtls_ct_uchar_in_range_if 0 90 100 311mbedtls_ct_uchar_in_range_if:0:90:100 312 313mbedtls_ct_uchar_in_range_if 0 90 255 314mbedtls_ct_uchar_in_range_if:0:90:255 315 316mbedtls_ct_uchar_in_range_if 0 255 0 317mbedtls_ct_uchar_in_range_if:0:255:0 318 319mbedtls_ct_uchar_in_range_if 0 255 100 320mbedtls_ct_uchar_in_range_if:0:255:100 321 322mbedtls_ct_uchar_in_range_if 0 255 255 323mbedtls_ct_uchar_in_range_if:0:255:255 324 325mbedtls_ct_uchar_in_range_if 65 0 0 326mbedtls_ct_uchar_in_range_if:65:0:0 327 328mbedtls_ct_uchar_in_range_if 65 0 100 329mbedtls_ct_uchar_in_range_if:65:0:100 330 331mbedtls_ct_uchar_in_range_if 65 0 255 332mbedtls_ct_uchar_in_range_if:65:0:255 333 334mbedtls_ct_uchar_in_range_if 65 65 0 335mbedtls_ct_uchar_in_range_if:65:65:0 336 337mbedtls_ct_uchar_in_range_if 65 65 100 338mbedtls_ct_uchar_in_range_if:65:65:100 339 340mbedtls_ct_uchar_in_range_if 65 65 255 341mbedtls_ct_uchar_in_range_if:65:65:255 342 343mbedtls_ct_uchar_in_range_if 65 90 0 344mbedtls_ct_uchar_in_range_if:65:90:0 345 346mbedtls_ct_uchar_in_range_if 65 90 100 347mbedtls_ct_uchar_in_range_if:65:90:100 348 349mbedtls_ct_uchar_in_range_if 65 90 255 350mbedtls_ct_uchar_in_range_if:65:90:255 351 352mbedtls_ct_uchar_in_range_if 65 255 0 353mbedtls_ct_uchar_in_range_if:65:255:0 354 355mbedtls_ct_uchar_in_range_if 65 255 100 356mbedtls_ct_uchar_in_range_if:65:255:100 357 358mbedtls_ct_uchar_in_range_if 65 255 255 359mbedtls_ct_uchar_in_range_if:65:255:255 360 361mbedtls_ct_uchar_in_range_if 90 0 0 362mbedtls_ct_uchar_in_range_if:90:0:0 363 364mbedtls_ct_uchar_in_range_if 90 0 100 365mbedtls_ct_uchar_in_range_if:90:0:100 366 367mbedtls_ct_uchar_in_range_if 90 0 255 368mbedtls_ct_uchar_in_range_if:90:0:255 369 370mbedtls_ct_uchar_in_range_if 90 65 0 371mbedtls_ct_uchar_in_range_if:90:65:0 372 373mbedtls_ct_uchar_in_range_if 90 65 100 374mbedtls_ct_uchar_in_range_if:90:65:100 375 376mbedtls_ct_uchar_in_range_if 90 65 255 377mbedtls_ct_uchar_in_range_if:90:65:255 378 379mbedtls_ct_uchar_in_range_if 90 90 0 380mbedtls_ct_uchar_in_range_if:90:90:0 381 382mbedtls_ct_uchar_in_range_if 90 90 100 383mbedtls_ct_uchar_in_range_if:90:90:100 384 385mbedtls_ct_uchar_in_range_if 90 90 255 386mbedtls_ct_uchar_in_range_if:90:90:255 387 388mbedtls_ct_uchar_in_range_if 90 255 0 389mbedtls_ct_uchar_in_range_if:90:255:0 390 391mbedtls_ct_uchar_in_range_if 90 255 100 392mbedtls_ct_uchar_in_range_if:90:255:100 393 394mbedtls_ct_uchar_in_range_if 90 255 255 395mbedtls_ct_uchar_in_range_if:90:255:255 396 397mbedtls_ct_uchar_in_range_if 255 0 0 398mbedtls_ct_uchar_in_range_if:255:0:0 399 400mbedtls_ct_uchar_in_range_if 255 0 100 401mbedtls_ct_uchar_in_range_if:255:0:100 402 403mbedtls_ct_uchar_in_range_if 255 0 255 404mbedtls_ct_uchar_in_range_if:255:0:255 405 406mbedtls_ct_uchar_in_range_if 255 65 0 407mbedtls_ct_uchar_in_range_if:255:65:0 408 409mbedtls_ct_uchar_in_range_if 255 65 100 410mbedtls_ct_uchar_in_range_if:255:65:100 411 412mbedtls_ct_uchar_in_range_if 255 65 255 413mbedtls_ct_uchar_in_range_if:255:65:255 414 415mbedtls_ct_uchar_in_range_if 255 90 0 416mbedtls_ct_uchar_in_range_if:255:90:0 417 418mbedtls_ct_uchar_in_range_if 255 90 100 419mbedtls_ct_uchar_in_range_if:255:90:100 420 421mbedtls_ct_uchar_in_range_if 255 90 255 422mbedtls_ct_uchar_in_range_if:255:90:255 423 424mbedtls_ct_uchar_in_range_if 255 255 0 425mbedtls_ct_uchar_in_range_if:255:255:0 426 427mbedtls_ct_uchar_in_range_if 255 255 100 428mbedtls_ct_uchar_in_range_if:255:255:100 429 430mbedtls_ct_uchar_in_range_if 255 255 255 431mbedtls_ct_uchar_in_range_if:255:255:255 432 433mbedtls_ct_if 0x0 0x0 0x0 434mbedtls_ct_if:"0x0":"0x0":"0x0" 435 436mbedtls_ct_if 0x0 0x0 0x1 437mbedtls_ct_if:"0x0":"0x0":"0x1" 438 439mbedtls_ct_if 0x0 0x0 0x7fffffff 440mbedtls_ct_if:"0x0":"0x0":"0x7fffffff" 441 442mbedtls_ct_if 0x0 0x0 0xffffffff 443mbedtls_ct_if:"0x0":"0x0":"0xffffffff" 444 445mbedtls_ct_if 0x0 0x0 0x7fffffffffffffff 446mbedtls_ct_if:"0x0":"0x0":"0x7fffffffffffffff" 447 448mbedtls_ct_if 0x0 0x0 0xffffffffffffffff 449mbedtls_ct_if:"0x0":"0x0":"0xffffffffffffffff" 450 451mbedtls_ct_if 0x0 0x1 0x0 452mbedtls_ct_if:"0x0":"0x1":"0x0" 453 454mbedtls_ct_if 0x0 0x1 0x1 455mbedtls_ct_if:"0x0":"0x1":"0x1" 456 457mbedtls_ct_if 0x0 0x1 0x7fffffff 458mbedtls_ct_if:"0x0":"0x1":"0x7fffffff" 459 460mbedtls_ct_if 0x0 0x1 0xffffffff 461mbedtls_ct_if:"0x0":"0x1":"0xffffffff" 462 463mbedtls_ct_if 0x0 0x1 0x7fffffffffffffff 464mbedtls_ct_if:"0x0":"0x1":"0x7fffffffffffffff" 465 466mbedtls_ct_if 0x0 0x1 0xffffffffffffffff 467mbedtls_ct_if:"0x0":"0x1":"0xffffffffffffffff" 468 469mbedtls_ct_if 0x0 0x7fffffff 0x0 470mbedtls_ct_if:"0x0":"0x7fffffff":"0x0" 471 472mbedtls_ct_if 0x0 0x7fffffff 0x1 473mbedtls_ct_if:"0x0":"0x7fffffff":"0x1" 474 475mbedtls_ct_if 0x0 0x7fffffff 0x7fffffff 476mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffff" 477 478mbedtls_ct_if 0x0 0x7fffffff 0xffffffff 479mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffff" 480 481mbedtls_ct_if 0x0 0x7fffffff 0x7fffffffffffffff 482mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffffffffffff" 483 484mbedtls_ct_if 0x0 0x7fffffff 0xffffffffffffffff 485mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffffffffffff" 486 487mbedtls_ct_if 0x0 0xffffffff 0x0 488mbedtls_ct_if:"0x0":"0xffffffff":"0x0" 489 490mbedtls_ct_if 0x0 0xffffffff 0x1 491mbedtls_ct_if:"0x0":"0xffffffff":"0x1" 492 493mbedtls_ct_if 0x0 0xffffffff 0x7fffffff 494mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffff" 495 496mbedtls_ct_if 0x0 0xffffffff 0xffffffff 497mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffff" 498 499mbedtls_ct_if 0x0 0xffffffff 0x7fffffffffffffff 500mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffffffffffff" 501 502mbedtls_ct_if 0x0 0xffffffff 0xffffffffffffffff 503mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffffffffffff" 504 505mbedtls_ct_if 0x0 0x7fffffffffffffff 0x0 506mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x0" 507 508mbedtls_ct_if 0x0 0x7fffffffffffffff 0x1 509mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x1" 510 511mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffff 512mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffff" 513 514mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffff 515mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffff" 516 517mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffffffffffff 518mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffffffffffff" 519 520mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffffffffffff 521mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffffffffffff" 522 523mbedtls_ct_if 0x0 0xffffffffffffffff 0x0 524mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x0" 525 526mbedtls_ct_if 0x0 0xffffffffffffffff 0x1 527mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x1" 528 529mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffff 530mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffff" 531 532mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffff 533mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffff" 534 535mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffffffffffff 536mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffffffffffff" 537 538mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffffffffffff 539mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffffffffffff" 540 541mbedtls_ct_if 0xffffffffffffffff 0x0 0x0 542mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x0" 543 544mbedtls_ct_if 0xffffffffffffffff 0x0 0x1 545mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x1" 546 547mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffff 548mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffff" 549 550mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffff 551mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffff" 552 553mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffffffffffff 554mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffffffffffff" 555 556mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffffffffffff 557mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffffffffffff" 558 559mbedtls_ct_if 0xffffffffffffffff 0x1 0x0 560mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x0" 561 562mbedtls_ct_if 0xffffffffffffffff 0x1 0x1 563mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x1" 564 565mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffff 566mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffff" 567 568mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffff 569mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffff" 570 571mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffffffffffff 572mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffffffffffff" 573 574mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffffffffffff 575mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffffffffffff" 576 577mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x0 578mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x0" 579 580mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x1 581mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x1" 582 583mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffff 584mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffff" 585 586mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffff 587mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffff" 588 589mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffffffffffff 590mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffffffffffff" 591 592mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffffffffffff 593mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffffffffffff" 594 595mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x0 596mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x0" 597 598mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x1 599mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x1" 600 601mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffff 602mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffff" 603 604mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffff 605mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffff" 606 607mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffffffffffff 608mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffffffffffff" 609 610mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffffffffffff 611mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffffffffffff" 612 613mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x0 614mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x0" 615 616mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x1 617mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x1" 618 619mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffff 620mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffff" 621 622mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffff 623mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffff" 624 625mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffffffffffff 626mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffffffffffff" 627 628mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffffffffffff 629mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffffffffffff" 630 631mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x0 632mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x0" 633 634mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x1 635mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x1" 636 637mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffff 638mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffff" 639 640mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffff 641mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffff" 642 643mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffffffffffff 644mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffffffffffff" 645 646mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffffffffffff 647mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffffffffffff" 648 649mbedtls_ct_error_if 0 0 0 650mbedtls_ct_error_if:0:0:0 651 652mbedtls_ct_error_if 0 0 -1 653mbedtls_ct_error_if:0:0:-1 654 655mbedtls_ct_error_if 0 0 -32766 656mbedtls_ct_error_if:0:0:-32766 657 658mbedtls_ct_error_if 0 0 -32767 659mbedtls_ct_error_if:0:0:-32767 660 661mbedtls_ct_error_if 0 -1 0 662mbedtls_ct_error_if:0:-1:0 663 664mbedtls_ct_error_if 0 -1 -1 665mbedtls_ct_error_if:0:-1:-1 666 667mbedtls_ct_error_if 0 -1 -32766 668mbedtls_ct_error_if:0:-1:-32766 669 670mbedtls_ct_error_if 0 -1 -32767 671mbedtls_ct_error_if:0:-1:-32767 672 673mbedtls_ct_error_if 0 -32766 0 674mbedtls_ct_error_if:0:-32766:0 675 676mbedtls_ct_error_if 0 -32766 -1 677mbedtls_ct_error_if:0:-32766:-1 678 679mbedtls_ct_error_if 0 -32766 -32766 680mbedtls_ct_error_if:0:-32766:-32766 681 682mbedtls_ct_error_if 0 -32766 -32767 683mbedtls_ct_error_if:0:-32766:-32767 684 685mbedtls_ct_error_if 0 -32767 0 686mbedtls_ct_error_if:0:-32767:0 687 688mbedtls_ct_error_if 0 -32767 -1 689mbedtls_ct_error_if:0:-32767:-1 690 691mbedtls_ct_error_if 0 -32767 -32766 692mbedtls_ct_error_if:0:-32767:-32766 693 694mbedtls_ct_error_if 0 -32767 -32767 695mbedtls_ct_error_if:0:-32767:-32767 696 697mbedtls_ct_error_if 1 0 0 698mbedtls_ct_error_if:1:0:0 699 700mbedtls_ct_error_if 1 0 -1 701mbedtls_ct_error_if:1:0:-1 702 703mbedtls_ct_error_if 1 0 -32766 704mbedtls_ct_error_if:1:0:-32766 705 706mbedtls_ct_error_if 1 0 -32767 707mbedtls_ct_error_if:1:0:-32767 708 709mbedtls_ct_error_if 1 -1 0 710mbedtls_ct_error_if:1:-1:0 711 712mbedtls_ct_error_if 1 -1 -1 713mbedtls_ct_error_if:1:-1:-1 714 715mbedtls_ct_error_if 1 -1 -32766 716mbedtls_ct_error_if:1:-1:-32766 717 718mbedtls_ct_error_if 1 -1 -32767 719mbedtls_ct_error_if:1:-1:-32767 720 721mbedtls_ct_error_if 1 -32766 0 722mbedtls_ct_error_if:1:-32766:0 723 724mbedtls_ct_error_if 1 -32766 -1 725mbedtls_ct_error_if:1:-32766:-1 726 727mbedtls_ct_error_if 1 -32766 -32766 728mbedtls_ct_error_if:1:-32766:-32766 729 730mbedtls_ct_error_if 1 -32766 -32767 731mbedtls_ct_error_if:1:-32766:-32767 732 733mbedtls_ct_error_if 1 -32767 0 734mbedtls_ct_error_if:1:-32767:0 735 736mbedtls_ct_error_if 1 -32767 -1 737mbedtls_ct_error_if:1:-32767:-1 738 739mbedtls_ct_error_if 1 -32767 -32766 740mbedtls_ct_error_if:1:-32767:-32766 741 742mbedtls_ct_error_if 1 -32767 -32767 743mbedtls_ct_error_if:1:-32767:-32767 744 745mbedtls_ct_zeroize_if 0x0 0 746mbedtls_ct_zeroize_if:"0x0":0 747 748mbedtls_ct_zeroize_if 0x0 1 749mbedtls_ct_zeroize_if:"0x0":1 750 751mbedtls_ct_zeroize_if 0x0 1024 752mbedtls_ct_zeroize_if:"0x0":1024 753 754mbedtls_ct_zeroize_if 0xffffffffffffffff 0 755mbedtls_ct_zeroize_if:"0xffffffffffffffff":0 756 757mbedtls_ct_zeroize_if 0xffffffffffffffff 1 758mbedtls_ct_zeroize_if:"0xffffffffffffffff":1 759 760mbedtls_ct_zeroize_if 0xffffffffffffffff 4 761mbedtls_ct_zeroize_if:"0xffffffffffffffff":4 762 763mbedtls_ct_zeroize_if 0xffffffffffffffff 5 764mbedtls_ct_zeroize_if:"0xffffffffffffffff":5 765 766mbedtls_ct_zeroize_if 0xffffffffffffffff 7 767mbedtls_ct_zeroize_if:"0xffffffffffffffff":7 768 769mbedtls_ct_zeroize_if 0xffffffffffffffff 8 770mbedtls_ct_zeroize_if:"0xffffffffffffffff":8 771 772mbedtls_ct_zeroize_if 0xffffffffffffffff 9 773mbedtls_ct_zeroize_if:"0xffffffffffffffff":9 774 775mbedtls_ct_zeroize_if 0xffffffffffffffff 1024 776mbedtls_ct_zeroize_if:"0xffffffffffffffff":1024 777 778mbedtls_ct_memmove_left 0 0 779mbedtls_ct_memmove_left:0:0 780 781mbedtls_ct_memmove_left 1 0 782mbedtls_ct_memmove_left:1:0 783 784mbedtls_ct_memmove_left 1 1 785mbedtls_ct_memmove_left:1:1 786 787mbedtls_ct_memmove_left 16 0 788mbedtls_ct_memmove_left:16:0 789 790mbedtls_ct_memmove_left 16 1 791mbedtls_ct_memmove_left:16:1 792 793mbedtls_ct_memmove_left 16 4 794mbedtls_ct_memmove_left:16:4 795 796mbedtls_ct_memmove_left 16 15 797mbedtls_ct_memmove_left:16:15 798 799mbedtls_ct_memmove_left 16 16 800mbedtls_ct_memmove_left:16:16 801 802mbedtls_ct_memcmp_partial -1 0 0 0 803mbedtls_ct_memcmp_partial:-1:0:0:0 804 805mbedtls_ct_memcmp_partial 0 1 0 0 806mbedtls_ct_memcmp_partial:0:1:0:0 807 808mbedtls_ct_memcmp_partial 0 1 1 0 809mbedtls_ct_memcmp_partial:0:1:1:0 810 811mbedtls_ct_memcmp_partial 0 1 0 1 812mbedtls_ct_memcmp_partial:0:1:0:1 813 814mbedtls_ct_memcmp_partial -1 1 0 0 815mbedtls_ct_memcmp_partial:-1:1:0:0 816 817mbedtls_ct_memcmp_partial 0 2 0 1 818mbedtls_ct_memcmp_partial:0:2:0:1 819 820mbedtls_ct_memcmp_partial 0 2 1 0 821mbedtls_ct_memcmp_partial:0:2:1:0 822 823mbedtls_ct_memcmp_partial 0 16 4 4 824mbedtls_ct_memcmp_partial:0:16:4:4 825 826mbedtls_ct_memcmp_partial 2 16 4 4 827mbedtls_ct_memcmp_partial:2:16:4:4 828 829mbedtls_ct_memcmp_partial 3 16 4 4 830mbedtls_ct_memcmp_partial:3:16:4:4 831 832mbedtls_ct_memcmp_partial 4 16 4 4 833mbedtls_ct_memcmp_partial:4:16:4:4 834 835mbedtls_ct_memcmp_partial 7 16 4 4 836mbedtls_ct_memcmp_partial:7:16:4:4 837 838mbedtls_ct_memcmp_partial 11 16 4 4 839mbedtls_ct_memcmp_partial:11:16:4:4 840 841mbedtls_ct_memcmp_partial 12 16 4 4 842mbedtls_ct_memcmp_partial:12:16:4:4 843 844mbedtls_ct_memcmp_partial 15 16 4 4 845mbedtls_ct_memcmp_partial:15:16:4:4 846 847mbedtls_ct_memcmp_partial 15 16 4 0 848mbedtls_ct_memcmp_partial:15:16:4:0 849 850mbedtls_ct_memcmp_partial 15 16 0 4 851mbedtls_ct_memcmp_partial:15:16:0:4 852 853mbedtls_ct_memcmp_partial 0 16 0 0 854mbedtls_ct_memcmp_partial:0:16:0:0 855 856mbedtls_ct_memcmp_partial 15 16 0 0 857mbedtls_ct_memcmp_partial:15:16:0:0 858 859mbedtls_ct_memcmp_partial -1 16 0 0 860mbedtls_ct_memcmp_partial:-1:16:0:0 861 862mbedtls_ct_memcmp_partial -1 16 12 4 863mbedtls_ct_memcmp_partial:-1:16:12:4 864 865mbedtls_ct_memcmp_partial -1 16 8 8 866mbedtls_ct_memcmp_partial:-1:16:8:8 867