Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 1 | /* |
Rich Salz | 440e5d8 | 2016-05-17 14:20:24 -0400 | [diff] [blame] | 2 | * Copyright 2016 The OpenSSL Project Authors. All Rights Reserved. |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 3 | * |
Rich Salz | 440e5d8 | 2016-05-17 14:20:24 -0400 | [diff] [blame] | 4 | * Licensed under the OpenSSL license (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 |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <ctype.h> |
| 11 | #include <stdio.h> |
| 12 | #include <stdlib.h> |
| 13 | #include <string.h> |
| 14 | |
Rob Percival | 0cea883 | 2016-02-25 18:11:16 +0000 | [diff] [blame] | 15 | #include <openssl/ct.h> |
Richard Levitte | 17436ce | 2016-02-26 08:57:06 +0100 | [diff] [blame] | 16 | #include <openssl/err.h> |
Rob Percival | 2b2b968 | 2016-03-07 17:58:49 +0000 | [diff] [blame] | 17 | #include <openssl/pem.h> |
Richard Levitte | 17436ce | 2016-02-26 08:57:06 +0100 | [diff] [blame] | 18 | #include <openssl/x509.h> |
| 19 | #include <openssl/x509v3.h> |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 20 | #include "testutil.h" |
| 21 | |
Rob Percival | 11c8bc4 | 2016-03-07 17:58:14 +0000 | [diff] [blame] | 22 | #ifndef OPENSSL_NO_CT |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 23 | |
| 24 | /* Used when declaring buffers to read text files into */ |
| 25 | #define CT_TEST_MAX_FILE_SIZE 8096 |
| 26 | |
Richard Levitte | 67336ea | 2016-03-09 17:24:34 +0100 | [diff] [blame] | 27 | static char *certs_dir = NULL; |
| 28 | static char *ct_dir = NULL; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 29 | |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 30 | typedef struct ct_test_fixture { |
| 31 | const char *test_case_name; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 32 | /* The CT log store to use during tests */ |
| 33 | CTLOG_STORE* ctlog_store; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 34 | /* Set the following to test handling of SCTs in X509 certificates */ |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 35 | const char *certs_dir; |
| 36 | char *certificate_file; |
| 37 | char *issuer_file; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 38 | int expected_sct_count; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 39 | /* Set the following to test handling of SCTs in TLS format */ |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 40 | const unsigned char *tls_sct_list; |
| 41 | size_t tls_sct_list_len; |
| 42 | STACK_OF(SCT) *sct_list; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 43 | /* |
| 44 | * A file to load the expected SCT text from. |
| 45 | * This text will be compared to the actual text output during the test. |
| 46 | * A maximum of |CT_TEST_MAX_FILE_SIZE| bytes will be read of this file. |
| 47 | */ |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 48 | const char *sct_dir; |
| 49 | const char *sct_text_file; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 50 | /* Whether to test the validity of the SCT(s) */ |
| 51 | int test_validity; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 52 | |
| 53 | } CT_TEST_FIXTURE; |
| 54 | |
| 55 | static CT_TEST_FIXTURE set_up(const char *const test_case_name) |
| 56 | { |
| 57 | CT_TEST_FIXTURE fixture; |
| 58 | int setup_ok = 1; |
Emilia Kasper | 50eadf2 | 2016-04-08 16:19:00 +0200 | [diff] [blame] | 59 | CTLOG_STORE *ctlog_store; |
| 60 | |
| 61 | memset(&fixture, 0, sizeof(fixture)); |
| 62 | |
| 63 | ctlog_store = CTLOG_STORE_new(); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 64 | |
| 65 | if (ctlog_store == NULL) { |
| 66 | setup_ok = 0; |
| 67 | fprintf(stderr, "Failed to create a new CT log store\n"); |
| 68 | goto end; |
| 69 | } |
| 70 | |
| 71 | if (CTLOG_STORE_load_default_file(ctlog_store) != 1) { |
| 72 | setup_ok = 0; |
| 73 | fprintf(stderr, "Failed to load CT log list\n"); |
| 74 | goto end; |
| 75 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 76 | |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 77 | fixture.test_case_name = test_case_name; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 78 | fixture.ctlog_store = ctlog_store; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 79 | |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 80 | end: |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 81 | if (!setup_ok) { |
| 82 | exit(EXIT_FAILURE); |
| 83 | } |
| 84 | return fixture; |
| 85 | } |
| 86 | |
| 87 | static void tear_down(CT_TEST_FIXTURE fixture) |
| 88 | { |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 89 | CTLOG_STORE_free(fixture.ctlog_store); |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 90 | SCT_LIST_free(fixture.sct_list); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 91 | ERR_print_errors_fp(stderr); |
| 92 | } |
| 93 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 94 | static char *mk_file_path(const char *dir, const char *file) |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 95 | { |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 96 | char *full_file = NULL; |
| 97 | size_t full_file_l = 0; |
| 98 | const char *sep = ""; |
| 99 | #ifndef OPENSSL_SYS_VMS |
| 100 | sep = "/"; |
| 101 | #endif |
| 102 | |
| 103 | full_file_l = strlen(dir) + strlen(sep) + strlen(file) + 1; |
| 104 | full_file = OPENSSL_zalloc(full_file_l); |
| 105 | if (full_file != NULL) { |
| 106 | OPENSSL_strlcpy(full_file, dir, full_file_l); |
| 107 | OPENSSL_strlcat(full_file, sep, full_file_l); |
| 108 | OPENSSL_strlcat(full_file, file, full_file_l); |
| 109 | } |
| 110 | |
| 111 | return full_file; |
| 112 | } |
| 113 | |
| 114 | static X509 *load_pem_cert(const char *dir, const char *file) |
| 115 | { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 116 | X509 *cert = NULL; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 117 | char *file_path = mk_file_path(dir, file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 118 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 119 | if (file_path != NULL) { |
| 120 | BIO *cert_io = BIO_new_file(file_path, "r"); |
| 121 | OPENSSL_free(file_path); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 122 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 123 | if (cert_io != NULL) |
| 124 | cert = PEM_read_bio_X509(cert_io, NULL, NULL, NULL); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 125 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 126 | BIO_free(cert_io); |
| 127 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 128 | return cert; |
| 129 | } |
| 130 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 131 | static int read_text_file(const char *dir, const char *file, |
| 132 | char *buffer, int buffer_length) |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 133 | { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 134 | int result = -1; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 135 | char *file_path = mk_file_path(dir, file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 136 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 137 | if (file_path != NULL) { |
| 138 | BIO *file_io = BIO_new_file(file_path, "r"); |
| 139 | OPENSSL_free(file_path); |
| 140 | |
| 141 | if (file_io != NULL) { |
| 142 | result = BIO_read(file_io, buffer, buffer_length); |
| 143 | BIO_free(file_io); |
| 144 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | return result; |
| 148 | } |
| 149 | |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 150 | static int compare_sct_list_printout(STACK_OF(SCT) *sct, |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 151 | const char *expected_output) |
| 152 | { |
| 153 | BIO *text_buffer = NULL; |
| 154 | char *actual_output = NULL; |
| 155 | int result = 1; |
| 156 | |
| 157 | text_buffer = BIO_new(BIO_s_mem()); |
| 158 | if (text_buffer == NULL) { |
| 159 | fprintf(stderr, "Unable to allocate buffer\n"); |
| 160 | goto end; |
| 161 | } |
| 162 | |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 163 | SCT_LIST_print(sct, text_buffer, 0, "\n", NULL); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 164 | |
| 165 | /* Append null terminator because we're about to use the buffer contents |
| 166 | * as a string. */ |
| 167 | if (BIO_write(text_buffer, "\0", 1) != 1) { |
| 168 | fprintf(stderr, "Failed to append null terminator to SCT text\n"); |
| 169 | goto end; |
| 170 | } |
| 171 | |
| 172 | BIO_get_mem_data(text_buffer, &actual_output); |
| 173 | result = strcmp(actual_output, expected_output); |
| 174 | |
| 175 | if (result != 0) { |
| 176 | fprintf(stderr, |
| 177 | "Expected SCT printout:\n%s\nActual SCT printout:\n%s\n", |
| 178 | expected_output, actual_output); |
| 179 | } |
| 180 | |
| 181 | end: |
| 182 | BIO_free(text_buffer); |
| 183 | return result; |
| 184 | } |
| 185 | |
| 186 | static int compare_extension_printout(X509_EXTENSION *extension, |
| 187 | const char *expected_output) |
| 188 | { |
| 189 | BIO *text_buffer = NULL; |
| 190 | char *actual_output = NULL; |
| 191 | int result = 1; |
| 192 | |
| 193 | text_buffer = BIO_new(BIO_s_mem()); |
| 194 | if (text_buffer == NULL) { |
| 195 | fprintf(stderr, "Unable to allocate buffer\n"); |
| 196 | goto end; |
| 197 | } |
| 198 | |
| 199 | if (!X509V3_EXT_print(text_buffer, extension, X509V3_EXT_DEFAULT, 0)) { |
| 200 | fprintf(stderr, "Failed to print extension\n"); |
| 201 | goto end; |
| 202 | } |
| 203 | |
| 204 | /* Append null terminator because we're about to use the buffer contents |
| 205 | * as a string. */ |
| 206 | if (BIO_write(text_buffer, "\0", 1) != 1) { |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 207 | fprintf(stderr, |
| 208 | "Failed to append null terminator to extension text\n"); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 209 | goto end; |
| 210 | } |
| 211 | |
| 212 | BIO_get_mem_data(text_buffer, &actual_output); |
| 213 | result = strcmp(actual_output, expected_output); |
| 214 | |
| 215 | if (result != 0) { |
| 216 | fprintf(stderr, |
| 217 | "Expected SCT printout:\n%s\nActual SCT printout:\n%s\n", |
| 218 | expected_output, actual_output); |
| 219 | } |
| 220 | |
| 221 | end: |
| 222 | BIO_free(text_buffer); |
| 223 | return result; |
| 224 | } |
| 225 | |
| 226 | static int execute_cert_test(CT_TEST_FIXTURE fixture) |
| 227 | { |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 228 | int success = 0; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 229 | X509 *cert = NULL, *issuer = NULL; |
| 230 | STACK_OF(SCT) *scts = NULL; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 231 | SCT *sct = NULL; |
| 232 | char expected_sct_text[CT_TEST_MAX_FILE_SIZE]; |
| 233 | int sct_text_len = 0; |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 234 | unsigned char *tls_sct_list = NULL; |
| 235 | size_t tls_sct_list_len = 0; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 236 | CT_POLICY_EVAL_CTX *ct_policy_ctx = CT_POLICY_EVAL_CTX_new(); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 237 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 238 | if (fixture.sct_text_file != NULL) { |
| 239 | sct_text_len = read_text_file(fixture.sct_dir, fixture.sct_text_file, |
| 240 | expected_sct_text, |
| 241 | CT_TEST_MAX_FILE_SIZE - 1); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 242 | |
| 243 | if (sct_text_len < 0) { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 244 | fprintf(stderr, "Test data file not found: %s\n", |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 245 | fixture.sct_text_file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 246 | goto end; |
| 247 | } |
| 248 | |
| 249 | expected_sct_text[sct_text_len] = '\0'; |
| 250 | } |
| 251 | |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 252 | CT_POLICY_EVAL_CTX_set0_log_store(ct_policy_ctx, fixture.ctlog_store); |
| 253 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 254 | if (fixture.certificate_file != NULL) { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 255 | int sct_extension_index; |
| 256 | X509_EXTENSION *sct_extension = NULL; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 257 | cert = load_pem_cert(fixture.certs_dir, fixture.certificate_file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 258 | |
| 259 | if (cert == NULL) { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 260 | fprintf(stderr, "Unable to load certificate: %s\n", |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 261 | fixture.certificate_file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 262 | goto end; |
| 263 | } |
| 264 | |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 265 | CT_POLICY_EVAL_CTX_set0_cert(ct_policy_ctx, cert); |
| 266 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 267 | if (fixture.issuer_file != NULL) { |
| 268 | issuer = load_pem_cert(fixture.certs_dir, fixture.issuer_file); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 269 | |
| 270 | if (issuer == NULL) { |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 271 | fprintf(stderr, "Unable to load issuer certificate: %s\n", |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 272 | fixture.issuer_file); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 273 | goto end; |
| 274 | } |
| 275 | |
| 276 | CT_POLICY_EVAL_CTX_set0_issuer(ct_policy_ctx, issuer); |
| 277 | } |
| 278 | |
| 279 | sct_extension_index = |
| 280 | X509_get_ext_by_NID(cert, NID_ct_precert_scts, -1); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 281 | sct_extension = X509_get_ext(cert, sct_extension_index); |
| 282 | if (fixture.expected_sct_count > 0) { |
| 283 | if (sct_extension == NULL) { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 284 | fprintf(stderr, "SCT extension not found in: %s\n", |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 285 | fixture.certificate_file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 286 | goto end; |
| 287 | } |
| 288 | |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 289 | if (fixture.sct_text_file |
| 290 | && compare_extension_printout(sct_extension, |
| 291 | expected_sct_text)) { |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 292 | goto end; |
| 293 | } |
| 294 | |
| 295 | if (fixture.test_validity) { |
| 296 | int are_scts_validated = 0; |
Rob Percival | 14db9bb | 2016-03-08 19:09:06 +0000 | [diff] [blame] | 297 | int i; |
| 298 | |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 299 | scts = X509V3_EXT_d2i(sct_extension); |
Rob Percival | 14db9bb | 2016-03-08 19:09:06 +0000 | [diff] [blame] | 300 | for (i = 0; i < sk_SCT_num(scts); ++i) { |
| 301 | SCT *sct_i = sk_SCT_value(scts, i); |
| 302 | |
| 303 | if (!SCT_set_source(sct_i, SCT_SOURCE_X509V3_EXTENSION)) { |
| 304 | fprintf(stderr, |
| 305 | "Error setting SCT source to X509v3 extension\n"); |
Rob Percival | 14db9bb | 2016-03-08 19:09:06 +0000 | [diff] [blame] | 306 | goto end; |
| 307 | } |
Rob Percival | 5da65ef | 2016-03-04 19:51:43 +0000 | [diff] [blame] | 308 | } |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 309 | |
| 310 | are_scts_validated = SCT_LIST_validate(scts, ct_policy_ctx); |
| 311 | if (are_scts_validated < 0) { |
| 312 | fprintf(stderr, "Error verifying SCTs\n"); |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 313 | goto end; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 314 | } else if (!are_scts_validated) { |
| 315 | int invalid_sct_count = 0; |
| 316 | int valid_sct_count = 0; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 317 | |
| 318 | for (i = 0; i < sk_SCT_num(scts); ++i) { |
| 319 | SCT *sct_i = sk_SCT_value(scts, i); |
| 320 | switch (SCT_get_validation_status(sct_i)) { |
| 321 | case SCT_VALIDATION_STATUS_VALID: |
| 322 | ++valid_sct_count; |
| 323 | break; |
| 324 | case SCT_VALIDATION_STATUS_INVALID: |
| 325 | ++invalid_sct_count; |
| 326 | break; |
| 327 | default: |
| 328 | /* Ignore other validation statuses. */ |
| 329 | break; |
| 330 | } |
| 331 | } |
| 332 | |
| 333 | if (valid_sct_count != fixture.expected_sct_count) { |
| 334 | int unverified_sct_count = sk_SCT_num(scts) - |
| 335 | invalid_sct_count - valid_sct_count; |
| 336 | |
| 337 | fprintf(stderr, |
| 338 | "%d SCTs failed verification\n" |
| 339 | "%d SCTs passed verification (%d expected)\n" |
| 340 | "%d SCTs were unverified\n", |
| 341 | invalid_sct_count, |
| 342 | valid_sct_count, |
| 343 | fixture.expected_sct_count, |
| 344 | unverified_sct_count); |
| 345 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 346 | goto end; |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 347 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 348 | } |
| 349 | } else if (sct_extension != NULL) { |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 350 | fprintf(stderr, |
| 351 | "Expected no SCTs, but found SCT extension in: %s\n", |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 352 | fixture.certificate_file); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 353 | goto end; |
| 354 | } |
| 355 | } |
| 356 | |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 357 | if (fixture.tls_sct_list != NULL) { |
| 358 | const unsigned char *p = fixture.tls_sct_list; |
| 359 | if (o2i_SCT_LIST(&scts, &p, fixture.tls_sct_list_len) == NULL) { |
| 360 | fprintf(stderr, "Failed to decode SCTs from TLS format\n"); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 361 | goto end; |
| 362 | } |
| 363 | |
Viktor Dukhovni | 4334143 | 2016-04-07 14:17:37 -0400 | [diff] [blame] | 364 | if (fixture.test_validity && cert != NULL) { |
| 365 | int is_sct_validated = SCT_validate(sct, ct_policy_ctx); |
| 366 | if (is_sct_validated < 0) { |
| 367 | fprintf(stderr, "Error validating SCT\n"); |
| 368 | goto end; |
| 369 | } else if (!is_sct_validated) { |
| 370 | fprintf(stderr, "SCT failed verification\n"); |
| 371 | goto end; |
| 372 | } |
| 373 | } |
| 374 | |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 375 | if (fixture.sct_text_file |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 376 | && compare_sct_list_printout(scts, expected_sct_text)) { |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 377 | goto end; |
| 378 | } |
| 379 | |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 380 | tls_sct_list_len = i2o_SCT_LIST(scts, &tls_sct_list); |
| 381 | if (tls_sct_list_len != fixture.tls_sct_list_len || |
| 382 | memcmp(fixture.tls_sct_list, tls_sct_list, tls_sct_list_len) != 0) { |
| 383 | fprintf(stderr, |
| 384 | "Failed to encode SCTs into TLS format correctly\n"); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 385 | goto end; |
| 386 | } |
| 387 | } |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 388 | success = 1; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 389 | |
| 390 | end: |
| 391 | X509_free(cert); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 392 | X509_free(issuer); |
| 393 | SCT_LIST_free(scts); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 394 | SCT_free(sct); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 395 | CT_POLICY_EVAL_CTX_free(ct_policy_ctx); |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 396 | OPENSSL_free(tls_sct_list); |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 397 | return success; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 398 | } |
| 399 | |
| 400 | #define SETUP_CT_TEST_FIXTURE() SETUP_TEST_FIXTURE(CT_TEST_FIXTURE, set_up) |
| 401 | #define EXECUTE_CT_TEST() EXECUTE_TEST(execute_cert_test, tear_down) |
| 402 | |
| 403 | static int test_no_scts_in_certificate() |
| 404 | { |
| 405 | SETUP_CT_TEST_FIXTURE(); |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 406 | fixture.certs_dir = certs_dir; |
| 407 | fixture.certificate_file = "leaf.pem"; |
| 408 | fixture.issuer_file = "subinterCA.pem"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 409 | fixture.expected_sct_count = 0; |
| 410 | EXECUTE_CT_TEST(); |
| 411 | } |
| 412 | |
| 413 | static int test_one_sct_in_certificate() |
| 414 | { |
| 415 | SETUP_CT_TEST_FIXTURE(); |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 416 | fixture.certs_dir = certs_dir; |
| 417 | fixture.certificate_file = "embeddedSCTs1.pem"; |
| 418 | fixture.issuer_file = "embeddedSCTs1_issuer.pem"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 419 | fixture.expected_sct_count = 1; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 420 | fixture.sct_dir = certs_dir; |
| 421 | fixture.sct_text_file = "embeddedSCTs1.sct"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 422 | EXECUTE_CT_TEST(); |
| 423 | } |
| 424 | |
| 425 | static int test_multiple_scts_in_certificate() |
| 426 | { |
| 427 | SETUP_CT_TEST_FIXTURE(); |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 428 | fixture.certs_dir = certs_dir; |
| 429 | fixture.certificate_file = "embeddedSCTs3.pem"; |
| 430 | fixture.issuer_file = "embeddedSCTs3_issuer.pem"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 431 | fixture.expected_sct_count = 3; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 432 | fixture.sct_dir = certs_dir; |
| 433 | fixture.sct_text_file = "embeddedSCTs3.sct"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 434 | EXECUTE_CT_TEST(); |
| 435 | } |
| 436 | |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 437 | static int test_verify_one_sct() |
| 438 | { |
| 439 | SETUP_CT_TEST_FIXTURE(); |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 440 | fixture.certs_dir = certs_dir; |
| 441 | fixture.certificate_file = "embeddedSCTs1.pem"; |
| 442 | fixture.issuer_file = "embeddedSCTs1_issuer.pem"; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 443 | fixture.expected_sct_count = 1; |
| 444 | fixture.test_validity = 1; |
| 445 | EXECUTE_CT_TEST(); |
| 446 | } |
| 447 | |
| 448 | static int test_verify_multiple_scts() |
| 449 | { |
| 450 | SETUP_CT_TEST_FIXTURE(); |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 451 | fixture.certs_dir = certs_dir; |
| 452 | fixture.certificate_file = "embeddedSCTs3.pem"; |
| 453 | fixture.issuer_file = "embeddedSCTs3_issuer.pem"; |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 454 | fixture.expected_sct_count = 3; |
| 455 | fixture.test_validity = 1; |
| 456 | EXECUTE_CT_TEST(); |
| 457 | } |
| 458 | |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 459 | static int test_decode_tls_sct() |
| 460 | { |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 461 | const unsigned char tls_sct_list[] = "\x00\x78" /* length of list */ |
| 462 | "\x00\x76" |
| 463 | "\x00" /* version */ |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 464 | /* log ID */ |
| 465 | "\xDF\x1C\x2E\xC1\x15\x00\x94\x52\x47\xA9\x61\x68\x32\x5D\xDC\x5C\x79" |
| 466 | "\x59\xE8\xF7\xC6\xD3\x88\xFC\x00\x2E\x0B\xBD\x3F\x74\xD7\x64" |
| 467 | "\x00\x00\x01\x3D\xDB\x27\xDF\x93" /* timestamp */ |
| 468 | "\x00\x00" /* extensions length */ |
| 469 | "" /* extensions */ |
| 470 | "\x04\x03" /* hash and signature algorithms */ |
| 471 | "\x00\x47" /* signature length */ |
Rob Percival | dc919c6 | 2016-03-09 02:46:15 +0000 | [diff] [blame] | 472 | /* signature */ |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 473 | "\x30\x45\x02\x20\x48\x2F\x67\x51\xAF\x35\xDB\xA6\x54\x36\xBE\x1F\xD6" |
| 474 | "\x64\x0F\x3D\xBF\x9A\x41\x42\x94\x95\x92\x45\x30\x28\x8F\xA3\xE5\xE2" |
| 475 | "\x3E\x06\x02\x21\x00\xE4\xED\xC0\xDB\x3A\xC5\x72\xB1\xE2\xF5\xE8\xAB" |
| 476 | "\x6A\x68\x06\x53\x98\x7D\xCF\x41\x02\x7D\xFE\xFF\xA1\x05\x51\x9D\x89" |
Rob Percival | dc919c6 | 2016-03-09 02:46:15 +0000 | [diff] [blame] | 477 | "\xED\xBF\x08"; |
| 478 | |
| 479 | SETUP_CT_TEST_FIXTURE(); |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 480 | fixture.tls_sct_list = tls_sct_list; |
| 481 | fixture.tls_sct_list_len = 0x7a; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 482 | fixture.sct_dir = ct_dir; |
| 483 | fixture.sct_text_file = "tls1.sct"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 484 | EXECUTE_CT_TEST(); |
| 485 | } |
| 486 | |
| 487 | static int test_encode_tls_sct() |
| 488 | { |
Rob Percival | dc919c6 | 2016-03-09 02:46:15 +0000 | [diff] [blame] | 489 | const unsigned char log_id[] = "\xDF\x1C\x2E\xC1\x15\x00\x94\x52\x47\xA9" |
| 490 | "\x61\x68\x32\x5D\xDC\x5C\x79\x59\xE8\xF7\xC6\xD3\x88\xFC\x00\x2E" |
| 491 | "\x0B\xBD\x3F\x74\xD7\x64"; |
| 492 | |
| 493 | const unsigned char signature[] = "\x45\x02\x20\x48\x2F\x67\x51\xAF\x35" |
| 494 | "\xDB\xA6\x54\x36\xBE\x1F\xD6\x64\x0F\x3D\xBF\x9A\x41\x42\x94\x95" |
| 495 | "\x92\x45\x30\x28\x8F\xA3\xE5\xE2\x3E\x06\x02\x21\x00\xE4\xED\xC0" |
| 496 | "\xDB\x3A\xC5\x72\xB1\xE2\xF5\xE8\xAB\x6A\x68\x06\x53\x98\x7D\xCF" |
| 497 | "\x41\x02\x7D\xFE\xFF\xA1\x05\x51\x9D\x89\xED\xBF\x08"; |
| 498 | |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 499 | SETUP_CT_TEST_FIXTURE(); |
| 500 | |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 501 | STACK_OF(SCT) *sct_list = sk_SCT_new_null(); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 502 | SCT *sct = SCT_new(); |
Rob Percival | 9c81201 | 2016-03-07 18:41:43 +0000 | [diff] [blame] | 503 | if (!SCT_set_version(sct, SCT_VERSION_V1)) { |
Rob Percival | 5da65ef | 2016-03-04 19:51:43 +0000 | [diff] [blame] | 504 | fprintf(stderr, "Failed to set SCT version\n"); |
| 505 | return 1; |
| 506 | } |
Rob Percival | dc919c6 | 2016-03-09 02:46:15 +0000 | [diff] [blame] | 507 | if (!SCT_set1_log_id(sct, log_id, 32)) { |
Rob Percival | 5da65ef | 2016-03-04 19:51:43 +0000 | [diff] [blame] | 508 | fprintf(stderr, "Failed to set SCT log ID\n"); |
| 509 | return 1; |
| 510 | } |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 511 | SCT_set_timestamp(sct, 1); |
Rob Percival | 5da65ef | 2016-03-04 19:51:43 +0000 | [diff] [blame] | 512 | if (!SCT_set_signature_nid(sct, NID_ecdsa_with_SHA256)) { |
| 513 | fprintf(stderr, "Failed to set SCT signature NID\n"); |
| 514 | return 1; |
| 515 | } |
Rob Percival | dc919c6 | 2016-03-09 02:46:15 +0000 | [diff] [blame] | 516 | if (!SCT_set1_signature(sct, signature, 71)) { |
Rob Percival | 5da65ef | 2016-03-04 19:51:43 +0000 | [diff] [blame] | 517 | fprintf(stderr, "Failed to set SCT signature\n"); |
| 518 | return 1; |
| 519 | } |
Rob Percival | 4fc31f7 | 2016-06-07 17:38:14 +0100 | [diff] [blame^] | 520 | sk_SCT_push(sct_list, sct); |
| 521 | |
| 522 | fixture.sct_list = sct_list; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 523 | fixture.sct_dir = ct_dir; |
| 524 | fixture.sct_text_file = "tls1.sct"; |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 525 | EXECUTE_CT_TEST(); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 526 | } |
| 527 | |
| 528 | int main(int argc, char *argv[]) |
| 529 | { |
| 530 | int result = 0; |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 531 | char *tmp_env = NULL; |
| 532 | |
FdaSilvaYY | f0e1fe7 | 2016-03-18 23:17:39 +0100 | [diff] [blame] | 533 | tmp_env = getenv("OPENSSL_DEBUG_MEMORY"); |
| 534 | if (tmp_env != NULL && strcmp(tmp_env, "on") == 0) |
| 535 | CRYPTO_set_mem_debug(1); |
| 536 | CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ON); |
| 537 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 538 | tmp_env = getenv("CT_DIR"); |
| 539 | ct_dir = OPENSSL_strdup(tmp_env != NULL ? tmp_env : "ct"); |
| 540 | tmp_env = getenv("CERTS_DIR"); |
| 541 | certs_dir = OPENSSL_strdup(tmp_env != NULL ? tmp_env : "certs"); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 542 | |
| 543 | ADD_TEST(test_no_scts_in_certificate); |
| 544 | ADD_TEST(test_one_sct_in_certificate); |
| 545 | ADD_TEST(test_multiple_scts_in_certificate); |
Rob Percival | 7d054e5 | 2016-02-29 17:33:02 +0000 | [diff] [blame] | 546 | ADD_TEST(test_verify_one_sct); |
| 547 | ADD_TEST(test_verify_multiple_scts); |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 548 | ADD_TEST(test_decode_tls_sct); |
| 549 | ADD_TEST(test_encode_tls_sct); |
| 550 | |
| 551 | result = run_tests(argv[0]); |
| 552 | ERR_print_errors_fp(stderr); |
| 553 | |
Richard Levitte | c469a9a | 2016-03-09 14:10:05 +0100 | [diff] [blame] | 554 | OPENSSL_free(ct_dir); |
| 555 | OPENSSL_free(certs_dir); |
| 556 | |
FdaSilvaYY | f0e1fe7 | 2016-03-18 23:17:39 +0100 | [diff] [blame] | 557 | #ifndef OPENSSL_NO_CRYPTO_MDEBUG |
| 558 | if (CRYPTO_mem_leaks_fp(stderr) <= 0) |
| 559 | result = 1; |
| 560 | #endif |
| 561 | |
Rob Percival | 5dc3122 | 2016-02-22 16:51:44 +0000 | [diff] [blame] | 562 | return result; |
| 563 | } |
| 564 | |
| 565 | #else /* OPENSSL_NO_CT */ |
| 566 | |
| 567 | int main(int argc, char* argv[]) |
| 568 | { |
| 569 | return EXIT_SUCCESS; |
| 570 | } |
| 571 | |
| 572 | #endif /* OPENSSL_NO_CT */ |