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