blob: f6442030d16ef1bd083df59fede08af5ba8e3cda [file] [log] [blame]
Jens Wiklander817466c2018-05-22 13:49:31 +02001/*
Jens Wiklander32b31802023-10-06 16:59:46 +02002 * X.509 Certificate Revocation List (CRL) parsing
Jens Wiklander817466c2018-05-22 13:49:31 +02003 *
Jerome Forissier79013242021-07-28 10:24:04 +02004 * Copyright The Mbed TLS Contributors
5 * SPDX-License-Identifier: Apache-2.0
Jens Wiklander817466c2018-05-22 13:49:31 +02006 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Jens Wiklander817466c2018-05-22 13:49:31 +020018 */
19/*
20 * The ITU-T X.509 standard defines a certificate format for PKI.
21 *
22 * http://www.ietf.org/rfc/rfc5280.txt (Certificates and CRLs)
23 * http://www.ietf.org/rfc/rfc3279.txt (Alg IDs for CRLs)
24 * http://www.ietf.org/rfc/rfc2986.txt (CSRs, aka PKCS#10)
25 *
26 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.680-0207.pdf
27 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.690-0207.pdf
28 */
29
Jerome Forissier79013242021-07-28 10:24:04 +020030#include "common.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020031
32#if defined(MBEDTLS_X509_CRL_PARSE_C)
33
34#include "mbedtls/x509_crl.h"
Jerome Forissier11fa71b2020-04-20 17:17:56 +020035#include "mbedtls/error.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020036#include "mbedtls/oid.h"
Jens Wiklander3d3b0592019-03-20 15:30:29 +010037#include "mbedtls/platform_util.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020038
39#include <string.h>
40
41#if defined(MBEDTLS_PEM_PARSE_C)
42#include "mbedtls/pem.h"
43#endif
44
Jens Wiklander817466c2018-05-22 13:49:31 +020045#include "mbedtls/platform.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020046
Jerome Forissier039e02d2022-08-09 17:10:15 +020047#if defined(MBEDTLS_HAVE_TIME)
Jens Wiklander817466c2018-05-22 13:49:31 +020048#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
49#include <windows.h>
50#else
51#include <time.h>
52#endif
Jerome Forissier039e02d2022-08-09 17:10:15 +020053#endif
Jens Wiklander817466c2018-05-22 13:49:31 +020054
55#if defined(MBEDTLS_FS_IO) || defined(EFIX64) || defined(EFI32)
56#include <stdio.h>
57#endif
58
Jens Wiklander817466c2018-05-22 13:49:31 +020059/*
60 * Version ::= INTEGER { v1(0), v2(1) }
61 */
Jens Wiklander32b31802023-10-06 16:59:46 +020062static int x509_crl_get_version(unsigned char **p,
63 const unsigned char *end,
64 int *ver)
Jens Wiklander817466c2018-05-22 13:49:31 +020065{
Jerome Forissier11fa71b2020-04-20 17:17:56 +020066 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +020067
Jens Wiklander32b31802023-10-06 16:59:46 +020068 if ((ret = mbedtls_asn1_get_int(p, end, ver)) != 0) {
69 if (ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG) {
Jens Wiklander817466c2018-05-22 13:49:31 +020070 *ver = 0;
Jens Wiklander32b31802023-10-06 16:59:46 +020071 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +020072 }
73
Jens Wiklander32b31802023-10-06 16:59:46 +020074 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_VERSION, ret);
Jens Wiklander817466c2018-05-22 13:49:31 +020075 }
76
Jens Wiklander32b31802023-10-06 16:59:46 +020077 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +020078}
79
80/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +010081 * X.509 CRL v2 extensions
82 *
83 * We currently don't parse any extension's content, but we do check that the
84 * list of extensions is well-formed and abort on critical extensions (that
85 * are unsupported as we don't support any extension so far)
Jens Wiklander817466c2018-05-22 13:49:31 +020086 */
Jens Wiklander32b31802023-10-06 16:59:46 +020087static int x509_get_crl_ext(unsigned char **p,
88 const unsigned char *end,
89 mbedtls_x509_buf *ext)
Jens Wiklander817466c2018-05-22 13:49:31 +020090{
Jerome Forissier11fa71b2020-04-20 17:17:56 +020091 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +020092
Jens Wiklander32b31802023-10-06 16:59:46 +020093 if (*p == end) {
94 return 0;
95 }
Jerome Forissier5b25c762020-04-07 11:18:49 +020096
Jens Wiklander3d3b0592019-03-20 15:30:29 +010097 /*
98 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
99 * -- if present, version MUST be v2
100 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200101 if ((ret = mbedtls_x509_get_ext(p, end, ext, 0)) != 0) {
102 return ret;
103 }
Jerome Forissier5b25c762020-04-07 11:18:49 +0200104
105 end = ext->p + ext->len;
Jens Wiklander817466c2018-05-22 13:49:31 +0200106
Jens Wiklander32b31802023-10-06 16:59:46 +0200107 while (*p < end) {
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100108 /*
109 * Extension ::= SEQUENCE {
110 * extnID OBJECT IDENTIFIER,
111 * critical BOOLEAN DEFAULT FALSE,
112 * extnValue OCTET STRING }
113 */
114 int is_critical = 0;
115 const unsigned char *end_ext_data;
116 size_t len;
117
118 /* Get enclosing sequence tag */
Jens Wiklander32b31802023-10-06 16:59:46 +0200119 if ((ret = mbedtls_asn1_get_tag(p, end, &len,
120 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
121 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
122 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200123
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100124 end_ext_data = *p + len;
125
126 /* Get OID (currently ignored) */
Jens Wiklander32b31802023-10-06 16:59:46 +0200127 if ((ret = mbedtls_asn1_get_tag(p, end_ext_data, &len,
128 MBEDTLS_ASN1_OID)) != 0) {
129 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100130 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200131 *p += len;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100132
133 /* Get optional critical */
Jens Wiklander32b31802023-10-06 16:59:46 +0200134 if ((ret = mbedtls_asn1_get_bool(p, end_ext_data,
135 &is_critical)) != 0 &&
136 (ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG)) {
137 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100138 }
139
140 /* Data should be octet string type */
Jens Wiklander32b31802023-10-06 16:59:46 +0200141 if ((ret = mbedtls_asn1_get_tag(p, end_ext_data, &len,
142 MBEDTLS_ASN1_OCTET_STRING)) != 0) {
143 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
144 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100145
146 /* Ignore data so far and just check its length */
147 *p += len;
Jens Wiklander32b31802023-10-06 16:59:46 +0200148 if (*p != end_ext_data) {
149 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
150 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
151 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100152
153 /* Abort on (unsupported) critical extensions */
Jens Wiklander32b31802023-10-06 16:59:46 +0200154 if (is_critical) {
155 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
156 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG);
157 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200158 }
159
Jens Wiklander32b31802023-10-06 16:59:46 +0200160 if (*p != end) {
161 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
162 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
163 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200164
Jens Wiklander32b31802023-10-06 16:59:46 +0200165 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200166}
167
168/*
169 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
170 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200171static int x509_get_crl_entry_ext(unsigned char **p,
172 const unsigned char *end,
173 mbedtls_x509_buf *ext)
Jens Wiklander817466c2018-05-22 13:49:31 +0200174{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200175 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200176 size_t len = 0;
177
178 /* OPTIONAL */
Jens Wiklander32b31802023-10-06 16:59:46 +0200179 if (end <= *p) {
180 return 0;
181 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200182
183 ext->tag = **p;
184 ext->p = *p;
185
186 /*
187 * Get CRL-entry extension sequence header
188 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
189 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200190 if ((ret = mbedtls_asn1_get_tag(p, end, &ext->len,
191 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
192 if (ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200193 ext->p = NULL;
Jens Wiklander32b31802023-10-06 16:59:46 +0200194 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200195 }
Jens Wiklander32b31802023-10-06 16:59:46 +0200196 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
Jens Wiklander817466c2018-05-22 13:49:31 +0200197 }
198
199 end = *p + ext->len;
200
Jens Wiklander32b31802023-10-06 16:59:46 +0200201 if (end != *p + ext->len) {
202 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
203 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
204 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200205
Jens Wiklander32b31802023-10-06 16:59:46 +0200206 while (*p < end) {
207 if ((ret = mbedtls_asn1_get_tag(p, end, &len,
208 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
209 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
210 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200211
212 *p += len;
213 }
214
Jens Wiklander32b31802023-10-06 16:59:46 +0200215 if (*p != end) {
216 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
217 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
218 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200219
Jens Wiklander32b31802023-10-06 16:59:46 +0200220 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200221}
222
223/*
224 * X.509 CRL Entries
225 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200226static int x509_get_entries(unsigned char **p,
227 const unsigned char *end,
228 mbedtls_x509_crl_entry *entry)
Jens Wiklander817466c2018-05-22 13:49:31 +0200229{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200230 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200231 size_t entry_len;
232 mbedtls_x509_crl_entry *cur_entry = entry;
233
Jens Wiklander32b31802023-10-06 16:59:46 +0200234 if (*p == end) {
235 return 0;
236 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200237
Jens Wiklander32b31802023-10-06 16:59:46 +0200238 if ((ret = mbedtls_asn1_get_tag(p, end, &entry_len,
239 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED)) != 0) {
240 if (ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG) {
241 return 0;
242 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200243
Jens Wiklander32b31802023-10-06 16:59:46 +0200244 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200245 }
246
247 end = *p + entry_len;
248
Jens Wiklander32b31802023-10-06 16:59:46 +0200249 while (*p < end) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200250 size_t len2;
251 const unsigned char *end2;
252
Jerome Forissier79013242021-07-28 10:24:04 +0200253 cur_entry->raw.tag = **p;
Jens Wiklander32b31802023-10-06 16:59:46 +0200254 if ((ret = mbedtls_asn1_get_tag(p, end, &len2,
255 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED)) != 0) {
256 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200257 }
258
Jens Wiklander817466c2018-05-22 13:49:31 +0200259 cur_entry->raw.p = *p;
260 cur_entry->raw.len = len2;
261 end2 = *p + len2;
262
Jens Wiklander32b31802023-10-06 16:59:46 +0200263 if ((ret = mbedtls_x509_get_serial(p, end2, &cur_entry->serial)) != 0) {
264 return ret;
265 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200266
Jens Wiklander32b31802023-10-06 16:59:46 +0200267 if ((ret = mbedtls_x509_get_time(p, end2,
268 &cur_entry->revocation_date)) != 0) {
269 return ret;
270 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200271
Jens Wiklander32b31802023-10-06 16:59:46 +0200272 if ((ret = x509_get_crl_entry_ext(p, end2,
273 &cur_entry->entry_ext)) != 0) {
274 return ret;
275 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200276
Jens Wiklander32b31802023-10-06 16:59:46 +0200277 if (*p < end) {
278 cur_entry->next = mbedtls_calloc(1, sizeof(mbedtls_x509_crl_entry));
Jens Wiklander817466c2018-05-22 13:49:31 +0200279
Jens Wiklander32b31802023-10-06 16:59:46 +0200280 if (cur_entry->next == NULL) {
281 return MBEDTLS_ERR_X509_ALLOC_FAILED;
282 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200283
284 cur_entry = cur_entry->next;
285 }
286 }
287
Jens Wiklander32b31802023-10-06 16:59:46 +0200288 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200289}
290
291/*
292 * Parse one CRLs in DER format and append it to the chained list
293 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200294int mbedtls_x509_crl_parse_der(mbedtls_x509_crl *chain,
295 const unsigned char *buf, size_t buflen)
Jens Wiklander817466c2018-05-22 13:49:31 +0200296{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200297 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200298 size_t len;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100299 unsigned char *p = NULL, *end = NULL;
Jens Wiklander817466c2018-05-22 13:49:31 +0200300 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
301 mbedtls_x509_crl *crl = chain;
302
303 /*
304 * Check for valid input
305 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200306 if (crl == NULL || buf == NULL) {
307 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
308 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200309
Jens Wiklander32b31802023-10-06 16:59:46 +0200310 memset(&sig_params1, 0, sizeof(mbedtls_x509_buf));
311 memset(&sig_params2, 0, sizeof(mbedtls_x509_buf));
312 memset(&sig_oid2, 0, sizeof(mbedtls_x509_buf));
Jens Wiklander817466c2018-05-22 13:49:31 +0200313
314 /*
315 * Add new CRL on the end of the chain if needed.
316 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200317 while (crl->version != 0 && crl->next != NULL) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200318 crl = crl->next;
Jens Wiklander32b31802023-10-06 16:59:46 +0200319 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200320
Jens Wiklander32b31802023-10-06 16:59:46 +0200321 if (crl->version != 0 && crl->next == NULL) {
322 crl->next = mbedtls_calloc(1, sizeof(mbedtls_x509_crl));
Jens Wiklander817466c2018-05-22 13:49:31 +0200323
Jens Wiklander32b31802023-10-06 16:59:46 +0200324 if (crl->next == NULL) {
325 mbedtls_x509_crl_free(crl);
326 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200327 }
328
Jens Wiklander32b31802023-10-06 16:59:46 +0200329 mbedtls_x509_crl_init(crl->next);
Jens Wiklander817466c2018-05-22 13:49:31 +0200330 crl = crl->next;
331 }
332
333 /*
334 * Copy raw DER-encoded CRL
335 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200336 if (buflen == 0) {
337 return MBEDTLS_ERR_X509_INVALID_FORMAT;
338 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100339
Jens Wiklander32b31802023-10-06 16:59:46 +0200340 p = mbedtls_calloc(1, buflen);
341 if (p == NULL) {
342 return MBEDTLS_ERR_X509_ALLOC_FAILED;
343 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200344
Jens Wiklander32b31802023-10-06 16:59:46 +0200345 memcpy(p, buf, buflen);
Jens Wiklander817466c2018-05-22 13:49:31 +0200346
347 crl->raw.p = p;
348 crl->raw.len = buflen;
349
350 end = p + buflen;
351
352 /*
353 * CertificateList ::= SEQUENCE {
354 * tbsCertList TBSCertList,
355 * signatureAlgorithm AlgorithmIdentifier,
356 * signatureValue BIT STRING }
357 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200358 if ((ret = mbedtls_asn1_get_tag(&p, end, &len,
359 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
360 mbedtls_x509_crl_free(crl);
361 return MBEDTLS_ERR_X509_INVALID_FORMAT;
Jens Wiklander817466c2018-05-22 13:49:31 +0200362 }
363
Jens Wiklander32b31802023-10-06 16:59:46 +0200364 if (len != (size_t) (end - p)) {
365 mbedtls_x509_crl_free(crl);
366 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_FORMAT,
367 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
Jens Wiklander817466c2018-05-22 13:49:31 +0200368 }
369
370 /*
371 * TBSCertList ::= SEQUENCE {
372 */
373 crl->tbs.p = p;
374
Jens Wiklander32b31802023-10-06 16:59:46 +0200375 if ((ret = mbedtls_asn1_get_tag(&p, end, &len,
376 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
377 mbedtls_x509_crl_free(crl);
378 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_FORMAT, ret);
Jens Wiklander817466c2018-05-22 13:49:31 +0200379 }
380
381 end = p + len;
382 crl->tbs.len = end - crl->tbs.p;
383
384 /*
385 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
386 * -- if present, MUST be v2
387 *
388 * signature AlgorithmIdentifier
389 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200390 if ((ret = x509_crl_get_version(&p, end, &crl->version)) != 0 ||
391 (ret = mbedtls_x509_get_alg(&p, end, &crl->sig_oid, &sig_params1)) != 0) {
392 mbedtls_x509_crl_free(crl);
393 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200394 }
395
Jens Wiklander32b31802023-10-06 16:59:46 +0200396 if (crl->version < 0 || crl->version > 1) {
397 mbedtls_x509_crl_free(crl);
398 return MBEDTLS_ERR_X509_UNKNOWN_VERSION;
Jens Wiklander817466c2018-05-22 13:49:31 +0200399 }
400
401 crl->version++;
402
Jens Wiklander32b31802023-10-06 16:59:46 +0200403 if ((ret = mbedtls_x509_get_sig_alg(&crl->sig_oid, &sig_params1,
404 &crl->sig_md, &crl->sig_pk,
405 &crl->sig_opts)) != 0) {
406 mbedtls_x509_crl_free(crl);
407 return MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG;
Jens Wiklander817466c2018-05-22 13:49:31 +0200408 }
409
410 /*
411 * issuer Name
412 */
413 crl->issuer_raw.p = p;
414
Jens Wiklander32b31802023-10-06 16:59:46 +0200415 if ((ret = mbedtls_asn1_get_tag(&p, end, &len,
416 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
417 mbedtls_x509_crl_free(crl);
418 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_FORMAT, ret);
Jens Wiklander817466c2018-05-22 13:49:31 +0200419 }
420
Jens Wiklander32b31802023-10-06 16:59:46 +0200421 if ((ret = mbedtls_x509_get_name(&p, p + len, &crl->issuer)) != 0) {
422 mbedtls_x509_crl_free(crl);
423 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200424 }
425
426 crl->issuer_raw.len = p - crl->issuer_raw.p;
427
428 /*
429 * thisUpdate Time
430 * nextUpdate Time OPTIONAL
431 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200432 if ((ret = mbedtls_x509_get_time(&p, end, &crl->this_update)) != 0) {
433 mbedtls_x509_crl_free(crl);
434 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200435 }
436
Jens Wiklander32b31802023-10-06 16:59:46 +0200437 if ((ret = mbedtls_x509_get_time(&p, end, &crl->next_update)) != 0) {
438 if (ret != (MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_DATE,
439 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG)) &&
440 ret != (MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_DATE,
441 MBEDTLS_ERR_ASN1_OUT_OF_DATA))) {
442 mbedtls_x509_crl_free(crl);
443 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200444 }
445 }
446
447 /*
448 * revokedCertificates SEQUENCE OF SEQUENCE {
449 * userCertificate CertificateSerialNumber,
450 * revocationDate Time,
451 * crlEntryExtensions Extensions OPTIONAL
452 * -- if present, MUST be v2
453 * } OPTIONAL
454 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200455 if ((ret = x509_get_entries(&p, end, &crl->entry)) != 0) {
456 mbedtls_x509_crl_free(crl);
457 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200458 }
459
460 /*
461 * crlExtensions EXPLICIT Extensions OPTIONAL
462 * -- if present, MUST be v2
463 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200464 if (crl->version == 2) {
465 ret = x509_get_crl_ext(&p, end, &crl->crl_ext);
Jens Wiklander817466c2018-05-22 13:49:31 +0200466
Jens Wiklander32b31802023-10-06 16:59:46 +0200467 if (ret != 0) {
468 mbedtls_x509_crl_free(crl);
469 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200470 }
471 }
472
Jens Wiklander32b31802023-10-06 16:59:46 +0200473 if (p != end) {
474 mbedtls_x509_crl_free(crl);
475 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_FORMAT,
476 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
Jens Wiklander817466c2018-05-22 13:49:31 +0200477 }
478
479 end = crl->raw.p + crl->raw.len;
480
481 /*
482 * signatureAlgorithm AlgorithmIdentifier,
483 * signatureValue BIT STRING
484 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200485 if ((ret = mbedtls_x509_get_alg(&p, end, &sig_oid2, &sig_params2)) != 0) {
486 mbedtls_x509_crl_free(crl);
487 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200488 }
489
Jens Wiklander32b31802023-10-06 16:59:46 +0200490 if (crl->sig_oid.len != sig_oid2.len ||
491 memcmp(crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len) != 0 ||
Jens Wiklander817466c2018-05-22 13:49:31 +0200492 sig_params1.len != sig_params2.len ||
Jens Wiklander32b31802023-10-06 16:59:46 +0200493 (sig_params1.len != 0 &&
494 memcmp(sig_params1.p, sig_params2.p, sig_params1.len) != 0)) {
495 mbedtls_x509_crl_free(crl);
496 return MBEDTLS_ERR_X509_SIG_MISMATCH;
Jens Wiklander817466c2018-05-22 13:49:31 +0200497 }
498
Jens Wiklander32b31802023-10-06 16:59:46 +0200499 if ((ret = mbedtls_x509_get_sig(&p, end, &crl->sig)) != 0) {
500 mbedtls_x509_crl_free(crl);
501 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200502 }
503
Jens Wiklander32b31802023-10-06 16:59:46 +0200504 if (p != end) {
505 mbedtls_x509_crl_free(crl);
506 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_FORMAT,
507 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
Jens Wiklander817466c2018-05-22 13:49:31 +0200508 }
509
Jens Wiklander32b31802023-10-06 16:59:46 +0200510 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200511}
512
513/*
514 * Parse one or more CRLs and add them to the chained list
515 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200516int mbedtls_x509_crl_parse(mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen)
Jens Wiklander817466c2018-05-22 13:49:31 +0200517{
518#if defined(MBEDTLS_PEM_PARSE_C)
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200519 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
520 size_t use_len = 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200521 mbedtls_pem_context pem;
522 int is_pem = 0;
523
Jens Wiklander32b31802023-10-06 16:59:46 +0200524 if (chain == NULL || buf == NULL) {
525 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
526 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200527
Jens Wiklander32b31802023-10-06 16:59:46 +0200528 do {
529 mbedtls_pem_init(&pem);
Jens Wiklander817466c2018-05-22 13:49:31 +0200530
531 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
532 // string
Jens Wiklander32b31802023-10-06 16:59:46 +0200533 if (buflen == 0 || buf[buflen - 1] != '\0') {
Jens Wiklander817466c2018-05-22 13:49:31 +0200534 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
Jens Wiklander32b31802023-10-06 16:59:46 +0200535 } else {
536 ret = mbedtls_pem_read_buffer(&pem,
537 "-----BEGIN X509 CRL-----",
538 "-----END X509 CRL-----",
539 buf, NULL, 0, &use_len);
540 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200541
Jens Wiklander32b31802023-10-06 16:59:46 +0200542 if (ret == 0) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200543 /*
544 * Was PEM encoded
545 */
546 is_pem = 1;
547
548 buflen -= use_len;
549 buf += use_len;
550
Jens Wiklander32b31802023-10-06 16:59:46 +0200551 if ((ret = mbedtls_x509_crl_parse_der(chain,
552 pem.buf, pem.buflen)) != 0) {
553 mbedtls_pem_free(&pem);
554 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200555 }
Jens Wiklander32b31802023-10-06 16:59:46 +0200556 } else if (is_pem) {
557 mbedtls_pem_free(&pem);
558 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200559 }
560
Jens Wiklander32b31802023-10-06 16:59:46 +0200561 mbedtls_pem_free(&pem);
Jens Wiklander817466c2018-05-22 13:49:31 +0200562 }
563 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
564 * And a valid CRL cannot be less than 1 byte anyway. */
Jens Wiklander32b31802023-10-06 16:59:46 +0200565 while (is_pem && buflen > 1);
Jens Wiklander817466c2018-05-22 13:49:31 +0200566
Jens Wiklander32b31802023-10-06 16:59:46 +0200567 if (is_pem) {
568 return 0;
569 } else
Jens Wiklander817466c2018-05-22 13:49:31 +0200570#endif /* MBEDTLS_PEM_PARSE_C */
Jens Wiklander32b31802023-10-06 16:59:46 +0200571 return mbedtls_x509_crl_parse_der(chain, buf, buflen);
Jens Wiklander817466c2018-05-22 13:49:31 +0200572}
573
574#if defined(MBEDTLS_FS_IO)
575/*
576 * Load one or more CRLs and add them to the chained list
577 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200578int mbedtls_x509_crl_parse_file(mbedtls_x509_crl *chain, const char *path)
Jens Wiklander817466c2018-05-22 13:49:31 +0200579{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200580 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200581 size_t n;
582 unsigned char *buf;
583
Jens Wiklander32b31802023-10-06 16:59:46 +0200584 if ((ret = mbedtls_pk_load_file(path, &buf, &n)) != 0) {
585 return ret;
586 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200587
Jens Wiklander32b31802023-10-06 16:59:46 +0200588 ret = mbedtls_x509_crl_parse(chain, buf, n);
Jens Wiklander817466c2018-05-22 13:49:31 +0200589
Jens Wiklander32b31802023-10-06 16:59:46 +0200590 mbedtls_platform_zeroize(buf, n);
591 mbedtls_free(buf);
Jens Wiklander817466c2018-05-22 13:49:31 +0200592
Jens Wiklander32b31802023-10-06 16:59:46 +0200593 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200594}
595#endif /* MBEDTLS_FS_IO */
596
Jens Wiklander32b31802023-10-06 16:59:46 +0200597#if !defined(MBEDTLS_X509_REMOVE_INFO)
Jens Wiklander817466c2018-05-22 13:49:31 +0200598/*
599 * Return an informational string about the certificate.
600 */
601#define BEFORE_COLON 14
602#define BC "14"
603/*
604 * Return an informational string about the CRL.
605 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200606int mbedtls_x509_crl_info(char *buf, size_t size, const char *prefix,
607 const mbedtls_x509_crl *crl)
Jens Wiklander817466c2018-05-22 13:49:31 +0200608{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200609 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200610 size_t n;
611 char *p;
612 const mbedtls_x509_crl_entry *entry;
613
614 p = buf;
615 n = size;
616
Jens Wiklander32b31802023-10-06 16:59:46 +0200617 ret = mbedtls_snprintf(p, n, "%sCRL version : %d",
618 prefix, crl->version);
Jens Wiklander817466c2018-05-22 13:49:31 +0200619 MBEDTLS_X509_SAFE_SNPRINTF;
620
Jens Wiklander32b31802023-10-06 16:59:46 +0200621 ret = mbedtls_snprintf(p, n, "\n%sissuer name : ", prefix);
Jens Wiklander817466c2018-05-22 13:49:31 +0200622 MBEDTLS_X509_SAFE_SNPRINTF;
Jens Wiklander32b31802023-10-06 16:59:46 +0200623 ret = mbedtls_x509_dn_gets(p, n, &crl->issuer);
Jens Wiklander817466c2018-05-22 13:49:31 +0200624 MBEDTLS_X509_SAFE_SNPRINTF;
625
Jens Wiklander32b31802023-10-06 16:59:46 +0200626 ret = mbedtls_snprintf(p, n, "\n%sthis update : " \
627 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
628 crl->this_update.year, crl->this_update.mon,
629 crl->this_update.day, crl->this_update.hour,
630 crl->this_update.min, crl->this_update.sec);
Jens Wiklander817466c2018-05-22 13:49:31 +0200631 MBEDTLS_X509_SAFE_SNPRINTF;
632
Jens Wiklander32b31802023-10-06 16:59:46 +0200633 ret = mbedtls_snprintf(p, n, "\n%snext update : " \
634 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
635 crl->next_update.year, crl->next_update.mon,
636 crl->next_update.day, crl->next_update.hour,
637 crl->next_update.min, crl->next_update.sec);
Jens Wiklander817466c2018-05-22 13:49:31 +0200638 MBEDTLS_X509_SAFE_SNPRINTF;
639
640 entry = &crl->entry;
641
Jens Wiklander32b31802023-10-06 16:59:46 +0200642 ret = mbedtls_snprintf(p, n, "\n%sRevoked certificates:",
643 prefix);
Jens Wiklander817466c2018-05-22 13:49:31 +0200644 MBEDTLS_X509_SAFE_SNPRINTF;
645
Jens Wiklander32b31802023-10-06 16:59:46 +0200646 while (entry != NULL && entry->raw.len != 0) {
647 ret = mbedtls_snprintf(p, n, "\n%sserial number: ",
648 prefix);
Jens Wiklander817466c2018-05-22 13:49:31 +0200649 MBEDTLS_X509_SAFE_SNPRINTF;
650
Jens Wiklander32b31802023-10-06 16:59:46 +0200651 ret = mbedtls_x509_serial_gets(p, n, &entry->serial);
Jens Wiklander817466c2018-05-22 13:49:31 +0200652 MBEDTLS_X509_SAFE_SNPRINTF;
653
Jens Wiklander32b31802023-10-06 16:59:46 +0200654 ret = mbedtls_snprintf(p, n, " revocation date: " \
655 "%04d-%02d-%02d %02d:%02d:%02d",
656 entry->revocation_date.year, entry->revocation_date.mon,
657 entry->revocation_date.day, entry->revocation_date.hour,
658 entry->revocation_date.min, entry->revocation_date.sec);
Jens Wiklander817466c2018-05-22 13:49:31 +0200659 MBEDTLS_X509_SAFE_SNPRINTF;
660
661 entry = entry->next;
662 }
663
Jens Wiklander32b31802023-10-06 16:59:46 +0200664 ret = mbedtls_snprintf(p, n, "\n%ssigned using : ", prefix);
Jens Wiklander817466c2018-05-22 13:49:31 +0200665 MBEDTLS_X509_SAFE_SNPRINTF;
666
Jens Wiklander32b31802023-10-06 16:59:46 +0200667 ret = mbedtls_x509_sig_alg_gets(p, n, &crl->sig_oid, crl->sig_pk, crl->sig_md,
668 crl->sig_opts);
Jens Wiklander817466c2018-05-22 13:49:31 +0200669 MBEDTLS_X509_SAFE_SNPRINTF;
670
Jens Wiklander32b31802023-10-06 16:59:46 +0200671 ret = mbedtls_snprintf(p, n, "\n");
Jens Wiklander817466c2018-05-22 13:49:31 +0200672 MBEDTLS_X509_SAFE_SNPRINTF;
673
Jens Wiklander32b31802023-10-06 16:59:46 +0200674 return (int) (size - n);
Jens Wiklander817466c2018-05-22 13:49:31 +0200675}
Jens Wiklander32b31802023-10-06 16:59:46 +0200676#endif /* MBEDTLS_X509_REMOVE_INFO */
Jens Wiklander817466c2018-05-22 13:49:31 +0200677
678/*
679 * Initialize a CRL chain
680 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200681void mbedtls_x509_crl_init(mbedtls_x509_crl *crl)
Jens Wiklander817466c2018-05-22 13:49:31 +0200682{
Jens Wiklander32b31802023-10-06 16:59:46 +0200683 memset(crl, 0, sizeof(mbedtls_x509_crl));
Jens Wiklander817466c2018-05-22 13:49:31 +0200684}
685
686/*
687 * Unallocate all CRL data
688 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200689void mbedtls_x509_crl_free(mbedtls_x509_crl *crl)
Jens Wiklander817466c2018-05-22 13:49:31 +0200690{
691 mbedtls_x509_crl *crl_cur = crl;
692 mbedtls_x509_crl *crl_prv;
Jens Wiklander817466c2018-05-22 13:49:31 +0200693 mbedtls_x509_crl_entry *entry_cur;
694 mbedtls_x509_crl_entry *entry_prv;
695
Jens Wiklander32b31802023-10-06 16:59:46 +0200696 while (crl_cur != NULL) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200697#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200698 mbedtls_free(crl_cur->sig_opts);
Jens Wiklander817466c2018-05-22 13:49:31 +0200699#endif
700
Jens Wiklander32b31802023-10-06 16:59:46 +0200701 mbedtls_asn1_free_named_data_list_shallow(crl_cur->issuer.next);
Jens Wiklander817466c2018-05-22 13:49:31 +0200702
703 entry_cur = crl_cur->entry.next;
Jens Wiklander32b31802023-10-06 16:59:46 +0200704 while (entry_cur != NULL) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200705 entry_prv = entry_cur;
706 entry_cur = entry_cur->next;
Jens Wiklander32b31802023-10-06 16:59:46 +0200707 mbedtls_platform_zeroize(entry_prv,
708 sizeof(mbedtls_x509_crl_entry));
709 mbedtls_free(entry_prv);
Jens Wiklander817466c2018-05-22 13:49:31 +0200710 }
711
Jens Wiklander32b31802023-10-06 16:59:46 +0200712 if (crl_cur->raw.p != NULL) {
713 mbedtls_platform_zeroize(crl_cur->raw.p, crl_cur->raw.len);
714 mbedtls_free(crl_cur->raw.p);
Jens Wiklander817466c2018-05-22 13:49:31 +0200715 }
716
Jens Wiklander817466c2018-05-22 13:49:31 +0200717 crl_prv = crl_cur;
718 crl_cur = crl_cur->next;
719
Jens Wiklander32b31802023-10-06 16:59:46 +0200720 mbedtls_platform_zeroize(crl_prv, sizeof(mbedtls_x509_crl));
721 if (crl_prv != crl) {
722 mbedtls_free(crl_prv);
723 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200724 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200725}
726
727#endif /* MBEDTLS_X509_CRL_PARSE_C */