Home | History | Annotate | Line # | Download | only in test
      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