blob: cb1e8c41bbfab51d86d2370f4773d6633232faa8 [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é-Gonnard5a9f46e2018-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
Hanno Becker1de13db2019-02-12 17:22:36 +0000110 if( *p == end )
111 return( 0 );
112
Manuel Pégourié-Gonnard5a9f46e2018-03-13 11:53:30 +0100113 /*
114 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
115 * -- if present, version MUST be v2
116 */
117 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200118 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200120 return( 0 );
121
122 return( ret );
123 }
124
Hanno Becker1de13db2019-02-12 17:22:36 +0000125 end = ext->p + ext->len;
126
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200127 while( *p < end )
128 {
Manuel Pégourié-Gonnard5a9f46e2018-03-13 11:53:30 +0100129 /*
130 * Extension ::= SEQUENCE {
131 * extnID OBJECT IDENTIFIER,
132 * critical BOOLEAN DEFAULT FALSE,
133 * extnValue OCTET STRING }
134 */
135 int is_critical = 0;
136 const unsigned char *end_ext_data;
137 size_t len;
138
139 /* Get enclosing sequence tag */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
141 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
142 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200143
Manuel Pégourié-Gonnard5a9f46e2018-03-13 11:53:30 +0100144 end_ext_data = *p + len;
145
146 /* Get OID (currently ignored) */
147 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
148 MBEDTLS_ASN1_OID ) ) != 0 )
149 {
150 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
151 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200152 *p += len;
Manuel Pégourié-Gonnard5a9f46e2018-03-13 11:53:30 +0100153
154 /* Get optional critical */
155 if( ( ret = mbedtls_asn1_get_bool( p, end_ext_data,
156 &is_critical ) ) != 0 &&
157 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
158 {
159 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
160 }
161
162 /* Data should be octet string type */
163 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
164 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
165 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
166
167 /* Ignore data so far and just check its length */
168 *p += len;
169 if( *p != end_ext_data )
170 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
171 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
172
173 /* Abort on (unsupported) critical extensions */
174 if( is_critical )
175 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
176 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200177 }
178
179 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200180 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
181 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200182
183 return( 0 );
184}
185
186/*
187 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
188 */
189static int x509_get_crl_entry_ext( unsigned char **p,
190 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200191 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200192{
193 int ret;
194 size_t len = 0;
195
196 /* OPTIONAL */
Paul Bakker66d5d072014-06-17 16:39:18 +0200197 if( end <= *p )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200198 return( 0 );
199
200 ext->tag = **p;
201 ext->p = *p;
202
203 /*
204 * Get CRL-entry extension sequence header
205 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
206 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
208 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200209 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200210 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200211 {
212 ext->p = NULL;
213 return( 0 );
214 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200216 }
217
Paul Bakker9af723c2014-05-01 13:03:14 +0200218 end = *p + ext->len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200219
220 if( end != *p + ext->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
222 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200223
224 while( *p < end )
225 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200226 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
227 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
228 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200229
230 *p += len;
231 }
232
233 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
235 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200236
237 return( 0 );
238}
239
240/*
241 * X.509 CRL Entries
242 */
243static int x509_get_entries( unsigned char **p,
244 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245 mbedtls_x509_crl_entry *entry )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200246{
247 int ret;
248 size_t entry_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200249 mbedtls_x509_crl_entry *cur_entry = entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200250
251 if( *p == end )
252 return( 0 );
253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
255 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200256 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200257 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200258 return( 0 );
259
260 return( ret );
261 }
262
263 end = *p + entry_len;
264
265 while( *p < end )
266 {
267 size_t len2;
268 const unsigned char *end2;
269
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
271 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200272 {
273 return( ret );
274 }
275
276 cur_entry->raw.tag = **p;
277 cur_entry->raw.p = *p;
278 cur_entry->raw.len = len2;
279 end2 = *p + len2;
280
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200282 return( ret );
283
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284 if( ( ret = mbedtls_x509_get_time( p, end2,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200285 &cur_entry->revocation_date ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200286 return( ret );
287
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200288 if( ( ret = x509_get_crl_entry_ext( p, end2,
289 &cur_entry->entry_ext ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200290 return( ret );
291
Paul Bakker66d5d072014-06-17 16:39:18 +0200292 if( *p < end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200293 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200294 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200295
296 if( cur_entry->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200297 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200298
299 cur_entry = cur_entry->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200300 }
301 }
302
303 return( 0 );
304}
305
306/*
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100307 * Parse one CRLs in DER format and append it to the chained list
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200308 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200309int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100310 const unsigned char *buf, size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200311{
312 int ret;
313 size_t len;
Andres Amaya Garciaf1ee6352017-07-06 10:06:58 +0100314 unsigned char *p = NULL, *end = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
316 mbedtls_x509_crl *crl = chain;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200317
318 /*
319 * Check for valid input
320 */
321 if( crl == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200322 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200323
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
325 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
326 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200327
328 /*
329 * Add new CRL on the end of the chain if needed.
330 */
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100331 while( crl->version != 0 && crl->next != NULL )
332 crl = crl->next;
333
Paul Bakker66d5d072014-06-17 16:39:18 +0200334 if( crl->version != 0 && crl->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200336 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337
338 if( crl->next == NULL )
339 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200340 mbedtls_x509_crl_free( crl );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200341 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200342 }
343
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 mbedtls_x509_crl_init( crl->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200345 crl = crl->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200346 }
347
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100348 /*
349 * Copy raw DER-encoded CRL
350 */
Andres Amaya Garciacb5123f2017-12-06 09:39:23 +0000351 if( buflen == 0 )
352 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Andres Amaya Garciac9d62262017-12-12 20:15:03 +0000353
354 p = mbedtls_calloc( 1, buflen );
355 if( p == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200356 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200357
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100358 memcpy( p, buf, buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200359
360 crl->raw.p = p;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100361 crl->raw.len = buflen;
362
363 end = p + buflen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200364
365 /*
366 * CertificateList ::= SEQUENCE {
367 * tbsCertList TBSCertList,
368 * signatureAlgorithm AlgorithmIdentifier,
369 * signatureValue BIT STRING }
370 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
372 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200373 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200374 mbedtls_x509_crl_free( crl );
375 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200376 }
377
378 if( len != (size_t) ( end - p ) )
379 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200380 mbedtls_x509_crl_free( crl );
381 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
382 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200383 }
384
385 /*
386 * TBSCertList ::= SEQUENCE {
387 */
388 crl->tbs.p = p;
389
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200390 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
391 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200392 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200393 mbedtls_x509_crl_free( crl );
394 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200395 }
396
397 end = p + len;
398 crl->tbs.len = end - crl->tbs.p;
399
400 /*
401 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
402 * -- if present, MUST be v2
403 *
404 * signature AlgorithmIdentifier
405 */
406 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200408 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200409 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200410 return( ret );
411 }
412
Andres AG4f753c12017-02-10 14:39:58 +0000413 if( crl->version < 0 || crl->version > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200414 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 mbedtls_x509_crl_free( crl );
416 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200417 }
418
Andres AG4f753c12017-02-10 14:39:58 +0000419 crl->version++;
420
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200421 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200422 &crl->sig_md, &crl->sig_pk,
423 &crl->sig_opts ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200424 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200425 mbedtls_x509_crl_free( crl );
426 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200427 }
428
429 /*
430 * issuer Name
431 */
432 crl->issuer_raw.p = p;
433
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
435 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200436 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 mbedtls_x509_crl_free( crl );
438 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200439 }
440
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200441 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200442 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200443 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200444 return( ret );
445 }
446
447 crl->issuer_raw.len = p - crl->issuer_raw.p;
448
449 /*
450 * thisUpdate Time
451 * nextUpdate Time OPTIONAL
452 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200453 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200454 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200456 return( ret );
457 }
458
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200459 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200460 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
462 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
463 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
464 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200465 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200466 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200467 return( ret );
468 }
469 }
470
471 /*
472 * revokedCertificates SEQUENCE OF SEQUENCE {
473 * userCertificate CertificateSerialNumber,
474 * revocationDate Time,
475 * crlEntryExtensions Extensions OPTIONAL
476 * -- if present, MUST be v2
477 * } OPTIONAL
478 */
479 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
480 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200481 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200482 return( ret );
483 }
484
485 /*
486 * crlExtensions EXPLICIT Extensions OPTIONAL
487 * -- if present, MUST be v2
488 */
489 if( crl->version == 2 )
490 {
491 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
492
493 if( ret != 0 )
494 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200496 return( ret );
497 }
498 }
499
500 if( p != end )
501 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200502 mbedtls_x509_crl_free( crl );
503 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
504 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200505 }
506
507 end = crl->raw.p + crl->raw.len;
508
509 /*
510 * signatureAlgorithm AlgorithmIdentifier,
511 * signatureValue BIT STRING
512 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200514 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200515 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200516 return( ret );
517 }
518
Manuel Pégourié-Gonnard1022fed2015-03-27 16:30:47 +0100519 if( crl->sig_oid.len != sig_oid2.len ||
520 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
Manuel Pégourié-Gonnarddddbb1d2014-06-05 17:02:24 +0200521 sig_params1.len != sig_params2.len ||
Manuel Pégourié-Gonnard159c5242015-04-30 11:15:22 +0200522 ( sig_params1.len != 0 &&
523 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200524 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200525 mbedtls_x509_crl_free( crl );
526 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200527 }
528
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200529 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200530 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200531 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200532 return( ret );
533 }
534
535 if( p != end )
536 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 mbedtls_x509_crl_free( crl );
538 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
539 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200540 }
541
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100542 return( 0 );
543}
544
545/*
546 * Parse one or more CRLs and add them to the chained list
547 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200548int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100549{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200550#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100551 int ret;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100552 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200553 mbedtls_pem_context pem;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100554 int is_pem = 0;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100555
556 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200557 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100558
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100559 do
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200560 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200561 mbedtls_pem_init( &pem );
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200562
Simon Butcher97e82902016-05-19 00:22:37 +0100563 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
564 // string
565 if( buflen == 0 || buf[buflen - 1] != '\0' )
566 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
567 else
568 ret = mbedtls_pem_read_buffer( &pem,
569 "-----BEGIN X509 CRL-----",
570 "-----END X509 CRL-----",
571 buf, NULL, 0, &use_len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200572
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100573 if( ret == 0 )
574 {
575 /*
576 * Was PEM encoded
577 */
578 is_pem = 1;
579
580 buflen -= use_len;
581 buf += use_len;
582
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200583 if( ( ret = mbedtls_x509_crl_parse_der( chain,
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100584 pem.buf, pem.buflen ) ) != 0 )
585 {
Andres AG5708dcb2016-12-08 17:19:21 +0000586 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100587 return( ret );
588 }
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100589 }
Andres AG939954c2016-12-08 17:08:44 +0000590 else if( is_pem )
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100591 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200592 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100593 return( ret );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100594 }
Andres AG5708dcb2016-12-08 17:19:21 +0000595
596 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100597 }
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200598 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
599 * And a valid CRL cannot be less than 1 byte anyway. */
600 while( is_pem && buflen > 1 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200601
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100602 if( is_pem )
603 return( 0 );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100604 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200605#endif /* MBEDTLS_PEM_PARSE_C */
606 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200607}
608
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200609#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200610/*
611 * Load one or more CRLs and add them to the chained list
612 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200613int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200614{
615 int ret;
616 size_t n;
617 unsigned char *buf;
618
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200619 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200620 return( ret );
621
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200622 ret = mbedtls_x509_crl_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200623
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200624 mbedtls_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200625 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200626
627 return( ret );
628}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200629#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200630
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200631/*
632 * Return an informational string about the certificate.
633 */
634#define BEFORE_COLON 14
635#define BC "14"
636/*
637 * Return an informational string about the CRL.
638 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
640 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200641{
642 int ret;
643 size_t n;
644 char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200645 const mbedtls_x509_crl_entry *entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200646
647 p = buf;
648 n = size;
649
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200650 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200651 prefix, crl->version );
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%sissuer name : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200655 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200656 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200657 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200658
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200659 ret = mbedtls_snprintf( p, n, "\n%sthis update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200660 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
661 crl->this_update.year, crl->this_update.mon,
662 crl->this_update.day, crl->this_update.hour,
663 crl->this_update.min, crl->this_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200664 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200665
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666 ret = mbedtls_snprintf( p, n, "\n%snext update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200667 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
668 crl->next_update.year, crl->next_update.mon,
669 crl->next_update.day, crl->next_update.hour,
670 crl->next_update.min, crl->next_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200671 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200672
673 entry = &crl->entry;
674
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200675 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200676 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200677 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200678
679 while( entry != NULL && entry->raw.len != 0 )
680 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200682 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200683 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200684
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200685 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200686 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200687
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200688 ret = mbedtls_snprintf( p, n, " revocation date: " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200689 "%04d-%02d-%02d %02d:%02d:%02d",
690 entry->revocation_date.year, entry->revocation_date.mon,
691 entry->revocation_date.day, entry->revocation_date.hour,
692 entry->revocation_date.min, entry->revocation_date.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200693 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200694
695 entry = entry->next;
696 }
697
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
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_x509_sig_alg_gets( p, n, &crl->sig_oid, crl->sig_pk, crl->sig_md,
Manuel Pégourié-Gonnardbf696d02014-06-05 17:07:30 +0200702 crl->sig_opts );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200703 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200704
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200705 ret = mbedtls_snprintf( p, n, "\n" );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200706 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200707
708 return( (int) ( size - n ) );
709}
710
711/*
Paul Bakker369d2eb2013-09-18 11:58:25 +0200712 * Initialize a CRL chain
713 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200714void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
Paul Bakker369d2eb2013-09-18 11:58:25 +0200715{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200716 memset( crl, 0, sizeof(mbedtls_x509_crl) );
Paul Bakker369d2eb2013-09-18 11:58:25 +0200717}
718
719/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200720 * Unallocate all CRL data
721 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200722void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200723{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200724 mbedtls_x509_crl *crl_cur = crl;
725 mbedtls_x509_crl *crl_prv;
726 mbedtls_x509_name *name_cur;
727 mbedtls_x509_name *name_prv;
728 mbedtls_x509_crl_entry *entry_cur;
729 mbedtls_x509_crl_entry *entry_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200730
731 if( crl == NULL )
732 return;
733
734 do
735 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200736#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
737 mbedtls_free( crl_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200738#endif
739
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200740 name_cur = crl_cur->issuer.next;
741 while( name_cur != NULL )
742 {
743 name_prv = name_cur;
744 name_cur = name_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200745 mbedtls_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
746 mbedtls_free( name_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200747 }
748
749 entry_cur = crl_cur->entry.next;
750 while( entry_cur != NULL )
751 {
752 entry_prv = entry_cur;
753 entry_cur = entry_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200754 mbedtls_zeroize( entry_prv, sizeof( mbedtls_x509_crl_entry ) );
755 mbedtls_free( entry_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200756 }
757
758 if( crl_cur->raw.p != NULL )
759 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200760 mbedtls_zeroize( crl_cur->raw.p, crl_cur->raw.len );
761 mbedtls_free( crl_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200762 }
763
764 crl_cur = crl_cur->next;
765 }
766 while( crl_cur != NULL );
767
768 crl_cur = crl;
769 do
770 {
771 crl_prv = crl_cur;
772 crl_cur = crl_cur->next;
773
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200774 mbedtls_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200775 if( crl_prv != crl )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200776 mbedtls_free( crl_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200777 }
778 while( crl_cur != NULL );
779}
780
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200781#endif /* MBEDTLS_X509_CRL_PARSE_C */