1 /* 2 * Copyright 2015-2016 The OpenSSL Project Authors. All Rights Reserved. 3 * 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 8 */ 9 10 #include <stdio.h> 11 #include "../e_os.h" 12 #include <string.h> 13 #include <openssl/bio.h> 14 #include <openssl/crypto.h> 15 #include <openssl/err.h> 16 #include <openssl/pem.h> 17 #include <openssl/x509.h> 18 19 #include "testutil.h" 20 21 #define PARAM_TIME 1474934400 /* Sep 27th, 2016 */ 22 23 static const char *kCRLTestRoot[] = { 24 "-----BEGIN CERTIFICATE-----\n", 25 "MIIDbzCCAlegAwIBAgIJAODri7v0dDUFMA0GCSqGSIb3DQEBCwUAME4xCzAJBgNV\n", 26 "BAYTAlVTMRMwEQYDVQQIDApDYWxpZm9ybmlhMRYwFAYDVQQHDA1Nb3VudGFpbiBW\n", 27 "aWV3MRIwEAYDVQQKDAlCb3JpbmdTU0wwHhcNMTYwOTI2MTUwNjI2WhcNMjYwOTI0\n", 28 "MTUwNjI2WjBOMQswCQYDVQQGEwJVUzETMBEGA1UECAwKQ2FsaWZvcm5pYTEWMBQG\n", 29 "A1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJQm9yaW5nU1NMMIIBIjANBgkq\n", 30 "hkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo16WiLWZuaymsD8n5SKPmxV1y6jjgr3B\n", 31 "S/dUBpbrzd1aeFzNlI8l2jfAnzUyp+I21RQ+nh/MhqjGElkTtK9xMn1Y+S9GMRh+\n", 32 "5R/Du0iCb1tCZIPY07Tgrb0KMNWe0v2QKVVruuYSgxIWodBfxlKO64Z8AJ5IbnWp\n", 33 "uRqO6rctN9qUoMlTIAB6dL4G0tDJ/PGFWOJYwOMEIX54bly2wgyYJVBKiRRt4f7n\n", 34 "8H922qmvPNA9idmX9G1VAtgV6x97XXi7ULORIQvn9lVQF6nTYDBJhyuPB+mLThbL\n", 35 "P2o9orxGx7aCtnnBZUIxUvHNOI0FaSaZH7Fi0xsZ/GkG2HZe7ImPJwIDAQABo1Aw\n", 36 "TjAdBgNVHQ4EFgQUWPt3N5cZ/CRvubbrkqfBnAqhq94wHwYDVR0jBBgwFoAUWPt3\n", 37 "N5cZ/CRvubbrkqfBnAqhq94wDAYDVR0TBAUwAwEB/zANBgkqhkiG9w0BAQsFAAOC\n", 38 "AQEAORu6M0MOwXy+3VEBwNilfTxyqDfruQsc1jA4PT8Oe8zora1WxE1JB4q2FJOz\n", 39 "EAuM3H/NXvEnBuN+ITvKZAJUfm4NKX97qmjMJwLKWe1gVv+VQTr63aR7mgWJReQN\n", 40 "XdMztlVeZs2dppV6uEg3ia1X0G7LARxGpA9ETbMyCpb39XxlYuTClcbA5ftDN99B\n", 41 "3Xg9KNdd++Ew22O3HWRDvdDpTO/JkzQfzi3sYwUtzMEonENhczJhGf7bQMmvL/w5\n", 42 "24Wxj4Z7KzzWIHsNqE/RIs6RV3fcW61j/mRgW2XyoWnMVeBzvcJr9NXp4VQYmFPw\n", 43 "amd8GKMZQvP0ufGnUn7D7uartA==\n", 44 "-----END CERTIFICATE-----\n", 45 NULL 46 }; 47 48 static const char *kCRLTestLeaf[] = { 49 "-----BEGIN CERTIFICATE-----\n", 50 "MIIDkDCCAnigAwIBAgICEAAwDQYJKoZIhvcNAQELBQAwTjELMAkGA1UEBhMCVVMx\n", 51 "EzARBgNVBAgMCkNhbGlmb3JuaWExFjAUBgNVBAcMDU1vdW50YWluIFZpZXcxEjAQ\n", 52 "BgNVBAoMCUJvcmluZ1NTTDAeFw0xNjA5MjYxNTA4MzFaFw0xNzA5MjYxNTA4MzFa\n", 53 "MEsxCzAJBgNVBAYTAlVTMRMwEQYDVQQIDApDYWxpZm9ybmlhMRIwEAYDVQQKDAlC\n", 54 "b3JpbmdTU0wxEzARBgNVBAMMCmJvcmluZy5zc2wwggEiMA0GCSqGSIb3DQEBAQUA\n", 55 "A4IBDwAwggEKAoIBAQDc5v1S1M0W+QWM+raWfO0LH8uvqEwuJQgODqMaGnSlWUx9\n", 56 "8iQcnWfjyPja3lWg9K62hSOFDuSyEkysKHDxijz5R93CfLcfnVXjWQDJe7EJTTDP\n", 57 "ozEvxN6RjAeYv7CF000euYr3QT5iyBjg76+bon1p0jHZBJeNPP1KqGYgyxp+hzpx\n", 58 "e0gZmTlGAXd8JQK4v8kpdYwD6PPifFL/jpmQpqOtQmH/6zcLjY4ojmqpEdBqIKIX\n", 59 "+saA29hMq0+NK3K+wgg31RU+cVWxu3tLOIiesETkeDgArjWRS1Vkzbi4v9SJxtNu\n", 60 "OZuAxWiynRJw3JwH/OFHYZIvQqz68ZBoj96cepjPAgMBAAGjezB5MAkGA1UdEwQC\n", 61 "MAAwLAYJYIZIAYb4QgENBB8WHU9wZW5TU0wgR2VuZXJhdGVkIENlcnRpZmljYXRl\n", 62 "MB0GA1UdDgQWBBTGn0OVVh/aoYt0bvEKG+PIERqnDzAfBgNVHSMEGDAWgBRY+3c3\n", 63 "lxn8JG+5tuuSp8GcCqGr3jANBgkqhkiG9w0BAQsFAAOCAQEAd2nM8gCQN2Dc8QJw\n", 64 "XSZXyuI3DBGGCHcay/3iXu0JvTC3EiQo8J6Djv7WLI0N5KH8mkm40u89fJAB2lLZ\n", 65 "ShuHVtcC182bOKnePgwp9CNwQ21p0rDEu/P3X46ZvFgdxx82E9xLa0tBB8PiPDWh\n", 66 "lV16jbaKTgX5AZqjnsyjR5o9/mbZVupZJXx5Syq+XA8qiJfstSYJs4KyKK9UOjql\n", 67 "ICkJVKpi2ahDBqX4MOH4SLfzVk8pqSpviS6yaA1RXqjpkxiN45WWaXDldVHMSkhC\n", 68 "5CNXsXi4b1nAntu89crwSLA3rEwzCWeYj+BX7e1T9rr3oJdwOU/2KQtW1js1yQUG\n", 69 "tjJMFw==\n", 70 "-----END CERTIFICATE-----\n", 71 NULL 72 }; 73 74 static const char *kBasicCRL[] = { 75 "-----BEGIN X509 CRL-----\n", 76 "MIIBpzCBkAIBATANBgkqhkiG9w0BAQsFADBOMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 77 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJ\n", 78 "Qm9yaW5nU1NMFw0xNjA5MjYxNTEwNTVaFw0xNjEwMjYxNTEwNTVaoA4wDDAKBgNV\n", 79 "HRQEAwIBATANBgkqhkiG9w0BAQsFAAOCAQEAnrBKKgvd9x9zwK9rtUvVeFeJ7+LN\n", 80 "ZEAc+a5oxpPNEsJx6hXoApYEbzXMxuWBQoCs5iEBycSGudct21L+MVf27M38KrWo\n", 81 "eOkq0a2siqViQZO2Fb/SUFR0k9zb8xl86Zf65lgPplALun0bV/HT7MJcl04Tc4os\n", 82 "dsAReBs5nqTGNEd5AlC1iKHvQZkM//MD51DspKnDpsDiUVi54h9C1SpfZmX8H2Vv\n", 83 "diyu0fZ/bPAM3VAGawatf/SyWfBMyKpoPXEG39oAzmjjOj8en82psn7m474IGaho\n", 84 "/vBbhl1ms5qQiLYPjm4YELtnXQoFyC72tBjbdFd/ZE9k4CNKDbxFUXFbkw==\n", 85 "-----END X509 CRL-----\n", 86 NULL 87 }; 88 89 static const char *kRevokedCRL[] = { 90 "-----BEGIN X509 CRL-----\n", 91 "MIIBvjCBpwIBATANBgkqhkiG9w0BAQsFADBOMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 92 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJ\n", 93 "Qm9yaW5nU1NMFw0xNjA5MjYxNTEyNDRaFw0xNjEwMjYxNTEyNDRaMBUwEwICEAAX\n", 94 "DTE2MDkyNjE1MTIyNlqgDjAMMAoGA1UdFAQDAgECMA0GCSqGSIb3DQEBCwUAA4IB\n", 95 "AQCUGaM4DcWzlQKrcZvI8TMeR8BpsvQeo5BoI/XZu2a8h//PyRyMwYeaOM+3zl0d\n", 96 "sjgCT8b3C1FPgT+P2Lkowv7rJ+FHJRNQkogr+RuqCSPTq65ha4WKlRGWkMFybzVH\n", 97 "NloxC+aU3lgp/NlX9yUtfqYmJek1CDrOOGPrAEAwj1l/BUeYKNGqfBWYJQtPJu+5\n", 98 "OaSvIYGpETCZJscUWODmLEb/O3DM438vLvxonwGqXqS0KX37+CHpUlyhnSovxXxp\n", 99 "Pz4aF+L7OtczxL0GYtD2fR9B7TDMqsNmHXgQrixvvOY7MUdLGbd4RfJL3yA53hyO\n", 100 "xzfKY2TzxLiOmctG0hXFkH5J\n", 101 "-----END X509 CRL-----\n", 102 NULL 103 }; 104 105 static const char *kBadIssuerCRL[] = { 106 "-----BEGIN X509 CRL-----\n", 107 "MIIBwjCBqwIBATANBgkqhkiG9w0BAQsFADBSMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 108 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzEWMBQGA1UECgwN\n", 109 "Tm90IEJvcmluZ1NTTBcNMTYwOTI2MTUxMjQ0WhcNMTYxMDI2MTUxMjQ0WjAVMBMC\n", 110 "AhAAFw0xNjA5MjYxNTEyMjZaoA4wDDAKBgNVHRQEAwIBAjANBgkqhkiG9w0BAQsF\n", 111 "AAOCAQEAlBmjOA3Fs5UCq3GbyPEzHkfAabL0HqOQaCP12btmvIf/z8kcjMGHmjjP\n", 112 "t85dHbI4Ak/G9wtRT4E/j9i5KML+6yfhRyUTUJKIK/kbqgkj06uuYWuFipURlpDB\n", 113 "cm81RzZaMQvmlN5YKfzZV/clLX6mJiXpNQg6zjhj6wBAMI9ZfwVHmCjRqnwVmCUL\n", 114 "TybvuTmkryGBqREwmSbHFFjg5ixG/ztwzON/Ly78aJ8Bql6ktCl9+/gh6VJcoZ0q\n", 115 "L8V8aT8+Ghfi+zrXM8S9BmLQ9n0fQe0wzKrDZh14EK4sb7zmOzFHSxm3eEXyS98g\n", 116 "Od4cjsc3ymNk88S4jpnLRtIVxZB+SQ==\n", 117 "-----END X509 CRL-----\n", 118 NULL 119 }; 120 121 /* 122 * This is kBasicCRL but with a critical issuing distribution point 123 * extension. 124 */ 125 static const char *kKnownCriticalCRL[] = { 126 "-----BEGIN X509 CRL-----\n", 127 "MIIBujCBowIBATANBgkqhkiG9w0BAQsFADBOMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 128 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJ\n", 129 "Qm9yaW5nU1NMFw0xNjA5MjYxNTEwNTVaFw0xNjEwMjYxNTEwNTVaoCEwHzAKBgNV\n", 130 "HRQEAwIBATARBgNVHRwBAf8EBzAFoQMBAf8wDQYJKoZIhvcNAQELBQADggEBAA+3\n", 131 "i+5e5Ub8sccfgOBs6WVJFI9c8gvJjrJ8/dYfFIAuCyeocs7DFXn1n13CRZ+URR/Q\n", 132 "mVWgU28+xeusuSPYFpd9cyYTcVyNUGNTI3lwgcE/yVjPaOmzSZKdPakApRxtpKKQ\n", 133 "NN/56aQz3bnT/ZSHQNciRB8U6jiD9V30t0w+FDTpGaG+7bzzUH3UVF9xf9Ctp60A\n", 134 "3mfLe0scas7owSt4AEFuj2SPvcE7yvdOXbu+IEv21cEJUVExJAbhvIweHXh6yRW+\n", 135 "7VVeiNzdIjkZjyTmAzoXGha4+wbxXyBRbfH+XWcO/H+8nwyG8Gktdu2QB9S9nnIp\n", 136 "o/1TpfOMSGhMyMoyPrk=\n", 137 "-----END X509 CRL-----\n", 138 NULL 139 }; 140 141 /* 142 * kUnknownCriticalCRL is kBasicCRL but with an unknown critical extension. 143 */ 144 static const char *kUnknownCriticalCRL[] = { 145 "-----BEGIN X509 CRL-----\n", 146 "MIIBvDCBpQIBATANBgkqhkiG9w0BAQsFADBOMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 147 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJ\n", 148 "Qm9yaW5nU1NMFw0xNjA5MjYxNTEwNTVaFw0xNjEwMjYxNTEwNTVaoCMwITAKBgNV\n", 149 "HRQEAwIBATATBgwqhkiG9xIEAYS3CQABAf8EADANBgkqhkiG9w0BAQsFAAOCAQEA\n", 150 "GvBP0xqL509InMj/3493YVRV+ldTpBv5uTD6jewzf5XdaxEQ/VjTNe5zKnxbpAib\n", 151 "Kf7cwX0PMSkZjx7k7kKdDlEucwVvDoqC+O9aJcqVmM6GDyNb9xENxd0XCXja6MZC\n", 152 "yVgP4AwLauB2vSiEprYJyI1APph3iAEeDm60lTXX/wBM/tupQDDujKh2GPyvBRfJ\n", 153 "+wEDwGg3ICwvu4gO4zeC5qnFR+bpL9t5tOMAQnVZ0NWv+k7mkd2LbHdD44dxrfXC\n", 154 "nhtfERx99SDmC/jtUAJrGhtCO8acr7exCeYcduN7KKCm91OeCJKK6OzWst0Og1DB\n", 155 "kwzzU2rL3G65CrZ7H0SZsQ==\n", 156 "-----END X509 CRL-----\n", 157 NULL 158 }; 159 160 /* 161 * kUnknownCriticalCRL2 is kBasicCRL but with a critical issuing distribution 162 * point extension followed by an unknown critical extension 163 */ 164 static const char *kUnknownCriticalCRL2[] = { 165 "-----BEGIN X509 CRL-----\n", 166 "MIIBzzCBuAIBATANBgkqhkiG9w0BAQsFADBOMQswCQYDVQQGEwJVUzETMBEGA1UE\n", 167 "CAwKQ2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzESMBAGA1UECgwJ\n", 168 "Qm9yaW5nU1NMFw0xNjA5MjYxNTEwNTVaFw0xNjEwMjYxNTEwNTVaoDYwNDAKBgNV\n", 169 "HRQEAwIBATARBgNVHRwBAf8EBzAFoQMBAf8wEwYMKoZIhvcSBAGEtwkAAQH/BAAw\n", 170 "DQYJKoZIhvcNAQELBQADggEBACTcpQC8jXL12JN5YzOcQ64ubQIe0XxRAd30p7qB\n", 171 "BTXGpgqBjrjxRfLms7EBYodEXB2oXMsDq3km0vT1MfYdsDD05S+SQ9CDsq/pUfaC\n", 172 "E2WNI5p8WircRnroYvbN2vkjlRbMd1+yNITohXYXCJwjEOAWOx3XIM10bwPYBv4R\n", 173 "rDobuLHoMgL3yHgMHmAkP7YpkBucNqeBV8cCdeAZLuhXFWi6yfr3r/X18yWbC/r2\n", 174 "2xXdkrSqXLFo7ToyP8YKTgiXpya4x6m53biEYwa2ULlas0igL6DK7wjYZX95Uy7H\n", 175 "GKljn9weIYiMPV/BzGymwfv2EW0preLwtyJNJPaxbdin6Jc=\n", 176 "-----END X509 CRL-----\n", 177 NULL 178 }; 179 180 181 /* 182 * Glue an array of strings together. Return a BIO and put the string 183 * into |*out| so we can free it. 184 */ 185 static BIO *glue(const char **pem, char **out) 186 { 187 char *dest; 188 int i; 189 size_t s = 0; 190 191 /* Glue the strings together. */ 192 for (i = 0; pem[i] != NULL; ++i) 193 s += strlen(pem[i]); 194 dest = *out = OPENSSL_malloc(s + 1); 195 if (dest == NULL) 196 return NULL; 197 for (i = 0; pem[i] != NULL; ++i) 198 dest += strlen(strcpy(dest, pem[i])); 199 return BIO_new_mem_buf(*out, s); 200 } 201 202 /* 203 * Create a CRL from an array of strings. 204 */ 205 static X509_CRL *CRL_from_strings(const char **pem) 206 { 207 char *p; 208 BIO *b = glue(pem, &p); 209 X509_CRL *crl = PEM_read_bio_X509_CRL(b, NULL, NULL, NULL); 210 211 OPENSSL_free(p); 212 BIO_free(b); 213 return crl; 214 } 215 216 /* 217 * Create an X509 from an array of strings. 218 */ 219 static X509 *X509_from_strings(const char **pem) 220 { 221 char *p; 222 BIO *b = glue(pem, &p); 223 X509 *x = PEM_read_bio_X509(b, NULL, NULL, NULL); 224 225 OPENSSL_free(p); 226 BIO_free(b); 227 return x; 228 } 229 230 /* 231 * Verify |leaf| certificate (chained up to |root|). |crls| if 232 * not NULL, is a list of CRLs to include in the verification. It is 233 * also free'd before returning, which is kinda yucky but convenient. 234 * Returns a value from X509_V_ERR_xxx or X509_V_OK. 235 */ 236 static int verify(X509 *leaf, X509 *root, STACK_OF(X509_CRL) *crls, 237 unsigned long flags) 238 { 239 X509_STORE_CTX *ctx = X509_STORE_CTX_new(); 240 X509_STORE *store = X509_STORE_new(); 241 X509_VERIFY_PARAM *param = X509_VERIFY_PARAM_new(); 242 STACK_OF(X509) *roots = sk_X509_new_null(); 243 int status = X509_V_ERR_UNSPECIFIED; 244 245 if (ctx == NULL || store == NULL || param == NULL || roots == NULL) 246 goto err; 247 248 /* Create a stack; upref the cert because we free it below. */ 249 X509_up_ref(root); 250 if (!sk_X509_push(roots, root)) 251 goto err; 252 253 if (!X509_STORE_CTX_init(ctx, store, leaf, NULL)) 254 goto err; 255 X509_STORE_CTX_set0_trusted_stack(ctx, roots); 256 X509_STORE_CTX_set0_crls(ctx, crls); 257 X509_VERIFY_PARAM_set_time(param, PARAM_TIME); 258 if (X509_VERIFY_PARAM_get_time(param) != PARAM_TIME) { 259 fprintf(stderr, "set_time/get_time mismatch.\n"); 260 goto err; 261 } 262 X509_VERIFY_PARAM_set_depth(param, 16); 263 if (flags) 264 X509_VERIFY_PARAM_set_flags(param, flags); 265 X509_STORE_CTX_set0_param(ctx, param); 266 267 ERR_clear_error(); 268 status = X509_verify_cert(ctx) == 1 ? X509_V_OK 269 : X509_STORE_CTX_get_error(ctx); 270 err: 271 sk_X509_pop_free(roots, X509_free); 272 sk_X509_CRL_pop_free(crls, X509_CRL_free); 273 X509_STORE_CTX_free(ctx); 274 X509_STORE_free(store); 275 return status; 276 } 277 278 /* 279 * Create a stack of CRL's. Upref each one because we call pop_free on 280 * the stack and need to keep the CRL's around until the test exits. 281 * Yes this crashes on malloc failure; it forces us to debug. 282 */ 283 static STACK_OF(X509_CRL) *make_CRL_stack(X509_CRL *x1, X509_CRL *x2) 284 { 285 STACK_OF(X509_CRL) *sk = sk_X509_CRL_new_null(); 286 287 sk_X509_CRL_push(sk, x1); 288 X509_CRL_up_ref(x1); 289 if (x2 != NULL) { 290 sk_X509_CRL_push(sk, x2); 291 X509_CRL_up_ref(x2); 292 } 293 return sk; 294 } 295 296 static int test_crl() 297 { 298 X509 *root = X509_from_strings(kCRLTestRoot); 299 X509 *leaf = X509_from_strings(kCRLTestLeaf); 300 X509_CRL *basic_crl = CRL_from_strings(kBasicCRL); 301 X509_CRL *revoked_crl = CRL_from_strings(kRevokedCRL); 302 X509_CRL *bad_issuer_crl = CRL_from_strings(kBadIssuerCRL); 303 X509_CRL *known_critical_crl = CRL_from_strings(kKnownCriticalCRL); 304 X509_CRL *unknown_critical_crl = CRL_from_strings(kUnknownCriticalCRL); 305 X509_CRL *unknown_critical_crl2 = CRL_from_strings(kUnknownCriticalCRL2); 306 int status = 0; 307 308 if (root == NULL || leaf == NULL || basic_crl == NULL 309 || revoked_crl == NULL || bad_issuer_crl == NULL 310 || known_critical_crl == NULL || unknown_critical_crl == NULL 311 || unknown_critical_crl2 == NULL) { 312 fprintf(stderr, "Failed to parse certificates and CRLs.\n"); 313 goto err; 314 } 315 316 if (verify(leaf, root, make_CRL_stack(basic_crl, NULL), 317 X509_V_FLAG_CRL_CHECK) != X509_V_OK) { 318 fprintf(stderr, "Cert with CRL didn't verify.\n"); 319 goto err; 320 } 321 322 if (verify(leaf, root, make_CRL_stack(basic_crl, revoked_crl), 323 X509_V_FLAG_CRL_CHECK) != X509_V_ERR_CERT_REVOKED) { 324 fprintf(stderr, "Revoked CRL wasn't checked.\n"); 325 goto err; 326 } 327 328 if (verify(leaf, root, NULL, 329 X509_V_FLAG_CRL_CHECK) != X509_V_ERR_UNABLE_TO_GET_CRL) { 330 fprintf(stderr, "CRLs were not required.\n"); 331 goto err; 332 } 333 334 if (verify(leaf, root, make_CRL_stack(bad_issuer_crl, NULL), 335 X509_V_FLAG_CRL_CHECK) != X509_V_ERR_UNABLE_TO_GET_CRL) { 336 fprintf(stderr, "Bad CRL issuer was unnoticed.\n"); 337 goto err; 338 } 339 340 if (verify(leaf, root, make_CRL_stack(known_critical_crl, NULL), 341 X509_V_FLAG_CRL_CHECK) != X509_V_OK) { 342 fprintf(stderr, "CRL with known critical extension was rejected.\n"); 343 goto err; 344 } 345 346 if (verify(leaf, root, make_CRL_stack(unknown_critical_crl, NULL), 347 X509_V_FLAG_CRL_CHECK) != 348 X509_V_ERR_UNHANDLED_CRITICAL_CRL_EXTENSION) { 349 fprintf(stderr, "CRL with unknown critical extension was accepted.\n"); 350 goto err; 351 } 352 353 if (verify(leaf, root, make_CRL_stack(unknown_critical_crl2, NULL), 354 X509_V_FLAG_CRL_CHECK) != 355 X509_V_ERR_UNHANDLED_CRITICAL_CRL_EXTENSION) { 356 fprintf(stderr, "CRL with unknown critical extension (2) was accepted.\n"); 357 goto err; 358 } 359 360 status = 1; 361 362 err: 363 X509_free(root); 364 X509_free(leaf); 365 X509_CRL_free(basic_crl); 366 X509_CRL_free(revoked_crl); 367 X509_CRL_free(bad_issuer_crl); 368 X509_CRL_free(known_critical_crl); 369 X509_CRL_free(unknown_critical_crl); 370 X509_CRL_free(unknown_critical_crl2); 371 return status; 372 } 373 374 int main() 375 { 376 ADD_TEST(test_crl); 377 return run_tests("crltest"); 378 } 379