blob: 64fac0e0c4e6ffbef1569423257a7c534240766b [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
Manuel Pégourié-Gonnard1c082f32014-06-12 22:34:55 +02002 * X.509 Certidicate Revocation List (CRL) parsing
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
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.
Paul Bakker7c6b2c32013-09-16 13:49:26 +020018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020020 */
21/*
22 * The ITU-T X.509 standard defines a certificate format for PKI.
23 *
Manuel Pégourié-Gonnard1c082f32014-06-12 22:34:55 +020024 * http://www.ietf.org/rfc/rfc5280.txt (Certificates and CRLs)
25 * http://www.ietf.org/rfc/rfc3279.txt (Alg IDs for CRLs)
26 * http://www.ietf.org/rfc/rfc2986.txt (CSRs, aka PKCS#10)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020027 *
28 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.680-0207.pdf
29 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.690-0207.pdf
30 */
31
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000033#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020034#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020036#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +020037
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020038#if defined(MBEDTLS_X509_CRL_PARSE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020039
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000040#include "mbedtls/x509_crl.h"
41#include "mbedtls/oid.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050042#include "mbedtls/platform_util.h"
Rich Evans00ab4702015-02-06 13:43:58 +000043
44#include <string.h>
45
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/pem.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020048#endif
49
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000051#include "mbedtls/platform.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020052#else
Rich Evans00ab4702015-02-06 13:43:58 +000053#include <stdlib.h>
Manuel Pégourié-Gonnard981732b2015-02-17 15:46:45 +000054#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055#define mbedtls_free free
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020056#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057#define mbedtls_snprintf snprintf
Paul Bakker7c6b2c32013-09-16 13:49:26 +020058#endif
59
Paul Bakkerfa6a6202013-10-28 18:48:30 +010060#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020061#include <windows.h>
62#else
63#include <time.h>
64#endif
65
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066#if defined(MBEDTLS_FS_IO) || defined(EFIX64) || defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020067#include <stdio.h>
68#endif
69
70/*
71 * Version ::= INTEGER { v1(0), v2(1) }
72 */
73static int x509_crl_get_version( unsigned char **p,
74 const unsigned char *end,
75 int *ver )
76{
77 int ret;
78
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020079 if( ( ret = mbedtls_asn1_get_int( p, end, ver ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020080 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020082 {
83 *ver = 0;
84 return( 0 );
85 }
86
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087 return( MBEDTLS_ERR_X509_INVALID_VERSION + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020088 }
89
90 return( 0 );
91}
92
93/*
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +010094 * X.509 CRL v2 extensions
95 *
96 * We currently don't parse any extension's content, but we do check that the
97 * list of extensions is well-formed and abort on critical extensions (that
98 * are unsupported as we don't support any extension so far)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020099 */
100static int x509_get_crl_ext( unsigned char **p,
101 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200103{
104 int ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200105
Hanno Becker12f62fb2019-02-12 17:22:36 +0000106 if( *p == end )
107 return( 0 );
108
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100109 /*
110 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
111 * -- if present, version MUST be v2
112 */
113 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200114 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200116 return( 0 );
117
118 return( ret );
119 }
120
Hanno Becker12f62fb2019-02-12 17:22:36 +0000121 end = ext->p + ext->len;
122
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200123 while( *p < end )
124 {
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100125 /*
126 * Extension ::= SEQUENCE {
127 * extnID OBJECT IDENTIFIER,
128 * critical BOOLEAN DEFAULT FALSE,
129 * extnValue OCTET STRING }
130 */
131 int is_critical = 0;
132 const unsigned char *end_ext_data;
133 size_t len;
134
135 /* Get enclosing sequence tag */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
137 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
138 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200139
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100140 end_ext_data = *p + len;
141
142 /* Get OID (currently ignored) */
143 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
144 MBEDTLS_ASN1_OID ) ) != 0 )
145 {
146 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
147 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200148 *p += len;
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100149
150 /* Get optional critical */
151 if( ( ret = mbedtls_asn1_get_bool( p, end_ext_data,
152 &is_critical ) ) != 0 &&
153 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
154 {
155 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
156 }
157
158 /* Data should be octet string type */
159 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
160 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
161 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
162
163 /* Ignore data so far and just check its length */
164 *p += len;
165 if( *p != end_ext_data )
166 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
167 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
168
169 /* Abort on (unsupported) critical extensions */
170 if( is_critical )
171 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
172 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200173 }
174
175 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
177 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200178
179 return( 0 );
180}
181
182/*
183 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
184 */
185static int x509_get_crl_entry_ext( unsigned char **p,
186 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200188{
189 int ret;
190 size_t len = 0;
191
192 /* OPTIONAL */
Paul Bakker66d5d072014-06-17 16:39:18 +0200193 if( end <= *p )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200194 return( 0 );
195
196 ext->tag = **p;
197 ext->p = *p;
198
199 /*
200 * Get CRL-entry extension sequence header
201 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
202 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
204 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200205 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200207 {
208 ext->p = NULL;
209 return( 0 );
210 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200212 }
213
Paul Bakker9af723c2014-05-01 13:03:14 +0200214 end = *p + ext->len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200215
216 if( end != *p + ext->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
218 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200219
220 while( *p < end )
221 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
223 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
224 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200225
226 *p += len;
227 }
228
229 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
231 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200232
233 return( 0 );
234}
235
236/*
237 * X.509 CRL Entries
238 */
239static int x509_get_entries( unsigned char **p,
240 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241 mbedtls_x509_crl_entry *entry )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200242{
243 int ret;
244 size_t entry_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245 mbedtls_x509_crl_entry *cur_entry = entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200246
247 if( *p == end )
248 return( 0 );
249
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
251 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200252 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200253 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200254 return( 0 );
255
256 return( ret );
257 }
258
259 end = *p + entry_len;
260
261 while( *p < end )
262 {
263 size_t len2;
264 const unsigned char *end2;
265
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200266 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
267 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200268 {
269 return( ret );
270 }
271
272 cur_entry->raw.tag = **p;
273 cur_entry->raw.p = *p;
274 cur_entry->raw.len = len2;
275 end2 = *p + len2;
276
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200277 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200278 return( ret );
279
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280 if( ( ret = mbedtls_x509_get_time( p, end2,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200281 &cur_entry->revocation_date ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200282 return( ret );
283
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200284 if( ( ret = x509_get_crl_entry_ext( p, end2,
285 &cur_entry->entry_ext ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200286 return( ret );
287
Paul Bakker66d5d072014-06-17 16:39:18 +0200288 if( *p < end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200289 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200290 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200291
292 if( cur_entry->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200293 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200294
295 cur_entry = cur_entry->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200296 }
297 }
298
299 return( 0 );
300}
301
302/*
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100303 * Parse one CRLs in DER format and append it to the chained list
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200304 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200305int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100306 const unsigned char *buf, size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200307{
308 int ret;
309 size_t len;
Andres Amaya Garciaf1ee6352017-07-06 10:06:58 +0100310 unsigned char *p = NULL, *end = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200311 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
312 mbedtls_x509_crl *crl = chain;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200313
314 /*
315 * Check for valid input
316 */
317 if( crl == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200318 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200319
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200320 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
321 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
322 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200323
324 /*
325 * Add new CRL on the end of the chain if needed.
326 */
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100327 while( crl->version != 0 && crl->next != NULL )
328 crl = crl->next;
329
Paul Bakker66d5d072014-06-17 16:39:18 +0200330 if( crl->version != 0 && crl->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200331 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200332 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200333
334 if( crl->next == NULL )
335 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336 mbedtls_x509_crl_free( crl );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200337 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200338 }
339
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200340 mbedtls_x509_crl_init( crl->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341 crl = crl->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200342 }
343
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100344 /*
345 * Copy raw DER-encoded CRL
346 */
Andres Amaya Garciacb5123f2017-12-06 09:39:23 +0000347 if( buflen == 0 )
348 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Andres Amaya Garciac9d62262017-12-12 20:15:03 +0000349
350 p = mbedtls_calloc( 1, buflen );
351 if( p == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200352 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200353
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100354 memcpy( p, buf, buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200355
356 crl->raw.p = p;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100357 crl->raw.len = buflen;
358
359 end = p + buflen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200360
361 /*
362 * CertificateList ::= SEQUENCE {
363 * tbsCertList TBSCertList,
364 * signatureAlgorithm AlgorithmIdentifier,
365 * signatureValue BIT STRING }
366 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200367 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
368 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200369 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370 mbedtls_x509_crl_free( crl );
371 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200372 }
373
374 if( len != (size_t) ( end - p ) )
375 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376 mbedtls_x509_crl_free( crl );
377 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
378 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200379 }
380
381 /*
382 * TBSCertList ::= SEQUENCE {
383 */
384 crl->tbs.p = p;
385
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200386 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
387 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200388 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200389 mbedtls_x509_crl_free( crl );
390 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200391 }
392
393 end = p + len;
394 crl->tbs.len = end - crl->tbs.p;
395
396 /*
397 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
398 * -- if present, MUST be v2
399 *
400 * signature AlgorithmIdentifier
401 */
402 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200404 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200405 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200406 return( ret );
407 }
408
Andres AG4f753c12017-02-10 14:39:58 +0000409 if( crl->version < 0 || crl->version > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200410 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411 mbedtls_x509_crl_free( crl );
412 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200413 }
414
Andres AG4f753c12017-02-10 14:39:58 +0000415 crl->version++;
416
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200417 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200418 &crl->sig_md, &crl->sig_pk,
419 &crl->sig_opts ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200421 mbedtls_x509_crl_free( crl );
422 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200423 }
424
425 /*
426 * issuer Name
427 */
428 crl->issuer_raw.p = p;
429
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200430 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
431 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200432 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200433 mbedtls_x509_crl_free( crl );
434 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200435 }
436
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200438 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200440 return( ret );
441 }
442
443 crl->issuer_raw.len = p - crl->issuer_raw.p;
444
445 /*
446 * thisUpdate Time
447 * nextUpdate Time OPTIONAL
448 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200449 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200450 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200452 return( ret );
453 }
454
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200456 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200457 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
458 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
459 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
460 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200461 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200462 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200463 return( ret );
464 }
465 }
466
467 /*
468 * revokedCertificates SEQUENCE OF SEQUENCE {
469 * userCertificate CertificateSerialNumber,
470 * revocationDate Time,
471 * crlEntryExtensions Extensions OPTIONAL
472 * -- if present, MUST be v2
473 * } OPTIONAL
474 */
475 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
476 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200477 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200478 return( ret );
479 }
480
481 /*
482 * crlExtensions EXPLICIT Extensions OPTIONAL
483 * -- if present, MUST be v2
484 */
485 if( crl->version == 2 )
486 {
487 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
488
489 if( ret != 0 )
490 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200491 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200492 return( ret );
493 }
494 }
495
496 if( p != end )
497 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200498 mbedtls_x509_crl_free( crl );
499 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
500 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200501 }
502
503 end = crl->raw.p + crl->raw.len;
504
505 /*
506 * signatureAlgorithm AlgorithmIdentifier,
507 * signatureValue BIT STRING
508 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200510 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200511 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200512 return( ret );
513 }
514
Manuel Pégourié-Gonnard1022fed2015-03-27 16:30:47 +0100515 if( crl->sig_oid.len != sig_oid2.len ||
516 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
Manuel Pégourié-Gonnarddddbb1d2014-06-05 17:02:24 +0200517 sig_params1.len != sig_params2.len ||
Manuel Pégourié-Gonnard159c5242015-04-30 11:15:22 +0200518 ( sig_params1.len != 0 &&
519 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200520 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200521 mbedtls_x509_crl_free( crl );
522 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200523 }
524
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200525 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200526 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200527 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200528 return( ret );
529 }
530
531 if( p != end )
532 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200533 mbedtls_x509_crl_free( crl );
534 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
535 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200536 }
537
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100538 return( 0 );
539}
540
541/*
542 * Parse one or more CRLs and add them to the chained list
543 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100545{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100547 int ret;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100548 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549 mbedtls_pem_context pem;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100550 int is_pem = 0;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100551
552 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200553 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100554
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100555 do
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200556 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200557 mbedtls_pem_init( &pem );
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200558
Simon Butcher97e82902016-05-19 00:22:37 +0100559 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
560 // string
561 if( buflen == 0 || buf[buflen - 1] != '\0' )
562 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
563 else
564 ret = mbedtls_pem_read_buffer( &pem,
565 "-----BEGIN X509 CRL-----",
566 "-----END X509 CRL-----",
567 buf, NULL, 0, &use_len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200568
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100569 if( ret == 0 )
570 {
571 /*
572 * Was PEM encoded
573 */
574 is_pem = 1;
575
576 buflen -= use_len;
577 buf += use_len;
578
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200579 if( ( ret = mbedtls_x509_crl_parse_der( chain,
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100580 pem.buf, pem.buflen ) ) != 0 )
581 {
Andres AG5708dcb2016-12-08 17:19:21 +0000582 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100583 return( ret );
584 }
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100585 }
Andres AG939954c2016-12-08 17:08:44 +0000586 else if( is_pem )
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100587 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200588 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100589 return( ret );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100590 }
Andres AG5708dcb2016-12-08 17:19:21 +0000591
592 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100593 }
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200594 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
595 * And a valid CRL cannot be less than 1 byte anyway. */
596 while( is_pem && buflen > 1 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200597
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100598 if( is_pem )
599 return( 0 );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100600 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200601#endif /* MBEDTLS_PEM_PARSE_C */
602 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200603}
604
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200605#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200606/*
607 * Load one or more CRLs and add them to the chained list
608 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200609int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200610{
611 int ret;
612 size_t n;
613 unsigned char *buf;
614
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200615 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200616 return( ret );
617
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200618 ret = mbedtls_x509_crl_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200619
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500620 mbedtls_platform_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200621 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200622
623 return( ret );
624}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200625#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200626
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200627/*
628 * Return an informational string about the certificate.
629 */
630#define BEFORE_COLON 14
631#define BC "14"
632/*
633 * Return an informational string about the CRL.
634 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200635int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
636 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200637{
638 int ret;
639 size_t n;
640 char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200641 const mbedtls_x509_crl_entry *entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200642
643 p = buf;
644 n = size;
645
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200646 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200647 prefix, crl->version );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200648 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200649
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200650 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200651 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200652 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200653 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200654
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200655 ret = mbedtls_snprintf( p, n, "\n%sthis update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200656 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
657 crl->this_update.year, crl->this_update.mon,
658 crl->this_update.day, crl->this_update.hour,
659 crl->this_update.min, crl->this_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200660 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200661
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200662 ret = mbedtls_snprintf( p, n, "\n%snext update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200663 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
664 crl->next_update.year, crl->next_update.mon,
665 crl->next_update.day, crl->next_update.hour,
666 crl->next_update.min, crl->next_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200667 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200668
669 entry = &crl->entry;
670
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200671 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200672 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200673 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200674
675 while( entry != NULL && entry->raw.len != 0 )
676 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200677 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200678 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200679 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200680
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200682 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200683
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200684 ret = mbedtls_snprintf( p, n, " revocation date: " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200685 "%04d-%02d-%02d %02d:%02d:%02d",
686 entry->revocation_date.year, entry->revocation_date.mon,
687 entry->revocation_date.day, entry->revocation_date.hour,
688 entry->revocation_date.min, entry->revocation_date.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200689 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200690
691 entry = entry->next;
692 }
693
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200694 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200695 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200697 ret = mbedtls_x509_sig_alg_gets( p, n, &crl->sig_oid, crl->sig_pk, crl->sig_md,
Manuel Pégourié-Gonnardbf696d02014-06-05 17:07:30 +0200698 crl->sig_opts );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200699 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200700
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200701 ret = mbedtls_snprintf( p, n, "\n" );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200702 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200703
704 return( (int) ( size - n ) );
705}
706
707/*
Paul Bakker369d2eb2013-09-18 11:58:25 +0200708 * Initialize a CRL chain
709 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
Paul Bakker369d2eb2013-09-18 11:58:25 +0200711{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712 memset( crl, 0, sizeof(mbedtls_x509_crl) );
Paul Bakker369d2eb2013-09-18 11:58:25 +0200713}
714
715/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200716 * Unallocate all CRL data
717 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200718void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200719{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200720 mbedtls_x509_crl *crl_cur = crl;
721 mbedtls_x509_crl *crl_prv;
722 mbedtls_x509_name *name_cur;
723 mbedtls_x509_name *name_prv;
724 mbedtls_x509_crl_entry *entry_cur;
725 mbedtls_x509_crl_entry *entry_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200726
727 if( crl == NULL )
728 return;
729
730 do
731 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
733 mbedtls_free( crl_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200734#endif
735
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200736 name_cur = crl_cur->issuer.next;
737 while( name_cur != NULL )
738 {
739 name_prv = name_cur;
740 name_cur = name_cur->next;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500741 mbedtls_platform_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200742 mbedtls_free( name_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200743 }
744
745 entry_cur = crl_cur->entry.next;
746 while( entry_cur != NULL )
747 {
748 entry_prv = entry_cur;
749 entry_cur = entry_cur->next;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500750 mbedtls_platform_zeroize( entry_prv,
751 sizeof( mbedtls_x509_crl_entry ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200752 mbedtls_free( entry_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200753 }
754
755 if( crl_cur->raw.p != NULL )
756 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500757 mbedtls_platform_zeroize( crl_cur->raw.p, crl_cur->raw.len );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200758 mbedtls_free( crl_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200759 }
760
761 crl_cur = crl_cur->next;
762 }
763 while( crl_cur != NULL );
764
765 crl_cur = crl;
766 do
767 {
768 crl_prv = crl_cur;
769 crl_cur = crl_cur->next;
770
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500771 mbedtls_platform_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200772 if( crl_prv != crl )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200773 mbedtls_free( crl_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200774 }
775 while( crl_cur != NULL );
776}
777
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200778#endif /* MBEDTLS_X509_CRL_PARSE_C */