blob: 8ff1be85cb1f69195482b41e1e8d642b48c13bc5 [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
Janos Follath865b3eb2019-12-16 11:46:15 +000038#include "mbedtls/error.h"
39
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_X509_CRL_PARSE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020041
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000042#include "mbedtls/x509_crl.h"
43#include "mbedtls/oid.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050044#include "mbedtls/platform_util.h"
Rich Evans00ab4702015-02-06 13:43:58 +000045
46#include <string.h>
47
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000049#include "mbedtls/pem.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020050#endif
51
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000053#include "mbedtls/platform.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054#else
Rich Evans00ab4702015-02-06 13:43:58 +000055#include <stdlib.h>
Manuel Pégourié-Gonnard981732b2015-02-17 15:46:45 +000056#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057#define mbedtls_free free
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020058#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#define mbedtls_snprintf snprintf
Paul Bakker7c6b2c32013-09-16 13:49:26 +020060#endif
61
Paul Bakkerfa6a6202013-10-28 18:48:30 +010062#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020063#include <windows.h>
64#else
65#include <time.h>
66#endif
67
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068#if defined(MBEDTLS_FS_IO) || defined(EFIX64) || defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020069#include <stdio.h>
70#endif
71
72/*
73 * Version ::= INTEGER { v1(0), v2(1) }
74 */
75static int x509_crl_get_version( unsigned char **p,
76 const unsigned char *end,
77 int *ver )
78{
Janos Follath865b3eb2019-12-16 11:46:15 +000079 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020080
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081 if( ( ret = mbedtls_asn1_get_int( p, end, ver ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020082 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020083 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020084 {
85 *ver = 0;
86 return( 0 );
87 }
88
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089 return( MBEDTLS_ERR_X509_INVALID_VERSION + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090 }
91
92 return( 0 );
93}
94
95/*
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +010096 * X.509 CRL v2 extensions
97 *
98 * We currently don't parse any extension's content, but we do check that the
99 * list of extensions is well-formed and abort on critical extensions (that
100 * are unsupported as we don't support any extension so far)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200101 */
102static int x509_get_crl_ext( unsigned char **p,
103 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200105{
Janos Follath865b3eb2019-12-16 11:46:15 +0000106 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200107
Hanno Becker12f62fb2019-02-12 17:22:36 +0000108 if( *p == end )
109 return( 0 );
110
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100111 /*
112 * crlExtensions [0] EXPLICIT Extensions OPTIONAL
113 * -- if present, version MUST be v2
114 */
115 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200116 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117
Hanno Becker12f62fb2019-02-12 17:22:36 +0000118 end = ext->p + ext->len;
119
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200120 while( *p < end )
121 {
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100122 /*
123 * Extension ::= SEQUENCE {
124 * extnID OBJECT IDENTIFIER,
125 * critical BOOLEAN DEFAULT FALSE,
126 * extnValue OCTET STRING }
127 */
128 int is_critical = 0;
129 const unsigned char *end_ext_data;
130 size_t len;
131
132 /* Get enclosing sequence tag */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
134 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
135 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200136
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100137 end_ext_data = *p + len;
138
139 /* Get OID (currently ignored) */
140 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
141 MBEDTLS_ASN1_OID ) ) != 0 )
142 {
143 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
144 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200145 *p += len;
Manuel Pégourié-Gonnardfd3e4fb2018-03-13 11:53:30 +0100146
147 /* Get optional critical */
148 if( ( ret = mbedtls_asn1_get_bool( p, end_ext_data,
149 &is_critical ) ) != 0 &&
150 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
151 {
152 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
153 }
154
155 /* Data should be octet string type */
156 if( ( ret = mbedtls_asn1_get_tag( p, end_ext_data, &len,
157 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
158 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
159
160 /* Ignore data so far and just check its length */
161 *p += len;
162 if( *p != end_ext_data )
163 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
164 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
165
166 /* Abort on (unsupported) critical extensions */
167 if( is_critical )
168 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
169 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200170 }
171
172 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
174 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200175
176 return( 0 );
177}
178
179/*
180 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
181 */
182static int x509_get_crl_entry_ext( unsigned char **p,
183 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 mbedtls_x509_buf *ext )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200185{
Janos Follath865b3eb2019-12-16 11:46:15 +0000186 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200187 size_t len = 0;
188
189 /* OPTIONAL */
Paul Bakker66d5d072014-06-17 16:39:18 +0200190 if( end <= *p )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200191 return( 0 );
192
193 ext->tag = **p;
194 ext->p = *p;
195
196 /*
197 * Get CRL-entry extension sequence header
198 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
199 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
201 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200202 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200204 {
205 ext->p = NULL;
206 return( 0 );
207 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200208 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200209 }
210
Paul Bakker9af723c2014-05-01 13:03:14 +0200211 end = *p + ext->len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200212
213 if( end != *p + ext->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
215 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200216
217 while( *p < end )
218 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200219 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
220 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
221 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200222
223 *p += len;
224 }
225
226 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
228 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200229
230 return( 0 );
231}
232
233/*
234 * X.509 CRL Entries
235 */
236static int x509_get_entries( unsigned char **p,
237 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200238 mbedtls_x509_crl_entry *entry )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200239{
Janos Follath865b3eb2019-12-16 11:46:15 +0000240 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200241 size_t entry_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200242 mbedtls_x509_crl_entry *cur_entry = entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200243
244 if( *p == end )
245 return( 0 );
246
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200247 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
248 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200249 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200251 return( 0 );
252
253 return( ret );
254 }
255
256 end = *p + entry_len;
257
258 while( *p < end )
259 {
260 size_t len2;
261 const unsigned char *end2;
262
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200263 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
264 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200265 {
266 return( ret );
267 }
268
269 cur_entry->raw.tag = **p;
270 cur_entry->raw.p = *p;
271 cur_entry->raw.len = len2;
272 end2 = *p + len2;
273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200275 return( ret );
276
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200277 if( ( ret = mbedtls_x509_get_time( p, end2,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200278 &cur_entry->revocation_date ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200279 return( ret );
280
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200281 if( ( ret = x509_get_crl_entry_ext( p, end2,
282 &cur_entry->entry_ext ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200283 return( ret );
284
Paul Bakker66d5d072014-06-17 16:39:18 +0200285 if( *p < end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200286 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200287 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200288
289 if( cur_entry->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200290 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200291
292 cur_entry = cur_entry->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200293 }
294 }
295
296 return( 0 );
297}
298
299/*
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100300 * Parse one CRLs in DER format and append it to the chained list
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200301 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100303 const unsigned char *buf, size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200304{
Janos Follath865b3eb2019-12-16 11:46:15 +0000305 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306 size_t len;
Andres Amaya Garciaf1ee6352017-07-06 10:06:58 +0100307 unsigned char *p = NULL, *end = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200308 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
309 mbedtls_x509_crl *crl = chain;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200310
311 /*
312 * Check for valid input
313 */
314 if( crl == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200316
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
318 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
319 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200320
321 /*
322 * Add new CRL on the end of the chain if needed.
323 */
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100324 while( crl->version != 0 && crl->next != NULL )
325 crl = crl->next;
326
Paul Bakker66d5d072014-06-17 16:39:18 +0200327 if( crl->version != 0 && crl->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200328 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200329 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200330
331 if( crl->next == NULL )
332 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 mbedtls_x509_crl_free( crl );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200334 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335 }
336
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337 mbedtls_x509_crl_init( crl->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200338 crl = crl->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200339 }
340
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100341 /*
342 * Copy raw DER-encoded CRL
343 */
Andres Amaya Garciacb5123f2017-12-06 09:39:23 +0000344 if( buflen == 0 )
345 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Andres Amaya Garciac9d62262017-12-12 20:15:03 +0000346
347 p = mbedtls_calloc( 1, buflen );
348 if( p == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200349 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200350
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100351 memcpy( p, buf, buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200352
353 crl->raw.p = p;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100354 crl->raw.len = buflen;
355
356 end = p + buflen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200357
358 /*
359 * CertificateList ::= SEQUENCE {
360 * tbsCertList TBSCertList,
361 * signatureAlgorithm AlgorithmIdentifier,
362 * signatureValue BIT STRING }
363 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200364 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
365 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200366 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200367 mbedtls_x509_crl_free( crl );
368 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200369 }
370
371 if( len != (size_t) ( end - p ) )
372 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200373 mbedtls_x509_crl_free( crl );
374 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
375 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200376 }
377
378 /*
379 * TBSCertList ::= SEQUENCE {
380 */
381 crl->tbs.p = p;
382
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200383 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
384 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200385 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200386 mbedtls_x509_crl_free( crl );
387 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200388 }
389
390 end = p + len;
391 crl->tbs.len = end - crl->tbs.p;
392
393 /*
394 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
395 * -- if present, MUST be v2
396 *
397 * signature AlgorithmIdentifier
398 */
399 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200400 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200401 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200402 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200403 return( ret );
404 }
405
Andres AG4f753c12017-02-10 14:39:58 +0000406 if( crl->version < 0 || crl->version > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200407 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408 mbedtls_x509_crl_free( crl );
409 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200410 }
411
Andres AG4f753c12017-02-10 14:39:58 +0000412 crl->version++;
413
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200414 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200415 &crl->sig_md, &crl->sig_pk,
416 &crl->sig_opts ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200417 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418 mbedtls_x509_crl_free( crl );
419 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420 }
421
422 /*
423 * issuer Name
424 */
425 crl->issuer_raw.p = p;
426
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200427 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
428 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200429 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200430 mbedtls_x509_crl_free( crl );
431 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200432 }
433
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200435 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200436 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200437 return( ret );
438 }
439
440 crl->issuer_raw.len = p - crl->issuer_raw.p;
441
442 /*
443 * thisUpdate Time
444 * nextUpdate Time OPTIONAL
445 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200447 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200449 return( ret );
450 }
451
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200453 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
455 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
456 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
457 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200459 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200460 return( ret );
461 }
462 }
463
464 /*
465 * revokedCertificates SEQUENCE OF SEQUENCE {
466 * userCertificate CertificateSerialNumber,
467 * revocationDate Time,
468 * crlEntryExtensions Extensions OPTIONAL
469 * -- if present, MUST be v2
470 * } OPTIONAL
471 */
472 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
473 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200475 return( ret );
476 }
477
478 /*
479 * crlExtensions EXPLICIT Extensions OPTIONAL
480 * -- if present, MUST be v2
481 */
482 if( crl->version == 2 )
483 {
484 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
485
486 if( ret != 0 )
487 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200488 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200489 return( ret );
490 }
491 }
492
493 if( p != end )
494 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495 mbedtls_x509_crl_free( crl );
496 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
497 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200498 }
499
500 end = crl->raw.p + crl->raw.len;
501
502 /*
503 * signatureAlgorithm AlgorithmIdentifier,
504 * signatureValue BIT STRING
505 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200507 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200508 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200509 return( ret );
510 }
511
Manuel Pégourié-Gonnard1022fed2015-03-27 16:30:47 +0100512 if( crl->sig_oid.len != sig_oid2.len ||
513 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
Manuel Pégourié-Gonnarddddbb1d2014-06-05 17:02:24 +0200514 sig_params1.len != sig_params2.len ||
Manuel Pégourié-Gonnard159c5242015-04-30 11:15:22 +0200515 ( sig_params1.len != 0 &&
516 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200517 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200518 mbedtls_x509_crl_free( crl );
519 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200520 }
521
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200522 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200523 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200524 mbedtls_x509_crl_free( crl );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200525 return( ret );
526 }
527
528 if( p != end )
529 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200530 mbedtls_x509_crl_free( crl );
531 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
532 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200533 }
534
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100535 return( 0 );
536}
537
538/*
539 * Parse one or more CRLs and add them to the chained list
540 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100542{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543#if defined(MBEDTLS_PEM_PARSE_C)
Janos Follath865b3eb2019-12-16 11:46:15 +0000544 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100545 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546 mbedtls_pem_context pem;
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100547 int is_pem = 0;
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100548
549 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200550 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100551
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100552 do
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200553 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200554 mbedtls_pem_init( &pem );
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200555
Simon Butcher97e82902016-05-19 00:22:37 +0100556 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
557 // string
558 if( buflen == 0 || buf[buflen - 1] != '\0' )
559 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
560 else
561 ret = mbedtls_pem_read_buffer( &pem,
562 "-----BEGIN X509 CRL-----",
563 "-----END X509 CRL-----",
564 buf, NULL, 0, &use_len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200565
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100566 if( ret == 0 )
567 {
568 /*
569 * Was PEM encoded
570 */
571 is_pem = 1;
572
573 buflen -= use_len;
574 buf += use_len;
575
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200576 if( ( ret = mbedtls_x509_crl_parse_der( chain,
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100577 pem.buf, pem.buflen ) ) != 0 )
578 {
Andres AG5708dcb2016-12-08 17:19:21 +0000579 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100580 return( ret );
581 }
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100582 }
Andres AG939954c2016-12-08 17:08:44 +0000583 else if( is_pem )
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100584 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200585 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100586 return( ret );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100587 }
Andres AG5708dcb2016-12-08 17:19:21 +0000588
589 mbedtls_pem_free( &pem );
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100590 }
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200591 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
592 * And a valid CRL cannot be less than 1 byte anyway. */
593 while( is_pem && buflen > 1 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200594
Manuel Pégourié-Gonnard6ed2d922014-11-19 19:05:03 +0100595 if( is_pem )
596 return( 0 );
Manuel Pégourié-Gonnard426d4ae2014-11-19 16:58:28 +0100597 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200598#endif /* MBEDTLS_PEM_PARSE_C */
599 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200600}
601
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200602#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200603/*
604 * Load one or more CRLs and add them to the chained list
605 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200606int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200607{
Janos Follath865b3eb2019-12-16 11:46:15 +0000608 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200609 size_t n;
610 unsigned char *buf;
611
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200612 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200613 return( ret );
614
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200615 ret = mbedtls_x509_crl_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200616
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500617 mbedtls_platform_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200618 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200619
620 return( ret );
621}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200622#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200623
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200624/*
625 * Return an informational string about the certificate.
626 */
627#define BEFORE_COLON 14
628#define BC "14"
629/*
630 * Return an informational string about the CRL.
631 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200632int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
633 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200634{
Janos Follath865b3eb2019-12-16 11:46:15 +0000635 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200636 size_t n;
637 char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200638 const mbedtls_x509_crl_entry *entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200639
640 p = buf;
641 n = size;
642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200643 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200644 prefix, crl->version );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200645 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200646
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200648 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200650 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200651
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200652 ret = mbedtls_snprintf( p, n, "\n%sthis update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200653 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
654 crl->this_update.year, crl->this_update.mon,
655 crl->this_update.day, crl->this_update.hour,
656 crl->this_update.min, crl->this_update.sec );
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%snext update : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200660 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
661 crl->next_update.year, crl->next_update.mon,
662 crl->next_update.day, crl->next_update.hour,
663 crl->next_update.min, crl->next_update.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200664 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200665
666 entry = &crl->entry;
667
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200668 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200669 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200670 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200671
672 while( entry != NULL && entry->raw.len != 0 )
673 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200674 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200675 prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200676 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200677
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200678 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200679 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200680
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681 ret = mbedtls_snprintf( p, n, " revocation date: " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200682 "%04d-%02d-%02d %02d:%02d:%02d",
683 entry->revocation_date.year, entry->revocation_date.mon,
684 entry->revocation_date.day, entry->revocation_date.hour,
685 entry->revocation_date.min, entry->revocation_date.sec );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200686 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200687
688 entry = entry->next;
689 }
690
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200691 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200692 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200693
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200694 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 +0200695 crl->sig_opts );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200696 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200697
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 ret = mbedtls_snprintf( p, n, "\n" );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +0200699 MBEDTLS_X509_SAFE_SNPRINTF;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200700
701 return( (int) ( size - n ) );
702}
703
704/*
Paul Bakker369d2eb2013-09-18 11:58:25 +0200705 * Initialize a CRL chain
706 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200707void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
Paul Bakker369d2eb2013-09-18 11:58:25 +0200708{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200709 memset( crl, 0, sizeof(mbedtls_x509_crl) );
Paul Bakker369d2eb2013-09-18 11:58:25 +0200710}
711
712/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200713 * Unallocate all CRL data
714 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200715void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200716{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200717 mbedtls_x509_crl *crl_cur = crl;
718 mbedtls_x509_crl *crl_prv;
719 mbedtls_x509_name *name_cur;
720 mbedtls_x509_name *name_prv;
721 mbedtls_x509_crl_entry *entry_cur;
722 mbedtls_x509_crl_entry *entry_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200723
724 if( crl == NULL )
725 return;
726
727 do
728 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200729#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
730 mbedtls_free( crl_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200731#endif
732
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200733 name_cur = crl_cur->issuer.next;
734 while( name_cur != NULL )
735 {
736 name_prv = name_cur;
737 name_cur = name_cur->next;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500738 mbedtls_platform_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200739 mbedtls_free( name_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200740 }
741
742 entry_cur = crl_cur->entry.next;
743 while( entry_cur != NULL )
744 {
745 entry_prv = entry_cur;
746 entry_cur = entry_cur->next;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500747 mbedtls_platform_zeroize( entry_prv,
748 sizeof( mbedtls_x509_crl_entry ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749 mbedtls_free( entry_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200750 }
751
752 if( crl_cur->raw.p != NULL )
753 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500754 mbedtls_platform_zeroize( crl_cur->raw.p, crl_cur->raw.len );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755 mbedtls_free( crl_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200756 }
757
758 crl_cur = crl_cur->next;
759 }
760 while( crl_cur != NULL );
761
762 crl_cur = crl;
763 do
764 {
765 crl_prv = crl_cur;
766 crl_cur = crl_cur->next;
767
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500768 mbedtls_platform_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200769 if( crl_prv != crl )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200770 mbedtls_free( crl_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200771 }
772 while( crl_cur != NULL );
773}
774
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200775#endif /* MBEDTLS_X509_CRL_PARSE_C */