blob: 09c7ac3186de0cc653f1b76371249d9ad4cf831c [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 Garciae32df082017-10-25 09:37:04 +010042#include "mbedtls/utils.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
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100106 /*
107 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
108 * -- if present, version MUST be v2
109 */
110 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200111 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200113 return( 0 );
114
115 return( ret );
116 }
117
118 while( *p < end )
119 {
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100120 /*
121 * Extension ::= SEQUENCE {
122 * extnID OBJECT IDENTIFIER,
123 * critical BOOLEAN DEFAULT FALSE,
124 * extnValue OCTET STRING }
125 */
126 int is_critical = 0;
127 const unsigned char *end_ext_data;
128 size_t len;
129
130 /* Get enclosing sequence tag */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
132 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
133 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200134
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100135 end_ext_data = *p + len;
136
137 /* Get OID (currently ignored) */
138 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
139 MBEDTLS_ASN1_OID ) ) != 0 )
140 {
141 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
142 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200143 *p += len;
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100144
145 /* Get optional critical */
146 if( ( ret = mbedtls_asn1_get_bool( p, end_ext_data,
147 &is_critical ) ) != 0 &&
148 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
149 {
150 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
151 }
152
153 /* Data should be octet string type */
154 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
155 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
156 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
157
158 /* Ignore data so far and just check its length */
159 *p += len;
160 if( *p != end_ext_data )
161 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
162 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
163
164 /* Abort on (unsupported) critical extensions */
165 if( is_critical )
166 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
167 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200168 }
169
170 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
172 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200173
174 return( 0 );
175}
176
177/*
178 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
179 */
180static int x509_get_crl_entry_ext( unsigned char **p,
181 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200182 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200183{
184 int ret;
185 size_t len = 0;
186
187 /* OPTIONAL */
Paul Bakker66d5d072014-06-17 16:39:18 +0200188 if( end <= *p )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200189 return( 0 );
190
191 ext->tag = **p;
192 ext->p = *p;
193
194 /*
195 * Get CRL-entry extension sequence header
196 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
197 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
199 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200200 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200202 {
203 ext->p = NULL;
204 return( 0 );
205 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200207 }
208
Paul Bakker9af723c2014-05-01 13:03:14 +0200209 end = *p + ext->len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200210
211 if( end != *p + ext->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200212 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
213 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200214
215 while( *p < end )
216 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
218 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
219 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200220
221 *p += len;
222 }
223
224 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200225 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
226 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200227
228 return( 0 );
229}
230
231/*
232 * X.509 CRL Entries
233 */
234static int x509_get_entries( unsigned char **p,
235 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236 mbedtls_x509_crl_entry *entry )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200237{
238 int ret;
239 size_t entry_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200240 mbedtls_x509_crl_entry *cur_entry = entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200241
242 if( *p == end )
243 return( 0 );
244
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
246 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200247 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200248 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200249 return( 0 );
250
251 return( ret );
252 }
253
254 end = *p + entry_len;
255
256 while( *p < end )
257 {
258 size_t len2;
259 const unsigned char *end2;
260
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
262 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200263 {
264 return( ret );
265 }
266
267 cur_entry->raw.tag = **p;
268 cur_entry->raw.p = *p;
269 cur_entry->raw.len = len2;
270 end2 = *p + len2;
271
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200272 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200273 return( ret );
274
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200275 if( ( ret = mbedtls_x509_get_time( p, end2,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200276 &cur_entry->revocation_date ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200277 return( ret );
278
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200279 if( ( ret = x509_get_crl_entry_ext( p, end2,
280 &cur_entry->entry_ext ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200281 return( ret );
282
Paul Bakker66d5d072014-06-17 16:39:18 +0200283 if( *p < end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200284 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200285 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200286
287 if( cur_entry->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200288 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200289
290 cur_entry = cur_entry->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200291 }
292 }
293
294 return( 0 );
295}
296
297/*
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100298 * Parse one CRLs in DER format and append it to the chained list
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200300int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100301 const unsigned char *buf, size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200302{
303 int ret;
304 size_t len;
Andres Amaya Garciaf1ee6352017-07-06 10:06:58 +0100305 unsigned char *p = NULL, *end = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
307 mbedtls_x509_crl *crl = chain;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200308
309 /*
310 * Check for valid input
311 */
312 if( crl == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200314
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
316 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
317 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200318
319 /*
320 * Add new CRL on the end of the chain if needed.
321 */
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100322 while( crl->version != 0 && crl->next != NULL )
323 crl = crl->next;
324
Paul Bakker66d5d072014-06-17 16:39:18 +0200325 if( crl->version != 0 && crl->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200326 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200327 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200328
329 if( crl->next == NULL )
330 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331 mbedtls_x509_crl_free( crl );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200332 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200333 }
334
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 mbedtls_x509_crl_init( crl->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200336 crl = crl->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337 }
338
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100339 /*
340 * Copy raw DER-encoded CRL
341 */
Andres Amaya Garciacb5123f2017-12-06 09:39:23 +0000342 if( buflen == 0 )
343 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Andres Amaya Garciac9d62262017-12-12 20:15:03 +0000344
345 p = mbedtls_calloc( 1, buflen );
346 if( p == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200347 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200348
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100349 memcpy( p, buf, buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200350
351 crl->raw.p = p;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100352 crl->raw.len = buflen;
353
354 end = p + buflen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200355
356 /*
357 * CertificateList ::= SEQUENCE {
358 * tbsCertList TBSCertList,
359 * signatureAlgorithm AlgorithmIdentifier,
360 * signatureValue BIT STRING }
361 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200362 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
363 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200364 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200365 mbedtls_x509_crl_free( crl );
366 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200367 }
368
369 if( len != (size_t) ( end - p ) )
370 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371 mbedtls_x509_crl_free( crl );
372 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
373 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200374 }
375
376 /*
377 * TBSCertList ::= SEQUENCE {
378 */
379 crl->tbs.p = p;
380
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200381 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
382 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200383 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200384 mbedtls_x509_crl_free( crl );
385 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200386 }
387
388 end = p + len;
389 crl->tbs.len = end - crl->tbs.p;
390
391 /*
392 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
393 * -- if present, MUST be v2
394 *
395 * signature AlgorithmIdentifier
396 */
397 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200398 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200399 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200400 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200401 return( ret );
402 }
403
Andres AG4f753c12017-02-10 14:39:58 +0000404 if( crl->version < 0 || crl->version > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200405 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200406 mbedtls_x509_crl_free( crl );
407 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200408 }
409
Andres AG4f753c12017-02-10 14:39:58 +0000410 crl->version++;
411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200413 &crl->sig_md, &crl->sig_pk,
414 &crl->sig_opts ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200415 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200416 mbedtls_x509_crl_free( crl );
417 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200418 }
419
420 /*
421 * issuer Name
422 */
423 crl->issuer_raw.p = p;
424
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200425 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
426 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200427 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200428 mbedtls_x509_crl_free( crl );
429 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200430 }
431
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200433 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200435 return( ret );
436 }
437
438 crl->issuer_raw.len = p - crl->issuer_raw.p;
439
440 /*
441 * thisUpdate Time
442 * nextUpdate Time OPTIONAL
443 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200445 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200447 return( ret );
448 }
449
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200451 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
453 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
454 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
455 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200456 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200457 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458 return( ret );
459 }
460 }
461
462 /*
463 * revokedCertificates SEQUENCE OF SEQUENCE {
464 * userCertificate CertificateSerialNumber,
465 * revocationDate Time,
466 * crlEntryExtensions Extensions OPTIONAL
467 * -- if present, MUST be v2
468 * } OPTIONAL
469 */
470 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
471 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200473 return( ret );
474 }
475
476 /*
477 * crlExtensions EXPLICIT Extensions OPTIONAL
478 * -- if present, MUST be v2
479 */
480 if( crl->version == 2 )
481 {
482 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
483
484 if( ret != 0 )
485 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200486 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200487 return( ret );
488 }
489 }
490
491 if( p != end )
492 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200493 mbedtls_x509_crl_free( crl );
494 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
495 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200496 }
497
498 end = crl->raw.p + crl->raw.len;
499
500 /*
501 * signatureAlgorithm AlgorithmIdentifier,
502 * signatureValue BIT STRING
503 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200505 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200507 return( ret );
508 }
509
Manuel Pégourié-Gonnard1022fed2015-03-27 16:30:47 +0100510 if( crl->sig_oid.len != sig_oid2.len ||
511 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
Manuel Pégourié-Gonnarddddbb1d2014-06-05 17:02:24 +0200512 sig_params1.len != sig_params2.len ||
Manuel Pégourié-Gonnard159c5242015-04-30 11:15:22 +0200513 ( sig_params1.len != 0 &&
514 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200515 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200516 mbedtls_x509_crl_free( crl );
517 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200518 }
519
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200521 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200522 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200523 return( ret );
524 }
525
526 if( p != end )
527 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200528 mbedtls_x509_crl_free( crl );
529 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
530 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200531 }
532
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100533 return( 0 );
534}
535
536/*
537 * Parse one or more CRLs and add them to the chained list
538 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200539int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100540{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100542 int ret;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100543 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544 mbedtls_pem_context pem;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100545 int is_pem = 0;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100546
547 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200548 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100549
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100550 do
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200551 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200552 mbedtls_pem_init( &pem );
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200553
Simon Butcher97e82902016-05-19 00:22:37 +0100554 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
555 // string
556 if( buflen == 0 || buf[buflen - 1] != '\0' )
557 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
558 else
559 ret = mbedtls_pem_read_buffer( &pem,
560 "-----BEGIN X509 CRL-----",
561 "-----END X509 CRL-----",
562 buf, NULL, 0, &use_len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200563
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100564 if( ret == 0 )
565 {
566 /*
567 * Was PEM encoded
568 */
569 is_pem = 1;
570
571 buflen -= use_len;
572 buf += use_len;
573
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200574 if( ( ret = mbedtls_x509_crl_parse_der( chain,
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100575 pem.buf, pem.buflen ) ) != 0 )
576 {
Andres AG5708dcb2016-12-08 17:19:21 +0000577 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100578 return( ret );
579 }
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100580 }
Andres AG939954c2016-12-08 17:08:44 +0000581 else if( is_pem )
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100582 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200583 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100584 return( ret );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100585 }
Andres AG5708dcb2016-12-08 17:19:21 +0000586
587 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100588 }
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200589 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
590 * And a valid CRL cannot be less than 1 byte anyway. */
591 while( is_pem && buflen > 1 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200592
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100593 if( is_pem )
594 return( 0 );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100595 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200596#endif /* MBEDTLS_PEM_PARSE_C */
597 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200598}
599
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200600#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200601/*
602 * Load one or more CRLs and add them to the chained list
603 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200604int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200605{
606 int ret;
607 size_t n;
608 unsigned char *buf;
609
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200610 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200611 return( ret );
612
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200613 ret = mbedtls_x509_crl_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200614
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200615 mbedtls_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200616 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200617
618 return( ret );
619}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200620#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200621
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200622/*
623 * Return an informational string about the certificate.
624 */
625#define BEFORE_COLON 14
626#define BC "14"
627/*
628 * Return an informational string about the CRL.
629 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200630int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
631 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200632{
633 int ret;
634 size_t n;
635 char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200636 const mbedtls_x509_crl_entry *entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200637
638 p = buf;
639 n = size;
640
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200641 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200642 prefix, crl->version );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200643 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200644
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200645 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200646 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
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%sthis update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200651 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
652 crl->this_update.year, crl->this_update.mon,
653 crl->this_update.day, crl->this_update.hour,
654 crl->this_update.min, crl->this_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200655 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200656
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200657 ret = mbedtls_snprintf( p, n, "\n%snext update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200658 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
659 crl->next_update.year, crl->next_update.mon,
660 crl->next_update.day, crl->next_update.hour,
661 crl->next_update.min, crl->next_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200662 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200663
664 entry = &crl->entry;
665
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200667 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200668 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200669
670 while( entry != NULL && entry->raw.len != 0 )
671 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200672 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200673 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200674 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200675
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200676 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200677 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200678
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200679 ret = mbedtls_snprintf( p, n, " revocation date: " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200680 "%04d-%02d-%02d %02d:%02d:%02d",
681 entry->revocation_date.year, entry->revocation_date.mon,
682 entry->revocation_date.day, entry->revocation_date.hour,
683 entry->revocation_date.min, entry->revocation_date.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200684 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200685
686 entry = entry->next;
687 }
688
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200689 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200690 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200691
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200692 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 +0200693 crl->sig_opts );
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_snprintf( p, n, "\n" );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200697 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200698
699 return( (int) ( size - n ) );
700}
701
702/*
Paul Bakker369d2eb2013-09-18 11:58:25 +0200703 * Initialize a CRL chain
704 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200705void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
Paul Bakker369d2eb2013-09-18 11:58:25 +0200706{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200707 memset( crl, 0, sizeof(mbedtls_x509_crl) );
Paul Bakker369d2eb2013-09-18 11:58:25 +0200708}
709
710/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200711 * Unallocate all CRL data
712 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200713void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200714{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200715 mbedtls_x509_crl *crl_cur = crl;
716 mbedtls_x509_crl *crl_prv;
717 mbedtls_x509_name *name_cur;
718 mbedtls_x509_name *name_prv;
719 mbedtls_x509_crl_entry *entry_cur;
720 mbedtls_x509_crl_entry *entry_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200721
722 if( crl == NULL )
723 return;
724
725 do
726 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200727#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
728 mbedtls_free( crl_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200729#endif
730
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200731 name_cur = crl_cur->issuer.next;
732 while( name_cur != NULL )
733 {
734 name_prv = name_cur;
735 name_cur = name_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200736 mbedtls_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
737 mbedtls_free( name_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200738 }
739
740 entry_cur = crl_cur->entry.next;
741 while( entry_cur != NULL )
742 {
743 entry_prv = entry_cur;
744 entry_cur = entry_cur->next;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200745 mbedtls_zeroize( entry_prv, sizeof( mbedtls_x509_crl_entry ) );
746 mbedtls_free( entry_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200747 }
748
749 if( crl_cur->raw.p != NULL )
750 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200751 mbedtls_zeroize( crl_cur->raw.p, crl_cur->raw.len );
752 mbedtls_free( crl_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200753 }
754
755 crl_cur = crl_cur->next;
756 }
757 while( crl_cur != NULL );
758
759 crl_cur = crl;
760 do
761 {
762 crl_prv = crl_cur;
763 crl_cur = crl_cur->next;
764
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200765 mbedtls_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200766 if( crl_prv != crl )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767 mbedtls_free( crl_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200768 }
769 while( crl_cur != NULL );
770}
771
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772#endif /* MBEDTLS_X509_CRL_PARSE_C */