assert.c revision 1.1.1.4.2.1
1 /* 2 * Copyright (c) 2018-2023 Yubico AB. All rights reserved. 3 * Use of this source code is governed by a BSD-style 4 * license that can be found in the LICENSE file. 5 * SPDX-License-Identifier: BSD-2-Clause 6 */ 7 8 #undef NDEBUG 9 10 #include <assert.h> 11 #include <string.h> 12 13 #define _FIDO_INTERNAL 14 15 #include <fido.h> 16 #include <fido/es256.h> 17 #include <fido/rs256.h> 18 #include <fido/eddsa.h> 19 20 static int fake_dev_handle; 21 22 static const unsigned char es256_pk[64] = { 23 0x34, 0xeb, 0x99, 0x77, 0x02, 0x9c, 0x36, 0x38, 24 0xbb, 0xc2, 0xae, 0xa0, 0xa0, 0x18, 0xc6, 0x64, 25 0xfc, 0xe8, 0x49, 0x92, 0xd7, 0x74, 0x9e, 0x0c, 26 0x46, 0x8c, 0x9d, 0xa6, 0xdf, 0x46, 0xf7, 0x84, 27 0x60, 0x1e, 0x0f, 0x8b, 0x23, 0x85, 0x4a, 0x9a, 28 0xec, 0xc1, 0x08, 0x9f, 0x30, 0xd0, 0x0d, 0xd7, 29 0x76, 0x7b, 0x55, 0x48, 0x91, 0x7c, 0x4f, 0x0f, 30 0x64, 0x1a, 0x1d, 0xf8, 0xbe, 0x14, 0x90, 0x8a, 31 }; 32 33 static const unsigned char rs256_pk[259] = { 34 0x9e, 0x54, 0x78, 0xb2, 0x51, 0xbe, 0x19, 0x7c, 35 0xcb, 0x1a, 0x9a, 0xc3, 0x49, 0x2a, 0x2f, 0xfd, 36 0x99, 0x64, 0x76, 0xc6, 0xdb, 0xca, 0x38, 0x3f, 37 0xb0, 0x6a, 0xc9, 0xc0, 0x07, 0x9f, 0x5c, 0x4d, 38 0xfc, 0xd1, 0x01, 0x7f, 0x69, 0x65, 0xab, 0x9c, 39 0x2a, 0xc2, 0x95, 0xd9, 0x44, 0xf3, 0xea, 0x94, 40 0x6b, 0x25, 0x66, 0x54, 0x81, 0xee, 0x24, 0x1d, 41 0xe1, 0x7d, 0x7f, 0xbe, 0xea, 0x76, 0x90, 0x5c, 42 0xbf, 0x59, 0x22, 0xd3, 0xa0, 0x68, 0x1a, 0x65, 43 0x8b, 0x2f, 0xb6, 0xa8, 0x30, 0x2d, 0x26, 0x81, 44 0xfa, 0x9e, 0x59, 0xec, 0x2f, 0xee, 0x59, 0x39, 45 0xe2, 0x79, 0x19, 0x54, 0x54, 0xdf, 0x24, 0x83, 46 0xee, 0x61, 0x5a, 0x66, 0x24, 0x2b, 0x7b, 0xfb, 47 0x82, 0x66, 0xe4, 0x85, 0x18, 0x20, 0x76, 0xe5, 48 0x4a, 0xb6, 0xcb, 0xec, 0x43, 0xbe, 0xfd, 0xb0, 49 0x8f, 0xfd, 0x2f, 0x69, 0xda, 0x06, 0x9c, 0x09, 50 0x68, 0x7a, 0x94, 0x6c, 0xb7, 0x51, 0x6d, 0x4c, 51 0xf7, 0x13, 0xe8, 0xd5, 0x22, 0x6b, 0x1e, 0xba, 52 0xb9, 0x85, 0xe8, 0x5f, 0xa1, 0x66, 0xe3, 0x20, 53 0x75, 0x30, 0x11, 0xb5, 0xa3, 0xc3, 0xb0, 0x72, 54 0x08, 0xff, 0xa3, 0xbb, 0xf1, 0x32, 0x0b, 0x06, 55 0xc4, 0x12, 0xa3, 0x49, 0x30, 0x19, 0xb9, 0xfe, 56 0x69, 0x0c, 0xd6, 0xe1, 0x58, 0x36, 0xe6, 0x41, 57 0x22, 0x41, 0xbf, 0x96, 0x50, 0x35, 0x56, 0x0d, 58 0x92, 0x8c, 0x34, 0xea, 0x28, 0x91, 0x88, 0x9e, 59 0x8a, 0xaa, 0x36, 0xd0, 0x0f, 0xbe, 0x16, 0xde, 60 0x9d, 0x5f, 0x7b, 0xda, 0x52, 0xf7, 0xf1, 0xb6, 61 0x28, 0x10, 0x05, 0x8f, 0xb9, 0x19, 0x7a, 0xcf, 62 0x18, 0x9b, 0x40, 0xcd, 0xff, 0x78, 0xea, 0x61, 63 0x24, 0x3b, 0x80, 0x68, 0x04, 0x9b, 0x40, 0x07, 64 0x98, 0xd4, 0x94, 0xd1, 0x18, 0x44, 0xa5, 0xed, 65 0xee, 0x18, 0xc2, 0x25, 0x52, 0x66, 0x42, 0xdf, 66 0x01, 0x00, 0x01, 67 }; 68 69 static const unsigned char cdh[32] = { 70 0xec, 0x8d, 0x8f, 0x78, 0x42, 0x4a, 0x2b, 0xb7, 71 0x82, 0x34, 0xaa, 0xca, 0x07, 0xa1, 0xf6, 0x56, 72 0x42, 0x1c, 0xb6, 0xf6, 0xb3, 0x00, 0x86, 0x52, 73 0x35, 0x2d, 0xa2, 0x62, 0x4a, 0xbe, 0x89, 0x76, 74 }; 75 76 static const unsigned char authdata[39] = { 77 0x58, 0x25, 0x49, 0x96, 0x0d, 0xe5, 0x88, 0x0e, 78 0x8c, 0x68, 0x74, 0x34, 0x17, 0x0f, 0x64, 0x76, 79 0x60, 0x5b, 0x8f, 0xe4, 0xae, 0xb9, 0xa2, 0x86, 80 0x32, 0xc7, 0x99, 0x5c, 0xf3, 0xba, 0x83, 0x1d, 81 0x97, 0x63, 0x00, 0x00, 0x00, 0x00, 0x03, 82 }; 83 84 static const unsigned char sig[72] = { 85 0x30, 0x46, 0x02, 0x21, 0x00, 0xf6, 0xd1, 0xa3, 86 0xd5, 0x24, 0x2b, 0xde, 0xee, 0xa0, 0x90, 0x89, 87 0xcd, 0xf8, 0x9e, 0xbd, 0x6b, 0x4d, 0x55, 0x79, 88 0xe4, 0xc1, 0x42, 0x27, 0xb7, 0x9b, 0x9b, 0xa4, 89 0x0a, 0xe2, 0x47, 0x64, 0x0e, 0x02, 0x21, 0x00, 90 0xe5, 0xc9, 0xc2, 0x83, 0x47, 0x31, 0xc7, 0x26, 91 0xe5, 0x25, 0xb2, 0xb4, 0x39, 0xa7, 0xfc, 0x3d, 92 0x70, 0xbe, 0xe9, 0x81, 0x0d, 0x4a, 0x62, 0xa9, 93 0xab, 0x4a, 0x91, 0xc0, 0x7d, 0x2d, 0x23, 0x1e, 94 }; 95 96 static void * 97 dummy_open(const char *path) 98 { 99 (void)path; 100 101 return (&fake_dev_handle); 102 } 103 104 static void 105 dummy_close(void *handle) 106 { 107 assert(handle == &fake_dev_handle); 108 } 109 110 static int 111 dummy_read(void *handle, unsigned char *buf, size_t len, int ms) 112 { 113 (void)handle; 114 (void)buf; 115 (void)len; 116 (void)ms; 117 118 abort(); 119 /* NOTREACHED */ 120 } 121 122 static int 123 dummy_write(void *handle, const unsigned char *buf, size_t len) 124 { 125 (void)handle; 126 (void)buf; 127 (void)len; 128 129 abort(); 130 /* NOTREACHED */ 131 } 132 133 static fido_assert_t * 134 alloc_assert(void) 135 { 136 fido_assert_t *a; 137 138 a = fido_assert_new(); 139 assert(a != NULL); 140 141 return (a); 142 } 143 144 static void 145 free_assert(fido_assert_t *a) 146 { 147 fido_assert_free(&a); 148 assert(a == NULL); 149 } 150 151 static fido_dev_t * 152 alloc_dev(void) 153 { 154 fido_dev_t *d; 155 156 d = fido_dev_new(); 157 assert(d != NULL); 158 159 return (d); 160 } 161 162 static void 163 free_dev(fido_dev_t *d) 164 { 165 fido_dev_free(&d); 166 assert(d == NULL); 167 } 168 169 static es256_pk_t * 170 alloc_es256_pk(void) 171 { 172 es256_pk_t *pk; 173 174 pk = es256_pk_new(); 175 assert(pk != NULL); 176 177 return (pk); 178 } 179 180 static void 181 free_es256_pk(es256_pk_t *pk) 182 { 183 es256_pk_free(&pk); 184 assert(pk == NULL); 185 } 186 187 static rs256_pk_t * 188 alloc_rs256_pk(void) 189 { 190 rs256_pk_t *pk; 191 192 pk = rs256_pk_new(); 193 assert(pk != NULL); 194 195 return (pk); 196 } 197 198 static void 199 free_rs256_pk(rs256_pk_t *pk) 200 { 201 rs256_pk_free(&pk); 202 assert(pk == NULL); 203 } 204 205 static eddsa_pk_t * 206 alloc_eddsa_pk(void) 207 { 208 eddsa_pk_t *pk; 209 210 pk = eddsa_pk_new(); 211 assert(pk != NULL); 212 213 return (pk); 214 } 215 216 static void 217 free_eddsa_pk(eddsa_pk_t *pk) 218 { 219 eddsa_pk_free(&pk); 220 assert(pk == NULL); 221 } 222 223 static void 224 empty_assert(fido_dev_t *d, fido_assert_t *a, size_t idx) 225 { 226 es256_pk_t *es256; 227 rs256_pk_t *rs256; 228 eddsa_pk_t *eddsa; 229 230 assert(fido_assert_flags(a, idx) == 0); 231 assert(fido_assert_authdata_len(a, idx) == 0); 232 assert(fido_assert_authdata_ptr(a, idx) == NULL); 233 assert(fido_assert_authdata_raw_len(a, idx) == 0); 234 assert(fido_assert_authdata_raw_ptr(a, idx) == NULL); 235 assert(fido_assert_clientdata_hash_len(a) == 0); 236 assert(fido_assert_clientdata_hash_ptr(a) == NULL); 237 assert(fido_assert_id_len(a, idx) == 0); 238 assert(fido_assert_id_ptr(a, idx) == NULL); 239 assert(fido_assert_rp_id(a) == NULL); 240 assert(fido_assert_sig_len(a, idx) == 0); 241 assert(fido_assert_sig_ptr(a, idx) == NULL); 242 assert(fido_assert_user_display_name(a, idx) == NULL); 243 assert(fido_assert_user_icon(a, idx) == NULL); 244 assert(fido_assert_user_id_len(a, idx) == 0); 245 assert(fido_assert_user_id_ptr(a, idx) == NULL); 246 assert(fido_assert_user_name(a, idx) == NULL); 247 248 es256 = alloc_es256_pk(); 249 rs256 = alloc_rs256_pk(); 250 eddsa = alloc_eddsa_pk(); 251 252 fido_dev_force_u2f(d); 253 assert(fido_dev_get_assert(d, a, NULL) == FIDO_ERR_INVALID_ARGUMENT); 254 assert(fido_dev_get_assert(d, a, "") == FIDO_ERR_INVALID_ARGUMENT); 255 assert(fido_assert_verify(a, idx, COSE_ES256, 256 NULL) == FIDO_ERR_INVALID_ARGUMENT); 257 assert(fido_assert_verify(a, idx, COSE_ES256, 258 es256) == FIDO_ERR_INVALID_ARGUMENT); 259 assert(fido_assert_verify(a, idx, -1, 260 es256) == FIDO_ERR_INVALID_ARGUMENT); 261 assert(fido_assert_verify(a, idx, COSE_RS256, 262 rs256) == FIDO_ERR_INVALID_ARGUMENT); 263 assert(fido_assert_verify(a, idx, COSE_EDDSA, 264 eddsa) == FIDO_ERR_INVALID_ARGUMENT); 265 266 fido_dev_force_fido2(d); 267 assert(fido_dev_get_assert(d, a, NULL) == FIDO_ERR_INVALID_ARGUMENT); 268 assert(fido_dev_get_assert(d, a, "") == FIDO_ERR_INVALID_ARGUMENT); 269 assert(fido_assert_verify(a, idx, COSE_ES256, 270 NULL) == FIDO_ERR_INVALID_ARGUMENT); 271 assert(fido_assert_verify(a, idx, COSE_ES256, 272 es256) == FIDO_ERR_INVALID_ARGUMENT); 273 assert(fido_assert_verify(a, idx, -1, 274 es256) == FIDO_ERR_INVALID_ARGUMENT); 275 assert(fido_assert_verify(a, idx, COSE_RS256, 276 rs256) == FIDO_ERR_INVALID_ARGUMENT); 277 assert(fido_assert_verify(a, idx, COSE_EDDSA, 278 eddsa) == FIDO_ERR_INVALID_ARGUMENT); 279 280 free_es256_pk(es256); 281 free_rs256_pk(rs256); 282 free_eddsa_pk(eddsa); 283 } 284 285 static void 286 empty_assert_tests(void) 287 { 288 fido_assert_t *a; 289 fido_dev_t *d; 290 fido_dev_io_t io_f; 291 size_t i; 292 293 memset(&io_f, 0, sizeof(io_f)); 294 295 a = alloc_assert(); 296 d = alloc_dev(); 297 298 io_f.open = dummy_open; 299 io_f.close = dummy_close; 300 io_f.read = dummy_read; 301 io_f.write = dummy_write; 302 303 assert(fido_dev_set_io_functions(d, &io_f) == FIDO_OK); 304 305 empty_assert(d, a, 0); 306 assert(fido_assert_count(a) == 0); 307 assert(fido_assert_set_count(a, 4) == FIDO_OK); 308 assert(fido_assert_count(a) == 4); 309 for (i = 0; i < 4; i++) { 310 empty_assert(d, a, i); 311 } 312 empty_assert(d, a, 10); 313 free_assert(a); 314 free_dev(d); 315 } 316 317 static void 318 valid_assert(void) 319 { 320 fido_assert_t *a; 321 es256_pk_t *es256; 322 rs256_pk_t *rs256; 323 eddsa_pk_t *eddsa; 324 325 a = alloc_assert(); 326 es256 = alloc_es256_pk(); 327 rs256 = alloc_rs256_pk(); 328 eddsa = alloc_eddsa_pk(); 329 assert(es256_pk_from_ptr(es256, es256_pk, sizeof(es256_pk)) == FIDO_OK); 330 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 331 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 332 assert(fido_assert_set_count(a, 1) == FIDO_OK); 333 assert(fido_assert_set_authdata(a, 0, authdata, 334 sizeof(authdata)) == FIDO_OK); 335 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 336 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 337 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 338 assert(fido_assert_verify(a, 0, COSE_ES256, es256) == FIDO_OK); 339 assert(fido_assert_verify(a, 0, COSE_RS256, rs256) == FIDO_ERR_INVALID_SIG); 340 assert(fido_assert_verify(a, 0, COSE_EDDSA, eddsa) == FIDO_ERR_INVALID_SIG); 341 free_assert(a); 342 free_es256_pk(es256); 343 free_rs256_pk(rs256); 344 free_eddsa_pk(eddsa); 345 } 346 347 static void 348 no_cdh(void) 349 { 350 fido_assert_t *a; 351 es256_pk_t *pk; 352 353 a = alloc_assert(); 354 pk = alloc_es256_pk(); 355 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 356 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 357 assert(fido_assert_set_count(a, 1) == FIDO_OK); 358 assert(fido_assert_set_authdata(a, 0, authdata, 359 sizeof(authdata)) == FIDO_OK); 360 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 361 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 362 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 363 assert(fido_assert_verify(a, 0, COSE_ES256, 364 pk) == FIDO_ERR_INVALID_ARGUMENT); 365 free_assert(a); 366 free_es256_pk(pk); 367 } 368 369 static void 370 no_rp(void) 371 { 372 fido_assert_t *a; 373 es256_pk_t *pk; 374 375 a = alloc_assert(); 376 pk = alloc_es256_pk(); 377 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 378 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 379 assert(fido_assert_set_count(a, 1) == FIDO_OK); 380 assert(fido_assert_set_authdata(a, 0, authdata, 381 sizeof(authdata)) == FIDO_OK); 382 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 383 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 384 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 385 assert(fido_assert_verify(a, 0, COSE_ES256, 386 pk) == FIDO_ERR_INVALID_ARGUMENT); 387 free_assert(a); 388 free_es256_pk(pk); 389 } 390 391 static void 392 no_authdata(void) 393 { 394 fido_assert_t *a; 395 es256_pk_t *pk; 396 397 a = alloc_assert(); 398 pk = alloc_es256_pk(); 399 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 400 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 401 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 402 assert(fido_assert_set_count(a, 1) == FIDO_OK); 403 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 404 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 405 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 406 assert(fido_assert_verify(a, 0, COSE_ES256, 407 pk) == FIDO_ERR_INVALID_ARGUMENT); 408 free_assert(a); 409 free_es256_pk(pk); 410 } 411 412 static void 413 no_sig(void) 414 { 415 fido_assert_t *a; 416 es256_pk_t *pk; 417 418 a = alloc_assert(); 419 pk = alloc_es256_pk(); 420 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 421 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 422 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 423 assert(fido_assert_set_count(a, 1) == FIDO_OK); 424 assert(fido_assert_set_authdata(a, 0, authdata, 425 sizeof(authdata)) == FIDO_OK); 426 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 427 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 428 assert(fido_assert_verify(a, 0, COSE_ES256, 429 pk) == FIDO_ERR_INVALID_ARGUMENT); 430 free_assert(a); 431 free_es256_pk(pk); 432 } 433 434 static void 435 junk_cdh(void) 436 { 437 fido_assert_t *a; 438 es256_pk_t *pk; 439 unsigned char *junk; 440 441 junk = malloc(sizeof(cdh)); 442 assert(junk != NULL); 443 memcpy(junk, cdh, sizeof(cdh)); 444 junk[0] = (unsigned char)~junk[0]; 445 446 a = alloc_assert(); 447 pk = alloc_es256_pk(); 448 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 449 assert(fido_assert_set_clientdata_hash(a, junk, sizeof(cdh)) == FIDO_OK); 450 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 451 assert(fido_assert_set_count(a, 1) == FIDO_OK); 452 assert(fido_assert_set_authdata(a, 0, authdata, 453 sizeof(authdata)) == FIDO_OK); 454 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 455 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 456 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 457 assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_ERR_INVALID_SIG); 458 free_assert(a); 459 free_es256_pk(pk); 460 free(junk); 461 } 462 463 static void 464 junk_rp(void) 465 { 466 fido_assert_t *a; 467 es256_pk_t *pk; 468 469 a = alloc_assert(); 470 pk = alloc_es256_pk(); 471 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 472 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 473 assert(fido_assert_set_rp(a, "potato") == FIDO_OK); 474 assert(fido_assert_set_count(a, 1) == FIDO_OK); 475 assert(fido_assert_set_authdata(a, 0, authdata, 476 sizeof(authdata)) == FIDO_OK); 477 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 478 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 479 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 480 assert(fido_assert_verify(a, 0, COSE_ES256, 481 pk) == FIDO_ERR_INVALID_PARAM); 482 free_assert(a); 483 free_es256_pk(pk); 484 } 485 486 static void 487 junk_authdata(void) 488 { 489 fido_assert_t *a; 490 unsigned char *junk; 491 492 junk = malloc(sizeof(authdata)); 493 assert(junk != NULL); 494 memcpy(junk, authdata, sizeof(authdata)); 495 junk[0] = (unsigned char)~junk[0]; 496 497 a = alloc_assert(); 498 assert(fido_assert_set_count(a, 1) == FIDO_OK); 499 assert(fido_assert_set_authdata(a, 0, junk, 500 sizeof(authdata)) == FIDO_ERR_INVALID_ARGUMENT); 501 assert(fido_assert_authdata_ptr(a, 0) == NULL); 502 assert(fido_assert_authdata_len(a, 0) == 0); 503 assert(fido_assert_authdata_raw_ptr(a, 0) == NULL); 504 assert(fido_assert_authdata_raw_len(a, 0) == 0); 505 free_assert(a); 506 free(junk); 507 } 508 509 static void 510 junk_sig(void) 511 { 512 fido_assert_t *a; 513 es256_pk_t *pk; 514 unsigned char *junk; 515 516 junk = malloc(sizeof(sig)); 517 assert(junk != NULL); 518 memcpy(junk, sig, sizeof(sig)); 519 junk[0] = (unsigned char)~junk[0]; 520 521 a = alloc_assert(); 522 pk = alloc_es256_pk(); 523 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 524 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 525 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 526 assert(fido_assert_set_count(a, 1) == FIDO_OK); 527 assert(fido_assert_set_authdata(a, 0, authdata, 528 sizeof(authdata)) == FIDO_OK); 529 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 530 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 531 assert(fido_assert_set_sig(a, 0, junk, sizeof(sig)) == FIDO_OK); 532 assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_ERR_INVALID_SIG); 533 free_assert(a); 534 free_es256_pk(pk); 535 free(junk); 536 } 537 538 static void 539 wrong_options(void) 540 { 541 fido_assert_t *a; 542 es256_pk_t *pk; 543 544 a = alloc_assert(); 545 pk = alloc_es256_pk(); 546 assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK); 547 assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK); 548 assert(fido_assert_set_rp(a, "localhost") == FIDO_OK); 549 assert(fido_assert_set_count(a, 1) == FIDO_OK); 550 assert(fido_assert_set_authdata(a, 0, authdata, 551 sizeof(authdata)) == FIDO_OK); 552 assert(fido_assert_set_up(a, FIDO_OPT_TRUE) == FIDO_OK); 553 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 554 assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK); 555 assert(fido_assert_verify(a, 0, COSE_ES256, 556 pk) == FIDO_ERR_INVALID_PARAM); 557 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 558 assert(fido_assert_set_uv(a, FIDO_OPT_TRUE) == FIDO_OK); 559 assert(fido_assert_verify(a, 0, COSE_ES256, 560 pk) == FIDO_ERR_INVALID_PARAM); 561 assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK); 562 assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK); 563 assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_OK); 564 free_assert(a); 565 free_es256_pk(pk); 566 } 567 568 /* cbor_serialize_alloc misuse */ 569 static void 570 bad_cbor_serialize(void) 571 { 572 fido_assert_t *a; 573 574 a = alloc_assert(); 575 assert(fido_assert_set_count(a, 1) == FIDO_OK); 576 assert(fido_assert_set_authdata(a, 0, authdata, 577 sizeof(authdata)) == FIDO_OK); 578 assert(fido_assert_authdata_len(a, 0) == sizeof(authdata)); 579 free_assert(a); 580 } 581 582 /* rs256 <-> EVP_PKEY transformations */ 583 static void 584 rs256_PKEY(void) 585 { 586 rs256_pk_t *pk1, *pk2; 587 EVP_PKEY *pkey; 588 589 pk1 = alloc_rs256_pk(); 590 pk2 = alloc_rs256_pk(); 591 592 assert(rs256_pk_from_ptr(pk1, rs256_pk, sizeof(rs256_pk)) == FIDO_OK); 593 assert((pkey = rs256_pk_to_EVP_PKEY(pk1)) != NULL); 594 assert(rs256_pk_from_EVP_PKEY(pk2, pkey) == FIDO_OK); 595 assert(memcmp(pk1, pk2, sizeof(*pk1)) == 0); 596 597 free_rs256_pk(pk1); 598 free_rs256_pk(pk2); 599 EVP_PKEY_free(pkey); 600 } 601 602 /* es256 <-> EVP_PKEY transformations */ 603 static void 604 es256_PKEY(void) 605 { 606 es256_pk_t *pk1, *pk2; 607 EVP_PKEY *pkey; 608 609 pk1 = alloc_es256_pk(); 610 pk2 = alloc_es256_pk(); 611 612 assert(es256_pk_from_ptr(pk1, es256_pk, sizeof(es256_pk)) == FIDO_OK); 613 assert((pkey = es256_pk_to_EVP_PKEY(pk1)) != NULL); 614 assert(es256_pk_from_EVP_PKEY(pk2, pkey) == FIDO_OK); 615 assert(memcmp(pk1, pk2, sizeof(*pk1)) == 0); 616 617 free_es256_pk(pk1); 618 free_es256_pk(pk2); 619 EVP_PKEY_free(pkey); 620 } 621 622 static void 623 raw_authdata(void) 624 { 625 fido_assert_t *a; 626 cbor_item_t *item; 627 struct cbor_load_result cbor_result; 628 const unsigned char *ptr; 629 unsigned char *cbor; 630 size_t len; 631 size_t cbor_len; 632 size_t alloclen; 633 634 a = alloc_assert(); 635 assert(fido_assert_set_count(a, 1) == FIDO_OK); 636 assert(fido_assert_set_authdata(a, 0, authdata, 637 sizeof(authdata)) == FIDO_OK); 638 assert((ptr = fido_assert_authdata_ptr(a, 0)) != NULL); 639 assert((len = fido_assert_authdata_len(a, 0)) != 0); 640 assert((item = cbor_load(ptr, len, &cbor_result)) != NULL); 641 assert(cbor_result.read == len); 642 assert(cbor_isa_bytestring(item)); 643 assert((ptr = fido_assert_authdata_raw_ptr(a, 0)) != NULL); 644 assert((len = fido_assert_authdata_raw_len(a, 0)) != 0); 645 assert(cbor_bytestring_length(item) == len); 646 assert(memcmp(ptr, cbor_bytestring_handle(item), len) == 0); 647 assert((len = fido_assert_authdata_len(a, 0)) != 0); 648 assert((cbor_len = cbor_serialize_alloc(item, &cbor, &alloclen)) == len); 649 assert((ptr = cbor_bytestring_handle(item)) != NULL); 650 assert((len = cbor_bytestring_length(item)) != 0); 651 assert(fido_assert_set_authdata_raw(a, 0, ptr, len) == FIDO_OK); 652 assert((ptr = fido_assert_authdata_ptr(a, 0)) != NULL); 653 assert((len = fido_assert_authdata_len(a, 0)) != 0); 654 assert(len == cbor_len); 655 assert(memcmp(cbor, ptr, len) == 0); 656 assert(cbor_len == sizeof(authdata)); 657 assert(memcmp(cbor, authdata, cbor_len) == 0); 658 cbor_decref(&item); 659 free(cbor); 660 free_assert(a); 661 } 662 663 int 664 main(void) 665 { 666 fido_init(0); 667 668 empty_assert_tests(); 669 valid_assert(); 670 no_cdh(); 671 no_rp(); 672 no_authdata(); 673 no_sig(); 674 junk_cdh(); 675 junk_rp(); 676 junk_authdata(); 677 junk_sig(); 678 wrong_options(); 679 bad_cbor_serialize(); 680 rs256_PKEY(); 681 es256_PKEY(); 682 raw_authdata(); 683 684 exit(0); 685 } 686
Indexes created Sun Mar 01 05:31:48 UTC 2026