blob: 04b227abe13728dcc796b36dd17afe8b4a0fd590 [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
Manuel Pégourié-Gonnard1c082f32014-06-12 22:34:55 +02002 * X.509 certificate parsing and verification
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
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +020030 *
31 * [SIRO] https://cabforum.org/wp-content/uploads/Chunghwatelecom201503cabforumV4.pdf
Paul Bakker7c6b2c32013-09-16 13:49:26 +020032 */
33
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000035#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020036#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020038#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +020039
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_X509_CRT_PARSE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020041
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000042#include "mbedtls/x509_crt.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
Rich Evans00ab4702015-02-06 13:43:58 +000046#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
Simon Butcherd2642582018-10-03 15:11:19 +010055#include <stdio.h>
Rich Evans00ab4702015-02-06 13:43:58 +000056#include <stdlib.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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000063#include "mbedtls/threading.h"
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +010064#endif
65
Paul Bakkerfa6a6202013-10-28 18:48:30 +010066#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020067#include <windows.h>
68#else
69#include <time.h>
70#endif
71
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020072#if defined(MBEDTLS_FS_IO)
Rich Evans00ab4702015-02-06 13:43:58 +000073#include <stdio.h>
Paul Bakker5ff3f912014-04-04 15:08:20 +020074#if !defined(_WIN32) || defined(EFIX64) || defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020075#include <sys/types.h>
76#include <sys/stat.h>
77#include <dirent.h>
Rich Evans00ab4702015-02-06 13:43:58 +000078#endif /* !_WIN32 || EFIX64 || EFI32 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020079#endif
80
Hanno Becker38f0cb42019-03-04 15:13:45 +000081#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
82static void x509_buf_to_buf_raw( mbedtls_x509_buf_raw *dst,
83 mbedtls_x509_buf const *src )
84{
85 dst->p = src->p;
86 dst->len = src->len;
87}
88
89static void x509_buf_raw_to_buf( mbedtls_x509_buf *dst,
90 mbedtls_x509_buf_raw const *src )
91{
92 dst->p = src->p;
93 dst->len = src->len;
94}
95#endif /* MBEDTLS_X509_ON_DEMAND_PARSING */
96
Hanno Becker21f55672019-02-15 15:27:59 +000097static int x509_crt_parse_frame( unsigned char *start,
98 unsigned char *end,
99 mbedtls_x509_crt_frame *frame );
100static int x509_crt_subject_from_frame( mbedtls_x509_crt_frame *frame,
101 mbedtls_x509_name *subject );
102static int x509_crt_issuer_from_frame( mbedtls_x509_crt_frame *frame,
103 mbedtls_x509_name *issuer );
104static int x509_crt_subject_alt_from_frame( mbedtls_x509_crt_frame *frame,
105 mbedtls_x509_sequence *subject_alt );
106static int x509_crt_ext_key_usage_from_frame( mbedtls_x509_crt_frame *frame,
107 mbedtls_x509_sequence *ext_key_usage );
108
Hanno Beckerea32d8b2019-03-04 11:52:23 +0000109static int x509_crt_frame_parse_ext( mbedtls_x509_crt_frame *frame );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000110int mbedtls_x509_crt_cache_provide_frame( mbedtls_x509_crt const *crt )
Hanno Becker337088a2019-02-25 14:53:14 +0000111{
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000112 mbedtls_x509_crt_cache *cache = crt->cache;
Hanno Becker337088a2019-02-25 14:53:14 +0000113 mbedtls_x509_crt_frame *frame;
114
115 frame = mbedtls_calloc( 1, sizeof( mbedtls_x509_crt_frame ) );
116 if( frame == NULL )
117 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000118 cache->frame = frame;
Hanno Becker337088a2019-02-25 14:53:14 +0000119
Hanno Beckerea32d8b2019-03-04 11:52:23 +0000120#if defined(MBEDTLS_X509_ON_DEMAND_PARSING)
121 /* This would work with !MBEDTLS_X509_ON_DEMAND_PARSING, too,
122 * but is inefficient compared to copying the respective fields
123 * from the legacy mbedtls_x509_crt. */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000124 return( x509_crt_parse_frame( crt->raw.p,
125 crt->raw.p + crt->raw.len,
126 frame ) );
Hanno Beckerea32d8b2019-03-04 11:52:23 +0000127#else /* MBEDTLS_X509_ON_DEMAND_PARSING */
128 /* Make sure all extension related fields are properly initialized. */
129 frame->ca_istrue = 0;
130 frame->max_pathlen = 0;
131 frame->ext_types = 0;
132 frame->version = crt->version;
133 frame->sig_md = crt->sig_md;
134 frame->sig_pk = crt->sig_pk;
135 frame->valid_from = crt->valid_from;
136 frame->valid_to = crt->valid_to;
Hanno Becker38f0cb42019-03-04 15:13:45 +0000137 x509_buf_to_buf_raw( &frame->raw, &crt->raw );
138 x509_buf_to_buf_raw( &frame->tbs, &crt->tbs );
139 x509_buf_to_buf_raw( &frame->serial, &crt->serial );
140 x509_buf_to_buf_raw( &frame->pubkey_raw, &crt->pk_raw );
141 x509_buf_to_buf_raw( &frame->issuer_raw, &crt->issuer_raw );
142 x509_buf_to_buf_raw( &frame->subject_raw, &crt->subject_raw );
143 x509_buf_to_buf_raw( &frame->subject_id, &crt->subject_id );
144 x509_buf_to_buf_raw( &frame->issuer_id, &crt->issuer_id );
145 x509_buf_to_buf_raw( &frame->sig, &crt->sig );
146 x509_buf_to_buf_raw( &frame->v3_ext, &crt->v3_ext );
Hanno Beckerea32d8b2019-03-04 11:52:23 +0000147
148 /* The legacy CRT structure doesn't explicitly contain
149 * the `AlgorithmIdentifier` bounds; however, those can
150 * be inferred from the surrounding (mandatory) `SerialNumber`
151 * and `Issuer` fields. */
152 frame->sig_alg.p = crt->serial.p + crt->serial.len;
153 frame->sig_alg.len = crt->issuer_raw.p - frame->sig_alg.p;
154
155 return( x509_crt_frame_parse_ext( frame ) );
156#endif /* !MBEDTLS_X509_ON_DEMAND_PARSING */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000157}
Hanno Becker337088a2019-02-25 14:53:14 +0000158
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000159int mbedtls_x509_crt_cache_provide_pk( mbedtls_x509_crt const *crt )
160{
161 mbedtls_x509_crt_cache *cache = crt->cache;
162 mbedtls_pk_context *pk;
163
164 pk = mbedtls_calloc( 1, sizeof( mbedtls_pk_context ) );
165 if( pk == NULL )
166 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000167 cache->pk = pk;
Hanno Becker180f7bf2019-02-28 13:23:38 +0000168
169#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
170 *pk = crt->pk;
Hanno Becker337088a2019-02-25 14:53:14 +0000171 return( 0 );
Hanno Becker180f7bf2019-02-28 13:23:38 +0000172#else
173 {
174 mbedtls_x509_buf_raw pk_raw = cache->pk_raw;
175 return( mbedtls_pk_parse_subpubkey( &pk_raw.p,
176 pk_raw.p + pk_raw.len,
177 pk ) );
178 }
179#endif /* MBEDTLS_X509_ON_DEMAND_PARSING */
Hanno Becker337088a2019-02-25 14:53:14 +0000180}
181
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000182static void x509_crt_cache_init( mbedtls_x509_crt_cache *cache )
Hanno Becker337088a2019-02-25 14:53:14 +0000183{
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000184 memset( cache, 0, sizeof( *cache ) );
185#if defined(MBEDTLS_THREADING_C)
186 mbedtls_mutex_init( &cache->frame_mutex );
187 mbedtls_mutex_init( &cache->pk_mutex );
188#endif
189}
190
191static void x509_crt_cache_clear_pk( mbedtls_x509_crt_cache *cache )
192{
Hanno Becker180f7bf2019-02-28 13:23:38 +0000193#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000194 /* The cache holds a shallow copy of the PK context
195 * in the legacy struct, so don't free PK context. */
196 mbedtls_free( cache->pk );
Hanno Becker180f7bf2019-02-28 13:23:38 +0000197#else
198 mbedtls_pk_free( cache->pk );
199 mbedtls_free( cache->pk );
200#endif /* MBEDTLS_X509_ON_DEMAND_PARSING */
201
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000202 cache->pk = NULL;
203}
204
205static void x509_crt_cache_clear_frame( mbedtls_x509_crt_cache *cache )
206{
207 mbedtls_free( cache->frame );
208 cache->frame = NULL;
209}
210
211static void x509_crt_cache_free( mbedtls_x509_crt_cache *cache )
212{
213 if( cache == NULL )
Hanno Becker337088a2019-02-25 14:53:14 +0000214 return;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000215
216#if defined(MBEDTLS_THREADING_C)
217 mbedtls_mutex_free( &cache->frame_mutex );
218 mbedtls_mutex_free( &cache->pk_mutex );
219#endif
220
221 x509_crt_cache_clear_frame( cache );
222 x509_crt_cache_clear_pk( cache );
223
224 memset( cache, 0, sizeof( *cache ) );
Hanno Becker337088a2019-02-25 14:53:14 +0000225}
226
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000227int mbedtls_x509_crt_flush_cache( mbedtls_x509_crt const *crt )
Hanno Becker337088a2019-02-25 14:53:14 +0000228{
Hanno Beckerb6c39fc2019-02-25 13:50:14 +0000229#if defined(MBEDTLS_THREADING_C)
230 if( mbedtls_mutex_lock( &crt->cache->frame_mutex ) != 0 )
231 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
232 if( mbedtls_mutex_lock( &crt->cache->pk_mutex ) != 0 )
233 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
234#endif
235 x509_crt_cache_clear_frame( crt->cache );
236 x509_crt_cache_clear_pk( crt->cache );
237#if defined(MBEDTLS_THREADING_C)
238 if( mbedtls_mutex_unlock( &crt->cache->frame_mutex ) != 0 )
239 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
240 if( mbedtls_mutex_unlock( &crt->cache->pk_mutex ) != 0 )
241 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
242#endif
243 return( 0 );
Hanno Becker337088a2019-02-25 14:53:14 +0000244}
245
Hanno Beckerab6c8ea2019-02-27 17:33:14 +0000246int mbedtls_x509_crt_get_subject_alt_names( mbedtls_x509_crt const *crt,
247 mbedtls_x509_sequence **subj_alt )
248{
249 int ret;
250 mbedtls_x509_crt_frame *frame;
251 mbedtls_x509_sequence *seq;
252
253 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
254 if( ret != 0 )
255 return( ret );
256
257 seq = mbedtls_calloc( 1, sizeof( mbedtls_x509_sequence ) );
258 if( seq == NULL )
259 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
260 else
261 ret = x509_crt_subject_alt_from_frame( frame, seq );
262
263 mbedtls_x509_crt_frame_release( crt, frame );
264
265 *subj_alt = seq;
266 return( ret );
267}
268
269int mbedtls_x509_crt_get_ext_key_usage( mbedtls_x509_crt const *crt,
270 mbedtls_x509_sequence **ext_key_usage )
271{
272 int ret;
273 mbedtls_x509_crt_frame *frame;
274 mbedtls_x509_sequence *seq;
275
276 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
277 if( ret != 0 )
278 return( ret );
279
280 seq = mbedtls_calloc( 1, sizeof( mbedtls_x509_sequence ) );
281 if( seq == NULL )
282 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
283 else
284 ret = x509_crt_ext_key_usage_from_frame( frame, seq );
285
286 mbedtls_x509_crt_frame_release( crt, frame );
287
288 *ext_key_usage = seq;
289 return( ret );
290}
291
Hanno Becker63e69982019-02-26 18:50:49 +0000292int mbedtls_x509_crt_get_subject( mbedtls_x509_crt const *crt,
293 mbedtls_x509_name **subject )
294{
295 int ret;
296 mbedtls_x509_crt_frame *frame;
297 mbedtls_x509_name *name;
298
299 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
300 if( ret != 0 )
301 return( ret );
302
303 name = mbedtls_calloc( 1, sizeof( mbedtls_x509_name ) );
304 if( name == NULL )
305 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
306 else
307 ret = x509_crt_subject_from_frame( frame, name );
308
309 mbedtls_x509_crt_frame_release( crt, frame );
310
311 *subject = name;
312 return( ret );
313}
314
315int mbedtls_x509_crt_get_issuer( mbedtls_x509_crt const *crt,
316 mbedtls_x509_name **issuer )
317{
318 int ret;
319 mbedtls_x509_crt_frame *frame;
320 mbedtls_x509_name *name;
321
322 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
323 if( ret != 0 )
324 return( ret );
325
326 name = mbedtls_calloc( 1, sizeof( mbedtls_x509_name ) );
327 if( name == NULL )
328 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
329 else
330 ret = x509_crt_issuer_from_frame( frame, name );
331
332 mbedtls_x509_crt_frame_release( crt, frame );
333
334 *issuer = name;
335 return( ret );
336}
337
Hanno Becker823efad2019-02-28 13:23:58 +0000338int mbedtls_x509_crt_get_frame( mbedtls_x509_crt const *crt,
339 mbedtls_x509_crt_frame *dst )
340{
341 int ret;
342 mbedtls_x509_crt_frame *frame;
343 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
344 if( ret != 0 )
345 return( ret );
346 *dst = *frame;
347 mbedtls_x509_crt_frame_release( crt, frame );
348 return( 0 );
349}
350
351int mbedtls_x509_crt_get_pk( mbedtls_x509_crt const *crt,
352 mbedtls_pk_context *dst )
353{
354#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
355 mbedtls_x509_buf_raw pk_raw = crt->cache->pk_raw;
356 return( mbedtls_pk_parse_subpubkey( &pk_raw.p,
357 pk_raw.p + pk_raw.len,
358 dst ) );
359#else /* !MBEDTLS_X509_ON_DEMAND_PARSING */
360 int ret;
361 mbedtls_pk_context *pk;
362 ret = mbedtls_x509_crt_pk_acquire( crt, &pk );
363 if( ret != 0 )
364 return( ret );
365
366 /* Move PK from CRT cache to destination pointer
367 * to avoid a copy. */
368 *dst = *pk;
369 mbedtls_free( crt->cache->pk );
370 crt->cache->pk = NULL;
371
372 mbedtls_x509_crt_pk_release( crt, pk );
373 return( 0 );
374#endif /* MBEDTLS_X509_ON_DEMAND_PARSING */
375}
376
Manuel Pégourié-Gonnardc547d1a2017-07-05 13:28:45 +0200377/*
378 * Item in a verification chain: cert and flags for it
379 */
380typedef struct {
381 mbedtls_x509_crt *crt;
382 uint32_t flags;
383} x509_crt_verify_chain_item;
384
385/*
386 * Max size of verification chain: end-entity + intermediates + trusted root
387 */
388#define X509_MAX_VERIFY_CHAIN_SIZE ( MBEDTLS_X509_MAX_INTERMEDIATE_CA + 2 )
Paul Bakker34617722014-06-13 17:20:13 +0200389
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200390/*
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200391 * Default profile
392 */
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200393const mbedtls_x509_crt_profile mbedtls_x509_crt_profile_default =
394{
Gilles Peskine5d2511c2017-05-12 13:16:40 +0200395#if defined(MBEDTLS_TLS_DEFAULT_ALLOW_SHA1_IN_CERTIFICATES)
Gilles Peskine5e79cb32017-05-04 16:17:21 +0200396 /* Allow SHA-1 (weak, but still safe in controlled environments) */
Manuel Pégourié-Gonnardf8ea8562015-06-15 15:33:19 +0200397 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA1 ) |
Gilles Peskine5e79cb32017-05-04 16:17:21 +0200398#endif
399 /* Only SHA-2 hashes */
Manuel Pégourié-Gonnardf8ea8562015-06-15 15:33:19 +0200400 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA224 ) |
401 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA256 ) |
402 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA384 ) |
403 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA512 ),
404 0xFFFFFFF, /* Any PK alg */
405 0xFFFFFFF, /* Any curve */
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200406 2048,
407};
408
409/*
410 * Next-default profile
411 */
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200412const mbedtls_x509_crt_profile mbedtls_x509_crt_profile_next =
413{
Manuel Pégourié-Gonnardf8ea8562015-06-15 15:33:19 +0200414 /* Hashes from SHA-256 and above */
415 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA256 ) |
416 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA384 ) |
417 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA512 ),
418 0xFFFFFFF, /* Any PK alg */
419#if defined(MBEDTLS_ECP_C)
420 /* Curves at or above 128-bit security level */
421 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP256R1 ) |
422 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP384R1 ) |
423 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP521R1 ) |
424 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_BP256R1 ) |
425 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_BP384R1 ) |
426 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_BP512R1 ) |
427 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP256K1 ),
428#else
429 0,
430#endif
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200431 2048,
432};
433
434/*
435 * NSA Suite B Profile
436 */
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200437const mbedtls_x509_crt_profile mbedtls_x509_crt_profile_suiteb =
438{
Manuel Pégourié-Gonnardf8ea8562015-06-15 15:33:19 +0200439 /* Only SHA-256 and 384 */
440 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA256 ) |
441 MBEDTLS_X509_ID_FLAG( MBEDTLS_MD_SHA384 ),
442 /* Only ECDSA */
Ron Eldor85e1dcf2018-02-06 15:59:38 +0200443 MBEDTLS_X509_ID_FLAG( MBEDTLS_PK_ECDSA ) |
444 MBEDTLS_X509_ID_FLAG( MBEDTLS_PK_ECKEY ),
Manuel Pégourié-Gonnardf8ea8562015-06-15 15:33:19 +0200445#if defined(MBEDTLS_ECP_C)
446 /* Only NIST P-256 and P-384 */
447 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP256R1 ) |
448 MBEDTLS_X509_ID_FLAG( MBEDTLS_ECP_DP_SECP384R1 ),
449#else
450 0,
451#endif
452 0,
Manuel Pégourié-Gonnard88db5da2015-06-15 14:34:59 +0200453};
454
455/*
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200456 * Check md_alg against profile
Manuel Pégourié-Gonnard3f816912017-10-26 10:24:16 +0200457 * Return 0 if md_alg is acceptable for this profile, -1 otherwise
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200458 */
459static int x509_profile_check_md_alg( const mbedtls_x509_crt_profile *profile,
460 mbedtls_md_type_t md_alg )
461{
Philippe Antoineb5b25432018-05-11 11:06:29 +0200462 if( md_alg == MBEDTLS_MD_NONE )
463 return( -1 );
464
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200465 if( ( profile->allowed_mds & MBEDTLS_X509_ID_FLAG( md_alg ) ) != 0 )
466 return( 0 );
467
468 return( -1 );
469}
470
471/*
472 * Check pk_alg against profile
Manuel Pégourié-Gonnard3f816912017-10-26 10:24:16 +0200473 * Return 0 if pk_alg is acceptable for this profile, -1 otherwise
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200474 */
475static int x509_profile_check_pk_alg( const mbedtls_x509_crt_profile *profile,
476 mbedtls_pk_type_t pk_alg )
477{
Philippe Antoineb5b25432018-05-11 11:06:29 +0200478 if( pk_alg == MBEDTLS_PK_NONE )
479 return( -1 );
480
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200481 if( ( profile->allowed_pks & MBEDTLS_X509_ID_FLAG( pk_alg ) ) != 0 )
482 return( 0 );
483
484 return( -1 );
485}
486
487/*
488 * Check key against profile
Manuel Pégourié-Gonnard3f816912017-10-26 10:24:16 +0200489 * Return 0 if pk is acceptable for this profile, -1 otherwise
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200490 */
491static int x509_profile_check_key( const mbedtls_x509_crt_profile *profile,
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200492 const mbedtls_pk_context *pk )
493{
Manuel Pégourié-Gonnard3f816912017-10-26 10:24:16 +0200494 const mbedtls_pk_type_t pk_alg = mbedtls_pk_get_type( pk );
Manuel Pégourié-Gonnard19773ff2017-10-24 10:51:26 +0200495
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200496#if defined(MBEDTLS_RSA_C)
497 if( pk_alg == MBEDTLS_PK_RSA || pk_alg == MBEDTLS_PK_RSASSA_PSS )
498 {
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200499 if( mbedtls_pk_get_bitlen( pk ) >= profile->rsa_min_bitlen )
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200500 return( 0 );
501
502 return( -1 );
503 }
504#endif
505
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +0200506#if defined(MBEDTLS_ECP_C)
507 if( pk_alg == MBEDTLS_PK_ECDSA ||
508 pk_alg == MBEDTLS_PK_ECKEY ||
509 pk_alg == MBEDTLS_PK_ECKEY_DH )
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200510 {
Manuel Pégourié-Gonnard3f816912017-10-26 10:24:16 +0200511 const mbedtls_ecp_group_id gid = mbedtls_pk_ec( *pk )->grp.id;
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200512
Philippe Antoineb5b25432018-05-11 11:06:29 +0200513 if( gid == MBEDTLS_ECP_DP_NONE )
514 return( -1 );
515
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +0200516 if( ( profile->allowed_curves & MBEDTLS_X509_ID_FLAG( gid ) ) != 0 )
517 return( 0 );
518
519 return( -1 );
520 }
521#endif
522
523 return( -1 );
524}
525
526/*
Hanno Becker1f8527f2018-11-02 09:19:16 +0000527 * Return 0 if name matches wildcard, -1 otherwise
528 */
Hanno Becker24926222019-02-21 13:10:55 +0000529static int x509_check_wildcard( char const *cn,
530 size_t cn_len,
531 unsigned char const *buf,
532 size_t buf_len )
Hanno Becker1f8527f2018-11-02 09:19:16 +0000533{
534 size_t i;
Hanno Becker24926222019-02-21 13:10:55 +0000535 size_t cn_idx = 0;
Hanno Becker1f8527f2018-11-02 09:19:16 +0000536
537 /* We can't have a match if there is no wildcard to match */
Hanno Becker24926222019-02-21 13:10:55 +0000538 if( buf_len < 3 || buf[0] != '*' || buf[1] != '.' )
Hanno Becker1f8527f2018-11-02 09:19:16 +0000539 return( -1 );
540
541 for( i = 0; i < cn_len; ++i )
542 {
543 if( cn[i] == '.' )
544 {
545 cn_idx = i;
546 break;
547 }
548 }
549
550 if( cn_idx == 0 )
551 return( -1 );
552
Hanno Beckerb3def1d2019-02-22 11:46:06 +0000553 if( mbedtls_x509_memcasecmp( buf + 1, cn + cn_idx,
554 buf_len - 1, cn_len - cn_idx ) == 0 )
Hanno Becker1f8527f2018-11-02 09:19:16 +0000555 {
556 return( 0 );
557 }
558
559 return( -1 );
560}
561
562/*
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +0200563 * Reset (init or clear) a verify_chain
564 */
565static void x509_crt_verify_chain_reset(
566 mbedtls_x509_crt_verify_chain *ver_chain )
567{
568 size_t i;
569
570 for( i = 0; i < MBEDTLS_X509_MAX_VERIFY_CHAIN_SIZE; i++ )
571 {
572 ver_chain->items[i].crt = NULL;
Hanno Beckerd6ddcd62019-01-10 09:19:26 +0000573 ver_chain->items[i].flags = (uint32_t) -1;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +0200574 }
575
576 ver_chain->len = 0;
577}
578
579/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200580 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
581 */
582static int x509_get_version( unsigned char **p,
583 const unsigned char *end,
584 int *ver )
585{
586 int ret;
587 size_t len;
588
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200589 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
590 MBEDTLS_ASN1_CONTEXT_SPECIFIC | MBEDTLS_ASN1_CONSTRUCTED | 0 ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200591 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200592 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200593 {
594 *ver = 0;
595 return( 0 );
596 }
597
Hanno Becker2f472142019-02-12 11:52:10 +0000598 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200599 }
600
601 end = *p + len;
602
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200603 if( ( ret = mbedtls_asn1_get_int( p, end, ver ) ) != 0 )
604 return( MBEDTLS_ERR_X509_INVALID_VERSION + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200605
606 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200607 return( MBEDTLS_ERR_X509_INVALID_VERSION +
608 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200609
610 return( 0 );
611}
612
613/*
614 * Validity ::= SEQUENCE {
615 * notBefore Time,
616 * notAfter Time }
617 */
618static int x509_get_dates( unsigned char **p,
619 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200620 mbedtls_x509_time *from,
621 mbedtls_x509_time *to )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200622{
623 int ret;
624 size_t len;
625
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200626 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
627 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
628 return( MBEDTLS_ERR_X509_INVALID_DATE + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200629
630 end = *p + len;
631
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200632 if( ( ret = mbedtls_x509_get_time( p, end, from ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200633 return( ret );
634
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200635 if( ( ret = mbedtls_x509_get_time( p, end, to ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200636 return( ret );
637
638 if( *p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639 return( MBEDTLS_ERR_X509_INVALID_DATE +
640 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200641
642 return( 0 );
643}
644
645/*
646 * X.509 v2/v3 unique identifier (not parsed)
647 */
648static int x509_get_uid( unsigned char **p,
649 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200650 mbedtls_x509_buf *uid, int n )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200651{
652 int ret;
653
654 if( *p == end )
655 return( 0 );
656
657 uid->tag = **p;
658
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200659 if( ( ret = mbedtls_asn1_get_tag( p, end, &uid->len,
660 MBEDTLS_ASN1_CONTEXT_SPECIFIC | MBEDTLS_ASN1_CONSTRUCTED | n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200661 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200662 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200663 return( 0 );
664
Hanno Becker2f472142019-02-12 11:52:10 +0000665 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200666 }
667
668 uid->p = *p;
669 *p += uid->len;
670
671 return( 0 );
672}
673
674static int x509_get_basic_constraints( unsigned char **p,
675 const unsigned char *end,
676 int *ca_istrue,
677 int *max_pathlen )
678{
679 int ret;
680 size_t len;
681
682 /*
683 * BasicConstraints ::= SEQUENCE {
684 * cA BOOLEAN DEFAULT FALSE,
685 * pathLenConstraint INTEGER (0..MAX) OPTIONAL }
686 */
687 *ca_istrue = 0; /* DEFAULT FALSE */
688 *max_pathlen = 0; /* endless */
689
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200690 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
691 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000692 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200693
694 if( *p == end )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200695 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200697 if( ( ret = mbedtls_asn1_get_bool( p, end, ca_istrue ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200698 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200699 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
700 ret = mbedtls_asn1_get_int( p, end, ca_istrue );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200701
702 if( ret != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000703 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200704
705 if( *ca_istrue != 0 )
706 *ca_istrue = 1;
707 }
708
709 if( *p == end )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200710 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200711
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712 if( ( ret = mbedtls_asn1_get_int( p, end, max_pathlen ) ) != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000713 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200714
715 if( *p != end )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000716 return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200717
718 (*max_pathlen)++;
719
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200720 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200721}
722
723static int x509_get_ns_cert_type( unsigned char **p,
724 const unsigned char *end,
725 unsigned char *ns_cert_type)
726{
727 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200728 mbedtls_x509_bitstring bs = { 0, 0, NULL };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200729
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200730 if( ( ret = mbedtls_asn1_get_bitstring( p, end, &bs ) ) != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000731 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200732
733 if( bs.len != 1 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000734 return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200735
736 /* Get actual bitstring */
737 *ns_cert_type = *bs.p;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200738 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200739}
740
741static int x509_get_key_usage( unsigned char **p,
742 const unsigned char *end,
Manuel Pégourié-Gonnard1d0ca1a2015-03-27 16:50:00 +0100743 unsigned int *key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200744{
745 int ret;
Manuel Pégourié-Gonnard9a702252015-06-23 10:14:36 +0200746 size_t i;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200747 mbedtls_x509_bitstring bs = { 0, 0, NULL };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200748
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749 if( ( ret = mbedtls_asn1_get_bitstring( p, end, &bs ) ) != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000750 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200751
752 if( bs.len < 1 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000753 return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200754
755 /* Get actual bitstring */
Manuel Pégourié-Gonnard9a702252015-06-23 10:14:36 +0200756 *key_usage = 0;
757 for( i = 0; i < bs.len && i < sizeof( unsigned int ); i++ )
758 {
759 *key_usage |= (unsigned int) bs.p[i] << (8*i);
760 }
761
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200762 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200763}
764
765/*
766 * ExtKeyUsageSyntax ::= SEQUENCE SIZE (1..MAX) OF KeyPurposeId
767 *
768 * KeyPurposeId ::= OBJECT IDENTIFIER
769 */
770static int x509_get_ext_key_usage( unsigned char **p,
771 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 mbedtls_x509_sequence *ext_key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200773{
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000774 return( mbedtls_asn1_get_sequence_of( p, end, ext_key_usage,
775 MBEDTLS_ASN1_OID ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200776}
777
778/*
779 * SubjectAltName ::= GeneralNames
780 *
781 * GeneralNames ::= SEQUENCE SIZE (1..MAX) OF GeneralName
782 *
783 * GeneralName ::= CHOICE {
784 * otherName [0] OtherName,
785 * rfc822Name [1] IA5String,
786 * dNSName [2] IA5String,
787 * x400Address [3] ORAddress,
788 * directoryName [4] Name,
789 * ediPartyName [5] EDIPartyName,
790 * uniformResourceIdentifier [6] IA5String,
791 * iPAddress [7] OCTET STRING,
792 * registeredID [8] OBJECT IDENTIFIER }
793 *
794 * OtherName ::= SEQUENCE {
795 * type-id OBJECT IDENTIFIER,
796 * value [0] EXPLICIT ANY DEFINED BY type-id }
797 *
798 * EDIPartyName ::= SEQUENCE {
799 * nameAssigner [0] DirectoryString OPTIONAL,
800 * partyName [1] DirectoryString }
801 *
Manuel Pégourié-Gonnardb4fe3cb2015-01-22 16:11:05 +0000802 * NOTE: we only parse and use dNSName at this point.
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200803 */
Hanno Beckerad462192019-02-21 13:32:31 +0000804static int x509_get_subject_alt_name_cb( void *ctx,
805 int tag,
806 unsigned char *data,
807 size_t data_len )
808{
809 mbedtls_asn1_sequence **cur_ptr = (mbedtls_asn1_sequence **) ctx;
810 mbedtls_asn1_sequence *cur = *cur_ptr;
811
Hanno Beckerad462192019-02-21 13:32:31 +0000812 /* Allocate and assign next pointer */
813 if( cur->buf.p != NULL )
814 {
815 cur->next = mbedtls_calloc( 1, sizeof( mbedtls_asn1_sequence ) );
816 if( cur->next == NULL )
Hanno Becker90b94082019-02-21 21:13:21 +0000817 return( MBEDTLS_ERR_ASN1_ALLOC_FAILED );
Hanno Beckerad462192019-02-21 13:32:31 +0000818 cur = cur->next;
819 }
820
821 cur->buf.tag = tag;
822 cur->buf.p = data;
823 cur->buf.len = data_len;
824
825 *cur_ptr = cur;
826 return( 0 );
827}
828
Hanno Becker5984d302019-02-21 14:46:54 +0000829static int x509_get_subject_alt_name( unsigned char *p,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200830 const unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200831 mbedtls_x509_sequence *subject_alt_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200832{
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000833 return( mbedtls_asn1_traverse_sequence_of( &p, end,
834 MBEDTLS_ASN1_TAG_CLASS_MASK,
835 MBEDTLS_ASN1_CONTEXT_SPECIFIC,
836 MBEDTLS_ASN1_TAG_VALUE_MASK,
837 2 /* SubjectAlt DNS */,
838 x509_get_subject_alt_name_cb,
839 (void*) &subject_alt_name ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200840}
841
842/*
843 * X.509 v3 extensions
844 *
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200845 */
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000846static int x509_crt_get_ext_cb( void *ctx,
847 int tag,
848 unsigned char *p,
849 size_t ext_len )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200850{
851 int ret;
Hanno Becker21f55672019-02-15 15:27:59 +0000852 mbedtls_x509_crt_frame *frame = (mbedtls_x509_crt_frame *) ctx;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200853 size_t len;
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000854 unsigned char *end, *end_ext_octet;
855 mbedtls_x509_buf extn_oid = { 0, 0, NULL };
856 int is_critical = 0; /* DEFAULT FALSE */
857 int ext_type = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200858
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000859 ((void) tag);
Hanno Becker4e1bfc12019-02-12 17:22:36 +0000860
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000861 /*
862 * Extension ::= SEQUENCE {
863 * extnID OBJECT IDENTIFIER,
864 * critical BOOLEAN DEFAULT FALSE,
865 * extnValue OCTET STRING }
866 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200867
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000868 end = p + ext_len;
869
870 /* Get extension ID */
871 if( ( ret = mbedtls_asn1_get_tag( &p, end, &extn_oid.len,
872 MBEDTLS_ASN1_OID ) ) != 0 )
873 goto err;
874
875 extn_oid.tag = MBEDTLS_ASN1_OID;
876 extn_oid.p = p;
877 p += extn_oid.len;
878
879 /* Get optional critical */
880 if( ( ret = mbedtls_asn1_get_bool( &p, end, &is_critical ) ) != 0 &&
881 ( ret != MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) )
882 goto err;
883
884 /* Data should be octet string type */
885 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
886 MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
887 goto err;
888
889 end_ext_octet = p + len;
890 if( end_ext_octet != end )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200891 {
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000892 ret = MBEDTLS_ERR_ASN1_LENGTH_MISMATCH;
893 goto err;
894 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200895
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000896 /*
897 * Detect supported extensions
898 */
899 ret = mbedtls_oid_get_x509_ext_type( &extn_oid, &ext_type );
900 if( ret != 0 )
901 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200902#if !defined(MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION)
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000903 if( is_critical )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200904 {
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000905 /* Data is marked as critical: fail */
906 ret = MBEDTLS_ERR_ASN1_UNEXPECTED_TAG;
907 goto err;
908 }
909#endif
910 return( 0 );
911 }
912
913 /* Forbid repeated extensions */
Hanno Becker21f55672019-02-15 15:27:59 +0000914 if( ( frame->ext_types & ext_type ) != 0 )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000915 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS );
916
Hanno Becker21f55672019-02-15 15:27:59 +0000917 frame->ext_types |= ext_type;
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000918 switch( ext_type )
919 {
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +0100920 case MBEDTLS_X509_EXT_BASIC_CONSTRAINTS:
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000921 {
922 int ca_istrue;
923 int max_pathlen;
924
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200925 /* Parse basic constraints */
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000926 ret = x509_get_basic_constraints( &p, end_ext_octet,
927 &ca_istrue,
928 &max_pathlen );
929 if( ret != 0 )
930 goto err;
931
Hanno Becker21f55672019-02-15 15:27:59 +0000932 frame->ca_istrue = ca_istrue;
933 frame->max_pathlen = max_pathlen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200934 break;
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000935 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200936
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200937 case MBEDTLS_X509_EXT_KEY_USAGE:
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200938 /* Parse key usage */
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000939 ret = x509_get_key_usage( &p, end_ext_octet,
Hanno Becker21f55672019-02-15 15:27:59 +0000940 &frame->key_usage );
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000941 if( ret != 0 )
942 goto err;
943 break;
944
945 case MBEDTLS_X509_EXT_SUBJECT_ALT_NAME:
946 /* Copy reference to raw subject alt name data. */
Hanno Becker21f55672019-02-15 15:27:59 +0000947 frame->subject_alt_raw.p = p;
948 frame->subject_alt_raw.len = end_ext_octet - p;
949
950 ret = mbedtls_asn1_traverse_sequence_of( &p, end_ext_octet,
951 MBEDTLS_ASN1_TAG_CLASS_MASK,
952 MBEDTLS_ASN1_CONTEXT_SPECIFIC,
953 MBEDTLS_ASN1_TAG_VALUE_MASK,
954 2 /* SubjectAlt DNS */,
955 NULL, NULL );
956 if( ret != 0 )
957 goto err;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200958 break;
959
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200960 case MBEDTLS_X509_EXT_EXTENDED_KEY_USAGE:
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200961 /* Parse extended key usage */
Hanno Becker21f55672019-02-15 15:27:59 +0000962 frame->ext_key_usage_raw.p = p;
963 frame->ext_key_usage_raw.len = end_ext_octet - p;
964 if( frame->ext_key_usage_raw.len == 0 )
Hanno Becker5984d302019-02-21 14:46:54 +0000965 {
Hanno Becker21f55672019-02-15 15:27:59 +0000966 ret = MBEDTLS_ERR_ASN1_INVALID_LENGTH;
967 goto err;
Hanno Becker5984d302019-02-21 14:46:54 +0000968 }
Hanno Becker21f55672019-02-15 15:27:59 +0000969
970 /* Check structural sanity of extension. */
971 ret = mbedtls_asn1_traverse_sequence_of( &p, end_ext_octet,
972 0xFF, MBEDTLS_ASN1_OID,
973 0, 0, NULL, NULL );
974 if( ret != 0 )
975 goto err;
976
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200977 break;
978
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200979 case MBEDTLS_X509_EXT_NS_CERT_TYPE:
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200980 /* Parse netscape certificate type */
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000981 ret = x509_get_ns_cert_type( &p, end_ext_octet,
Hanno Becker21f55672019-02-15 15:27:59 +0000982 &frame->ns_cert_type );
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000983 if( ret != 0 )
984 goto err;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200985 break;
986
987 default:
Hanno Beckerf1b39bf2019-02-22 11:09:48 +0000988 /*
989 * If this is a non-critical extension, which the oid layer
990 * supports, but there isn't an X.509 parser for it,
991 * skip the extension.
992 */
993#if !defined(MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION)
994 if( is_critical )
995 return( MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE );
996#endif
997 p = end_ext_octet;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200998 }
999
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001000 return( 0 );
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001001
1002err:
1003 return( ret );
1004}
1005
Hanno Becker21f55672019-02-15 15:27:59 +00001006static int x509_crt_frame_parse_ext( mbedtls_x509_crt_frame *frame )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001007{
1008 int ret;
Hanno Becker21f55672019-02-15 15:27:59 +00001009 unsigned char *p = frame->v3_ext.p;
1010 unsigned char *end = p + frame->v3_ext.len;
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001011
Hanno Becker21f55672019-02-15 15:27:59 +00001012 if( p == end )
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001013 return( 0 );
1014
Hanno Becker21f55672019-02-15 15:27:59 +00001015 ret = mbedtls_asn1_traverse_sequence_of( &p, end,
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001016 0xFF, MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED,
Hanno Becker21f55672019-02-15 15:27:59 +00001017 0, 0, x509_crt_get_ext_cb, frame );
Hanno Beckerf1b39bf2019-02-22 11:09:48 +00001018
1019 if( ret == MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE )
1020 return( ret );
1021 if( ret == MBEDTLS_ERR_X509_INVALID_EXTENSIONS )
1022 return( ret );
1023
1024 if( ret != 0 )
1025 ret += MBEDTLS_ERR_X509_INVALID_EXTENSIONS;
1026
1027 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001028}
1029
Hanno Becker21f55672019-02-15 15:27:59 +00001030static int x509_crt_parse_frame( unsigned char *start,
1031 unsigned char *end,
1032 mbedtls_x509_crt_frame *frame )
1033{
1034 int ret;
1035 unsigned char *p;
1036 size_t len;
1037
1038 mbedtls_x509_buf tmp;
1039 unsigned char *tbs_start;
1040
1041 mbedtls_x509_buf outer_sig_alg;
1042 size_t inner_sig_alg_len;
1043 unsigned char *inner_sig_alg_start;
1044
1045 memset( frame, 0, sizeof( *frame ) );
1046
1047 /*
1048 * Certificate ::= SEQUENCE {
1049 * tbsCertificate TBSCertificate,
1050 * signatureAlgorithm AlgorithmIdentifier,
1051 * signatureValue BIT STRING
1052 * }
1053 *
1054 */
1055 p = start;
1056
1057 frame->raw.p = p;
1058 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
1059 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1060 {
1061 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
1062 }
1063
1064 /* NOTE: We are currently not checking that the `Certificate`
1065 * structure spans the entire buffer. */
1066 end = p + len;
1067 frame->raw.len = end - frame->raw.p;
1068
1069 /*
1070 * TBSCertificate ::= SEQUENCE { ...
1071 */
1072 frame->tbs.p = p;
1073 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
1074 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1075 {
1076 return( ret + MBEDTLS_ERR_X509_INVALID_FORMAT );
1077 }
1078 tbs_start = p;
1079
1080 /* Breadth-first parsing: Jump over TBS for now. */
1081 p += len;
1082 frame->tbs.len = p - frame->tbs.p;
1083
1084 /*
1085 * AlgorithmIdentifier ::= SEQUENCE { ...
1086 */
1087 outer_sig_alg.p = p;
1088 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
1089 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1090 {
1091 return( MBEDTLS_ERR_X509_INVALID_ALG + ret );
1092 }
1093 p += len;
1094 outer_sig_alg.len = p - outer_sig_alg.p;
1095
1096 /*
1097 * signatureValue BIT STRING
1098 */
1099 ret = mbedtls_x509_get_sig( &p, end, &tmp );
1100 if( ret != 0 )
1101 return( ret );
1102 frame->sig.p = tmp.p;
1103 frame->sig.len = tmp.len;
1104
1105 /* Check that we consumed the entire `Certificate` structure. */
1106 if( p != end )
1107 {
1108 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
1109 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
1110 }
1111
1112 /* Parse TBSCertificate structure
1113 *
1114 * TBSCertificate ::= SEQUENCE {
1115 * version [0] EXPLICIT Version DEFAULT v1,
1116 * serialNumber CertificateSerialNumber,
1117 * signature AlgorithmIdentifier,
1118 * issuer Name,
1119 * validity Validity,
1120 * subject Name,
1121 * subjectPublicKeyInfo SubjectPublicKeyInfo,
1122 * issuerUniqueID [1] IMPLICIT UniqueIdentifier OPTIONAL,
1123 * -- If present, version MUST be v2 or v3
1124 * subjectUniqueID [2] IMPLICIT UniqueIdentifier OPTIONAL,
1125 * -- If present, version MUST be v2 or v3
1126 * extensions [3] EXPLICIT Extensions OPTIONAL
1127 * -- If present, version MUST be v3
1128 * }
1129 */
1130 end = frame->tbs.p + frame->tbs.len;
1131 p = tbs_start;
1132
1133 /*
1134 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
1135 */
1136 {
1137 int version;
1138 ret = x509_get_version( &p, end, &version );
1139 if( ret != 0 )
1140 return( ret );
1141
1142 if( version < 0 || version > 2 )
1143 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
1144
1145 frame->version = version + 1;
1146 }
1147
1148 /*
1149 * CertificateSerialNumber ::= INTEGER
1150 */
1151 ret = mbedtls_x509_get_serial( &p, end, &tmp );
1152 if( ret != 0 )
1153 return( ret );
1154
1155 frame->serial.p = tmp.p;
1156 frame->serial.len = tmp.len;
1157
1158 /*
1159 * signature AlgorithmIdentifier
1160 */
1161 inner_sig_alg_start = p;
1162 ret = mbedtls_x509_get_sig_alg_raw( &p, end, &frame->sig_md,
1163 &frame->sig_pk, NULL );
1164 if( ret != 0 )
1165 return( ret );
1166 inner_sig_alg_len = p - inner_sig_alg_start;
1167
1168 frame->sig_alg.p = inner_sig_alg_start;
1169 frame->sig_alg.len = inner_sig_alg_len;
1170
1171 /* Consistency check:
1172 * Inner and outer AlgorithmIdentifier structures must coincide:
1173 *
1174 * Quoting RFC 5280, Section 4.1.1.2:
1175 * This field MUST contain the same algorithm identifier as the
1176 * signature field in the sequence tbsCertificate (Section 4.1.2.3).
1177 */
1178 if( outer_sig_alg.len != inner_sig_alg_len ||
1179 memcmp( outer_sig_alg.p, inner_sig_alg_start, inner_sig_alg_len ) != 0 )
1180 {
1181 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
1182 }
1183
1184 /*
1185 * issuer Name
1186 *
1187 * Name ::= CHOICE { -- only one possibility for now --
1188 * rdnSequence RDNSequence }
1189 *
1190 * RDNSequence ::= SEQUENCE OF RelativeDistinguishedName
1191 */
Hanno Becker1e11f212019-03-04 14:43:43 +00001192 frame->issuer_raw.p = p;
Hanno Becker21f55672019-02-15 15:27:59 +00001193
1194 ret = mbedtls_asn1_get_tag( &p, end, &len,
1195 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
1196 if( ret != 0 )
1197 return( ret + MBEDTLS_ERR_X509_INVALID_FORMAT );
Hanno Becker21f55672019-02-15 15:27:59 +00001198 p += len;
Hanno Becker1e11f212019-03-04 14:43:43 +00001199 frame->issuer_raw.len = p - frame->issuer_raw.p;
Hanno Becker21f55672019-02-15 15:27:59 +00001200
1201 ret = mbedtls_x509_name_cmp_raw( &frame->issuer_raw,
1202 &frame->issuer_raw,
1203 NULL, NULL );
1204 if( ret != 0 )
1205 return( ret );
1206
Hanno Becker21f55672019-02-15 15:27:59 +00001207 /*
1208 * Validity ::= SEQUENCE { ...
1209 */
1210 ret = x509_get_dates( &p, end, &frame->valid_from, &frame->valid_to );
1211 if( ret != 0 )
1212 return( ret );
1213
1214 /*
1215 * subject Name
1216 *
1217 * Name ::= CHOICE { -- only one possibility for now --
1218 * rdnSequence RDNSequence }
1219 *
1220 * RDNSequence ::= SEQUENCE OF RelativeDistinguishedName
1221 */
Hanno Becker1e11f212019-03-04 14:43:43 +00001222 frame->subject_raw.p = p;
Hanno Becker21f55672019-02-15 15:27:59 +00001223
1224 ret = mbedtls_asn1_get_tag( &p, end, &len,
1225 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
1226 if( ret != 0 )
1227 return( ret + MBEDTLS_ERR_X509_INVALID_FORMAT );
Hanno Becker21f55672019-02-15 15:27:59 +00001228 p += len;
Hanno Becker1e11f212019-03-04 14:43:43 +00001229 frame->subject_raw.len = p - frame->subject_raw.p;
Hanno Becker21f55672019-02-15 15:27:59 +00001230
1231 ret = mbedtls_x509_name_cmp_raw( &frame->subject_raw,
1232 &frame->subject_raw,
1233 NULL, NULL );
1234 if( ret != 0 )
1235 return( ret );
1236
Hanno Becker21f55672019-02-15 15:27:59 +00001237 /*
1238 * SubjectPublicKeyInfo
1239 */
1240 frame->pubkey_raw.p = p;
1241 ret = mbedtls_asn1_get_tag( &p, end, &len,
1242 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
1243 if( ret != 0 )
1244 return( ret + MBEDTLS_ERR_PK_KEY_INVALID_FORMAT );
1245 p += len;
1246 frame->pubkey_raw.len = p - frame->pubkey_raw.p;
1247
1248 /*
1249 * issuerUniqueID [1] IMPLICIT UniqueIdentifier OPTIONAL,
1250 * -- If present, version shall be v2 or v3
1251 */
1252 if( frame->version == 2 || frame->version == 3 )
1253 {
1254 ret = x509_get_uid( &p, end, &tmp, 1 /* implicit tag */ );
1255 if( ret != 0 )
1256 return( ret );
1257
1258 frame->issuer_id.p = tmp.p;
1259 frame->issuer_id.len = tmp.len;
1260 }
1261
1262 /*
1263 * subjectUniqueID [2] IMPLICIT UniqueIdentifier OPTIONAL,
1264 * -- If present, version shall be v2 or v3
1265 */
1266 if( frame->version == 2 || frame->version == 3 )
1267 {
1268 ret = x509_get_uid( &p, end, &tmp, 2 /* implicit tag */ );
1269 if( ret != 0 )
1270 return( ret );
1271
1272 frame->subject_id.p = tmp.p;
1273 frame->subject_id.len = tmp.len;
1274 }
1275
1276 /*
1277 * extensions [3] EXPLICIT Extensions OPTIONAL
1278 * -- If present, version shall be v3
1279 */
1280#if !defined(MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3)
1281 if( frame->version == 3 )
1282#endif
1283 {
1284 if( p != end )
1285 {
1286 ret = mbedtls_asn1_get_tag( &p, end, &len,
1287 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
1288 MBEDTLS_ASN1_CONSTRUCTED | 3 );
1289 if( len == 0 )
1290 ret = MBEDTLS_ERR_ASN1_OUT_OF_DATA;
1291 if( ret != 0 )
1292 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
1293
1294 frame->v3_ext.p = p;
1295 frame->v3_ext.len = len;
1296
1297 p += len;
1298 }
1299
1300 ret = x509_crt_frame_parse_ext( frame );
1301 if( ret != 0 )
1302 return( ret );
1303 }
1304
1305 /* Wrapup: Check that we consumed the entire `TBSCertificate` structure. */
1306 if( p != end )
1307 {
1308 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
1309 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
1310 }
1311
1312 return( 0 );
1313}
1314
1315static int x509_crt_subject_from_frame( mbedtls_x509_crt_frame *frame,
1316 mbedtls_x509_name *subject )
1317{
Hanno Becker1e11f212019-03-04 14:43:43 +00001318 return( mbedtls_x509_get_name( frame->subject_raw.p,
1319 frame->subject_raw.len,
1320 subject ) );
Hanno Becker21f55672019-02-15 15:27:59 +00001321}
1322
1323static int x509_crt_issuer_from_frame( mbedtls_x509_crt_frame *frame,
1324 mbedtls_x509_name *issuer )
1325{
Hanno Becker1e11f212019-03-04 14:43:43 +00001326 return( mbedtls_x509_get_name( frame->issuer_raw.p,
1327 frame->issuer_raw.len,
1328 issuer ) );
Hanno Becker21f55672019-02-15 15:27:59 +00001329}
1330
1331static int x509_crt_subject_alt_from_frame( mbedtls_x509_crt_frame *frame,
1332 mbedtls_x509_sequence *subject_alt )
1333{
1334 int ret;
1335 unsigned char *p = frame->subject_alt_raw.p;
1336 unsigned char *end = p + frame->subject_alt_raw.len;
1337
1338 memset( subject_alt, 0, sizeof( *subject_alt ) );
1339
1340 if( ( frame->ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME ) == 0 )
1341 return( 0 );
1342
1343 ret = x509_get_subject_alt_name( p, end, subject_alt );
1344 if( ret != 0 )
1345 ret += MBEDTLS_ERR_X509_INVALID_EXTENSIONS;
1346 return( ret );
1347}
1348
1349static int x509_crt_ext_key_usage_from_frame( mbedtls_x509_crt_frame *frame,
1350 mbedtls_x509_sequence *ext_key_usage )
1351{
1352 int ret;
1353 unsigned char *p = frame->ext_key_usage_raw.p;
1354 unsigned char *end = p + frame->ext_key_usage_raw.len;
1355
1356 memset( ext_key_usage, 0, sizeof( *ext_key_usage ) );
1357
1358 if( ( frame->ext_types & MBEDTLS_X509_EXT_EXTENDED_KEY_USAGE ) == 0 )
1359 return( 0 );
1360
1361 ret = x509_get_ext_key_usage( &p, end, ext_key_usage );
1362 if( ret != 0 )
1363 {
1364 ret += MBEDTLS_ERR_X509_INVALID_EXTENSIONS;
1365 return( ret );
1366 }
1367
1368 return( 0 );
1369}
1370
Hanno Becker180f7bf2019-02-28 13:23:38 +00001371#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
Hanno Becker21f55672019-02-15 15:27:59 +00001372static int x509_crt_pk_from_frame( mbedtls_x509_crt_frame *frame,
1373 mbedtls_pk_context *pk )
1374{
1375 unsigned char *p = frame->pubkey_raw.p;
1376 unsigned char *end = p + frame->pubkey_raw.len;
1377 return( mbedtls_pk_parse_subpubkey( &p, end, pk ) );
1378}
Hanno Becker180f7bf2019-02-28 13:23:38 +00001379#endif /* !MBEDTLS_X509_ON_DEMAND_PARSING */
Hanno Becker21f55672019-02-15 15:27:59 +00001380
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001381/*
1382 * Parse and fill a single X.509 certificate in DER format
1383 */
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001384static int x509_crt_parse_der_core( mbedtls_x509_crt *crt,
1385 const unsigned char *buf,
1386 size_t buflen,
1387 int make_copy )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001388{
1389 int ret;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001390 mbedtls_x509_crt_frame *frame;
1391 mbedtls_x509_crt_cache *cache;
Manuel Pégourié-Gonnard59a75d52014-01-22 10:12:57 +01001392
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001393 if( crt == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001394 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001395
Hanno Becker21f55672019-02-15 15:27:59 +00001396 if( make_copy == 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001397 {
Hanno Becker21f55672019-02-15 15:27:59 +00001398 crt->raw.p = (unsigned char*) buf;
1399 crt->raw.len = buflen;
1400 crt->own_buffer = 0;
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001401 }
1402 else
1403 {
Hanno Becker21f55672019-02-15 15:27:59 +00001404 crt->raw.p = mbedtls_calloc( 1, buflen );
1405 if( crt->raw.p == NULL )
1406 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
1407 crt->raw.len = buflen;
1408 memcpy( crt->raw.p, buf, buflen );
1409
1410 crt->own_buffer = 1;
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001411 }
Janos Follathcc0e49d2016-02-17 14:34:12 +00001412
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001413 cache = mbedtls_calloc( 1, sizeof( mbedtls_x509_crt_cache ) );
1414 if( cache == NULL )
1415 {
1416 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
1417 goto exit;
1418 }
1419 crt->cache = cache;
1420 x509_crt_cache_init( cache );
1421
Hanno Beckerea32d8b2019-03-04 11:52:23 +00001422#if defined(MBEDTLS_X509_ON_DEMAND_PARSING)
1423
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001424 ret = mbedtls_x509_crt_cache_provide_frame( crt );
Hanno Becker21f55672019-02-15 15:27:59 +00001425 if( ret != 0 )
1426 goto exit;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001427
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001428 frame = mbedtls_x509_crt_cache_get_frame( crt->cache );
1429
Hanno Beckerea32d8b2019-03-04 11:52:23 +00001430#else /* MBEDTLS_X509_ON_DEMAND_PARSING */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001431
Hanno Beckerea32d8b2019-03-04 11:52:23 +00001432 frame = mbedtls_calloc( 1, sizeof( mbedtls_x509_crt_frame ) );
1433 if( frame == NULL )
1434 {
1435 ret = MBEDTLS_ERR_X509_ALLOC_FAILED;
1436 goto exit;
1437 }
1438 cache->frame = frame;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001439
Hanno Beckerea32d8b2019-03-04 11:52:23 +00001440 ret = x509_crt_parse_frame( crt->raw.p,
1441 crt->raw.p + crt->raw.len,
1442 frame );
1443 if( ret != 0 )
1444 goto exit;
1445
Hanno Becker21f55672019-02-15 15:27:59 +00001446 /* Copy frame to legacy CRT structure -- that's inefficient, but if
1447 * memory matters, the new CRT structure should be used anyway. */
Hanno Becker38f0cb42019-03-04 15:13:45 +00001448 x509_buf_raw_to_buf( &crt->tbs, &frame->tbs );
1449 x509_buf_raw_to_buf( &crt->serial, &frame->serial );
1450 x509_buf_raw_to_buf( &crt->issuer_raw, &frame->issuer_raw );
1451 x509_buf_raw_to_buf( &crt->subject_raw, &frame->subject_raw );
1452 x509_buf_raw_to_buf( &crt->issuer_id, &frame->issuer_id );
1453 x509_buf_raw_to_buf( &crt->subject_id, &frame->subject_id );
1454 x509_buf_raw_to_buf( &crt->pk_raw, &frame->pubkey_raw );
1455 x509_buf_raw_to_buf( &crt->sig, &frame->sig );
1456 x509_buf_raw_to_buf( &crt->v3_ext, &frame->v3_ext );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001457 crt->valid_from = frame->valid_from;
1458 crt->valid_to = frame->valid_to;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001459 crt->version = frame->version;
1460 crt->ca_istrue = frame->ca_istrue;
1461 crt->max_pathlen = frame->max_pathlen;
1462 crt->ext_types = frame->ext_types;
1463 crt->key_usage = frame->key_usage;
1464 crt->ns_cert_type = frame->ns_cert_type;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001465
1466 /*
Hanno Becker21f55672019-02-15 15:27:59 +00001467 * Obtain the remaining fields from the frame.
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001468 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001469
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001470 {
Hanno Becker21f55672019-02-15 15:27:59 +00001471 /* sig_oid: Previously, needed for convenience in
1472 * mbedtls_x509_crt_info(), now pure legacy burden. */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001473 unsigned char *tmp = frame->sig_alg.p;
1474 unsigned char *end = tmp + frame->sig_alg.len;
Hanno Becker21f55672019-02-15 15:27:59 +00001475 mbedtls_x509_buf sig_oid, sig_params;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001476
Hanno Becker21f55672019-02-15 15:27:59 +00001477 ret = mbedtls_x509_get_alg( &tmp, end,
1478 &sig_oid, &sig_params );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001479 if( ret != 0 )
1480 {
Hanno Becker21f55672019-02-15 15:27:59 +00001481 /* This should never happen, because we check
1482 * the sanity of the AlgorithmIdentifier structure
1483 * during frame parsing. */
1484 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
1485 goto exit;
1486 }
1487 crt->sig_oid = sig_oid;
1488
1489 /* Signature parameters */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001490 tmp = frame->sig_alg.p;
Hanno Becker21f55672019-02-15 15:27:59 +00001491 ret = mbedtls_x509_get_sig_alg_raw( &tmp, end,
1492 &crt->sig_md, &crt->sig_pk,
1493 &crt->sig_opts );
1494 if( ret != 0 )
1495 {
1496 /* Again, this should never happen. */
1497 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
1498 goto exit;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001499 }
1500 }
1501
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001502 ret = x509_crt_pk_from_frame( frame, &crt->pk );
Hanno Becker21f55672019-02-15 15:27:59 +00001503 if( ret != 0 )
1504 goto exit;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001505
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001506 ret = x509_crt_subject_from_frame( frame, &crt->subject );
Hanno Becker21f55672019-02-15 15:27:59 +00001507 if( ret != 0 )
1508 goto exit;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001509
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001510 ret = x509_crt_issuer_from_frame( frame, &crt->issuer );
Hanno Becker21f55672019-02-15 15:27:59 +00001511 if( ret != 0 )
1512 goto exit;
1513
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001514 ret = x509_crt_subject_alt_from_frame( frame, &crt->subject_alt_names );
Hanno Becker21f55672019-02-15 15:27:59 +00001515 if( ret != 0 )
1516 goto exit;
1517
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001518 ret = x509_crt_ext_key_usage_from_frame( frame, &crt->ext_key_usage );
1519 if( ret != 0 )
1520 goto exit;
Hanno Becker180f7bf2019-02-28 13:23:38 +00001521#endif /* !MBEDTLS_X509_ON_DEMAND_PARSING */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001522
Hanno Beckerea32d8b2019-03-04 11:52:23 +00001523 /* Currently, we accept DER encoded CRTs with trailing garbage
1524 * and promise to not account for the garbage in the `raw` field.
1525 *
1526 * Note that this means that `crt->raw.len` is not necessarily the
1527 * full size of the heap buffer allocated at `crt->raw.p` in case
1528 * of copy-mode, but this is not a problem: freeing the buffer doesn't
1529 * need the size, and the garbage data doesn't need zeroization. */
1530 crt->raw.len = frame->raw.len;
1531
1532 cache->pk_raw = frame->pubkey_raw;
1533
Hanno Becker7a4de9c2019-02-27 13:12:24 +00001534 /* Free the frame before parsing the public key to
1535 * keep peak RAM usage low. This is slightly inefficient
1536 * because the frame will need to be parsed again on the
1537 * first usage of the CRT, but that seems acceptable.
1538 * As soon as the frame gets used multiple times, it
1539 * will be cached by default. */
1540 x509_crt_cache_clear_frame( crt->cache );
1541
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001542 /* The cache just references the PK structure from the legacy
1543 * implementation, so set up the latter first before setting up
Hanno Becker7a4de9c2019-02-27 13:12:24 +00001544 * the cache.
1545 *
1546 * We're not actually using the parsed PK context here;
1547 * we just parse it to check that it's well-formed. */
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00001548 ret = mbedtls_x509_crt_cache_provide_pk( crt );
Hanno Becker21f55672019-02-15 15:27:59 +00001549 if( ret != 0 )
1550 goto exit;
Hanno Becker7a4de9c2019-02-27 13:12:24 +00001551 x509_crt_cache_clear_pk( crt->cache );
Hanno Becker21f55672019-02-15 15:27:59 +00001552
1553exit:
1554 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001555 mbedtls_x509_crt_free( crt );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001556
Hanno Becker21f55672019-02-15 15:27:59 +00001557 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001558}
1559
1560/*
1561 * Parse one X.509 certificate in DER format from a buffer and add them to a
1562 * chained list
1563 */
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001564static int mbedtls_x509_crt_parse_der_internal( mbedtls_x509_crt *chain,
1565 const unsigned char *buf,
1566 size_t buflen,
1567 int make_copy )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001568{
1569 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001570 mbedtls_x509_crt *crt = chain, *prev = NULL;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001571
1572 /*
1573 * Check for valid input
1574 */
1575 if( crt == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001576 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001577
Hanno Becker371e0e42019-02-25 18:08:59 +00001578 while( crt->raw.p != NULL && crt->next != NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001579 {
1580 prev = crt;
1581 crt = crt->next;
1582 }
1583
1584 /*
1585 * Add new certificate on the end of the chain if needed.
1586 */
Hanno Becker371e0e42019-02-25 18:08:59 +00001587 if( crt->raw.p != NULL && crt->next == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001588 {
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +02001589 crt->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crt ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001590
1591 if( crt->next == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +02001592 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001593
1594 prev = crt;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001595 mbedtls_x509_crt_init( crt->next );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001596 crt = crt->next;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001597 }
1598
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001599 if( ( ret = x509_crt_parse_der_core( crt, buf, buflen, make_copy ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001600 {
1601 if( prev )
1602 prev->next = NULL;
1603
1604 if( crt != chain )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001605 mbedtls_free( crt );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001606
1607 return( ret );
1608 }
1609
1610 return( 0 );
1611}
1612
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001613int mbedtls_x509_crt_parse_der_nocopy( mbedtls_x509_crt *chain,
1614 const unsigned char *buf,
1615 size_t buflen )
1616{
1617 return( mbedtls_x509_crt_parse_der_internal( chain, buf, buflen, 0 ) );
1618}
1619
1620int mbedtls_x509_crt_parse_der( mbedtls_x509_crt *chain,
1621 const unsigned char *buf,
1622 size_t buflen )
1623{
1624 return( mbedtls_x509_crt_parse_der_internal( chain, buf, buflen, 1 ) );
1625}
1626
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001627/*
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +02001628 * Parse one or more PEM certificates from a buffer and add them to the chained
1629 * list
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001630 */
Hanno Beckeraa8665a2019-01-31 08:57:44 +00001631int mbedtls_x509_crt_parse( mbedtls_x509_crt *chain,
1632 const unsigned char *buf,
1633 size_t buflen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001634{
Janos Follath98e28a72016-05-31 14:03:54 +01001635#if defined(MBEDTLS_PEM_PARSE_C)
Andres AGc0db5112016-12-07 15:05:53 +00001636 int success = 0, first_error = 0, total_failed = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001637 int buf_format = MBEDTLS_X509_FORMAT_DER;
Janos Follath98e28a72016-05-31 14:03:54 +01001638#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001639
1640 /*
1641 * Check for valid input
1642 */
1643 if( chain == NULL || buf == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001644 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001645
1646 /*
1647 * Determine buffer content. Buffer contains either one DER certificate or
1648 * one or more PEM certificates.
1649 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001650#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard0ece0f92015-05-12 12:43:54 +02001651 if( buflen != 0 && buf[buflen - 1] == '\0' &&
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001652 strstr( (const char *) buf, "-----BEGIN CERTIFICATE-----" ) != NULL )
1653 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001654 buf_format = MBEDTLS_X509_FORMAT_PEM;
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001655 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001656
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001657 if( buf_format == MBEDTLS_X509_FORMAT_DER )
1658 return mbedtls_x509_crt_parse_der( chain, buf, buflen );
Janos Follath98e28a72016-05-31 14:03:54 +01001659#else
1660 return mbedtls_x509_crt_parse_der( chain, buf, buflen );
1661#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001662
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001663#if defined(MBEDTLS_PEM_PARSE_C)
1664 if( buf_format == MBEDTLS_X509_FORMAT_PEM )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001665 {
1666 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001667 mbedtls_pem_context pem;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001668
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001669 /* 1 rather than 0 since the terminating NULL byte is counted in */
1670 while( buflen > 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001671 {
1672 size_t use_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001673 mbedtls_pem_init( &pem );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001674
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001675 /* If we get there, we know the string is null-terminated */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001676 ret = mbedtls_pem_read_buffer( &pem,
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001677 "-----BEGIN CERTIFICATE-----",
1678 "-----END CERTIFICATE-----",
1679 buf, NULL, 0, &use_len );
1680
1681 if( ret == 0 )
1682 {
1683 /*
1684 * Was PEM encoded
1685 */
1686 buflen -= use_len;
1687 buf += use_len;
1688 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001689 else if( ret == MBEDTLS_ERR_PEM_BAD_INPUT_DATA )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001690 {
1691 return( ret );
1692 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001693 else if( ret != MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001694 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001695 mbedtls_pem_free( &pem );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001696
1697 /*
1698 * PEM header and footer were found
1699 */
1700 buflen -= use_len;
1701 buf += use_len;
1702
1703 if( first_error == 0 )
1704 first_error = ret;
1705
Paul Bakker5a5fa922014-09-26 14:53:04 +02001706 total_failed++;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001707 continue;
1708 }
1709 else
1710 break;
1711
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001712 ret = mbedtls_x509_crt_parse_der( chain, pem.buf, pem.buflen );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001713
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001714 mbedtls_pem_free( &pem );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001715
1716 if( ret != 0 )
1717 {
1718 /*
1719 * Quit parsing on a memory error
1720 */
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +02001721 if( ret == MBEDTLS_ERR_X509_ALLOC_FAILED )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001722 return( ret );
1723
1724 if( first_error == 0 )
1725 first_error = ret;
1726
1727 total_failed++;
1728 continue;
1729 }
1730
1731 success = 1;
1732 }
1733 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001734
1735 if( success )
1736 return( total_failed );
1737 else if( first_error )
1738 return( first_error );
1739 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001740 return( MBEDTLS_ERR_X509_CERT_UNKNOWN_FORMAT );
Janos Follath98e28a72016-05-31 14:03:54 +01001741#endif /* MBEDTLS_PEM_PARSE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001742}
1743
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001744#if defined(MBEDTLS_FS_IO)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001745/*
1746 * Load one or more certificates and add them to the chained list
1747 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001748int mbedtls_x509_crt_parse_file( mbedtls_x509_crt *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001749{
1750 int ret;
1751 size_t n;
1752 unsigned char *buf;
1753
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001754 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001755 return( ret );
1756
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001757 ret = mbedtls_x509_crt_parse( chain, buf, n );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001758
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -05001759 mbedtls_platform_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001760 mbedtls_free( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001761
1762 return( ret );
1763}
1764
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001765int mbedtls_x509_crt_parse_path( mbedtls_x509_crt *chain, const char *path )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001766{
1767 int ret = 0;
Paul Bakkerfa6a6202013-10-28 18:48:30 +01001768#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001769 int w_ret;
1770 WCHAR szDir[MAX_PATH];
1771 char filename[MAX_PATH];
Paul Bakker9af723c2014-05-01 13:03:14 +02001772 char *p;
Manuel Pégourié-Gonnard261faed2015-10-21 10:16:29 +02001773 size_t len = strlen( path );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001774
Paul Bakker9af723c2014-05-01 13:03:14 +02001775 WIN32_FIND_DATAW file_data;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001776 HANDLE hFind;
1777
1778 if( len > MAX_PATH - 3 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001779 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001780
Paul Bakker9af723c2014-05-01 13:03:14 +02001781 memset( szDir, 0, sizeof(szDir) );
1782 memset( filename, 0, MAX_PATH );
1783 memcpy( filename, path, len );
1784 filename[len++] = '\\';
1785 p = filename + len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001786 filename[len++] = '*';
1787
Simon B3c6b18d2016-11-03 01:11:37 +00001788 w_ret = MultiByteToWideChar( CP_ACP, 0, filename, (int)len, szDir,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +02001789 MAX_PATH - 3 );
Manuel Pégourié-Gonnardacdb9b92015-01-23 17:50:34 +00001790 if( w_ret == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001791 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001792
1793 hFind = FindFirstFileW( szDir, &file_data );
Paul Bakker66d5d072014-06-17 16:39:18 +02001794 if( hFind == INVALID_HANDLE_VALUE )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001795 return( MBEDTLS_ERR_X509_FILE_IO_ERROR );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001796
1797 len = MAX_PATH - len;
1798 do
1799 {
Paul Bakker9af723c2014-05-01 13:03:14 +02001800 memset( p, 0, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001801
1802 if( file_data.dwFileAttributes & FILE_ATTRIBUTE_DIRECTORY )
1803 continue;
1804
Paul Bakker9af723c2014-05-01 13:03:14 +02001805 w_ret = WideCharToMultiByte( CP_ACP, 0, file_data.cFileName,
Paul Bakker66d5d072014-06-17 16:39:18 +02001806 lstrlenW( file_data.cFileName ),
Manuel Pégourié-Gonnard261faed2015-10-21 10:16:29 +02001807 p, (int) len - 1,
Paul Bakker9af723c2014-05-01 13:03:14 +02001808 NULL, NULL );
Manuel Pégourié-Gonnardacdb9b92015-01-23 17:50:34 +00001809 if( w_ret == 0 )
Ron Eldor36d90422017-01-09 15:09:16 +02001810 {
1811 ret = MBEDTLS_ERR_X509_FILE_IO_ERROR;
1812 goto cleanup;
1813 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001814
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001815 w_ret = mbedtls_x509_crt_parse_file( chain, filename );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001816 if( w_ret < 0 )
1817 ret++;
1818 else
1819 ret += w_ret;
1820 }
1821 while( FindNextFileW( hFind, &file_data ) != 0 );
1822
Paul Bakker66d5d072014-06-17 16:39:18 +02001823 if( GetLastError() != ERROR_NO_MORE_FILES )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001824 ret = MBEDTLS_ERR_X509_FILE_IO_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001825
Ron Eldor36d90422017-01-09 15:09:16 +02001826cleanup:
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001827 FindClose( hFind );
Paul Bakkerbe089b02013-10-14 15:51:50 +02001828#else /* _WIN32 */
Manuel Pégourié-Gonnard964bf9b2013-11-26 16:47:11 +01001829 int t_ret;
Andres AGf9113192016-09-02 14:06:04 +01001830 int snp_ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001831 struct stat sb;
Manuel Pégourié-Gonnard964bf9b2013-11-26 16:47:11 +01001832 struct dirent *entry;
Andres AGf9113192016-09-02 14:06:04 +01001833 char entry_name[MBEDTLS_X509_MAX_FILE_PATH_LEN];
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001834 DIR *dir = opendir( path );
1835
Paul Bakker66d5d072014-06-17 16:39:18 +02001836 if( dir == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001837 return( MBEDTLS_ERR_X509_FILE_IO_ERROR );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001838
Ron Eldor63140682017-01-09 19:27:59 +02001839#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard944cfe82015-05-27 20:07:18 +02001840 if( ( ret = mbedtls_mutex_lock( &mbedtls_threading_readdir_mutex ) ) != 0 )
Manuel Pégourié-Gonnardf9b85d92015-06-22 18:39:57 +02001841 {
1842 closedir( dir );
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +01001843 return( ret );
Manuel Pégourié-Gonnardf9b85d92015-06-22 18:39:57 +02001844 }
Ron Eldor63140682017-01-09 19:27:59 +02001845#endif /* MBEDTLS_THREADING_C */
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +01001846
Manuel Pégourié-Gonnard964bf9b2013-11-26 16:47:11 +01001847 while( ( entry = readdir( dir ) ) != NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001848 {
Andres AGf9113192016-09-02 14:06:04 +01001849 snp_ret = mbedtls_snprintf( entry_name, sizeof entry_name,
1850 "%s/%s", path, entry->d_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001851
Andres AGf9113192016-09-02 14:06:04 +01001852 if( snp_ret < 0 || (size_t)snp_ret >= sizeof entry_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001853 {
Andres AGf9113192016-09-02 14:06:04 +01001854 ret = MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
1855 goto cleanup;
1856 }
1857 else if( stat( entry_name, &sb ) == -1 )
1858 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001859 ret = MBEDTLS_ERR_X509_FILE_IO_ERROR;
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +01001860 goto cleanup;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001861 }
1862
1863 if( !S_ISREG( sb.st_mode ) )
1864 continue;
1865
1866 // Ignore parse errors
1867 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001868 t_ret = mbedtls_x509_crt_parse_file( chain, entry_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001869 if( t_ret < 0 )
1870 ret++;
1871 else
1872 ret += t_ret;
1873 }
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +01001874
1875cleanup:
Andres AGf9113192016-09-02 14:06:04 +01001876 closedir( dir );
1877
Ron Eldor63140682017-01-09 19:27:59 +02001878#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard944cfe82015-05-27 20:07:18 +02001879 if( mbedtls_mutex_unlock( &mbedtls_threading_readdir_mutex ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001880 ret = MBEDTLS_ERR_THREADING_MUTEX_ERROR;
Ron Eldor63140682017-01-09 19:27:59 +02001881#endif /* MBEDTLS_THREADING_C */
Manuel Pégourié-Gonnard5ad68e42013-11-28 17:11:54 +01001882
Paul Bakkerbe089b02013-10-14 15:51:50 +02001883#endif /* _WIN32 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001884
1885 return( ret );
1886}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001887#endif /* MBEDTLS_FS_IO */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001888
Hanno Becker02a21932019-06-10 15:08:43 +01001889#if !defined(MBEDTLS_X509_REMOVE_INFO)
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001890static int x509_info_subject_alt_name( char **buf, size_t *size,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001891 const mbedtls_x509_sequence *subject_alt_name )
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001892{
1893 size_t i;
1894 size_t n = *size;
1895 char *p = *buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001896 const mbedtls_x509_sequence *cur = subject_alt_name;
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001897 const char *sep = "";
1898 size_t sep_len = 0;
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001899
1900 while( cur != NULL )
1901 {
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001902 if( cur->buf.len + sep_len >= n )
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001903 {
1904 *p = '\0';
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +02001905 return( MBEDTLS_ERR_X509_BUFFER_TOO_SMALL );
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001906 }
1907
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001908 n -= cur->buf.len + sep_len;
1909 for( i = 0; i < sep_len; i++ )
1910 *p++ = sep[i];
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001911 for( i = 0; i < cur->buf.len; i++ )
1912 *p++ = cur->buf.p[i];
1913
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001914 sep = ", ";
1915 sep_len = 2;
1916
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02001917 cur = cur->next;
1918 }
1919
1920 *p = '\0';
1921
1922 *size = n;
1923 *buf = p;
1924
1925 return( 0 );
1926}
1927
Manuel Pégourié-Gonnard0db29b02014-04-01 18:12:24 +02001928#define PRINT_ITEM(i) \
1929 { \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001930 ret = mbedtls_snprintf( p, n, "%s" i, sep ); \
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +02001931 MBEDTLS_X509_SAFE_SNPRINTF; \
Manuel Pégourié-Gonnard0db29b02014-04-01 18:12:24 +02001932 sep = ", "; \
1933 }
1934
1935#define CERT_TYPE(type,name) \
Hanno Beckerd6028a12018-10-15 12:01:35 +01001936 if( ns_cert_type & (type) ) \
Manuel Pégourié-Gonnard0db29b02014-04-01 18:12:24 +02001937 PRINT_ITEM( name );
1938
Manuel Pégourié-Gonnard919f8f52014-04-01 13:01:11 +02001939static int x509_info_cert_type( char **buf, size_t *size,
1940 unsigned char ns_cert_type )
1941{
1942 int ret;
1943 size_t n = *size;
1944 char *p = *buf;
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001945 const char *sep = "";
Manuel Pégourié-Gonnard919f8f52014-04-01 13:01:11 +02001946
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001947 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_SSL_CLIENT, "SSL Client" );
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01001948 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_SSL_SERVER, "SSL Server" );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001949 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_EMAIL, "Email" );
1950 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_OBJECT_SIGNING, "Object Signing" );
1951 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_RESERVED, "Reserved" );
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01001952 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_SSL_CA, "SSL CA" );
1953 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_EMAIL_CA, "Email CA" );
1954 CERT_TYPE( MBEDTLS_X509_NS_CERT_TYPE_OBJECT_SIGNING_CA, "Object Signing CA" );
Manuel Pégourié-Gonnard919f8f52014-04-01 13:01:11 +02001955
1956 *size = n;
1957 *buf = p;
1958
1959 return( 0 );
1960}
1961
Manuel Pégourié-Gonnard0db29b02014-04-01 18:12:24 +02001962#define KEY_USAGE(code,name) \
Hanno Beckerd6028a12018-10-15 12:01:35 +01001963 if( key_usage & (code) ) \
Manuel Pégourié-Gonnard0db29b02014-04-01 18:12:24 +02001964 PRINT_ITEM( name );
1965
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02001966static int x509_info_key_usage( char **buf, size_t *size,
Manuel Pégourié-Gonnard9a702252015-06-23 10:14:36 +02001967 unsigned int key_usage )
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02001968{
1969 int ret;
1970 size_t n = *size;
1971 char *p = *buf;
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001972 const char *sep = "";
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02001973
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001974 KEY_USAGE( MBEDTLS_X509_KU_DIGITAL_SIGNATURE, "Digital Signature" );
1975 KEY_USAGE( MBEDTLS_X509_KU_NON_REPUDIATION, "Non Repudiation" );
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01001976 KEY_USAGE( MBEDTLS_X509_KU_KEY_ENCIPHERMENT, "Key Encipherment" );
1977 KEY_USAGE( MBEDTLS_X509_KU_DATA_ENCIPHERMENT, "Data Encipherment" );
1978 KEY_USAGE( MBEDTLS_X509_KU_KEY_AGREEMENT, "Key Agreement" );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001979 KEY_USAGE( MBEDTLS_X509_KU_KEY_CERT_SIGN, "Key Cert Sign" );
1980 KEY_USAGE( MBEDTLS_X509_KU_CRL_SIGN, "CRL Sign" );
Manuel Pégourié-Gonnard9a702252015-06-23 10:14:36 +02001981 KEY_USAGE( MBEDTLS_X509_KU_ENCIPHER_ONLY, "Encipher Only" );
1982 KEY_USAGE( MBEDTLS_X509_KU_DECIPHER_ONLY, "Decipher Only" );
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02001983
1984 *size = n;
1985 *buf = p;
1986
1987 return( 0 );
1988}
1989
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02001990static int x509_info_ext_key_usage( char **buf, size_t *size,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001991 const mbedtls_x509_sequence *extended_key_usage )
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02001992{
1993 int ret;
1994 const char *desc;
1995 size_t n = *size;
1996 char *p = *buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001997 const mbedtls_x509_sequence *cur = extended_key_usage;
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02001998 const char *sep = "";
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02001999
2000 while( cur != NULL )
2001 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002002 if( mbedtls_oid_get_extended_key_usage( &cur->buf, &desc ) != 0 )
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02002003 desc = "???";
2004
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002005 ret = mbedtls_snprintf( p, n, "%s%s", sep, desc );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +02002006 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02002007
Manuel Pégourié-Gonnard7b30cfc2014-04-01 18:00:07 +02002008 sep = ", ";
2009
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02002010 cur = cur->next;
2011 }
2012
2013 *size = n;
2014 *buf = p;
2015
2016 return( 0 );
2017}
2018
Hanno Becker4f869ed2019-02-24 16:47:57 +00002019typedef struct mbedtls_x509_crt_sig_info
2020{
2021 mbedtls_md_type_t sig_md;
2022 mbedtls_pk_type_t sig_pk;
2023 void *sig_opts;
2024 uint8_t crt_hash[MBEDTLS_MD_MAX_SIZE];
2025 size_t crt_hash_len;
2026 mbedtls_x509_buf_raw sig;
2027 mbedtls_x509_buf_raw issuer_raw;
2028} mbedtls_x509_crt_sig_info;
2029
2030static void x509_crt_free_sig_info( mbedtls_x509_crt_sig_info *info )
2031{
2032#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
2033 mbedtls_free( info->sig_opts );
2034#else
2035 ((void) info);
2036#endif /* MBEDTLS_X509_RSASSA_PSS_SUPPORT */
2037}
2038
2039static int x509_crt_get_sig_info( mbedtls_x509_crt_frame const *frame,
2040 mbedtls_x509_crt_sig_info *info )
2041{
2042 const mbedtls_md_info_t *md_info;
2043
2044 md_info = mbedtls_md_info_from_type( frame->sig_md );
2045 if( mbedtls_md( md_info, frame->tbs.p, frame->tbs.len,
2046 info->crt_hash ) != 0 )
2047 {
2048 /* Note: this can't happen except after an internal error */
2049 return( -1 );
2050 }
2051
2052 info->crt_hash_len = mbedtls_md_get_size( md_info );
2053
2054 /* Make sure that this function leaves the target structure
2055 * ready to be freed, regardless of success of failure. */
2056 info->sig_opts = NULL;
2057
2058#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
2059 {
2060 int ret;
2061 unsigned char *alg_start = frame->sig_alg.p;
2062 unsigned char *alg_end = alg_start + frame->sig_alg.len;
2063
2064 /* Get signature options -- currently only
2065 * necessary for RSASSA-PSS. */
2066 ret = mbedtls_x509_get_sig_alg_raw( &alg_start, alg_end, &info->sig_md,
2067 &info->sig_pk, &info->sig_opts );
2068 if( ret != 0 )
2069 {
2070 /* Note: this can't happen except after an internal error */
2071 return( -1 );
2072 }
2073 }
2074#else /* MBEDTLS_X509_RSASSA_PSS_SUPPORT */
2075 info->sig_md = frame->sig_md;
2076 info->sig_pk = frame->sig_pk;
2077#endif /* !MBEDTLS_X509_RSASSA_PSS_SUPPORT */
2078
2079 info->issuer_raw = frame->issuer_raw;
2080 info->sig = frame->sig;
2081 return( 0 );
2082}
2083
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002084/*
2085 * Return an informational string about the certificate.
2086 */
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002087#define BEFORE_COLON 18
2088#define BC "18"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002089int mbedtls_x509_crt_info( char *buf, size_t size, const char *prefix,
Hanno Becker5226c532019-02-27 17:38:40 +00002090 const mbedtls_x509_crt *crt )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002091{
2092 int ret;
2093 size_t n;
2094 char *p;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002095 char key_size_str[BEFORE_COLON];
Hanno Becker5226c532019-02-27 17:38:40 +00002096 mbedtls_x509_crt_frame frame;
2097 mbedtls_pk_context pk;
Hanno Becker4f869ed2019-02-24 16:47:57 +00002098
Hanno Becker5226c532019-02-27 17:38:40 +00002099 mbedtls_x509_name *issuer = NULL, *subject = NULL;
2100 mbedtls_x509_sequence *ext_key_usage = NULL, *subject_alt_names = NULL;
Hanno Becker4f869ed2019-02-24 16:47:57 +00002101 mbedtls_x509_crt_sig_info sig_info;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002102
2103 p = buf;
2104 n = size;
2105
Hanno Becker4f869ed2019-02-24 16:47:57 +00002106 memset( &sig_info, 0, sizeof( mbedtls_x509_crt_sig_info ) );
Hanno Becker5226c532019-02-27 17:38:40 +00002107 mbedtls_pk_init( &pk );
2108
2109 if( NULL == crt )
Janos Follath98e28a72016-05-31 14:03:54 +01002110 {
2111 ret = mbedtls_snprintf( p, n, "\nCertificate is uninitialised!\n" );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002112 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Janos Follath98e28a72016-05-31 14:03:54 +01002113
2114 return( (int) ( size - n ) );
2115 }
2116
Hanno Becker5226c532019-02-27 17:38:40 +00002117 ret = mbedtls_x509_crt_get_frame( crt, &frame );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002118 if( ret != 0 )
2119 {
2120 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2121 goto cleanup;
2122 }
2123
Hanno Becker5226c532019-02-27 17:38:40 +00002124 ret = mbedtls_x509_crt_get_subject( crt, &subject );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002125 if( ret != 0 )
2126 {
2127 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2128 goto cleanup;
2129 }
2130
Hanno Becker5226c532019-02-27 17:38:40 +00002131 ret = mbedtls_x509_crt_get_issuer( crt, &issuer );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002132 if( ret != 0 )
2133 {
2134 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2135 goto cleanup;
2136 }
2137
Hanno Becker5226c532019-02-27 17:38:40 +00002138 ret = mbedtls_x509_crt_get_subject_alt_names( crt, &subject_alt_names );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002139 if( ret != 0 )
2140 {
2141 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2142 goto cleanup;
2143 }
2144
Hanno Becker5226c532019-02-27 17:38:40 +00002145 ret = mbedtls_x509_crt_get_ext_key_usage( crt, &ext_key_usage );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002146 if( ret != 0 )
2147 {
2148 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2149 goto cleanup;
2150 }
2151
Hanno Becker5226c532019-02-27 17:38:40 +00002152 ret = mbedtls_x509_crt_get_pk( crt, &pk );
2153 if( ret != 0 )
2154 {
2155 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2156 goto cleanup;
2157 }
2158
2159 ret = x509_crt_get_sig_info( &frame, &sig_info );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002160 if( ret != 0 )
2161 {
2162 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
2163 goto cleanup;
2164 }
2165
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002166 ret = mbedtls_snprintf( p, n, "%scert. version : %d\n",
Hanno Becker5226c532019-02-27 17:38:40 +00002167 prefix, frame.version );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002168 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002169
Hanno Becker4f869ed2019-02-24 16:47:57 +00002170 {
2171 mbedtls_x509_buf serial;
Hanno Becker5226c532019-02-27 17:38:40 +00002172 serial.p = frame.serial.p;
2173 serial.len = frame.serial.len;
Hanno Becker4f869ed2019-02-24 16:47:57 +00002174 ret = mbedtls_snprintf( p, n, "%sserial number : ",
2175 prefix );
2176 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
2177 ret = mbedtls_x509_serial_gets( p, n, &serial );
2178 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
2179 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002180
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002181 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002182 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Hanno Becker5226c532019-02-27 17:38:40 +00002183 ret = mbedtls_x509_dn_gets( p, n, issuer );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002184 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002185
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002186 ret = mbedtls_snprintf( p, n, "\n%ssubject name : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002187 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Hanno Becker5226c532019-02-27 17:38:40 +00002188 ret = mbedtls_x509_dn_gets( p, n, subject );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002189 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002190
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002191 ret = mbedtls_snprintf( p, n, "\n%sissued on : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002192 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
Hanno Becker5226c532019-02-27 17:38:40 +00002193 frame.valid_from.year, frame.valid_from.mon,
2194 frame.valid_from.day, frame.valid_from.hour,
2195 frame.valid_from.min, frame.valid_from.sec );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002196 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002197
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002198 ret = mbedtls_snprintf( p, n, "\n%sexpires on : " \
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002199 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
Hanno Becker5226c532019-02-27 17:38:40 +00002200 frame.valid_to.year, frame.valid_to.mon,
2201 frame.valid_to.day, frame.valid_to.hour,
2202 frame.valid_to.min, frame.valid_to.sec );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002203 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002204
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002205 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002206 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002207
Hanno Becker83cd8672019-02-21 17:13:46 +00002208 ret = mbedtls_x509_sig_alg_gets( p, n, sig_info.sig_pk,
2209 sig_info.sig_md, sig_info.sig_opts );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002210 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002211
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002212 /* Key size */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002213 if( ( ret = mbedtls_x509_key_size_helper( key_size_str, BEFORE_COLON,
Hanno Becker5226c532019-02-27 17:38:40 +00002214 mbedtls_pk_get_name( &pk ) ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002215 {
2216 return( ret );
2217 }
2218
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002219 ret = mbedtls_snprintf( p, n, "\n%s%-" BC "s: %d bits", prefix, key_size_str,
Hanno Becker5226c532019-02-27 17:38:40 +00002220 (int) mbedtls_pk_get_bitlen( &pk ) );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002221 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002222
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002223 /*
2224 * Optional extensions
2225 */
2226
Hanno Becker5226c532019-02-27 17:38:40 +00002227 if( frame.ext_types & MBEDTLS_X509_EXT_BASIC_CONSTRAINTS )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002228 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002229 ret = mbedtls_snprintf( p, n, "\n%sbasic constraints : CA=%s", prefix,
Hanno Becker5226c532019-02-27 17:38:40 +00002230 frame.ca_istrue ? "true" : "false" );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002231 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002232
Hanno Becker5226c532019-02-27 17:38:40 +00002233 if( frame.max_pathlen > 0 )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002234 {
Hanno Becker5226c532019-02-27 17:38:40 +00002235 ret = mbedtls_snprintf( p, n, ", max_pathlen=%d", frame.max_pathlen - 1 );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002236 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002237 }
2238 }
2239
Hanno Becker5226c532019-02-27 17:38:40 +00002240 if( frame.ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002241 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002242 ret = mbedtls_snprintf( p, n, "\n%ssubject alt name : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002243 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02002244
2245 if( ( ret = x509_info_subject_alt_name( &p, &n,
Hanno Becker5226c532019-02-27 17:38:40 +00002246 subject_alt_names ) ) != 0 )
Manuel Pégourié-Gonnardbce2b302014-04-01 13:43:28 +02002247 return( ret );
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002248 }
2249
Hanno Becker5226c532019-02-27 17:38:40 +00002250 if( frame.ext_types & MBEDTLS_X509_EXT_NS_CERT_TYPE )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002251 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002252 ret = mbedtls_snprintf( p, n, "\n%scert. type : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002253 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnard919f8f52014-04-01 13:01:11 +02002254
Hanno Becker5226c532019-02-27 17:38:40 +00002255 if( ( ret = x509_info_cert_type( &p, &n, frame.ns_cert_type ) ) != 0 )
Manuel Pégourié-Gonnard919f8f52014-04-01 13:01:11 +02002256 return( ret );
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002257 }
2258
Hanno Becker5226c532019-02-27 17:38:40 +00002259 if( frame.ext_types & MBEDTLS_X509_EXT_KEY_USAGE )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002260 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002261 ret = mbedtls_snprintf( p, n, "\n%skey usage : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002262 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02002263
Hanno Becker5226c532019-02-27 17:38:40 +00002264 if( ( ret = x509_info_key_usage( &p, &n, frame.key_usage ) ) != 0 )
Manuel Pégourié-Gonnard65c2ddc2014-04-01 14:12:11 +02002265 return( ret );
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002266 }
2267
Hanno Becker5226c532019-02-27 17:38:40 +00002268 if( frame.ext_types & MBEDTLS_X509_EXT_EXTENDED_KEY_USAGE )
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002269 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002270 ret = mbedtls_snprintf( p, n, "\n%sext key usage : ", prefix );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002271 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02002272
2273 if( ( ret = x509_info_ext_key_usage( &p, &n,
Hanno Becker5226c532019-02-27 17:38:40 +00002274 ext_key_usage ) ) != 0 )
Manuel Pégourié-Gonnardf6f4ab42014-04-01 17:32:44 +02002275 return( ret );
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002276 }
2277
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002278 ret = mbedtls_snprintf( p, n, "\n" );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002279 MBEDTLS_X509_SAFE_SNPRINTF_WITH_ERROR;
Manuel Pégourié-Gonnardb28487d2014-04-01 12:19:09 +02002280
Hanno Becker4f869ed2019-02-24 16:47:57 +00002281 ret = (int) ( size - n );
2282
2283cleanup:
2284
Hanno Becker4f869ed2019-02-24 16:47:57 +00002285 x509_crt_free_sig_info( &sig_info );
Hanno Becker5226c532019-02-27 17:38:40 +00002286 mbedtls_pk_free( &pk );
2287 mbedtls_x509_name_free( issuer );
2288 mbedtls_x509_name_free( subject );
2289 mbedtls_x509_sequence_free( ext_key_usage );
2290 mbedtls_x509_sequence_free( subject_alt_names );
Hanno Becker4f869ed2019-02-24 16:47:57 +00002291
2292 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002293}
2294
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002295struct x509_crt_verify_string {
2296 int code;
2297 const char *string;
2298};
2299
2300static const struct x509_crt_verify_string x509_crt_verify_strings[] = {
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01002301 { MBEDTLS_X509_BADCERT_EXPIRED, "The certificate validity has expired" },
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002302 { MBEDTLS_X509_BADCERT_REVOKED, "The certificate has been revoked (is on a CRL)" },
2303 { MBEDTLS_X509_BADCERT_CN_MISMATCH, "The certificate Common Name (CN) does not match with the expected CN" },
2304 { MBEDTLS_X509_BADCERT_NOT_TRUSTED, "The certificate is not correctly signed by the trusted CA" },
2305 { MBEDTLS_X509_BADCRL_NOT_TRUSTED, "The CRL is not correctly signed by the trusted CA" },
2306 { MBEDTLS_X509_BADCRL_EXPIRED, "The CRL is expired" },
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01002307 { MBEDTLS_X509_BADCERT_MISSING, "Certificate was missing" },
2308 { MBEDTLS_X509_BADCERT_SKIP_VERIFY, "Certificate verification was skipped" },
2309 { MBEDTLS_X509_BADCERT_OTHER, "Other reason (can be used by verify callback)" },
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002310 { MBEDTLS_X509_BADCERT_FUTURE, "The certificate validity starts in the future" },
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01002311 { MBEDTLS_X509_BADCRL_FUTURE, "The CRL is from the future" },
2312 { MBEDTLS_X509_BADCERT_KEY_USAGE, "Usage does not match the keyUsage extension" },
2313 { MBEDTLS_X509_BADCERT_EXT_KEY_USAGE, "Usage does not match the extendedKeyUsage extension" },
2314 { MBEDTLS_X509_BADCERT_NS_CERT_TYPE, "Usage does not match the nsCertType extension" },
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02002315 { MBEDTLS_X509_BADCERT_BAD_MD, "The certificate is signed with an unacceptable hash." },
2316 { MBEDTLS_X509_BADCERT_BAD_PK, "The certificate is signed with an unacceptable PK alg (eg RSA vs ECDSA)." },
2317 { MBEDTLS_X509_BADCERT_BAD_KEY, "The certificate is signed with an unacceptable key (eg bad curve, RSA too short)." },
2318 { MBEDTLS_X509_BADCRL_BAD_MD, "The CRL is signed with an unacceptable hash." },
2319 { MBEDTLS_X509_BADCRL_BAD_PK, "The CRL is signed with an unacceptable PK alg (eg RSA vs ECDSA)." },
2320 { MBEDTLS_X509_BADCRL_BAD_KEY, "The CRL is signed with an unacceptable key (eg bad curve, RSA too short)." },
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002321 { 0, NULL }
2322};
2323
2324int mbedtls_x509_crt_verify_info( char *buf, size_t size, const char *prefix,
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +02002325 uint32_t flags )
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002326{
2327 int ret;
2328 const struct x509_crt_verify_string *cur;
2329 char *p = buf;
2330 size_t n = size;
2331
2332 for( cur = x509_crt_verify_strings; cur->string != NULL ; cur++ )
2333 {
2334 if( ( flags & cur->code ) == 0 )
2335 continue;
2336
2337 ret = mbedtls_snprintf( p, n, "%s%s\n", prefix, cur->string );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +02002338 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002339 flags ^= cur->code;
2340 }
2341
2342 if( flags != 0 )
2343 {
2344 ret = mbedtls_snprintf( p, n, "%sUnknown reason "
2345 "(this should not happen)\n", prefix );
Manuel Pégourié-Gonnard16853682015-06-22 11:12:02 +02002346 MBEDTLS_X509_SAFE_SNPRINTF;
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002347 }
2348
2349 return( (int) ( size - n ) );
2350}
Hanno Becker02a21932019-06-10 15:08:43 +01002351#endif /* !MBEDTLS_X509_REMOVE_INFO */
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +01002352
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002353#if defined(MBEDTLS_X509_CHECK_KEY_USAGE)
Hanno Becker45eedf12019-02-25 13:55:33 +00002354static int x509_crt_check_key_usage_frame( const mbedtls_x509_crt_frame *crt,
2355 unsigned int usage )
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02002356{
Manuel Pégourié-Gonnard655a9642015-06-23 10:48:44 +02002357 unsigned int usage_must, usage_may;
2358 unsigned int may_mask = MBEDTLS_X509_KU_ENCIPHER_ONLY
2359 | MBEDTLS_X509_KU_DECIPHER_ONLY;
2360
2361 if( ( crt->ext_types & MBEDTLS_X509_EXT_KEY_USAGE ) == 0 )
2362 return( 0 );
2363
2364 usage_must = usage & ~may_mask;
2365
2366 if( ( ( crt->key_usage & ~may_mask ) & usage_must ) != usage_must )
2367 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
2368
2369 usage_may = usage & may_mask;
2370
2371 if( ( ( crt->key_usage & may_mask ) | usage_may ) != usage_may )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002372 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02002373
2374 return( 0 );
2375}
Hanno Becker45eedf12019-02-25 13:55:33 +00002376
2377int mbedtls_x509_crt_check_key_usage( const mbedtls_x509_crt *crt,
2378 unsigned int usage )
2379{
2380 int ret;
2381 mbedtls_x509_crt_frame *frame;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002382 ret = mbedtls_x509_crt_frame_acquire( crt,
2383 (mbedtls_x509_crt_frame**) &frame );
Hanno Becker45eedf12019-02-25 13:55:33 +00002384 if( ret != 0 )
2385 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2386
2387 ret = x509_crt_check_key_usage_frame( frame, usage );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002388 mbedtls_x509_crt_frame_release( crt, (mbedtls_x509_crt_frame*) frame );
Hanno Becker45eedf12019-02-25 13:55:33 +00002389
2390 return( ret );
2391}
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02002392#endif
2393
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002394#if defined(MBEDTLS_X509_CHECK_EXTENDED_KEY_USAGE)
Hanno Beckerc7c638e2019-02-21 21:10:51 +00002395typedef struct
2396{
2397 const char *oid;
2398 size_t oid_len;
2399} x509_crt_check_ext_key_usage_cb_ctx_t;
2400
2401static int x509_crt_check_ext_key_usage_cb( void *ctx,
2402 int tag,
2403 unsigned char *data,
2404 size_t data_len )
2405{
2406 x509_crt_check_ext_key_usage_cb_ctx_t *cb_ctx =
2407 (x509_crt_check_ext_key_usage_cb_ctx_t *) ctx;
2408 ((void) tag);
2409
2410 if( MBEDTLS_OID_CMP_RAW( MBEDTLS_OID_ANY_EXTENDED_KEY_USAGE,
2411 data, data_len ) == 0 )
2412 {
2413 return( 1 );
2414 }
2415
2416 if( data_len == cb_ctx->oid_len && memcmp( data, cb_ctx->oid,
2417 data_len ) == 0 )
2418 {
2419 return( 1 );
2420 }
2421
2422 return( 0 );
2423}
2424
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002425int mbedtls_x509_crt_check_extended_key_usage( const mbedtls_x509_crt *crt,
Hanno Beckere1956af2019-02-21 14:28:12 +00002426 const char *usage_oid,
2427 size_t usage_len )
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002428{
Hanno Beckere1956af2019-02-21 14:28:12 +00002429 int ret;
Hanno Beckere9718b42019-02-25 18:11:42 +00002430 mbedtls_x509_crt_frame *frame;
Hanno Beckere1956af2019-02-21 14:28:12 +00002431 unsigned ext_types;
2432 unsigned char *p, *end;
Hanno Beckerc7c638e2019-02-21 21:10:51 +00002433 x509_crt_check_ext_key_usage_cb_ctx_t cb_ctx = { usage_oid, usage_len };
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002434
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002435 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Beckere9718b42019-02-25 18:11:42 +00002436 if( ret != 0 )
2437 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2438
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002439 /* Extension is not mandatory, absent means no restriction */
Hanno Beckere9718b42019-02-25 18:11:42 +00002440 ext_types = frame->ext_types;
2441 if( ( ext_types & MBEDTLS_X509_EXT_EXTENDED_KEY_USAGE ) != 0 )
2442 {
2443 p = frame->ext_key_usage_raw.p;
2444 end = p + frame->ext_key_usage_raw.len;
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002445
Hanno Beckere9718b42019-02-25 18:11:42 +00002446 ret = mbedtls_asn1_traverse_sequence_of( &p, end,
2447 0xFF, MBEDTLS_ASN1_OID, 0, 0,
2448 x509_crt_check_ext_key_usage_cb,
2449 &cb_ctx );
2450 if( ret == 1 )
2451 ret = 0;
2452 else
2453 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
2454 }
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002455
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002456 mbedtls_x509_crt_frame_release( crt, frame );
Hanno Beckere9718b42019-02-25 18:11:42 +00002457 return( ret );
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002458}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002459#endif /* MBEDTLS_X509_CHECK_EXTENDED_KEY_USAGE */
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002460
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002461#if defined(MBEDTLS_X509_CRL_PARSE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002462/*
2463 * Return 1 if the certificate is revoked, or 0 otherwise.
2464 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002465static int x509_serial_is_revoked( unsigned char const *serial,
2466 size_t serial_len,
2467 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002468{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002469 const mbedtls_x509_crl_entry *cur = &crl->entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002470
2471 while( cur != NULL && cur->serial.len != 0 )
2472 {
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002473 if( serial_len == cur->serial.len &&
2474 memcmp( serial, cur->serial.p, serial_len ) == 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002475 {
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002476 if( mbedtls_x509_time_is_past( &cur->revocation_date ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002477 return( 1 );
2478 }
2479
2480 cur = cur->next;
2481 }
2482
2483 return( 0 );
2484}
2485
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002486int mbedtls_x509_crt_is_revoked( const mbedtls_x509_crt *crt,
2487 const mbedtls_x509_crl *crl )
2488{
Hanno Becker79ae5b62019-02-25 18:12:00 +00002489 int ret;
2490 mbedtls_x509_crt_frame *frame;
2491
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002492 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Becker79ae5b62019-02-25 18:12:00 +00002493 if( ret != 0 )
2494 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2495
2496 ret = x509_serial_is_revoked( frame->serial.p,
2497 frame->serial.len,
2498 crl );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002499 mbedtls_x509_crt_frame_release( crt, frame );
Hanno Becker79ae5b62019-02-25 18:12:00 +00002500 return( ret );
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002501}
2502
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002503/*
Manuel Pégourié-Gonnardeeef9472016-02-22 11:36:55 +01002504 * Check that the given certificate is not revoked according to the CRL.
Manuel Pégourié-Gonnard08eacec2017-10-18 14:20:24 +02002505 * Skip validation if no CRL for the given CA is present.
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002506 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002507static int x509_crt_verifycrl( unsigned char *crt_serial,
2508 size_t crt_serial_len,
Hanno Beckerbb266132019-02-25 18:12:46 +00002509 mbedtls_x509_crt *ca_crt,
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02002510 mbedtls_x509_crl *crl_list,
2511 const mbedtls_x509_crt_profile *profile )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002512{
Hanno Beckerbb266132019-02-25 18:12:46 +00002513 int ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002514 int flags = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002515 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
2516 const mbedtls_md_info_t *md_info;
Hanno Beckerbb266132019-02-25 18:12:46 +00002517 mbedtls_x509_buf_raw ca_subject;
2518 mbedtls_pk_context *pk;
2519 int can_sign;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002520
Hanno Beckerbb266132019-02-25 18:12:46 +00002521 if( ca_crt == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002522 return( flags );
2523
Hanno Beckerbb266132019-02-25 18:12:46 +00002524 {
2525 mbedtls_x509_crt_frame *ca;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002526 ret = mbedtls_x509_crt_frame_acquire( ca_crt, &ca );
Hanno Beckerbb266132019-02-25 18:12:46 +00002527 if( ret != 0 )
2528 return( MBEDTLS_X509_BADCRL_NOT_TRUSTED );
2529
2530 ca_subject = ca->subject_raw;
2531
2532 can_sign = 0;
2533 if( x509_crt_check_key_usage_frame( ca,
2534 MBEDTLS_X509_KU_CRL_SIGN ) == 0 )
2535 {
2536 can_sign = 1;
2537 }
2538
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002539 mbedtls_x509_crt_frame_release( ca_crt, ca );
Hanno Beckerbb266132019-02-25 18:12:46 +00002540 }
2541
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002542 ret = mbedtls_x509_crt_pk_acquire( ca_crt, &pk );
Hanno Beckerbb266132019-02-25 18:12:46 +00002543 if( ret != 0 )
2544 return( MBEDTLS_X509_BADCRL_NOT_TRUSTED );
2545
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002546 while( crl_list != NULL )
2547 {
2548 if( crl_list->version == 0 ||
Hanno Becker1e11f212019-03-04 14:43:43 +00002549 mbedtls_x509_name_cmp_raw( &crl_list->issuer_raw,
Hanno Beckerbb266132019-02-25 18:12:46 +00002550 &ca_subject, NULL, NULL ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002551 {
2552 crl_list = crl_list->next;
2553 continue;
2554 }
2555
2556 /*
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002557 * Check if the CA is configured to sign CRLs
2558 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002559#if defined(MBEDTLS_X509_CHECK_KEY_USAGE)
Hanno Beckerbb266132019-02-25 18:12:46 +00002560 if( !can_sign )
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002561 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002562 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002563 break;
2564 }
2565#endif
2566
2567 /*
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002568 * Check if CRL is correctly signed by the trusted CA
2569 */
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002570 if( x509_profile_check_md_alg( profile, crl_list->sig_md ) != 0 )
2571 flags |= MBEDTLS_X509_BADCRL_BAD_MD;
2572
2573 if( x509_profile_check_pk_alg( profile, crl_list->sig_pk ) != 0 )
2574 flags |= MBEDTLS_X509_BADCRL_BAD_PK;
2575
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002576 md_info = mbedtls_md_info_from_type( crl_list->sig_md );
Manuel Pégourié-Gonnard329e78c2017-06-26 12:22:17 +02002577 if( mbedtls_md( md_info, crl_list->tbs.p, crl_list->tbs.len, hash ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002578 {
Manuel Pégourié-Gonnard329e78c2017-06-26 12:22:17 +02002579 /* Note: this can't happen except after an internal error */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002580 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002581 break;
2582 }
2583
Hanno Beckerbb266132019-02-25 18:12:46 +00002584 if( x509_profile_check_key( profile, pk ) != 0 )
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002585 flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02002586
Hanno Beckerbb266132019-02-25 18:12:46 +00002587 if( mbedtls_pk_verify_ext( crl_list->sig_pk, crl_list->sig_opts, pk,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002588 crl_list->sig_md, hash, mbedtls_md_get_size( md_info ),
Manuel Pégourié-Gonnard53882022014-06-05 17:53:52 +02002589 crl_list->sig.p, crl_list->sig.len ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002590 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002591 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002592 break;
2593 }
2594
2595 /*
2596 * Check for validity of CRL (Do not drop out)
2597 */
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002598 if( mbedtls_x509_time_is_past( &crl_list->next_update ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002599 flags |= MBEDTLS_X509_BADCRL_EXPIRED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002600
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002601 if( mbedtls_x509_time_is_future( &crl_list->this_update ) )
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01002602 flags |= MBEDTLS_X509_BADCRL_FUTURE;
Manuel Pégourié-Gonnard95337652014-03-10 13:15:18 +01002603
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002604 /*
2605 * Check if certificate is revoked
2606 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002607 if( x509_serial_is_revoked( crt_serial, crt_serial_len,
2608 crl_list ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002609 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002610 flags |= MBEDTLS_X509_BADCERT_REVOKED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002611 break;
2612 }
2613
2614 crl_list = crl_list->next;
2615 }
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002616
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002617 mbedtls_x509_crt_pk_release( ca_crt, pk );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02002618 return( flags );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002619}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002620#endif /* MBEDTLS_X509_CRL_PARSE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002621
Manuel Pégourié-Gonnard88421242014-10-17 11:36:18 +02002622/*
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002623 * Check the signature of a certificate by its parent
2624 */
Hanno Becker5299cf82019-02-25 13:50:41 +00002625static int x509_crt_check_signature( const mbedtls_x509_crt_sig_info *sig_info,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002626 mbedtls_x509_crt *parent,
2627 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002628{
Hanno Beckere449e2d2019-02-25 14:45:31 +00002629 int ret;
2630 mbedtls_pk_context *pk;
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002631
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002632 ret = mbedtls_x509_crt_pk_acquire( parent, &pk );
Hanno Beckere449e2d2019-02-25 14:45:31 +00002633 if( ret != 0 )
2634 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2635
2636 /* Skip expensive computation on obvious mismatch */
2637 if( ! mbedtls_pk_can_do( pk, sig_info->sig_pk ) )
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002638 {
Hanno Beckere449e2d2019-02-25 14:45:31 +00002639 ret = -1;
2640 goto exit;
2641 }
2642
2643#if !( defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE) )
2644 ((void) rs_ctx);
2645#else
2646 if( rs_ctx != NULL && sig_info->sig_pk == MBEDTLS_PK_ECDSA )
2647 {
2648 ret = mbedtls_pk_verify_restartable( pk,
Hanno Becker5299cf82019-02-25 13:50:41 +00002649 sig_info->sig_md,
2650 sig_info->crt_hash, sig_info->crt_hash_len,
2651 sig_info->sig.p, sig_info->sig.len,
Hanno Beckere449e2d2019-02-25 14:45:31 +00002652 &rs_ctx->pk );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002653 }
Hanno Beckere449e2d2019-02-25 14:45:31 +00002654 else
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002655#endif
Hanno Beckere449e2d2019-02-25 14:45:31 +00002656 {
2657 ret = mbedtls_pk_verify_ext( sig_info->sig_pk,
2658 sig_info->sig_opts,
2659 pk,
2660 sig_info->sig_md,
2661 sig_info->crt_hash, sig_info->crt_hash_len,
2662 sig_info->sig.p, sig_info->sig.len );
2663 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002664
Hanno Beckere449e2d2019-02-25 14:45:31 +00002665exit:
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002666 mbedtls_x509_crt_pk_release( parent, pk );
Hanno Beckere449e2d2019-02-25 14:45:31 +00002667 return( ret );
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002668}
2669
2670/*
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002671 * Check if 'parent' is a suitable parent (signing CA) for 'child'.
2672 * Return 0 if yes, -1 if not.
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002673 *
2674 * top means parent is a locally-trusted certificate
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002675 */
Hanno Becker43bf9002019-02-25 14:46:49 +00002676static int x509_crt_check_parent( const mbedtls_x509_crt_sig_info *sig_info,
2677 const mbedtls_x509_crt_frame *parent,
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002678 int top )
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002679{
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002680 int need_ca_bit;
2681
Manuel Pégourié-Gonnardc4eff162014-06-19 12:18:08 +02002682 /* Parent must be the issuer */
Hanno Becker43bf9002019-02-25 14:46:49 +00002683 if( mbedtls_x509_name_cmp_raw( &sig_info->issuer_raw,
2684 &parent->subject_raw,
Hanno Becker67284cc2019-02-21 14:31:51 +00002685 NULL, NULL ) != 0 )
Hanno Becker7dee12a2019-02-21 13:58:38 +00002686 {
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002687 return( -1 );
Hanno Becker7dee12a2019-02-21 13:58:38 +00002688 }
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002689
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002690 /* Parent must have the basicConstraints CA bit set as a general rule */
2691 need_ca_bit = 1;
2692
2693 /* Exception: v1/v2 certificates that are locally trusted. */
2694 if( top && parent->version < 3 )
2695 need_ca_bit = 0;
2696
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002697 if( need_ca_bit && ! parent->ca_istrue )
2698 return( -1 );
2699
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002700#if defined(MBEDTLS_X509_CHECK_KEY_USAGE)
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002701 if( need_ca_bit &&
Hanno Becker43bf9002019-02-25 14:46:49 +00002702 x509_crt_check_key_usage_frame( parent,
2703 MBEDTLS_X509_KU_KEY_CERT_SIGN ) != 0 )
Manuel Pégourié-Gonnardc4eff162014-06-19 12:18:08 +02002704 {
2705 return( -1 );
2706 }
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002707#endif
2708
2709 return( 0 );
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002710}
2711
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02002712/*
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002713 * Find a suitable parent for child in candidates, or return NULL.
2714 *
2715 * Here suitable is defined as:
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002716 * 1. subject name matches child's issuer
2717 * 2. if necessary, the CA bit is set and key usage allows signing certs
2718 * 3. for trusted roots, the signature is correct
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002719 * (for intermediates, the signature is checked and the result reported)
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002720 * 4. pathlen constraints are satisfied
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002721 *
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002722 * If there's a suitable candidate which is also time-valid, return the first
2723 * such. Otherwise, return the first suitable candidate (or NULL if there is
2724 * none).
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002725 *
2726 * The rationale for this rule is that someone could have a list of trusted
2727 * roots with two versions on the same root with different validity periods.
2728 * (At least one user reported having such a list and wanted it to just work.)
2729 * The reason we don't just require time-validity is that generally there is
2730 * only one version, and if it's expired we want the flags to state that
2731 * rather than NOT_TRUSTED, as would be the case if we required it here.
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002732 *
2733 * The rationale for rule 3 (signature for trusted roots) is that users might
2734 * have two versions of the same CA with different keys in their list, and the
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02002735 * way we select the correct one is by checking the signature (as we don't
2736 * rely on key identifier extensions). (This is one way users might choose to
2737 * handle key rollover, another relies on self-issued certs, see [SIRO].)
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02002738 *
2739 * Arguments:
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002740 * - [in] child: certificate for which we're looking for a parent
2741 * - [in] candidates: chained list of potential parents
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002742 * - [out] r_parent: parent found (or NULL)
2743 * - [out] r_signature_is_good: 1 if child signature by parent is valid, or 0
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002744 * - [in] top: 1 if candidates consists of trusted roots, ie we're at the top
2745 * of the chain, 0 otherwise
2746 * - [in] path_cnt: number of intermediates seen so far
2747 * - [in] self_cnt: number of self-signed intermediates seen so far
2748 * (will never be greater than path_cnt)
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002749 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002750 *
2751 * Return value:
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002752 * - 0 on success
2753 * - MBEDTLS_ERR_ECP_IN_PROGRESS otherwise
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002754 */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002755static int x509_crt_find_parent_in(
Hanno Becker5299cf82019-02-25 13:50:41 +00002756 mbedtls_x509_crt_sig_info const *child_sig,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002757 mbedtls_x509_crt *candidates,
2758 mbedtls_x509_crt **r_parent,
2759 int *r_signature_is_good,
2760 int top,
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02002761 unsigned path_cnt,
2762 unsigned self_cnt,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002763 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002764{
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002765 int ret;
Hanno Becker43bf9002019-02-25 14:46:49 +00002766 mbedtls_x509_crt *parent_crt, *fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002767 int signature_is_good, fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002768
2769#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002770 /* did we have something in progress? */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002771 if( rs_ctx != NULL && rs_ctx->parent != NULL )
2772 {
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002773 /* restore saved state */
Hanno Becker43bf9002019-02-25 14:46:49 +00002774 parent_crt = rs_ctx->parent;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002775 fallback_parent = rs_ctx->fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002776 fallback_signature_is_good = rs_ctx->fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002777
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002778 /* clear saved state */
2779 rs_ctx->parent = NULL;
2780 rs_ctx->fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002781 rs_ctx->fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002782
2783 /* resume where we left */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002784 goto check_signature;
2785 }
2786#endif
2787
2788 fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002789 fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002790
Hanno Becker43bf9002019-02-25 14:46:49 +00002791 for( parent_crt = candidates; parent_crt != NULL;
2792 parent_crt = parent_crt->next )
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002793 {
Hanno Beckera788cab2019-02-24 17:47:46 +00002794 int parent_valid, parent_match, path_len_ok;
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002795
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002796#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
2797check_signature:
2798#endif
Hanno Beckera788cab2019-02-24 17:47:46 +00002799
2800 parent_valid = parent_match = path_len_ok = 0;
Hanno Beckera788cab2019-02-24 17:47:46 +00002801 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002802 mbedtls_x509_crt_frame *parent;
Hanno Beckera788cab2019-02-24 17:47:46 +00002803
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002804 ret = mbedtls_x509_crt_frame_acquire( parent_crt, &parent );
Hanno Becker43bf9002019-02-25 14:46:49 +00002805 if( ret != 0 )
2806 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Hanno Beckera788cab2019-02-24 17:47:46 +00002807
Hanno Becker43bf9002019-02-25 14:46:49 +00002808 if( mbedtls_x509_time_is_past( &parent->valid_from ) &&
2809 mbedtls_x509_time_is_future( &parent->valid_to ) )
2810 {
2811 parent_valid = 1;
2812 }
2813
2814 /* basic parenting skills (name, CA bit, key usage) */
2815 if( x509_crt_check_parent( child_sig, parent, top ) == 0 )
2816 parent_match = 1;
2817
2818 /* +1 because the stored max_pathlen is 1 higher
2819 * than the actual value */
2820 if( !( parent->max_pathlen > 0 &&
2821 (size_t) parent->max_pathlen < 1 + path_cnt - self_cnt ) )
2822 {
2823 path_len_ok = 1;
2824 }
2825
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002826 mbedtls_x509_crt_frame_release( parent_crt, parent );
Hanno Beckera788cab2019-02-24 17:47:46 +00002827 }
2828
2829 if( parent_match == 0 || path_len_ok == 0 )
2830 continue;
2831
2832 /* Signature */
Hanno Becker43bf9002019-02-25 14:46:49 +00002833 ret = x509_crt_check_signature( child_sig, parent_crt, rs_ctx );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002834
2835#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002836 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
2837 {
2838 /* save state */
Hanno Becker43bf9002019-02-25 14:46:49 +00002839 rs_ctx->parent = parent_crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002840 rs_ctx->fallback_parent = fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002841 rs_ctx->fallback_signature_is_good = fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002842
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002843 return( ret );
2844 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002845#else
2846 (void) ret;
2847#endif
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002848
2849 signature_is_good = ret == 0;
2850 if( top && ! signature_is_good )
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002851 continue;
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002852
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002853 /* optional time check */
Hanno Beckera788cab2019-02-24 17:47:46 +00002854 if( !parent_valid )
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002855 {
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002856 if( fallback_parent == NULL )
2857 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002858 fallback_parent = parent_crt;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002859 fallback_signature_is_good = signature_is_good;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002860 }
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002861
2862 continue;
2863 }
2864
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002865 break;
2866 }
2867
Hanno Becker43bf9002019-02-25 14:46:49 +00002868 if( parent_crt != NULL )
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002869 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002870 *r_parent = parent_crt;
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002871 *r_signature_is_good = signature_is_good;
2872 }
2873 else
2874 {
2875 *r_parent = fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002876 *r_signature_is_good = fallback_signature_is_good;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002877 }
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002878
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002879 return( 0 );
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002880}
2881
2882/*
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002883 * Find a parent in trusted CAs or the provided chain, or return NULL.
2884 *
2885 * Searches in trusted CAs first, and return the first suitable parent found
2886 * (see find_parent_in() for definition of suitable).
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02002887 *
2888 * Arguments:
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002889 * - [in] child: certificate for which we're looking for a parent, followed
2890 * by a chain of possible intermediates
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002891 * - [in] trust_ca: list of locally trusted certificates
2892 * - [out] parent: parent found (or NULL)
2893 * - [out] parent_is_trusted: 1 if returned `parent` is trusted, or 0
2894 * - [out] signature_is_good: 1 if child signature by parent is valid, or 0
2895 * - [in] path_cnt: number of links in the chain so far (EE -> ... -> child)
2896 * - [in] self_cnt: number of self-signed certs in the chain so far
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002897 * (will always be no greater than path_cnt)
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002898 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002899 *
2900 * Return value:
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002901 * - 0 on success
2902 * - MBEDTLS_ERR_ECP_IN_PROGRESS otherwise
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002903 */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002904static int x509_crt_find_parent(
Hanno Becker5299cf82019-02-25 13:50:41 +00002905 mbedtls_x509_crt_sig_info const *child_sig,
Hanno Becker1e0677a2019-02-25 14:58:22 +00002906 mbedtls_x509_crt *rest,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002907 mbedtls_x509_crt *trust_ca,
2908 mbedtls_x509_crt **parent,
2909 int *parent_is_trusted,
2910 int *signature_is_good,
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02002911 unsigned path_cnt,
2912 unsigned self_cnt,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002913 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002914{
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002915 int ret;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002916 mbedtls_x509_crt *search_list;
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002917
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002918 *parent_is_trusted = 1;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002919
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002920#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002921 /* restore then clear saved state if we have some stored */
2922 if( rs_ctx != NULL && rs_ctx->parent_is_trusted != -1 )
2923 {
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002924 *parent_is_trusted = rs_ctx->parent_is_trusted;
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002925 rs_ctx->parent_is_trusted = -1;
2926 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002927#endif
2928
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002929 while( 1 ) {
Hanno Becker1e0677a2019-02-25 14:58:22 +00002930 search_list = *parent_is_trusted ? trust_ca : rest;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002931
Hanno Becker5299cf82019-02-25 13:50:41 +00002932 ret = x509_crt_find_parent_in( child_sig, search_list,
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002933 parent, signature_is_good,
2934 *parent_is_trusted,
2935 path_cnt, self_cnt, rs_ctx );
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002936
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002937#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002938 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
2939 {
2940 /* save state */
2941 rs_ctx->parent_is_trusted = *parent_is_trusted;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002942 return( ret );
2943 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002944#else
2945 (void) ret;
2946#endif
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002947
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002948 /* stop here if found or already in second iteration */
2949 if( *parent != NULL || *parent_is_trusted == 0 )
2950 break;
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002951
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002952 /* prepare second iteration */
2953 *parent_is_trusted = 0;
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002954 }
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002955
2956 /* extra precaution against mistakes in the caller */
Krzysztof Stachowiakc388a8c2018-10-31 16:49:20 +01002957 if( *parent == NULL )
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002958 {
Manuel Pégourié-Gonnarda5a3e402018-10-16 11:27:23 +02002959 *parent_is_trusted = 0;
2960 *signature_is_good = 0;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002961 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002962
2963 return( 0 );
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002964}
2965
2966/*
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002967 * Check if an end-entity certificate is locally trusted
2968 *
2969 * Currently we require such certificates to be self-signed (actually only
2970 * check for self-issued as self-signatures are not checked)
2971 */
2972static int x509_crt_check_ee_locally_trusted(
Hanno Becker1e0677a2019-02-25 14:58:22 +00002973 mbedtls_x509_crt_frame const *crt,
2974 mbedtls_x509_crt const *trust_ca )
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002975{
Hanno Becker1e0677a2019-02-25 14:58:22 +00002976 mbedtls_x509_crt const *cur;
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002977
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002978 /* look for an exact match with trusted cert */
2979 for( cur = trust_ca; cur != NULL; cur = cur->next )
2980 {
2981 if( crt->raw.len == cur->raw.len &&
2982 memcmp( crt->raw.p, cur->raw.p, crt->raw.len ) == 0 )
2983 {
2984 return( 0 );
2985 }
2986 }
2987
2988 /* too bad */
2989 return( -1 );
2990}
2991
2992/*
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002993 * Build and verify a certificate chain
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02002994 *
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002995 * Given a peer-provided list of certificates EE, C1, ..., Cn and
2996 * a list of trusted certs R1, ... Rp, try to build and verify a chain
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002997 * EE, Ci1, ... Ciq [, Rj]
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002998 * such that every cert in the chain is a child of the next one,
2999 * jumping to a trusted root as early as possible.
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003000 *
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003001 * Verify that chain and return it with flags for all issues found.
3002 *
3003 * Special cases:
3004 * - EE == Rj -> return a one-element list containing it
3005 * - EE, Ci1, ..., Ciq cannot be continued with a trusted root
3006 * -> return that chain with NOT_TRUSTED set on Ciq
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003007 *
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +02003008 * Tests for (aspects of) this function should include at least:
3009 * - trusted EE
3010 * - EE -> trusted root
3011 * - EE -> intermedate CA -> trusted root
3012 * - if relevant: EE untrusted
3013 * - if relevant: EE -> intermediate, untrusted
3014 * with the aspect under test checked at each relevant level (EE, int, root).
3015 * For some aspects longer chains are required, but usually length 2 is
3016 * enough (but length 1 is not in general).
3017 *
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003018 * Arguments:
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003019 * - [in] crt: the cert list EE, C1, ..., Cn
3020 * - [in] trust_ca: the trusted list R1, ..., Rp
3021 * - [in] ca_crl, profile: as in verify_with_profile()
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003022 * - [out] ver_chain: the built and verified chain
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003023 * Only valid when return value is 0, may contain garbage otherwise!
3024 * Restart note: need not be the same when calling again to resume.
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02003025 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003026 *
3027 * Return value:
3028 * - non-zero if the chain could not be fully built and examined
3029 * - 0 is the chain was successfully built and examined,
3030 * even if it was found to be invalid
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02003031 */
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003032static int x509_crt_verify_chain(
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003033 mbedtls_x509_crt *crt,
3034 mbedtls_x509_crt *trust_ca,
3035 mbedtls_x509_crl *ca_crl,
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003036 const mbedtls_x509_crt_profile *profile,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003037 mbedtls_x509_crt_verify_chain *ver_chain,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003038 mbedtls_x509_crt_restart_ctx *rs_ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003039{
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003040 /* Don't initialize any of those variables here, so that the compiler can
3041 * catch potential issues with jumping ahead when restarting */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003042 int ret;
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003043 uint32_t *flags;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003044 mbedtls_x509_crt_verify_chain_item *cur;
Hanno Becker1e0677a2019-02-25 14:58:22 +00003045 mbedtls_x509_crt *child_crt;
Hanno Becker58c35642019-02-25 18:13:46 +00003046 mbedtls_x509_crt *parent_crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003047 int parent_is_trusted;
3048 int child_is_trusted;
3049 int signature_is_good;
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003050 unsigned self_cnt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003051
3052#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3053 /* resume if we had an operation in progress */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003054 if( rs_ctx != NULL && rs_ctx->in_progress == x509_crt_rs_find_parent )
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003055 {
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02003056 /* restore saved state */
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003057 *ver_chain = rs_ctx->ver_chain; /* struct copy */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003058 self_cnt = rs_ctx->self_cnt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003059
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003060 /* restore derived state */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003061 cur = &ver_chain->items[ver_chain->len - 1];
Hanno Becker1e0677a2019-02-25 14:58:22 +00003062 child_crt = cur->crt;
3063
3064 child_is_trusted = 0;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003065 goto find_parent;
3066 }
3067#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard8f8c2822017-07-03 21:25:10 +02003068
Hanno Becker1e0677a2019-02-25 14:58:22 +00003069 child_crt = crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003070 self_cnt = 0;
3071 parent_is_trusted = 0;
3072 child_is_trusted = 0;
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003073
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003074 while( 1 ) {
Hanno Becker5299cf82019-02-25 13:50:41 +00003075#if defined(MBEDTLS_X509_CRL_PARSE_C)
3076 mbedtls_x509_buf_raw child_serial;
3077#endif /* MBEDTLS_X509_CRL_PARSE_C */
3078 int self_issued;
Hanno Becker1e0677a2019-02-25 14:58:22 +00003079
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003080 /* Add certificate to the verification chain */
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003081 cur = &ver_chain->items[ver_chain->len];
Hanno Becker1e0677a2019-02-25 14:58:22 +00003082 cur->crt = child_crt;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003083 cur->flags = 0;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003084 ver_chain->len++;
Hanno Becker10e6b9b2019-02-22 17:56:43 +00003085
3086#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3087find_parent:
3088#endif
3089
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003090 flags = &cur->flags;
Manuel Pégourié-Gonnard66fac752017-07-03 21:39:21 +02003091
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003092 {
Hanno Becker5299cf82019-02-25 13:50:41 +00003093 mbedtls_x509_crt_sig_info child_sig;
3094 {
3095 mbedtls_x509_crt_frame *child;
Manuel Pégourié-Gonnard8f8c2822017-07-03 21:25:10 +02003096
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003097 ret = mbedtls_x509_crt_frame_acquire( child_crt, &child );
Hanno Becker5299cf82019-02-25 13:50:41 +00003098 if( ret != 0 )
3099 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3100
3101 /* Check time-validity (all certificates) */
3102 if( mbedtls_x509_time_is_past( &child->valid_to ) )
3103 *flags |= MBEDTLS_X509_BADCERT_EXPIRED;
3104 if( mbedtls_x509_time_is_future( &child->valid_from ) )
3105 *flags |= MBEDTLS_X509_BADCERT_FUTURE;
3106
3107 /* Stop here for trusted roots (but not for trusted EE certs) */
3108 if( child_is_trusted )
3109 {
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003110 mbedtls_x509_crt_frame_release( child_crt, child );
Hanno Becker5299cf82019-02-25 13:50:41 +00003111 return( 0 );
3112 }
3113
3114 self_issued = 0;
3115 if( mbedtls_x509_name_cmp_raw( &child->issuer_raw,
3116 &child->subject_raw,
3117 NULL, NULL ) == 0 )
3118 {
3119 self_issued = 1;
3120 }
3121
3122 /* Check signature algorithm: MD & PK algs */
3123 if( x509_profile_check_md_alg( profile, child->sig_md ) != 0 )
3124 *flags |= MBEDTLS_X509_BADCERT_BAD_MD;
3125
3126 if( x509_profile_check_pk_alg( profile, child->sig_pk ) != 0 )
3127 *flags |= MBEDTLS_X509_BADCERT_BAD_PK;
3128
3129 /* Special case: EE certs that are locally trusted */
3130 if( ver_chain->len == 1 && self_issued &&
3131 x509_crt_check_ee_locally_trusted( child, trust_ca ) == 0 )
3132 {
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003133 mbedtls_x509_crt_frame_release( child_crt, child );
Hanno Becker5299cf82019-02-25 13:50:41 +00003134 return( 0 );
3135 }
3136
3137#if defined(MBEDTLS_X509_CRL_PARSE_C)
3138 child_serial = child->serial;
3139#endif /* MBEDTLS_X509_CRL_PARSE_C */
3140
3141 ret = x509_crt_get_sig_info( child, &child_sig );
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003142 mbedtls_x509_crt_frame_release( child_crt, child );
Hanno Becker5299cf82019-02-25 13:50:41 +00003143
Hanno Becker5299cf82019-02-25 13:50:41 +00003144 if( ret != 0 )
3145 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3146 }
3147
3148 /* Look for a parent in trusted CAs or up the chain */
3149 ret = x509_crt_find_parent( &child_sig, child_crt->next,
Hanno Becker58c35642019-02-25 18:13:46 +00003150 trust_ca, &parent_crt,
Hanno Becker5299cf82019-02-25 13:50:41 +00003151 &parent_is_trusted, &signature_is_good,
3152 ver_chain->len - 1, self_cnt, rs_ctx );
3153
3154 x509_crt_free_sig_info( &child_sig );
3155 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003156
3157#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003158 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
3159 {
3160 /* save state */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003161 rs_ctx->in_progress = x509_crt_rs_find_parent;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003162 rs_ctx->self_cnt = self_cnt;
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003163 rs_ctx->ver_chain = *ver_chain; /* struct copy */
Hanno Becker5299cf82019-02-25 13:50:41 +00003164 return( ret );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003165 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003166#else
3167 (void) ret;
3168#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003169
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003170 /* No parent? We're done here */
Hanno Becker58c35642019-02-25 18:13:46 +00003171 if( parent_crt == NULL )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003172 {
3173 *flags |= MBEDTLS_X509_BADCERT_NOT_TRUSTED;
Hanno Becker5299cf82019-02-25 13:50:41 +00003174 return( 0 );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003175 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003176
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003177 /* Count intermediate self-issued (not necessarily self-signed) certs.
3178 * These can occur with some strategies for key rollover, see [SIRO],
3179 * and should be excluded from max_pathlen checks. */
Hanno Becker5299cf82019-02-25 13:50:41 +00003180 if( ver_chain->len != 1 && self_issued )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003181 self_cnt++;
Manuel Pégourié-Gonnardfd6c85c2014-11-20 16:34:20 +01003182
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003183 /* path_cnt is 0 for the first intermediate CA,
3184 * and if parent is trusted it's not an intermediate CA */
3185 if( ! parent_is_trusted &&
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003186 ver_chain->len > MBEDTLS_X509_MAX_INTERMEDIATE_CA )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003187 {
3188 /* return immediately to avoid overflow the chain array */
Hanno Becker5299cf82019-02-25 13:50:41 +00003189 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003190 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003191
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02003192 /* signature was checked while searching parent */
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02003193 if( ! signature_is_good )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003194 *flags |= MBEDTLS_X509_BADCERT_NOT_TRUSTED;
3195
Hanno Becker58c35642019-02-25 18:13:46 +00003196 {
3197 mbedtls_pk_context *parent_pk;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003198 ret = mbedtls_x509_crt_pk_acquire( parent_crt, &parent_pk );
Hanno Becker58c35642019-02-25 18:13:46 +00003199 if( ret != 0 )
3200 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3201
3202 /* check size of signing key */
3203 if( x509_profile_check_key( profile, parent_pk ) != 0 )
3204 *flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
3205
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003206 mbedtls_x509_crt_pk_release( parent_crt, parent_pk );
Hanno Becker58c35642019-02-25 18:13:46 +00003207 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003208
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003209#if defined(MBEDTLS_X509_CRL_PARSE_C)
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003210 /* Check trusted CA's CRL for the given crt */
Hanno Becker5299cf82019-02-25 13:50:41 +00003211 *flags |= x509_crt_verifycrl( child_serial.p,
3212 child_serial.len,
Hanno Becker58c35642019-02-25 18:13:46 +00003213 parent_crt, ca_crl, profile );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003214#else
3215 (void) ca_crl;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003216#endif
3217
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003218 /* prepare for next iteration */
Hanno Becker58c35642019-02-25 18:13:46 +00003219 child_crt = parent_crt;
3220 parent_crt = NULL;
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003221 child_is_trusted = parent_is_trusted;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02003222 signature_is_good = 0;
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003223 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003224}
3225
3226/*
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003227 * Check for CN match
3228 */
Hanno Becker24926222019-02-21 13:10:55 +00003229static int x509_crt_check_cn( unsigned char const *buf,
3230 size_t buflen,
3231 const char *cn,
3232 size_t cn_len )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003233{
Hanno Becker24926222019-02-21 13:10:55 +00003234 /* Try exact match */
Hanno Beckerb3def1d2019-02-22 11:46:06 +00003235 if( mbedtls_x509_memcasecmp( cn, buf, buflen, cn_len ) == 0 )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003236 return( 0 );
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003237
3238 /* try wildcard match */
Hanno Becker24926222019-02-21 13:10:55 +00003239 if( x509_check_wildcard( cn, cn_len, buf, buflen ) == 0 )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003240 {
3241 return( 0 );
3242 }
3243
3244 return( -1 );
3245}
3246
Hanno Becker8b543b32019-02-21 11:50:44 +00003247/* Returns 1 on a match and 0 on a mismatch.
3248 * This is because this function is used as a callback for
3249 * mbedtls_x509_name_cmp_raw(), which continues the name
3250 * traversal as long as the callback returns 0. */
3251static int x509_crt_check_name( void *ctx,
3252 mbedtls_x509_buf *oid,
Hanno Becker6b378122019-02-23 10:20:14 +00003253 mbedtls_x509_buf *val,
3254 int next_merged )
Hanno Becker8b543b32019-02-21 11:50:44 +00003255{
3256 char const *cn = (char const*) ctx;
3257 size_t cn_len = strlen( cn );
Hanno Becker6b378122019-02-23 10:20:14 +00003258 ((void) next_merged);
Hanno Becker8b543b32019-02-21 11:50:44 +00003259
3260 if( MBEDTLS_OID_CMP( MBEDTLS_OID_AT_CN, oid ) == 0 &&
Hanno Becker24926222019-02-21 13:10:55 +00003261 x509_crt_check_cn( val->p, val->len, cn, cn_len ) == 0 )
Hanno Becker8b543b32019-02-21 11:50:44 +00003262 {
3263 return( 1 );
3264 }
3265
3266 return( 0 );
3267}
3268
Hanno Beckerda410822019-02-21 13:36:59 +00003269/* Returns 1 on a match and 0 on a mismatch.
3270 * This is because this function is used as a callback for
3271 * mbedtls_asn1_traverse_sequence_of(), which continues the
3272 * traversal as long as the callback returns 0. */
3273static int x509_crt_subject_alt_check_name( void *ctx,
3274 int tag,
3275 unsigned char *data,
3276 size_t data_len )
3277{
3278 char const *cn = (char const*) ctx;
3279 size_t cn_len = strlen( cn );
Hanno Becker90b94082019-02-21 21:13:21 +00003280 ((void) tag);
Hanno Beckerda410822019-02-21 13:36:59 +00003281
3282 if( x509_crt_check_cn( data, data_len, cn, cn_len ) == 0 )
3283 return( 1 );
3284
3285 return( 0 );
3286}
3287
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003288/*
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003289 * Verify the requested CN - only call this if cn is not NULL!
3290 */
Hanno Becker082435c2019-02-25 18:14:40 +00003291static int x509_crt_verify_name( const mbedtls_x509_crt *crt,
3292 const char *cn,
3293 uint32_t *flags )
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003294{
Hanno Beckerda410822019-02-21 13:36:59 +00003295 int ret;
Hanno Becker082435c2019-02-25 18:14:40 +00003296 mbedtls_x509_crt_frame *frame;
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003297
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003298 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Becker082435c2019-02-25 18:14:40 +00003299 if( ret != 0 )
3300 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3301
3302 if( frame->ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME )
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003303 {
Hanno Becker90b94082019-02-21 21:13:21 +00003304 unsigned char *p =
Hanno Becker082435c2019-02-25 18:14:40 +00003305 frame->subject_alt_raw.p;
Hanno Beckerda410822019-02-21 13:36:59 +00003306 const unsigned char *end =
Hanno Becker082435c2019-02-25 18:14:40 +00003307 frame->subject_alt_raw.p + frame->subject_alt_raw.len;
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003308
Hanno Becker90b94082019-02-21 21:13:21 +00003309 ret = mbedtls_asn1_traverse_sequence_of( &p, end,
3310 MBEDTLS_ASN1_TAG_CLASS_MASK,
3311 MBEDTLS_ASN1_CONTEXT_SPECIFIC,
3312 MBEDTLS_ASN1_TAG_VALUE_MASK,
3313 2 /* SubjectAlt DNS */,
3314 x509_crt_subject_alt_check_name,
3315 (void*) cn );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003316 }
3317 else
3318 {
Hanno Becker082435c2019-02-25 18:14:40 +00003319 ret = mbedtls_x509_name_cmp_raw( &frame->subject_raw,
3320 &frame->subject_raw,
Hanno Becker8b543b32019-02-21 11:50:44 +00003321 x509_crt_check_name, (void*) cn );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003322 }
Hanno Beckerda410822019-02-21 13:36:59 +00003323
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003324 mbedtls_x509_crt_frame_release( crt, frame );
Hanno Becker082435c2019-02-25 18:14:40 +00003325
3326 /* x509_crt_check_name() and x509_crt_subject_alt_check_name()
3327 * return 1 when finding a name component matching `cn`. */
3328 if( ret == 1 )
3329 return( 0 );
3330
3331 if( ret != 0 )
3332 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
3333
3334 *flags |= MBEDTLS_X509_BADCERT_CN_MISMATCH;
3335 return( ret );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003336}
3337
3338/*
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003339 * Merge the flags for all certs in the chain, after calling callback
3340 */
3341static int x509_crt_merge_flags_with_cb(
3342 uint32_t *flags,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003343 const mbedtls_x509_crt_verify_chain *ver_chain,
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003344 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3345 void *p_vrfy )
3346{
3347 int ret;
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003348 unsigned i;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003349 uint32_t cur_flags;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003350 const mbedtls_x509_crt_verify_chain_item *cur;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003351
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003352 for( i = ver_chain->len; i != 0; --i )
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003353 {
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003354 cur = &ver_chain->items[i-1];
3355 cur_flags = cur->flags;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003356
3357 if( NULL != f_vrfy )
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003358 if( ( ret = f_vrfy( p_vrfy, cur->crt, (int) i-1, &cur_flags ) ) != 0 )
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003359 return( ret );
3360
3361 *flags |= cur_flags;
3362 }
3363
3364 return( 0 );
3365}
3366
3367/*
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003368 * Verify the certificate validity (default profile, not restartable)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003369 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003370int mbedtls_x509_crt_verify( mbedtls_x509_crt *crt,
3371 mbedtls_x509_crt *trust_ca,
3372 mbedtls_x509_crl *ca_crl,
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +02003373 const char *cn, uint32_t *flags,
3374 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
Paul Bakkerddf26b42013-09-18 13:46:23 +02003375 void *p_vrfy )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003376{
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003377 return( mbedtls_x509_crt_verify_restartable( crt, trust_ca, ca_crl,
3378 &mbedtls_x509_crt_profile_default, cn, flags,
3379 f_vrfy, p_vrfy, NULL ) );
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003380}
3381
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003382/*
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003383 * Verify the certificate validity (user-chosen profile, not restartable)
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003384 */
3385int mbedtls_x509_crt_verify_with_profile( mbedtls_x509_crt *crt,
3386 mbedtls_x509_crt *trust_ca,
3387 mbedtls_x509_crl *ca_crl,
3388 const mbedtls_x509_crt_profile *profile,
3389 const char *cn, uint32_t *flags,
3390 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3391 void *p_vrfy )
3392{
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003393 return( mbedtls_x509_crt_verify_restartable( crt, trust_ca, ca_crl,
3394 profile, cn, flags, f_vrfy, p_vrfy, NULL ) );
3395}
3396
3397/*
3398 * Verify the certificate validity, with profile, restartable version
3399 *
3400 * This function:
3401 * - checks the requested CN (if any)
3402 * - checks the type and size of the EE cert's key,
3403 * as that isn't done as part of chain building/verification currently
3404 * - builds and verifies the chain
3405 * - then calls the callback and merges the flags
3406 */
3407int mbedtls_x509_crt_verify_restartable( mbedtls_x509_crt *crt,
3408 mbedtls_x509_crt *trust_ca,
3409 mbedtls_x509_crl *ca_crl,
3410 const mbedtls_x509_crt_profile *profile,
3411 const char *cn, uint32_t *flags,
3412 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3413 void *p_vrfy,
3414 mbedtls_x509_crt_restart_ctx *rs_ctx )
3415{
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003416 int ret;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003417 mbedtls_x509_crt_verify_chain ver_chain;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003418 uint32_t ee_flags;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003419
3420 *flags = 0;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003421 ee_flags = 0;
3422 x509_crt_verify_chain_reset( &ver_chain );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003423
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003424 if( profile == NULL )
3425 {
3426 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
3427 goto exit;
3428 }
3429
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003430 /* check name if requested */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003431 if( cn != NULL )
Hanno Becker87233362019-02-25 18:15:33 +00003432 {
3433 ret = x509_crt_verify_name( crt, cn, &ee_flags );
3434 if( ret != 0 )
3435 return( ret );
3436 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003437
Hanno Becker87233362019-02-25 18:15:33 +00003438 {
3439 mbedtls_pk_context *pk;
3440 mbedtls_pk_type_t pk_type;
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003441
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003442 ret = mbedtls_x509_crt_pk_acquire( crt, &pk );
Hanno Becker87233362019-02-25 18:15:33 +00003443 if( ret != 0 )
3444 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003445
Hanno Becker87233362019-02-25 18:15:33 +00003446 /* Check the type and size of the key */
3447 pk_type = mbedtls_pk_get_type( pk );
3448
3449 if( x509_profile_check_pk_alg( profile, pk_type ) != 0 )
3450 ee_flags |= MBEDTLS_X509_BADCERT_BAD_PK;
3451
3452 if( x509_profile_check_key( profile, pk ) != 0 )
3453 ee_flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
3454
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003455 mbedtls_x509_crt_pk_release( crt, pk );
Hanno Becker87233362019-02-25 18:15:33 +00003456 }
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003457
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003458 /* Check the chain */
Manuel Pégourié-Gonnard505c3952017-07-05 17:36:47 +02003459 ret = x509_crt_verify_chain( crt, trust_ca, ca_crl, profile,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003460 &ver_chain, rs_ctx );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003461
Manuel Pégourié-Gonnardc547d1a2017-07-05 13:28:45 +02003462 if( ret != 0 )
3463 goto exit;
3464
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003465 /* Merge end-entity flags */
3466 ver_chain.items[0].flags |= ee_flags;
3467
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003468 /* Build final flags, calling callback on the way if any */
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003469 ret = x509_crt_merge_flags_with_cb( flags, &ver_chain, f_vrfy, p_vrfy );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003470
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003471exit:
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003472#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3473 if( rs_ctx != NULL && ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
3474 mbedtls_x509_crt_restart_free( rs_ctx );
3475#endif
3476
Manuel Pégourié-Gonnard9107b5f2017-07-06 12:16:25 +02003477 /* prevent misuse of the vrfy callback - VERIFY_FAILED would be ignored by
3478 * the SSL module for authmode optional, but non-zero return from the
3479 * callback means a fatal error so it shouldn't be ignored */
Manuel Pégourié-Gonnard31458a12017-06-26 10:11:49 +02003480 if( ret == MBEDTLS_ERR_X509_CERT_VERIFY_FAILED )
3481 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
3482
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003483 if( ret != 0 )
3484 {
3485 *flags = (uint32_t) -1;
3486 return( ret );
3487 }
3488
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003489 if( *flags != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003490 return( MBEDTLS_ERR_X509_CERT_VERIFY_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003491
3492 return( 0 );
3493}
3494
3495/*
Paul Bakker369d2eb2013-09-18 11:58:25 +02003496 * Initialize a certificate chain
3497 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003498void mbedtls_x509_crt_init( mbedtls_x509_crt *crt )
Paul Bakker369d2eb2013-09-18 11:58:25 +02003499{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003500 memset( crt, 0, sizeof(mbedtls_x509_crt) );
Paul Bakker369d2eb2013-09-18 11:58:25 +02003501}
3502
3503/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003504 * Unallocate all certificate data
3505 */
Hanno Beckercd03bb22019-02-15 17:15:53 +00003506
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003507void mbedtls_x509_crt_free( mbedtls_x509_crt *crt )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003508{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003509 mbedtls_x509_crt *cert_cur = crt;
3510 mbedtls_x509_crt *cert_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003511
3512 if( crt == NULL )
3513 return;
3514
3515 do
3516 {
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003517 x509_crt_cache_free( cert_cur->cache );
3518 mbedtls_free( cert_cur->cache );
Hanno Becker180f7bf2019-02-28 13:23:38 +00003519
3520#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003521 mbedtls_pk_free( &cert_cur->pk );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003522
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003523#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
3524 mbedtls_free( cert_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +02003525#endif
3526
Hanno Becker2bcc7642019-02-26 19:01:00 +00003527 mbedtls_x509_name_free( cert_cur->issuer.next );
3528 mbedtls_x509_name_free( cert_cur->subject.next );
3529 mbedtls_x509_sequence_free( cert_cur->ext_key_usage.next );
3530 mbedtls_x509_sequence_free( cert_cur->subject_alt_names.next );
Hanno Becker180f7bf2019-02-28 13:23:38 +00003531#endif /* !MBEDTLS_X509_ON_DEMAND_PARSING */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003532
Hanno Beckeraa8665a2019-01-31 08:57:44 +00003533 if( cert_cur->raw.p != NULL && cert_cur->own_buffer )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003534 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -05003535 mbedtls_platform_zeroize( cert_cur->raw.p, cert_cur->raw.len );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003536 mbedtls_free( cert_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003537 }
3538
3539 cert_cur = cert_cur->next;
3540 }
3541 while( cert_cur != NULL );
3542
3543 cert_cur = crt;
3544 do
3545 {
3546 cert_prv = cert_cur;
3547 cert_cur = cert_cur->next;
3548
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -05003549 mbedtls_platform_zeroize( cert_prv, sizeof( mbedtls_x509_crt ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003550 if( cert_prv != crt )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003551 mbedtls_free( cert_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003552 }
3553 while( cert_cur != NULL );
3554}
3555
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003556#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3557/*
3558 * Initialize a restart context
3559 */
3560void mbedtls_x509_crt_restart_init( mbedtls_x509_crt_restart_ctx *ctx )
3561{
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +02003562 mbedtls_pk_restart_init( &ctx->pk );
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003563
3564 ctx->parent = NULL;
3565 ctx->fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02003566 ctx->fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003567
3568 ctx->parent_is_trusted = -1;
3569
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003570 ctx->in_progress = x509_crt_rs_none;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003571 ctx->self_cnt = 0;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003572 x509_crt_verify_chain_reset( &ctx->ver_chain );
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003573}
3574
3575/*
3576 * Free the components of a restart context
3577 */
3578void mbedtls_x509_crt_restart_free( mbedtls_x509_crt_restart_ctx *ctx )
3579{
3580 if( ctx == NULL )
3581 return;
3582
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +02003583 mbedtls_pk_restart_free( &ctx->pk );
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003584 mbedtls_x509_crt_restart_init( ctx );
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003585}
3586#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
3587
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003588#endif /* MBEDTLS_X509_CRT_PARSE_C */