blob: b0f39d428be01fe7d7c38ef8b34e68cc8392b739 [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"
Rich Evans00ab4702015-02-06 13:43:58 +000042
43#include <string.h>
44
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000046#include "mbedtls/pem.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020047#endif
48
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/platform.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020051#else
Rich Evans00ab4702015-02-06 13:43:58 +000052#include <stdlib.h>
Manuel Pégourié-Gonnard981732b2015-02-17 15:46:45 +000053#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#define mbedtls_free free
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020055#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#define mbedtls_snprintf snprintf
Paul Bakker7c6b2c32013-09-16 13:49:26 +020057#endif
58
Paul Bakkerfa6a6202013-10-28 18:48:30 +010059#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020060#include <windows.h>
61#else
62#include <time.h>
63#endif
64
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065#if defined(MBEDTLS_FS_IO) || defined(EFIX64) || defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020066#include <stdio.h>
67#endif
68
Paul Bakker34617722014-06-13 17:20:13 +020069/* Implementation that should never be optimized out by the compiler */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070static void mbedtls_zeroize( void *v, size_t n ) {
Paul Bakker34617722014-06-13 17:20:13 +020071 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
72}
73
Paul Bakker7c6b2c32013-09-16 13:49:26 +020074/*
75 * Version ::= INTEGER { v1(0), v2(1) }
76 */
77static int x509_crl_get_version( unsigned char **p,
78 const unsigned char *end,
79 int *ver )
80{
81 int ret;
82
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020083 if( ( ret = mbedtls_asn1_get_int( p, end, ver ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020084 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020086 {
87 *ver = 0;
88 return( 0 );
89 }
90
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091 return( MBEDTLS_ERR_X509_INVALID_VERSION + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020092 }
93
94 return( 0 );
95}
96
97/*
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +010098 * X.509 CRL v2 extensions
99 *
100 * We currently don't parse any extension's content, but we do check that the
101 * list of extensions is well-formed and abort on critical extensions (that
102 * are unsupported as we don't support any extension so far)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200103 */
104static int x509_get_crl_ext( unsigned char **p,
105 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200107{
108 int ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200109
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100110 /*
111 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
112 * -- if present, version MUST be v2
113 */
114 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200115 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117 return( 0 );
118
119 return( ret );
120 }
121
122 while( *p < end )
123 {
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100124 /*
125 * Extension ::= SEQUENCE {
126 * extnID OBJECT IDENTIFIER,
127 * critical BOOLEAN DEFAULT FALSE,
128 * extnValue OCTET STRING }
129 */
130 int is_critical = 0;
131 const unsigned char *end_ext_data;
132 size_t len;
133
134 /* Get enclosing sequence tag */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
136 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
137 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200138
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100139 end_ext_data = *p + len;
140
141 /* Get OID (currently ignored) */
142 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
143 MBEDTLS_ASN1_OID ) ) != 0 )
144 {
145 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
146 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200147 *p += len;
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100148
149 /* Get optional critical */
150 if( ( ret = mbedtls_asn1_get_bool( p, end_ext_data,
151 &is_critical ) ) != 0 &&
152 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
153 {
154 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
155 }
156
157 /* Data should be octet string type */
158 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
159 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
160 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
161
162 /* Ignore data so far and just check its length */
163 *p += len;
164 if( *p != end_ext_data )
165 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
166 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
167
168 /* Abort on (unsupported) critical extensions */
169 if( is_critical )
170 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
171 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200172 }
173
174 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
176 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200177
178 return( 0 );
179}
180
181/*
182 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
183 */
184static int x509_get_crl_entry_ext( unsigned char **p,
185 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200187{
188 int ret;
189 size_t len = 0;
190
191 /* OPTIONAL */
Paul Bakker66d5d072014-06-17 16:39:18 +0200192 if( end <= *p )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200193 return( 0 );
194
195 ext->tag = **p;
196 ext->p = *p;
197
198 /*
199 * Get CRL-entry extension sequence header
200 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
201 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200202 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
203 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200204 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200206 {
207 ext->p = NULL;
208 return( 0 );
209 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200210 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200211 }
212
Paul Bakker9af723c2014-05-01 13:03:14 +0200213 end = *p + ext->len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200214
215 if( end != *p + ext->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
217 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200218
219 while( *p < end )
220 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
222 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
223 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200224
225 *p += len;
226 }
227
228 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
230 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200231
232 return( 0 );
233}
234
235/*
236 * X.509 CRL Entries
237 */
238static int x509_get_entries( unsigned char **p,
239 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200240 mbedtls_x509_crl_entry *entry )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200241{
242 int ret;
243 size_t entry_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200244 mbedtls_x509_crl_entry *cur_entry = entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200245
246 if( *p == end )
247 return( 0 );
248
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200249 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
250 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200251 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200253 return( 0 );
254
255 return( ret );
256 }
257
258 end = *p + entry_len;
259
260 while( *p < end )
261 {
262 size_t len2;
263 const unsigned char *end2;
264
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
266 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200267 {
268 return( ret );
269 }
270
271 cur_entry->raw.tag = **p;
272 cur_entry->raw.p = *p;
273 cur_entry->raw.len = len2;
274 end2 = *p + len2;
275
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200277 return( ret );
278
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200279 if( ( ret = mbedtls_x509_get_time( p, end2,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200280 &cur_entry->revocation_date ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200281 return( ret );
282
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200283 if( ( ret = x509_get_crl_entry_ext( p, end2,
284 &cur_entry->entry_ext ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285 return( ret );
286
Paul Bakker66d5d072014-06-17 16:39:18 +0200287 if( *p < end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200288 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200289 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200290
291 if( cur_entry->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200292 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200293
294 cur_entry = cur_entry->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200295 }
296 }
297
298 return( 0 );
299}
300
301/*
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100302 * Parse one CRLs in DER format and append it to the chained list
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200303 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100305 const unsigned char *buf, size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306{
307 int ret;
308 size_t len;
Andres Amaya Garciaf1ee6352017-07-06 10:06:58 +0100309 unsigned char *p = NULL, *end = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
311 mbedtls_x509_crl *crl = chain;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200312
313 /*
314 * Check for valid input
315 */
316 if( crl == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200318
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
320 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
321 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200322
323 /*
324 * Add new CRL on the end of the chain if needed.
325 */
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100326 while( crl->version != 0 && crl->next != NULL )
327 crl = crl->next;
328
Paul Bakker66d5d072014-06-17 16:39:18 +0200329 if( crl->version != 0 && crl->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200330 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200331 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200332
333 if( crl->next == NULL )
334 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 mbedtls_x509_crl_free( crl );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200336 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337 }
338
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200339 mbedtls_x509_crl_init( crl->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200340 crl = crl->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341 }
342
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100343 /*
344 * Copy raw DER-encoded CRL
345 */
Andres Amaya Garciacb5123f2017-12-06 09:39:23 +0000346 if( buflen == 0 )
347 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Andres Amaya Garciac9d62262017-12-12 20:15:03 +0000348
349 p = mbedtls_calloc( 1, buflen );
350 if( p == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200351 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200352
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100353 memcpy( p, buf, buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200354
355 crl->raw.p = p;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100356 crl->raw.len = buflen;
357
358 end = p + buflen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200359
360 /*
361 * CertificateList ::= SEQUENCE {
362 * tbsCertList TBSCertList,
363 * signatureAlgorithm AlgorithmIdentifier,
364 * signatureValue BIT STRING }
365 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200366 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
367 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200368 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200369 mbedtls_x509_crl_free( crl );
370 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200371 }
372
373 if( len != (size_t) ( end - p ) )
374 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200375 mbedtls_x509_crl_free( crl );
376 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
377 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200378 }
379
380 /*
381 * TBSCertList ::= SEQUENCE {
382 */
383 crl->tbs.p = p;
384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
386 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200387 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388 mbedtls_x509_crl_free( crl );
389 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200390 }
391
392 end = p + len;
393 crl->tbs.len = end - crl->tbs.p;
394
395 /*
396 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
397 * -- if present, MUST be v2
398 *
399 * signature AlgorithmIdentifier
400 */
401 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200402 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200403 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200404 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200405 return( ret );
406 }
407
Andres AG4f753c12017-02-10 14:39:58 +0000408 if( crl->version < 0 || crl->version > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200409 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200410 mbedtls_x509_crl_free( crl );
411 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200412 }
413
Andres AG4f753c12017-02-10 14:39:58 +0000414 crl->version++;
415
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200416 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200417 &crl->sig_md, &crl->sig_pk,
418 &crl->sig_opts ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200419 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200420 mbedtls_x509_crl_free( crl );
421 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200422 }
423
424 /*
425 * issuer Name
426 */
427 crl->issuer_raw.p = p;
428
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200429 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
430 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200431 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432 mbedtls_x509_crl_free( crl );
433 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200434 }
435
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200436 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200437 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200438 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200439 return( ret );
440 }
441
442 crl->issuer_raw.len = p - crl->issuer_raw.p;
443
444 /*
445 * thisUpdate Time
446 * nextUpdate Time OPTIONAL
447 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200449 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200451 return( ret );
452 }
453
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200455 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
457 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
458 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
459 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200460 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200462 return( ret );
463 }
464 }
465
466 /*
467 * revokedCertificates SEQUENCE OF SEQUENCE {
468 * userCertificate CertificateSerialNumber,
469 * revocationDate Time,
470 * crlEntryExtensions Extensions OPTIONAL
471 * -- if present, MUST be v2
472 * } OPTIONAL
473 */
474 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
475 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200476 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200477 return( ret );
478 }
479
480 /*
481 * crlExtensions EXPLICIT Extensions OPTIONAL
482 * -- if present, MUST be v2
483 */
484 if( crl->version == 2 )
485 {
486 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
487
488 if( ret != 0 )
489 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200490 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200491 return( ret );
492 }
493 }
494
495 if( p != end )
496 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200497 mbedtls_x509_crl_free( crl );
498 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
499 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200500 }
501
502 end = crl->raw.p + crl->raw.len;
503
504 /*
505 * signatureAlgorithm AlgorithmIdentifier,
506 * signatureValue BIT STRING
507 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200508 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200509 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200510 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200511 return( ret );
512 }
513
Manuel Pégourié-Gonnard1022fed2015-03-27 16:30:47 +0100514 if( crl->sig_oid.len != sig_oid2.len ||
515 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
Manuel Pégourié-Gonnarddddbb1d2014-06-05 17:02:24 +0200516 sig_params1.len != sig_params2.len ||
Manuel Pégourié-Gonnard159c5242015-04-30 11:15:22 +0200517 ( sig_params1.len != 0 &&
518 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200519 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520 mbedtls_x509_crl_free( crl );
521 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200522 }
523
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200524 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200525 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200526 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200527 return( ret );
528 }
529
530 if( p != end )
531 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 mbedtls_x509_crl_free( crl );
533 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
534 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200535 }
536
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100537 return( 0 );
538}
539
540/*
541 * Parse one or more CRLs and add them to the chained list
542 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100544{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200545#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100546 int ret;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100547 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200548 mbedtls_pem_context pem;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100549 int is_pem = 0;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100550
551 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200552 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100553
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100554 do
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200555 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200556 mbedtls_pem_init( &pem );
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200557
Simon Butcher97e82902016-05-19 00:22:37 +0100558 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
559 // string
560 if( buflen == 0 || buf[buflen - 1] != '\0' )
561 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
562 else
563 ret = mbedtls_pem_read_buffer( &pem,
564 "-----BEGIN X509 CRL-----",
565 "-----END X509 CRL-----",
566 buf, NULL, 0, &use_len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200567
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100568 if( ret == 0 )
569 {
570 /*
571 * Was PEM encoded
572 */
573 is_pem = 1;
574
575 buflen -= use_len;
576 buf += use_len;
577
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200578 if( ( ret = mbedtls_x509_crl_parse_der( chain,
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100579 pem.buf, pem.buflen ) ) != 0 )
580 {
Andres AG5708dcb2016-12-08 17:19:21 +0000581 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100582 return( ret );
583 }
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100584 }
Andres AG939954c2016-12-08 17:08:44 +0000585 else if( is_pem )
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100586 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200587 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100588 return( ret );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100589 }
Andres AG5708dcb2016-12-08 17:19:21 +0000590
591 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100592 }
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200593 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
594 * And a valid CRL cannot be less than 1 byte anyway. */
595 while( is_pem && buflen > 1 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200596
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100597 if( is_pem )
598 return( 0 );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100599 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200600#endif /* MBEDTLS_PEM_PARSE_C */
601 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200602}
603
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200604#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200605/*
606 * Load one or more CRLs and add them to the chained list
607 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200608int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200609{
610 int ret;
611 size_t n;
612 unsigned char *buf;
613
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200614 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200615 return( ret );
616
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200617 ret = mbedtls_x509_crl_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200618
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200619 mbedtls_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200620 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200621
622 return( ret );
623}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200624#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200625
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200626/*
627 * Return an informational string about the certificate.
628 */
629#define BEFORE_COLON 14
630#define BC "14"
631/*
632 * Return an informational string about the CRL.
633 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200634int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
635 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200636{
637 int ret;
638 size_t n;
639 char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200640 const mbedtls_x509_crl_entry *entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200641
642 p = buf;
643 n = size;
644
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200645 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200646 prefix, crl->version );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200647 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200648
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200650 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200652 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200653
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200654 ret = mbedtls_snprintf( p, n, "\n%sthis update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200655 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
656 crl->this_update.year, crl->this_update.mon,
657 crl->this_update.day, crl->this_update.hour,
658 crl->this_update.min, crl->this_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200659 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200660
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200661 ret = mbedtls_snprintf( p, n, "\n%snext update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200662 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
663 crl->next_update.year, crl->next_update.mon,
664 crl->next_update.day, crl->next_update.hour,
665 crl->next_update.min, crl->next_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200666 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200667
668 entry = &crl->entry;
669
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200670 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200671 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200672 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200673
674 while( entry != NULL && entry->raw.len != 0 )
675 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200676 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200677 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200678 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200679
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200680 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200681 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200682
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200683 ret = mbedtls_snprintf( p, n, " revocation date: " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200684 "%04d-%02d-%02d %02d:%02d:%02d",
685 entry->revocation_date.year, entry->revocation_date.mon,
686 entry->revocation_date.day, entry->revocation_date.hour,
687 entry->revocation_date.min, entry->revocation_date.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200688 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200689
690 entry = entry->next;
691 }
692
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200693 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200694 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200695
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200696 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 +0200697 crl->sig_opts );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200698 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200699
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200700 ret = mbedtls_snprintf( p, n, "\n" );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200701 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200702
703 return( (int) ( size - n ) );
704}
705
706/*
Paul Bakker369d2eb2013-09-18 11:58:25 +0200707 * Initialize a CRL chain
708 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200709void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
Paul Bakker369d2eb2013-09-18 11:58:25 +0200710{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200711 memset( crl, 0, sizeof(mbedtls_x509_crl) );
Paul Bakker369d2eb2013-09-18 11:58:25 +0200712}
713
714/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200715 * Unallocate all CRL data
716 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200717void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200718{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200719 mbedtls_x509_crl *crl_cur = crl;
720 mbedtls_x509_crl *crl_prv;
721 mbedtls_x509_name *name_cur;
722 mbedtls_x509_name *name_prv;
723 mbedtls_x509_crl_entry *entry_cur;
724 mbedtls_x509_crl_entry *entry_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200725
726 if( crl == NULL )
727 return;
728
729 do
730 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200731#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
732 mbedtls_free( crl_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200733#endif
734
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200735 name_cur = crl_cur->issuer.next;
736 while( name_cur != NULL )
737 {
738 name_prv = name_cur;
739 name_cur = name_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200740 mbedtls_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
741 mbedtls_free( name_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200742 }
743
744 entry_cur = crl_cur->entry.next;
745 while( entry_cur != NULL )
746 {
747 entry_prv = entry_cur;
748 entry_cur = entry_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749 mbedtls_zeroize( entry_prv, sizeof( mbedtls_x509_crl_entry ) );
750 mbedtls_free( entry_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200751 }
752
753 if( crl_cur->raw.p != NULL )
754 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755 mbedtls_zeroize( crl_cur->raw.p, crl_cur->raw.len );
756 mbedtls_free( crl_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200757 }
758
759 crl_cur = crl_cur->next;
760 }
761 while( crl_cur != NULL );
762
763 crl_cur = crl;
764 do
765 {
766 crl_prv = crl_cur;
767 crl_cur = crl_cur->next;
768
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200769 mbedtls_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200770 if( crl_prv != crl )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200771 mbedtls_free( crl_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200772 }
773 while( crl_cur != NULL );
774}
775
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200776#endif /* MBEDTLS_X509_CRL_PARSE_C */