1 /* 2 * Copyright 2016-2025 The OpenSSL Project Authors. All Rights Reserved. 3 * 4 * Licensed under the Apache License 2.0 (the "License"). You may not use 5 * this file except in compliance with the License. You can obtain a copy 6 * in the file LICENSE in the source distribution or at 7 * https://www.openssl.org/source/license.html 8 */ 9 10 #include <ctype.h> 11 #include <stdio.h> 12 #include <stdlib.h> 13 #include <string.h> 14 15 #include <openssl/ct.h> 16 #include <openssl/err.h> 17 #include <openssl/pem.h> 18 #include <openssl/x509.h> 19 #include <openssl/x509v3.h> 20 #include "testutil.h" 21 #include <openssl/crypto.h> 22 23 #ifndef OPENSSL_NO_CT 24 25 /* Used when declaring buffers to read text files into */ 26 #define CT_TEST_MAX_FILE_SIZE 8096 27 28 static char *certs_dir = NULL; 29 static char *ct_dir = NULL; 30 31 typedef struct ct_test_fixture { 32 const char *test_case_name; 33 /* The current time in milliseconds */ 34 uint64_t epoch_time_in_ms; 35 /* The CT log store to use during tests */ 36 CTLOG_STORE *ctlog_store; 37 /* Set the following to test handling of SCTs in X509 certificates */ 38 const char *certs_dir; 39 char *certificate_file; 40 char *issuer_file; 41 /* Expected number of SCTs */ 42 int expected_sct_count; 43 /* Expected number of valid SCTS */ 44 int expected_valid_sct_count; 45 /* Set the following to test handling of SCTs in TLS format */ 46 const unsigned char *tls_sct_list; 47 size_t tls_sct_list_len; 48 STACK_OF(SCT) *sct_list; 49 /* 50 * A file to load the expected SCT text from. 51 * This text will be compared to the actual text output during the test. 52 * A maximum of |CT_TEST_MAX_FILE_SIZE| bytes will be read of this file. 53 */ 54 const char *sct_dir; 55 const char *sct_text_file; 56 /* Whether to test the validity of the SCT(s) */ 57 int test_validity; 58 } CT_TEST_FIXTURE; 59 60 static CT_TEST_FIXTURE *set_up(const char *const test_case_name) 61 { 62 CT_TEST_FIXTURE *fixture = NULL; 63 64 if (!TEST_ptr(fixture = OPENSSL_zalloc(sizeof(*fixture)))) 65 goto end; 66 fixture->test_case_name = test_case_name; 67 fixture->epoch_time_in_ms = 1580335307000ULL; /* Wed 29 Jan 2020 10:01:47 PM UTC */ 68 if (!TEST_ptr(fixture->ctlog_store = CTLOG_STORE_new()) 69 || !TEST_int_eq( 70 CTLOG_STORE_load_default_file(fixture->ctlog_store), 1)) 71 goto end; 72 return fixture; 73 74 end: 75 if (fixture != NULL) 76 CTLOG_STORE_free(fixture->ctlog_store); 77 OPENSSL_free(fixture); 78 TEST_error("Failed to setup"); 79 return NULL; 80 } 81 82 static void tear_down(CT_TEST_FIXTURE *fixture) 83 { 84 if (fixture != NULL) { 85 CTLOG_STORE_free(fixture->ctlog_store); 86 SCT_LIST_free(fixture->sct_list); 87 } 88 OPENSSL_free(fixture); 89 } 90 91 static X509 *load_pem_cert(const char *dir, const char *file) 92 { 93 X509 *cert = NULL; 94 char *file_path = test_mk_file_path(dir, file); 95 96 if (file_path != NULL) { 97 BIO *cert_io = BIO_new_file(file_path, "r"); 98 99 if (cert_io != NULL) 100 cert = PEM_read_bio_X509(cert_io, NULL, NULL, NULL); 101 BIO_free(cert_io); 102 } 103 104 OPENSSL_free(file_path); 105 return cert; 106 } 107 108 static int read_text_file(const char *dir, const char *file, 109 char *buffer, int buffer_length) 110 { 111 int len = -1; 112 char *file_path = test_mk_file_path(dir, file); 113 114 if (file_path != NULL) { 115 BIO *file_io = BIO_new_file(file_path, "r"); 116 117 if (file_io != NULL) 118 len = BIO_read(file_io, buffer, buffer_length); 119 BIO_free(file_io); 120 } 121 122 OPENSSL_free(file_path); 123 return len; 124 } 125 126 static int compare_sct_list_printout(STACK_OF(SCT) *sct, 127 const char *expected_output) 128 { 129 BIO *text_buffer = NULL; 130 char *actual_output = NULL; 131 int result = 0; 132 133 if (!TEST_ptr(text_buffer = BIO_new(BIO_s_mem()))) 134 goto end; 135 136 SCT_LIST_print(sct, text_buffer, 0, "\n", NULL); 137 138 /* Append \0 because we're about to use the buffer contents as a string. */ 139 if (!TEST_true(BIO_write(text_buffer, "\0", 1))) 140 goto end; 141 142 BIO_get_mem_data(text_buffer, &actual_output); 143 if (!TEST_str_eq(actual_output, expected_output)) 144 goto end; 145 result = 1; 146 147 end: 148 BIO_free(text_buffer); 149 return result; 150 } 151 152 static int compare_extension_printout(X509_EXTENSION *extension, 153 const char *expected_output) 154 { 155 BIO *text_buffer = NULL; 156 char *actual_output = NULL; 157 int result = 0; 158 159 if (!TEST_ptr(text_buffer = BIO_new(BIO_s_mem())) 160 || !TEST_true(X509V3_EXT_print(text_buffer, extension, 161 X509V3_EXT_DEFAULT, 0))) 162 goto end; 163 164 /* Append \n because it's easier to create files that end with one. */ 165 if (!TEST_true(BIO_write(text_buffer, "\n", 1))) 166 goto end; 167 168 /* Append \0 because we're about to use the buffer contents as a string. */ 169 if (!TEST_true(BIO_write(text_buffer, "\0", 1))) 170 goto end; 171 172 BIO_get_mem_data(text_buffer, &actual_output); 173 if (!TEST_str_eq(actual_output, expected_output)) 174 goto end; 175 176 result = 1; 177 178 end: 179 BIO_free(text_buffer); 180 return result; 181 } 182 183 static int assert_validity(CT_TEST_FIXTURE *fixture, STACK_OF(SCT) *scts, 184 CT_POLICY_EVAL_CTX *policy_ctx) 185 { 186 int invalid_sct_count = 0; 187 int valid_sct_count = 0; 188 int i; 189 190 if (!TEST_int_ge(SCT_LIST_validate(scts, policy_ctx), 0)) 191 return 0; 192 193 for (i = 0; i < sk_SCT_num(scts); ++i) { 194 SCT *sct_i = sk_SCT_value(scts, i); 195 196 switch (SCT_get_validation_status(sct_i)) { 197 case SCT_VALIDATION_STATUS_VALID: 198 ++valid_sct_count; 199 break; 200 case SCT_VALIDATION_STATUS_INVALID: 201 ++invalid_sct_count; 202 break; 203 case SCT_VALIDATION_STATUS_NOT_SET: 204 case SCT_VALIDATION_STATUS_UNKNOWN_LOG: 205 case SCT_VALIDATION_STATUS_UNVERIFIED: 206 case SCT_VALIDATION_STATUS_UNKNOWN_VERSION: 207 /* Ignore other validation statuses. */ 208 break; 209 } 210 } 211 212 if (!TEST_int_eq(valid_sct_count, fixture->expected_valid_sct_count)) { 213 int unverified_sct_count = sk_SCT_num(scts) - invalid_sct_count - valid_sct_count; 214 215 TEST_info("%d SCTs failed, %d SCTs unverified", 216 invalid_sct_count, unverified_sct_count); 217 return 0; 218 } 219 220 return 1; 221 } 222 223 static int execute_cert_test(CT_TEST_FIXTURE *fixture) 224 { 225 int success = 0; 226 X509 *cert = NULL, *issuer = NULL; 227 STACK_OF(SCT) *scts = NULL; 228 SCT *sct = NULL; 229 char expected_sct_text[CT_TEST_MAX_FILE_SIZE]; 230 int sct_text_len = 0; 231 unsigned char *tls_sct_list = NULL; 232 size_t tls_sct_list_len = 0; 233 CT_POLICY_EVAL_CTX *ct_policy_ctx = CT_POLICY_EVAL_CTX_new(); 234 235 if (fixture->sct_text_file != NULL) { 236 sct_text_len = read_text_file(fixture->sct_dir, fixture->sct_text_file, 237 expected_sct_text, 238 CT_TEST_MAX_FILE_SIZE - 1); 239 240 if (!TEST_int_ge(sct_text_len, 0)) 241 goto end; 242 expected_sct_text[sct_text_len] = '\0'; 243 } 244 245 CT_POLICY_EVAL_CTX_set_shared_CTLOG_STORE( 246 ct_policy_ctx, fixture->ctlog_store); 247 248 CT_POLICY_EVAL_CTX_set_time(ct_policy_ctx, fixture->epoch_time_in_ms); 249 250 if (fixture->certificate_file != NULL) { 251 int sct_extension_index; 252 int i; 253 X509_EXTENSION *sct_extension = NULL; 254 255 if (!TEST_ptr(cert = load_pem_cert(fixture->certs_dir, 256 fixture->certificate_file))) 257 goto end; 258 259 CT_POLICY_EVAL_CTX_set1_cert(ct_policy_ctx, cert); 260 261 if (fixture->issuer_file != NULL) { 262 if (!TEST_ptr(issuer = load_pem_cert(fixture->certs_dir, 263 fixture->issuer_file))) 264 goto end; 265 CT_POLICY_EVAL_CTX_set1_issuer(ct_policy_ctx, issuer); 266 } 267 268 sct_extension_index = X509_get_ext_by_NID(cert, NID_ct_precert_scts, -1); 269 sct_extension = X509_get_ext(cert, sct_extension_index); 270 if (fixture->expected_sct_count > 0) { 271 if (!TEST_ptr(sct_extension)) 272 goto end; 273 274 if (fixture->sct_text_file 275 && !compare_extension_printout(sct_extension, 276 expected_sct_text)) 277 goto end; 278 279 scts = X509V3_EXT_d2i(sct_extension); 280 for (i = 0; i < sk_SCT_num(scts); ++i) { 281 SCT *sct_i = sk_SCT_value(scts, i); 282 283 if (!TEST_int_eq(SCT_get_source(sct_i), 284 SCT_SOURCE_X509V3_EXTENSION)) { 285 goto end; 286 } 287 } 288 289 if (fixture->test_validity) { 290 if (!assert_validity(fixture, scts, ct_policy_ctx)) 291 goto end; 292 } 293 } else if (!TEST_ptr_null(sct_extension)) { 294 goto end; 295 } 296 } 297 298 if (fixture->tls_sct_list != NULL) { 299 const unsigned char *p = fixture->tls_sct_list; 300 301 if (!TEST_ptr(o2i_SCT_LIST(&scts, &p, fixture->tls_sct_list_len))) 302 goto end; 303 304 if (fixture->test_validity && cert != NULL) { 305 if (!assert_validity(fixture, scts, ct_policy_ctx)) 306 goto end; 307 } 308 309 if (fixture->sct_text_file 310 && !compare_sct_list_printout(scts, expected_sct_text)) { 311 goto end; 312 } 313 314 tls_sct_list_len = i2o_SCT_LIST(scts, &tls_sct_list); 315 if (!TEST_mem_eq(fixture->tls_sct_list, fixture->tls_sct_list_len, 316 tls_sct_list, tls_sct_list_len)) 317 goto end; 318 } 319 success = 1; 320 321 end: 322 X509_free(cert); 323 X509_free(issuer); 324 SCT_LIST_free(scts); 325 SCT_free(sct); 326 CT_POLICY_EVAL_CTX_free(ct_policy_ctx); 327 OPENSSL_free(tls_sct_list); 328 return success; 329 } 330 331 #define SETUP_CT_TEST_FIXTURE() SETUP_TEST_FIXTURE(CT_TEST_FIXTURE, set_up) 332 #define EXECUTE_CT_TEST() EXECUTE_TEST(execute_cert_test, tear_down) 333 334 static int test_no_scts_in_certificate(void) 335 { 336 SETUP_CT_TEST_FIXTURE(); 337 fixture->certs_dir = certs_dir; 338 fixture->certificate_file = "leaf.pem"; 339 fixture->issuer_file = "subinterCA.pem"; 340 fixture->expected_sct_count = 0; 341 EXECUTE_CT_TEST(); 342 return result; 343 } 344 345 static int test_one_sct_in_certificate(void) 346 { 347 SETUP_CT_TEST_FIXTURE(); 348 fixture->certs_dir = certs_dir; 349 fixture->certificate_file = "embeddedSCTs1.pem"; 350 fixture->issuer_file = "embeddedSCTs1_issuer.pem"; 351 fixture->expected_sct_count = 1; 352 fixture->sct_dir = certs_dir; 353 fixture->sct_text_file = "embeddedSCTs1.sct"; 354 EXECUTE_CT_TEST(); 355 return result; 356 } 357 358 static int test_multiple_scts_in_certificate(void) 359 { 360 SETUP_CT_TEST_FIXTURE(); 361 fixture->certs_dir = certs_dir; 362 fixture->certificate_file = "embeddedSCTs3.pem"; 363 fixture->issuer_file = "embeddedSCTs3_issuer.pem"; 364 fixture->expected_sct_count = 3; 365 fixture->sct_dir = certs_dir; 366 fixture->sct_text_file = "embeddedSCTs3.sct"; 367 EXECUTE_CT_TEST(); 368 return result; 369 } 370 371 static int test_verify_one_sct(void) 372 { 373 SETUP_CT_TEST_FIXTURE(); 374 fixture->certs_dir = certs_dir; 375 fixture->certificate_file = "embeddedSCTs1.pem"; 376 fixture->issuer_file = "embeddedSCTs1_issuer.pem"; 377 fixture->expected_sct_count = fixture->expected_valid_sct_count = 1; 378 fixture->test_validity = 1; 379 EXECUTE_CT_TEST(); 380 return result; 381 } 382 383 static int test_verify_multiple_scts(void) 384 { 385 SETUP_CT_TEST_FIXTURE(); 386 fixture->certs_dir = certs_dir; 387 fixture->certificate_file = "embeddedSCTs3.pem"; 388 fixture->issuer_file = "embeddedSCTs3_issuer.pem"; 389 fixture->expected_sct_count = fixture->expected_valid_sct_count = 3; 390 fixture->test_validity = 1; 391 EXECUTE_CT_TEST(); 392 return result; 393 } 394 395 static int test_verify_fails_for_future_sct(void) 396 { 397 SETUP_CT_TEST_FIXTURE(); 398 fixture->epoch_time_in_ms = 1365094800000ULL; /* Apr 4 17:00:00 2013 GMT */ 399 fixture->certs_dir = certs_dir; 400 fixture->certificate_file = "embeddedSCTs1.pem"; 401 fixture->issuer_file = "embeddedSCTs1_issuer.pem"; 402 fixture->expected_sct_count = 1; 403 fixture->expected_valid_sct_count = 0; 404 fixture->test_validity = 1; 405 EXECUTE_CT_TEST(); 406 return result; 407 } 408 409 static int test_decode_tls_sct(void) 410 { 411 const unsigned char tls_sct_list[] = "\x00\x78" /* length of list */ 412 "\x00\x76" 413 "\x00" /* version */ 414 /* log ID */ 415 "\xDF\x1C\x2E\xC1\x15\x00\x94\x52\x47\xA9\x61\x68\x32\x5D\xDC\x5C\x79" 416 "\x59\xE8\xF7\xC6\xD3\x88\xFC\x00\x2E\x0B\xBD\x3F\x74\xD7\x64" 417 "\x00\x00\x01\x3D\xDB\x27\xDF\x93" /* timestamp */ 418 "\x00\x00" /* extensions length */ 419 "" /* extensions */ 420 "\x04\x03" /* hash and signature algorithms */ 421 "\x00\x47" /* signature length */ 422 /* signature */ 423 "\x30\x45\x02\x20\x48\x2F\x67\x51\xAF\x35\xDB\xA6\x54\x36\xBE\x1F\xD6" 424 "\x64\x0F\x3D\xBF\x9A\x41\x42\x94\x95\x92\x45\x30\x28\x8F\xA3\xE5\xE2" 425 "\x3E\x06\x02\x21\x00\xE4\xED\xC0\xDB\x3A\xC5\x72\xB1\xE2\xF5\xE8\xAB" 426 "\x6A\x68\x06\x53\x98\x7D\xCF\x41\x02\x7D\xFE\xFF\xA1\x05\x51\x9D\x89" 427 "\xED\xBF\x08"; 428 429 SETUP_CT_TEST_FIXTURE(); 430 fixture->tls_sct_list = tls_sct_list; 431 fixture->tls_sct_list_len = 0x7a; 432 fixture->sct_dir = ct_dir; 433 fixture->sct_text_file = "tls1.sct"; 434 EXECUTE_CT_TEST(); 435 return result; 436 } 437 438 static int test_encode_tls_sct(void) 439 { 440 const char log_id[] = "3xwuwRUAlFJHqWFoMl3cXHlZ6PfG04j8AC4LvT9012Q="; 441 const uint64_t timestamp = 1; 442 const char extensions[] = ""; 443 const char signature[] = "BAMARzBAMiBIL2dRrzXbplQ2vh/WZA89v5pBQpSVkkUwKI+j5" 444 "eI+BgIhAOTtwNs6xXKx4vXoq2poBlOYfc9BAn3+/6EFUZ2J7b8I"; 445 SCT *sct = NULL; 446 447 SETUP_CT_TEST_FIXTURE(); 448 449 fixture->sct_list = sk_SCT_new_null(); 450 if (fixture->sct_list == NULL) { 451 tear_down(fixture); 452 return 0; 453 } 454 455 if (!TEST_ptr(sct = SCT_new_from_base64(SCT_VERSION_V1, log_id, 456 CT_LOG_ENTRY_TYPE_X509, timestamp, 457 extensions, signature))) { 458 tear_down(fixture); 459 return 0; 460 } 461 462 if (!sk_SCT_push(fixture->sct_list, sct)) { 463 tear_down(fixture); 464 return 0; 465 } 466 467 fixture->sct_dir = ct_dir; 468 fixture->sct_text_file = "tls1.sct"; 469 EXECUTE_CT_TEST(); 470 return result; 471 } 472 473 /* 474 * Tests that the CT_POLICY_EVAL_CTX default time is approximately now. 475 * Allow +-10 minutes, as it may compensate for clock skew. 476 */ 477 static int test_default_ct_policy_eval_ctx_time_is_now(void) 478 { 479 int success = 0; 480 CT_POLICY_EVAL_CTX *ct_policy_ctx = CT_POLICY_EVAL_CTX_new(); 481 const time_t default_time = (time_t)(CT_POLICY_EVAL_CTX_get_time(ct_policy_ctx) / 1000); 482 const time_t time_tolerance = 600; /* 10 minutes */ 483 484 if (!TEST_time_t_le(abs((int)difftime(time(NULL), default_time)), 485 time_tolerance)) 486 goto end; 487 488 success = 1; 489 end: 490 CT_POLICY_EVAL_CTX_free(ct_policy_ctx); 491 return success; 492 } 493 494 static int test_ctlog_from_base64(void) 495 { 496 CTLOG *ctlogp = NULL; 497 const char notb64[] = "\01\02\03\04"; 498 const char pad[] = "===="; 499 const char name[] = "name"; 500 501 /* We expect these to both fail! */ 502 if (!TEST_true(!CTLOG_new_from_base64(&ctlogp, notb64, name)) 503 || !TEST_true(!CTLOG_new_from_base64(&ctlogp, pad, name))) 504 return 0; 505 return 1; 506 } 507 #endif 508 509 int setup_tests(void) 510 { 511 #ifndef OPENSSL_NO_CT 512 if ((ct_dir = getenv("CT_DIR")) == NULL) 513 ct_dir = "ct"; 514 if ((certs_dir = getenv("CERTS_DIR")) == NULL) 515 certs_dir = "certs"; 516 517 ADD_TEST(test_no_scts_in_certificate); 518 ADD_TEST(test_one_sct_in_certificate); 519 ADD_TEST(test_multiple_scts_in_certificate); 520 ADD_TEST(test_verify_one_sct); 521 ADD_TEST(test_verify_multiple_scts); 522 ADD_TEST(test_verify_fails_for_future_sct); 523 ADD_TEST(test_decode_tls_sct); 524 ADD_TEST(test_encode_tls_sct); 525 ADD_TEST(test_default_ct_policy_eval_ctx_time_is_now); 526 ADD_TEST(test_ctlog_from_base64); 527 #else 528 printf("No CT support\n"); 529 #endif 530 return 1; 531 } 532