blob: b5710ed742d8cd7627d0ab1cb72a56ec63a45815 [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
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000263 mbedtls_x509_crt_frame_release( crt );
Hanno Beckerab6c8ea2019-02-27 17:33:14 +0000264
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
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000286 mbedtls_x509_crt_frame_release( crt );
Hanno Beckerab6c8ea2019-02-27 17:33:14 +0000287
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
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000309 mbedtls_x509_crt_frame_release( crt );
Hanno Becker63e69982019-02-26 18:50:49 +0000310
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
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000332 mbedtls_x509_crt_frame_release( crt );
Hanno Becker63e69982019-02-26 18:50:49 +0000333
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;
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000347 mbedtls_x509_crt_frame_release( crt );
Hanno Becker823efad2019-02-28 13:23:58 +0000348 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
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +0000372 mbedtls_x509_crt_pk_release( crt );
Hanno Becker823efad2019-02-28 13:23:58 +0000373 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 Beckerc6d1c3e2019-03-05 13:50:56 +00002382 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Becker45eedf12019-02-25 13:55:33 +00002383 if( ret != 0 )
2384 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2385
2386 ret = x509_crt_check_key_usage_frame( frame, usage );
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002387 mbedtls_x509_crt_frame_release( crt );
Hanno Becker45eedf12019-02-25 13:55:33 +00002388
2389 return( ret );
2390}
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02002391#endif
2392
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002393#if defined(MBEDTLS_X509_CHECK_EXTENDED_KEY_USAGE)
Hanno Beckerc7c638e2019-02-21 21:10:51 +00002394typedef struct
2395{
2396 const char *oid;
2397 size_t oid_len;
2398} x509_crt_check_ext_key_usage_cb_ctx_t;
2399
2400static int x509_crt_check_ext_key_usage_cb( void *ctx,
2401 int tag,
2402 unsigned char *data,
2403 size_t data_len )
2404{
2405 x509_crt_check_ext_key_usage_cb_ctx_t *cb_ctx =
2406 (x509_crt_check_ext_key_usage_cb_ctx_t *) ctx;
2407 ((void) tag);
2408
2409 if( MBEDTLS_OID_CMP_RAW( MBEDTLS_OID_ANY_EXTENDED_KEY_USAGE,
2410 data, data_len ) == 0 )
2411 {
2412 return( 1 );
2413 }
2414
2415 if( data_len == cb_ctx->oid_len && memcmp( data, cb_ctx->oid,
2416 data_len ) == 0 )
2417 {
2418 return( 1 );
2419 }
2420
2421 return( 0 );
2422}
2423
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002424int mbedtls_x509_crt_check_extended_key_usage( const mbedtls_x509_crt *crt,
Hanno Beckere1956af2019-02-21 14:28:12 +00002425 const char *usage_oid,
2426 size_t usage_len )
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002427{
Hanno Beckere1956af2019-02-21 14:28:12 +00002428 int ret;
Hanno Beckere9718b42019-02-25 18:11:42 +00002429 mbedtls_x509_crt_frame *frame;
Hanno Beckere1956af2019-02-21 14:28:12 +00002430 unsigned ext_types;
2431 unsigned char *p, *end;
Hanno Beckerc7c638e2019-02-21 21:10:51 +00002432 x509_crt_check_ext_key_usage_cb_ctx_t cb_ctx = { usage_oid, usage_len };
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002433
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002434 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Beckere9718b42019-02-25 18:11:42 +00002435 if( ret != 0 )
2436 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2437
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002438 /* Extension is not mandatory, absent means no restriction */
Hanno Beckere9718b42019-02-25 18:11:42 +00002439 ext_types = frame->ext_types;
2440 if( ( ext_types & MBEDTLS_X509_EXT_EXTENDED_KEY_USAGE ) != 0 )
2441 {
2442 p = frame->ext_key_usage_raw.p;
2443 end = p + frame->ext_key_usage_raw.len;
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002444
Hanno Beckere9718b42019-02-25 18:11:42 +00002445 ret = mbedtls_asn1_traverse_sequence_of( &p, end,
2446 0xFF, MBEDTLS_ASN1_OID, 0, 0,
2447 x509_crt_check_ext_key_usage_cb,
2448 &cb_ctx );
2449 if( ret == 1 )
2450 ret = 0;
2451 else
2452 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
2453 }
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002454
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002455 mbedtls_x509_crt_frame_release( crt );
Hanno Beckere9718b42019-02-25 18:11:42 +00002456 return( ret );
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002457}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002458#endif /* MBEDTLS_X509_CHECK_EXTENDED_KEY_USAGE */
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02002459
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002460#if defined(MBEDTLS_X509_CRL_PARSE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002461/*
2462 * Return 1 if the certificate is revoked, or 0 otherwise.
2463 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002464static int x509_serial_is_revoked( unsigned char const *serial,
2465 size_t serial_len,
2466 const mbedtls_x509_crl *crl )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002467{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002468 const mbedtls_x509_crl_entry *cur = &crl->entry;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002469
2470 while( cur != NULL && cur->serial.len != 0 )
2471 {
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002472 if( serial_len == cur->serial.len &&
2473 memcmp( serial, cur->serial.p, serial_len ) == 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002474 {
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002475 if( mbedtls_x509_time_is_past( &cur->revocation_date ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002476 return( 1 );
2477 }
2478
2479 cur = cur->next;
2480 }
2481
2482 return( 0 );
2483}
2484
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002485int mbedtls_x509_crt_is_revoked( const mbedtls_x509_crt *crt,
2486 const mbedtls_x509_crl *crl )
2487{
Hanno Becker79ae5b62019-02-25 18:12:00 +00002488 int ret;
2489 mbedtls_x509_crt_frame *frame;
2490
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002491 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Becker79ae5b62019-02-25 18:12:00 +00002492 if( ret != 0 )
2493 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2494
2495 ret = x509_serial_is_revoked( frame->serial.p,
2496 frame->serial.len,
2497 crl );
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002498 mbedtls_x509_crt_frame_release( crt );
Hanno Becker79ae5b62019-02-25 18:12:00 +00002499 return( ret );
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002500}
2501
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002502/*
Manuel Pégourié-Gonnardeeef9472016-02-22 11:36:55 +01002503 * Check that the given certificate is not revoked according to the CRL.
Manuel Pégourié-Gonnard08eacec2017-10-18 14:20:24 +02002504 * Skip validation if no CRL for the given CA is present.
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002505 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002506static int x509_crt_verifycrl( unsigned char *crt_serial,
2507 size_t crt_serial_len,
Hanno Beckerbb266132019-02-25 18:12:46 +00002508 mbedtls_x509_crt *ca_crt,
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02002509 mbedtls_x509_crl *crl_list,
2510 const mbedtls_x509_crt_profile *profile )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002511{
Hanno Beckerbb266132019-02-25 18:12:46 +00002512 int ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002513 int flags = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002514 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
2515 const mbedtls_md_info_t *md_info;
Hanno Beckerbb266132019-02-25 18:12:46 +00002516 mbedtls_x509_buf_raw ca_subject;
2517 mbedtls_pk_context *pk;
2518 int can_sign;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002519
Hanno Beckerbb266132019-02-25 18:12:46 +00002520 if( ca_crt == NULL )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002521 return( flags );
2522
Hanno Beckerbb266132019-02-25 18:12:46 +00002523 {
2524 mbedtls_x509_crt_frame *ca;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002525 ret = mbedtls_x509_crt_frame_acquire( ca_crt, &ca );
Hanno Beckerbb266132019-02-25 18:12:46 +00002526 if( ret != 0 )
2527 return( MBEDTLS_X509_BADCRL_NOT_TRUSTED );
2528
2529 ca_subject = ca->subject_raw;
2530
2531 can_sign = 0;
2532 if( x509_crt_check_key_usage_frame( ca,
2533 MBEDTLS_X509_KU_CRL_SIGN ) == 0 )
2534 {
2535 can_sign = 1;
2536 }
2537
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002538 mbedtls_x509_crt_frame_release( ca_crt );
Hanno Beckerbb266132019-02-25 18:12:46 +00002539 }
2540
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002541 ret = mbedtls_x509_crt_pk_acquire( ca_crt, &pk );
Hanno Beckerbb266132019-02-25 18:12:46 +00002542 if( ret != 0 )
2543 return( MBEDTLS_X509_BADCRL_NOT_TRUSTED );
2544
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002545 while( crl_list != NULL )
2546 {
2547 if( crl_list->version == 0 ||
Hanno Becker1e11f212019-03-04 14:43:43 +00002548 mbedtls_x509_name_cmp_raw( &crl_list->issuer_raw,
Hanno Beckerbb266132019-02-25 18:12:46 +00002549 &ca_subject, NULL, NULL ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002550 {
2551 crl_list = crl_list->next;
2552 continue;
2553 }
2554
2555 /*
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002556 * Check if the CA is configured to sign CRLs
2557 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002558#if defined(MBEDTLS_X509_CHECK_KEY_USAGE)
Hanno Beckerbb266132019-02-25 18:12:46 +00002559 if( !can_sign )
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002560 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002561 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Manuel Pégourié-Gonnard99d4f192014-04-08 15:10:07 +02002562 break;
2563 }
2564#endif
2565
2566 /*
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002567 * Check if CRL is correctly signed by the trusted CA
2568 */
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002569 if( x509_profile_check_md_alg( profile, crl_list->sig_md ) != 0 )
2570 flags |= MBEDTLS_X509_BADCRL_BAD_MD;
2571
2572 if( x509_profile_check_pk_alg( profile, crl_list->sig_pk ) != 0 )
2573 flags |= MBEDTLS_X509_BADCRL_BAD_PK;
2574
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002575 md_info = mbedtls_md_info_from_type( crl_list->sig_md );
Manuel Pégourié-Gonnard329e78c2017-06-26 12:22:17 +02002576 if( mbedtls_md( md_info, crl_list->tbs.p, crl_list->tbs.len, hash ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002577 {
Manuel Pégourié-Gonnard329e78c2017-06-26 12:22:17 +02002578 /* Note: this can't happen except after an internal error */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002579 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002580 break;
2581 }
2582
Hanno Beckerbb266132019-02-25 18:12:46 +00002583 if( x509_profile_check_key( profile, pk ) != 0 )
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002584 flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02002585
Hanno Beckerbb266132019-02-25 18:12:46 +00002586 if( mbedtls_pk_verify_ext( crl_list->sig_pk, crl_list->sig_opts, pk,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002587 crl_list->sig_md, hash, mbedtls_md_get_size( md_info ),
Manuel Pégourié-Gonnard53882022014-06-05 17:53:52 +02002588 crl_list->sig.p, crl_list->sig.len ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002589 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002590 flags |= MBEDTLS_X509_BADCRL_NOT_TRUSTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002591 break;
2592 }
2593
2594 /*
2595 * Check for validity of CRL (Do not drop out)
2596 */
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002597 if( mbedtls_x509_time_is_past( &crl_list->next_update ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002598 flags |= MBEDTLS_X509_BADCRL_EXPIRED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002599
Manuel Pégourié-Gonnardc730ed32015-06-02 10:38:50 +01002600 if( mbedtls_x509_time_is_future( &crl_list->this_update ) )
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +01002601 flags |= MBEDTLS_X509_BADCRL_FUTURE;
Manuel Pégourié-Gonnard95337652014-03-10 13:15:18 +01002602
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002603 /*
2604 * Check if certificate is revoked
2605 */
Hanno Beckerc84fd1c2019-02-22 15:01:03 +00002606 if( x509_serial_is_revoked( crt_serial, crt_serial_len,
2607 crl_list ) )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002608 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002609 flags |= MBEDTLS_X509_BADCERT_REVOKED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002610 break;
2611 }
2612
2613 crl_list = crl_list->next;
2614 }
Manuel Pégourié-Gonnardcbb1f6e2015-06-15 16:17:55 +02002615
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002616 mbedtls_x509_crt_pk_release( ca_crt );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02002617 return( flags );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002618}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002619#endif /* MBEDTLS_X509_CRL_PARSE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02002620
Manuel Pégourié-Gonnard88421242014-10-17 11:36:18 +02002621/*
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002622 * Check the signature of a certificate by its parent
2623 */
Hanno Becker5299cf82019-02-25 13:50:41 +00002624static int x509_crt_check_signature( const mbedtls_x509_crt_sig_info *sig_info,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002625 mbedtls_x509_crt *parent,
2626 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002627{
Hanno Beckere449e2d2019-02-25 14:45:31 +00002628 int ret;
2629 mbedtls_pk_context *pk;
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002630
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002631 ret = mbedtls_x509_crt_pk_acquire( parent, &pk );
Hanno Beckere449e2d2019-02-25 14:45:31 +00002632 if( ret != 0 )
2633 return( MBEDTLS_ERR_X509_FATAL_ERROR );
2634
2635 /* Skip expensive computation on obvious mismatch */
2636 if( ! mbedtls_pk_can_do( pk, sig_info->sig_pk ) )
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002637 {
Hanno Beckere449e2d2019-02-25 14:45:31 +00002638 ret = -1;
2639 goto exit;
2640 }
2641
2642#if !( defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE) )
2643 ((void) rs_ctx);
2644#else
2645 if( rs_ctx != NULL && sig_info->sig_pk == MBEDTLS_PK_ECDSA )
2646 {
2647 ret = mbedtls_pk_verify_restartable( pk,
Hanno Becker5299cf82019-02-25 13:50:41 +00002648 sig_info->sig_md,
2649 sig_info->crt_hash, sig_info->crt_hash_len,
2650 sig_info->sig.p, sig_info->sig.len,
Hanno Beckere449e2d2019-02-25 14:45:31 +00002651 &rs_ctx->pk );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002652 }
Hanno Beckere449e2d2019-02-25 14:45:31 +00002653 else
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002654#endif
Hanno Beckere449e2d2019-02-25 14:45:31 +00002655 {
2656 ret = mbedtls_pk_verify_ext( sig_info->sig_pk,
2657 sig_info->sig_opts,
2658 pk,
2659 sig_info->sig_md,
2660 sig_info->crt_hash, sig_info->crt_hash_len,
2661 sig_info->sig.p, sig_info->sig.len );
2662 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002663
Hanno Beckere449e2d2019-02-25 14:45:31 +00002664exit:
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002665 mbedtls_x509_crt_pk_release( parent );
Hanno Beckere449e2d2019-02-25 14:45:31 +00002666 return( ret );
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002667}
2668
2669/*
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002670 * Check if 'parent' is a suitable parent (signing CA) for 'child'.
2671 * Return 0 if yes, -1 if not.
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002672 *
2673 * top means parent is a locally-trusted certificate
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002674 */
Hanno Becker43bf9002019-02-25 14:46:49 +00002675static int x509_crt_check_parent( const mbedtls_x509_crt_sig_info *sig_info,
2676 const mbedtls_x509_crt_frame *parent,
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002677 int top )
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002678{
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002679 int need_ca_bit;
2680
Manuel Pégourié-Gonnardc4eff162014-06-19 12:18:08 +02002681 /* Parent must be the issuer */
Hanno Becker43bf9002019-02-25 14:46:49 +00002682 if( mbedtls_x509_name_cmp_raw( &sig_info->issuer_raw,
2683 &parent->subject_raw,
Hanno Becker67284cc2019-02-21 14:31:51 +00002684 NULL, NULL ) != 0 )
Hanno Becker7dee12a2019-02-21 13:58:38 +00002685 {
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002686 return( -1 );
Hanno Becker7dee12a2019-02-21 13:58:38 +00002687 }
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002688
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002689 /* Parent must have the basicConstraints CA bit set as a general rule */
2690 need_ca_bit = 1;
2691
2692 /* Exception: v1/v2 certificates that are locally trusted. */
2693 if( top && parent->version < 3 )
2694 need_ca_bit = 0;
2695
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002696 if( need_ca_bit && ! parent->ca_istrue )
2697 return( -1 );
2698
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002699#if defined(MBEDTLS_X509_CHECK_KEY_USAGE)
Manuel Pégourié-Gonnardd249b7a2014-06-24 11:49:16 +02002700 if( need_ca_bit &&
Hanno Becker43bf9002019-02-25 14:46:49 +00002701 x509_crt_check_key_usage_frame( parent,
2702 MBEDTLS_X509_KU_KEY_CERT_SIGN ) != 0 )
Manuel Pégourié-Gonnardc4eff162014-06-19 12:18:08 +02002703 {
2704 return( -1 );
2705 }
Manuel Pégourié-Gonnard312010e2014-04-09 14:30:11 +02002706#endif
2707
2708 return( 0 );
Manuel Pégourié-Gonnard3fed0b32014-04-08 13:18:01 +02002709}
2710
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02002711/*
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002712 * Find a suitable parent for child in candidates, or return NULL.
2713 *
2714 * Here suitable is defined as:
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002715 * 1. subject name matches child's issuer
2716 * 2. if necessary, the CA bit is set and key usage allows signing certs
2717 * 3. for trusted roots, the signature is correct
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002718 * (for intermediates, the signature is checked and the result reported)
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002719 * 4. pathlen constraints are satisfied
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002720 *
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002721 * If there's a suitable candidate which is also time-valid, return the first
2722 * such. Otherwise, return the first suitable candidate (or NULL if there is
2723 * none).
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002724 *
2725 * The rationale for this rule is that someone could have a list of trusted
2726 * roots with two versions on the same root with different validity periods.
2727 * (At least one user reported having such a list and wanted it to just work.)
2728 * The reason we don't just require time-validity is that generally there is
2729 * only one version, and if it's expired we want the flags to state that
2730 * rather than NOT_TRUSTED, as would be the case if we required it here.
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002731 *
2732 * The rationale for rule 3 (signature for trusted roots) is that users might
2733 * have two versions of the same CA with different keys in their list, and the
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02002734 * way we select the correct one is by checking the signature (as we don't
2735 * rely on key identifier extensions). (This is one way users might choose to
2736 * handle key rollover, another relies on self-issued certs, see [SIRO].)
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02002737 *
2738 * Arguments:
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002739 * - [in] child: certificate for which we're looking for a parent
2740 * - [in] candidates: chained list of potential parents
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002741 * - [out] r_parent: parent found (or NULL)
2742 * - [out] r_signature_is_good: 1 if child signature by parent is valid, or 0
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002743 * - [in] top: 1 if candidates consists of trusted roots, ie we're at the top
2744 * of the chain, 0 otherwise
2745 * - [in] path_cnt: number of intermediates seen so far
2746 * - [in] self_cnt: number of self-signed intermediates seen so far
2747 * (will never be greater than path_cnt)
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002748 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002749 *
2750 * Return value:
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002751 * - 0 on success
2752 * - MBEDTLS_ERR_ECP_IN_PROGRESS otherwise
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002753 */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002754static int x509_crt_find_parent_in(
Hanno Becker5299cf82019-02-25 13:50:41 +00002755 mbedtls_x509_crt_sig_info const *child_sig,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002756 mbedtls_x509_crt *candidates,
2757 mbedtls_x509_crt **r_parent,
2758 int *r_signature_is_good,
2759 int top,
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02002760 unsigned path_cnt,
2761 unsigned self_cnt,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002762 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002763{
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002764 int ret;
Hanno Becker43bf9002019-02-25 14:46:49 +00002765 mbedtls_x509_crt *parent_crt, *fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002766 int signature_is_good, fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002767
2768#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002769 /* did we have something in progress? */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002770 if( rs_ctx != NULL && rs_ctx->parent != NULL )
2771 {
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002772 /* restore saved state */
Hanno Becker43bf9002019-02-25 14:46:49 +00002773 parent_crt = rs_ctx->parent;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002774 fallback_parent = rs_ctx->fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002775 fallback_signature_is_good = rs_ctx->fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002776
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002777 /* clear saved state */
2778 rs_ctx->parent = NULL;
2779 rs_ctx->fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002780 rs_ctx->fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002781
2782 /* resume where we left */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002783 goto check_signature;
2784 }
2785#endif
2786
2787 fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002788 fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002789
Hanno Becker43bf9002019-02-25 14:46:49 +00002790 for( parent_crt = candidates; parent_crt != NULL;
2791 parent_crt = parent_crt->next )
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002792 {
Hanno Beckera788cab2019-02-24 17:47:46 +00002793 int parent_valid, parent_match, path_len_ok;
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002794
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002795#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
2796check_signature:
2797#endif
Hanno Beckera788cab2019-02-24 17:47:46 +00002798
2799 parent_valid = parent_match = path_len_ok = 0;
Hanno Beckera788cab2019-02-24 17:47:46 +00002800 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002801 mbedtls_x509_crt_frame *parent;
Hanno Beckera788cab2019-02-24 17:47:46 +00002802
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00002803 ret = mbedtls_x509_crt_frame_acquire( parent_crt, &parent );
Hanno Becker43bf9002019-02-25 14:46:49 +00002804 if( ret != 0 )
2805 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Hanno Beckera788cab2019-02-24 17:47:46 +00002806
Hanno Becker43bf9002019-02-25 14:46:49 +00002807 if( mbedtls_x509_time_is_past( &parent->valid_from ) &&
2808 mbedtls_x509_time_is_future( &parent->valid_to ) )
2809 {
2810 parent_valid = 1;
2811 }
2812
2813 /* basic parenting skills (name, CA bit, key usage) */
2814 if( x509_crt_check_parent( child_sig, parent, top ) == 0 )
2815 parent_match = 1;
2816
2817 /* +1 because the stored max_pathlen is 1 higher
2818 * than the actual value */
2819 if( !( parent->max_pathlen > 0 &&
2820 (size_t) parent->max_pathlen < 1 + path_cnt - self_cnt ) )
2821 {
2822 path_len_ok = 1;
2823 }
2824
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00002825 mbedtls_x509_crt_frame_release( parent_crt );
Hanno Beckera788cab2019-02-24 17:47:46 +00002826 }
2827
2828 if( parent_match == 0 || path_len_ok == 0 )
2829 continue;
2830
2831 /* Signature */
Hanno Becker43bf9002019-02-25 14:46:49 +00002832 ret = x509_crt_check_signature( child_sig, parent_crt, rs_ctx );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002833
2834#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002835 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
2836 {
2837 /* save state */
Hanno Becker43bf9002019-02-25 14:46:49 +00002838 rs_ctx->parent = parent_crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002839 rs_ctx->fallback_parent = fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002840 rs_ctx->fallback_signature_is_good = fallback_signature_is_good;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002841
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002842 return( ret );
2843 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002844#else
2845 (void) ret;
2846#endif
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002847
2848 signature_is_good = ret == 0;
2849 if( top && ! signature_is_good )
Manuel Pégourié-Gonnardf82a4d52017-07-03 19:26:25 +02002850 continue;
Manuel Pégourié-Gonnard2f09d592017-07-03 18:30:43 +02002851
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002852 /* optional time check */
Hanno Beckera788cab2019-02-24 17:47:46 +00002853 if( !parent_valid )
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002854 {
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002855 if( fallback_parent == NULL )
2856 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002857 fallback_parent = parent_crt;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002858 fallback_signature_is_good = signature_is_good;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002859 }
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002860
2861 continue;
2862 }
2863
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002864 break;
2865 }
2866
Hanno Becker43bf9002019-02-25 14:46:49 +00002867 if( parent_crt != NULL )
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002868 {
Hanno Becker43bf9002019-02-25 14:46:49 +00002869 *r_parent = parent_crt;
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002870 *r_signature_is_good = signature_is_good;
2871 }
2872 else
2873 {
2874 *r_parent = fallback_parent;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02002875 *r_signature_is_good = fallback_signature_is_good;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02002876 }
Manuel Pégourié-Gonnard3e329b82017-06-29 12:55:27 +02002877
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002878 return( 0 );
Manuel Pégourié-Gonnard2f1c33d2017-06-29 12:27:23 +02002879}
2880
2881/*
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002882 * Find a parent in trusted CAs or the provided chain, or return NULL.
2883 *
2884 * Searches in trusted CAs first, and return the first suitable parent found
2885 * (see find_parent_in() for definition of suitable).
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02002886 *
2887 * Arguments:
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002888 * - [in] child: certificate for which we're looking for a parent, followed
2889 * by a chain of possible intermediates
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002890 * - [in] trust_ca: list of locally trusted certificates
2891 * - [out] parent: parent found (or NULL)
2892 * - [out] parent_is_trusted: 1 if returned `parent` is trusted, or 0
2893 * - [out] signature_is_good: 1 if child signature by parent is valid, or 0
2894 * - [in] path_cnt: number of links in the chain so far (EE -> ... -> child)
2895 * - [in] self_cnt: number of self-signed certs in the chain so far
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002896 * (will always be no greater than path_cnt)
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002897 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnarde57d7432018-03-07 10:00:57 +01002898 *
2899 * Return value:
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +02002900 * - 0 on success
2901 * - MBEDTLS_ERR_ECP_IN_PROGRESS otherwise
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002902 */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002903static int x509_crt_find_parent(
Hanno Becker5299cf82019-02-25 13:50:41 +00002904 mbedtls_x509_crt_sig_info const *child_sig,
Hanno Becker1e0677a2019-02-25 14:58:22 +00002905 mbedtls_x509_crt *rest,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002906 mbedtls_x509_crt *trust_ca,
2907 mbedtls_x509_crt **parent,
2908 int *parent_is_trusted,
2909 int *signature_is_good,
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02002910 unsigned path_cnt,
2911 unsigned self_cnt,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002912 mbedtls_x509_crt_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002913{
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002914 int ret;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002915 mbedtls_x509_crt *search_list;
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002916
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002917 *parent_is_trusted = 1;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002918
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002919#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002920 /* restore then clear saved state if we have some stored */
2921 if( rs_ctx != NULL && rs_ctx->parent_is_trusted != -1 )
2922 {
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002923 *parent_is_trusted = rs_ctx->parent_is_trusted;
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02002924 rs_ctx->parent_is_trusted = -1;
2925 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002926#endif
2927
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002928 while( 1 ) {
Hanno Becker1e0677a2019-02-25 14:58:22 +00002929 search_list = *parent_is_trusted ? trust_ca : rest;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002930
Hanno Becker5299cf82019-02-25 13:50:41 +00002931 ret = x509_crt_find_parent_in( child_sig, search_list,
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002932 parent, signature_is_good,
2933 *parent_is_trusted,
2934 path_cnt, self_cnt, rs_ctx );
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002935
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002936#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002937 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
2938 {
2939 /* save state */
2940 rs_ctx->parent_is_trusted = *parent_is_trusted;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002941 return( ret );
2942 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02002943#else
2944 (void) ret;
2945#endif
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002946
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002947 /* stop here if found or already in second iteration */
2948 if( *parent != NULL || *parent_is_trusted == 0 )
2949 break;
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002950
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002951 /* prepare second iteration */
2952 *parent_is_trusted = 0;
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002953 }
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002954
2955 /* extra precaution against mistakes in the caller */
Krzysztof Stachowiakc388a8c2018-10-31 16:49:20 +01002956 if( *parent == NULL )
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002957 {
Manuel Pégourié-Gonnarda5a3e402018-10-16 11:27:23 +02002958 *parent_is_trusted = 0;
2959 *signature_is_good = 0;
Manuel Pégourié-Gonnard18547b52017-08-14 16:11:43 +02002960 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02002961
2962 return( 0 );
Manuel Pégourié-Gonnard63686122017-07-04 01:01:39 +02002963}
2964
2965/*
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002966 * Check if an end-entity certificate is locally trusted
2967 *
2968 * Currently we require such certificates to be self-signed (actually only
2969 * check for self-issued as self-signatures are not checked)
2970 */
2971static int x509_crt_check_ee_locally_trusted(
Hanno Becker1e0677a2019-02-25 14:58:22 +00002972 mbedtls_x509_crt_frame const *crt,
2973 mbedtls_x509_crt const *trust_ca )
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002974{
Hanno Becker1e0677a2019-02-25 14:58:22 +00002975 mbedtls_x509_crt const *cur;
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002976
Manuel Pégourié-Gonnard27e94792017-07-04 00:49:31 +02002977 /* look for an exact match with trusted cert */
2978 for( cur = trust_ca; cur != NULL; cur = cur->next )
2979 {
2980 if( crt->raw.len == cur->raw.len &&
2981 memcmp( crt->raw.p, cur->raw.p, crt->raw.len ) == 0 )
2982 {
2983 return( 0 );
2984 }
2985 }
2986
2987 /* too bad */
2988 return( -1 );
2989}
2990
2991/*
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002992 * Build and verify a certificate chain
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02002993 *
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002994 * Given a peer-provided list of certificates EE, C1, ..., Cn and
2995 * a list of trusted certs R1, ... Rp, try to build and verify a chain
Manuel Pégourié-Gonnard562df402017-08-08 18:09:14 +02002996 * EE, Ci1, ... Ciq [, Rj]
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02002997 * such that every cert in the chain is a child of the next one,
2998 * jumping to a trusted root as early as possible.
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02002999 *
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003000 * Verify that chain and return it with flags for all issues found.
3001 *
3002 * Special cases:
3003 * - EE == Rj -> return a one-element list containing it
3004 * - EE, Ci1, ..., Ciq cannot be continued with a trusted root
3005 * -> return that chain with NOT_TRUSTED set on Ciq
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003006 *
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +02003007 * Tests for (aspects of) this function should include at least:
3008 * - trusted EE
3009 * - EE -> trusted root
3010 * - EE -> intermedate CA -> trusted root
3011 * - if relevant: EE untrusted
3012 * - if relevant: EE -> intermediate, untrusted
3013 * with the aspect under test checked at each relevant level (EE, int, root).
3014 * For some aspects longer chains are required, but usually length 2 is
3015 * enough (but length 1 is not in general).
3016 *
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003017 * Arguments:
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003018 * - [in] crt: the cert list EE, C1, ..., Cn
3019 * - [in] trust_ca: the trusted list R1, ..., Rp
3020 * - [in] ca_crl, profile: as in verify_with_profile()
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003021 * - [out] ver_chain: the built and verified chain
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003022 * Only valid when return value is 0, may contain garbage otherwise!
3023 * Restart note: need not be the same when calling again to resume.
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02003024 * - [in-out] rs_ctx: context for restarting operations
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003025 *
3026 * Return value:
3027 * - non-zero if the chain could not be fully built and examined
3028 * - 0 is the chain was successfully built and examined,
3029 * even if it was found to be invalid
Manuel Pégourié-Gonnard35407c72017-06-29 10:45:25 +02003030 */
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003031static int x509_crt_verify_chain(
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003032 mbedtls_x509_crt *crt,
3033 mbedtls_x509_crt *trust_ca,
3034 mbedtls_x509_crl *ca_crl,
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003035 const mbedtls_x509_crt_profile *profile,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003036 mbedtls_x509_crt_verify_chain *ver_chain,
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003037 mbedtls_x509_crt_restart_ctx *rs_ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003038{
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003039 /* Don't initialize any of those variables here, so that the compiler can
3040 * catch potential issues with jumping ahead when restarting */
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003041 int ret;
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003042 uint32_t *flags;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003043 mbedtls_x509_crt_verify_chain_item *cur;
Hanno Becker1e0677a2019-02-25 14:58:22 +00003044 mbedtls_x509_crt *child_crt;
Hanno Becker58c35642019-02-25 18:13:46 +00003045 mbedtls_x509_crt *parent_crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003046 int parent_is_trusted;
3047 int child_is_trusted;
3048 int signature_is_good;
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003049 unsigned self_cnt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003050
3051#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3052 /* resume if we had an operation in progress */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003053 if( rs_ctx != NULL && rs_ctx->in_progress == x509_crt_rs_find_parent )
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003054 {
Manuel Pégourié-Gonnard3627a8b2017-08-23 11:20:48 +02003055 /* restore saved state */
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003056 *ver_chain = rs_ctx->ver_chain; /* struct copy */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003057 self_cnt = rs_ctx->self_cnt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003058
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003059 /* restore derived state */
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003060 cur = &ver_chain->items[ver_chain->len - 1];
Hanno Becker1e0677a2019-02-25 14:58:22 +00003061 child_crt = cur->crt;
3062
3063 child_is_trusted = 0;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003064 goto find_parent;
3065 }
3066#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard8f8c2822017-07-03 21:25:10 +02003067
Hanno Becker1e0677a2019-02-25 14:58:22 +00003068 child_crt = crt;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003069 self_cnt = 0;
3070 parent_is_trusted = 0;
3071 child_is_trusted = 0;
Manuel Pégourié-Gonnardf86f4912017-07-05 16:43:44 +02003072
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003073 while( 1 ) {
Hanno Becker5299cf82019-02-25 13:50:41 +00003074#if defined(MBEDTLS_X509_CRL_PARSE_C)
3075 mbedtls_x509_buf_raw child_serial;
3076#endif /* MBEDTLS_X509_CRL_PARSE_C */
3077 int self_issued;
Hanno Becker1e0677a2019-02-25 14:58:22 +00003078
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003079 /* Add certificate to the verification chain */
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003080 cur = &ver_chain->items[ver_chain->len];
Hanno Becker1e0677a2019-02-25 14:58:22 +00003081 cur->crt = child_crt;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003082 cur->flags = 0;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003083 ver_chain->len++;
Hanno Becker10e6b9b2019-02-22 17:56:43 +00003084
3085#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3086find_parent:
3087#endif
3088
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003089 flags = &cur->flags;
Manuel Pégourié-Gonnard66fac752017-07-03 21:39:21 +02003090
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003091 {
Hanno Becker5299cf82019-02-25 13:50:41 +00003092 mbedtls_x509_crt_sig_info child_sig;
3093 {
3094 mbedtls_x509_crt_frame *child;
Manuel Pégourié-Gonnard8f8c2822017-07-03 21:25:10 +02003095
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003096 ret = mbedtls_x509_crt_frame_acquire( child_crt, &child );
Hanno Becker5299cf82019-02-25 13:50:41 +00003097 if( ret != 0 )
3098 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3099
3100 /* Check time-validity (all certificates) */
3101 if( mbedtls_x509_time_is_past( &child->valid_to ) )
3102 *flags |= MBEDTLS_X509_BADCERT_EXPIRED;
3103 if( mbedtls_x509_time_is_future( &child->valid_from ) )
3104 *flags |= MBEDTLS_X509_BADCERT_FUTURE;
3105
3106 /* Stop here for trusted roots (but not for trusted EE certs) */
3107 if( child_is_trusted )
3108 {
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003109 mbedtls_x509_crt_frame_release( child_crt );
Hanno Becker5299cf82019-02-25 13:50:41 +00003110 return( 0 );
3111 }
3112
3113 self_issued = 0;
3114 if( mbedtls_x509_name_cmp_raw( &child->issuer_raw,
3115 &child->subject_raw,
3116 NULL, NULL ) == 0 )
3117 {
3118 self_issued = 1;
3119 }
3120
3121 /* Check signature algorithm: MD & PK algs */
3122 if( x509_profile_check_md_alg( profile, child->sig_md ) != 0 )
3123 *flags |= MBEDTLS_X509_BADCERT_BAD_MD;
3124
3125 if( x509_profile_check_pk_alg( profile, child->sig_pk ) != 0 )
3126 *flags |= MBEDTLS_X509_BADCERT_BAD_PK;
3127
3128 /* Special case: EE certs that are locally trusted */
3129 if( ver_chain->len == 1 && self_issued &&
3130 x509_crt_check_ee_locally_trusted( child, trust_ca ) == 0 )
3131 {
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003132 mbedtls_x509_crt_frame_release( child_crt );
Hanno Becker5299cf82019-02-25 13:50:41 +00003133 return( 0 );
3134 }
3135
3136#if defined(MBEDTLS_X509_CRL_PARSE_C)
3137 child_serial = child->serial;
3138#endif /* MBEDTLS_X509_CRL_PARSE_C */
3139
3140 ret = x509_crt_get_sig_info( child, &child_sig );
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003141 mbedtls_x509_crt_frame_release( child_crt );
Hanno Becker5299cf82019-02-25 13:50:41 +00003142
Hanno Becker5299cf82019-02-25 13:50:41 +00003143 if( ret != 0 )
3144 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3145 }
3146
3147 /* Look for a parent in trusted CAs or up the chain */
3148 ret = x509_crt_find_parent( &child_sig, child_crt->next,
Hanno Becker58c35642019-02-25 18:13:46 +00003149 trust_ca, &parent_crt,
Hanno Becker5299cf82019-02-25 13:50:41 +00003150 &parent_is_trusted, &signature_is_good,
3151 ver_chain->len - 1, self_cnt, rs_ctx );
3152
3153 x509_crt_free_sig_info( &child_sig );
3154 }
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003155
3156#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003157 if( rs_ctx != NULL && ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
3158 {
3159 /* save state */
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003160 rs_ctx->in_progress = x509_crt_rs_find_parent;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003161 rs_ctx->self_cnt = self_cnt;
Manuel Pégourié-Gonnarda9688432017-08-23 11:23:59 +02003162 rs_ctx->ver_chain = *ver_chain; /* struct copy */
Hanno Becker5299cf82019-02-25 13:50:41 +00003163 return( ret );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003164 }
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003165#else
3166 (void) ret;
3167#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003168
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003169 /* No parent? We're done here */
Hanno Becker58c35642019-02-25 18:13:46 +00003170 if( parent_crt == NULL )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003171 {
3172 *flags |= MBEDTLS_X509_BADCERT_NOT_TRUSTED;
Hanno Becker5299cf82019-02-25 13:50:41 +00003173 return( 0 );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003174 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003175
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003176 /* Count intermediate self-issued (not necessarily self-signed) certs.
3177 * These can occur with some strategies for key rollover, see [SIRO],
3178 * and should be excluded from max_pathlen checks. */
Hanno Becker5299cf82019-02-25 13:50:41 +00003179 if( ver_chain->len != 1 && self_issued )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003180 self_cnt++;
Manuel Pégourié-Gonnardfd6c85c2014-11-20 16:34:20 +01003181
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003182 /* path_cnt is 0 for the first intermediate CA,
3183 * and if parent is trusted it's not an intermediate CA */
3184 if( ! parent_is_trusted &&
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003185 ver_chain->len > MBEDTLS_X509_MAX_INTERMEDIATE_CA )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003186 {
3187 /* return immediately to avoid overflow the chain array */
Hanno Becker5299cf82019-02-25 13:50:41 +00003188 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003189 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003190
Manuel Pégourié-Gonnard98a67782017-08-17 10:52:20 +02003191 /* signature was checked while searching parent */
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02003192 if( ! signature_is_good )
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003193 *flags |= MBEDTLS_X509_BADCERT_NOT_TRUSTED;
3194
Hanno Becker58c35642019-02-25 18:13:46 +00003195 {
3196 mbedtls_pk_context *parent_pk;
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003197 ret = mbedtls_x509_crt_pk_acquire( parent_crt, &parent_pk );
Hanno Becker58c35642019-02-25 18:13:46 +00003198 if( ret != 0 )
3199 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3200
3201 /* check size of signing key */
3202 if( x509_profile_check_key( profile, parent_pk ) != 0 )
3203 *flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
3204
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003205 mbedtls_x509_crt_pk_release( parent_crt );
Hanno Becker58c35642019-02-25 18:13:46 +00003206 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003207
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003208#if defined(MBEDTLS_X509_CRL_PARSE_C)
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003209 /* Check trusted CA's CRL for the given crt */
Hanno Becker5299cf82019-02-25 13:50:41 +00003210 *flags |= x509_crt_verifycrl( child_serial.p,
3211 child_serial.len,
Hanno Becker58c35642019-02-25 18:13:46 +00003212 parent_crt, ca_crl, profile );
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003213#else
3214 (void) ca_crl;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003215#endif
3216
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003217 /* prepare for next iteration */
Hanno Becker58c35642019-02-25 18:13:46 +00003218 child_crt = parent_crt;
3219 parent_crt = NULL;
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003220 child_is_trusted = parent_is_trusted;
Manuel Pégourié-Gonnardbe4ff422017-07-14 12:04:14 +02003221 signature_is_good = 0;
Manuel Pégourié-Gonnardce6e52f2017-07-05 17:05:03 +02003222 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003223}
3224
3225/*
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003226 * Check for CN match
3227 */
Hanno Becker24926222019-02-21 13:10:55 +00003228static int x509_crt_check_cn( unsigned char const *buf,
3229 size_t buflen,
3230 const char *cn,
3231 size_t cn_len )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003232{
Hanno Becker24926222019-02-21 13:10:55 +00003233 /* Try exact match */
Hanno Beckerb3def1d2019-02-22 11:46:06 +00003234 if( mbedtls_x509_memcasecmp( cn, buf, buflen, cn_len ) == 0 )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003235 return( 0 );
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003236
3237 /* try wildcard match */
Hanno Becker24926222019-02-21 13:10:55 +00003238 if( x509_check_wildcard( cn, cn_len, buf, buflen ) == 0 )
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003239 {
3240 return( 0 );
3241 }
3242
3243 return( -1 );
3244}
3245
Hanno Becker8b543b32019-02-21 11:50:44 +00003246/* Returns 1 on a match and 0 on a mismatch.
3247 * This is because this function is used as a callback for
3248 * mbedtls_x509_name_cmp_raw(), which continues the name
3249 * traversal as long as the callback returns 0. */
3250static int x509_crt_check_name( void *ctx,
3251 mbedtls_x509_buf *oid,
Hanno Becker6b378122019-02-23 10:20:14 +00003252 mbedtls_x509_buf *val,
3253 int next_merged )
Hanno Becker8b543b32019-02-21 11:50:44 +00003254{
3255 char const *cn = (char const*) ctx;
3256 size_t cn_len = strlen( cn );
Hanno Becker6b378122019-02-23 10:20:14 +00003257 ((void) next_merged);
Hanno Becker8b543b32019-02-21 11:50:44 +00003258
3259 if( MBEDTLS_OID_CMP( MBEDTLS_OID_AT_CN, oid ) == 0 &&
Hanno Becker24926222019-02-21 13:10:55 +00003260 x509_crt_check_cn( val->p, val->len, cn, cn_len ) == 0 )
Hanno Becker8b543b32019-02-21 11:50:44 +00003261 {
3262 return( 1 );
3263 }
3264
3265 return( 0 );
3266}
3267
Hanno Beckerda410822019-02-21 13:36:59 +00003268/* Returns 1 on a match and 0 on a mismatch.
3269 * This is because this function is used as a callback for
3270 * mbedtls_asn1_traverse_sequence_of(), which continues the
3271 * traversal as long as the callback returns 0. */
3272static int x509_crt_subject_alt_check_name( void *ctx,
3273 int tag,
3274 unsigned char *data,
3275 size_t data_len )
3276{
3277 char const *cn = (char const*) ctx;
3278 size_t cn_len = strlen( cn );
Hanno Becker90b94082019-02-21 21:13:21 +00003279 ((void) tag);
Hanno Beckerda410822019-02-21 13:36:59 +00003280
3281 if( x509_crt_check_cn( data, data_len, cn, cn_len ) == 0 )
3282 return( 1 );
3283
3284 return( 0 );
3285}
3286
Manuel Pégourié-Gonnarda468eb12017-07-04 01:31:59 +02003287/*
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003288 * Verify the requested CN - only call this if cn is not NULL!
3289 */
Hanno Becker082435c2019-02-25 18:14:40 +00003290static int x509_crt_verify_name( const mbedtls_x509_crt *crt,
3291 const char *cn,
3292 uint32_t *flags )
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003293{
Hanno Beckerda410822019-02-21 13:36:59 +00003294 int ret;
Hanno Becker082435c2019-02-25 18:14:40 +00003295 mbedtls_x509_crt_frame *frame;
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003296
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003297 ret = mbedtls_x509_crt_frame_acquire( crt, &frame );
Hanno Becker082435c2019-02-25 18:14:40 +00003298 if( ret != 0 )
3299 return( MBEDTLS_ERR_X509_FATAL_ERROR );
3300
3301 if( frame->ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME )
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003302 {
Hanno Becker90b94082019-02-21 21:13:21 +00003303 unsigned char *p =
Hanno Becker082435c2019-02-25 18:14:40 +00003304 frame->subject_alt_raw.p;
Hanno Beckerda410822019-02-21 13:36:59 +00003305 const unsigned char *end =
Hanno Becker082435c2019-02-25 18:14:40 +00003306 frame->subject_alt_raw.p + frame->subject_alt_raw.len;
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003307
Hanno Becker90b94082019-02-21 21:13:21 +00003308 ret = mbedtls_asn1_traverse_sequence_of( &p, end,
3309 MBEDTLS_ASN1_TAG_CLASS_MASK,
3310 MBEDTLS_ASN1_CONTEXT_SPECIFIC,
3311 MBEDTLS_ASN1_TAG_VALUE_MASK,
3312 2 /* SubjectAlt DNS */,
3313 x509_crt_subject_alt_check_name,
3314 (void*) cn );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003315 }
3316 else
3317 {
Hanno Becker082435c2019-02-25 18:14:40 +00003318 ret = mbedtls_x509_name_cmp_raw( &frame->subject_raw,
3319 &frame->subject_raw,
Hanno Becker8b543b32019-02-21 11:50:44 +00003320 x509_crt_check_name, (void*) cn );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003321 }
Hanno Beckerda410822019-02-21 13:36:59 +00003322
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003323 mbedtls_x509_crt_frame_release( crt );
Hanno Becker082435c2019-02-25 18:14:40 +00003324
3325 /* x509_crt_check_name() and x509_crt_subject_alt_check_name()
3326 * return 1 when finding a name component matching `cn`. */
3327 if( ret == 1 )
3328 return( 0 );
3329
3330 if( ret != 0 )
3331 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
3332
3333 *flags |= MBEDTLS_X509_BADCERT_CN_MISMATCH;
3334 return( ret );
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003335}
3336
3337/*
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003338 * Merge the flags for all certs in the chain, after calling callback
3339 */
3340static int x509_crt_merge_flags_with_cb(
3341 uint32_t *flags,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003342 const mbedtls_x509_crt_verify_chain *ver_chain,
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003343 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3344 void *p_vrfy )
3345{
3346 int ret;
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003347 unsigned i;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003348 uint32_t cur_flags;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003349 const mbedtls_x509_crt_verify_chain_item *cur;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003350
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003351 for( i = ver_chain->len; i != 0; --i )
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003352 {
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003353 cur = &ver_chain->items[i-1];
3354 cur_flags = cur->flags;
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003355
3356 if( NULL != f_vrfy )
Manuel Pégourié-Gonnardbb216bd2017-08-28 13:25:55 +02003357 if( ( ret = f_vrfy( p_vrfy, cur->crt, (int) i-1, &cur_flags ) ) != 0 )
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003358 return( ret );
3359
3360 *flags |= cur_flags;
3361 }
3362
3363 return( 0 );
3364}
3365
3366/*
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003367 * Verify the certificate validity (default profile, not restartable)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003368 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003369int mbedtls_x509_crt_verify( mbedtls_x509_crt *crt,
3370 mbedtls_x509_crt *trust_ca,
3371 mbedtls_x509_crl *ca_crl,
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +02003372 const char *cn, uint32_t *flags,
3373 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
Paul Bakkerddf26b42013-09-18 13:46:23 +02003374 void *p_vrfy )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003375{
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003376 return( mbedtls_x509_crt_verify_restartable( crt, trust_ca, ca_crl,
3377 &mbedtls_x509_crt_profile_default, cn, flags,
3378 f_vrfy, p_vrfy, NULL ) );
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003379}
3380
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003381/*
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003382 * Verify the certificate validity (user-chosen profile, not restartable)
Manuel Pégourié-Gonnard95051642015-06-15 10:39:46 +02003383 */
3384int mbedtls_x509_crt_verify_with_profile( mbedtls_x509_crt *crt,
3385 mbedtls_x509_crt *trust_ca,
3386 mbedtls_x509_crl *ca_crl,
3387 const mbedtls_x509_crt_profile *profile,
3388 const char *cn, uint32_t *flags,
3389 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3390 void *p_vrfy )
3391{
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003392 return( mbedtls_x509_crt_verify_restartable( crt, trust_ca, ca_crl,
3393 profile, cn, flags, f_vrfy, p_vrfy, NULL ) );
3394}
3395
3396/*
3397 * Verify the certificate validity, with profile, restartable version
3398 *
3399 * This function:
3400 * - checks the requested CN (if any)
3401 * - checks the type and size of the EE cert's key,
3402 * as that isn't done as part of chain building/verification currently
3403 * - builds and verifies the chain
3404 * - then calls the callback and merges the flags
3405 */
3406int mbedtls_x509_crt_verify_restartable( mbedtls_x509_crt *crt,
3407 mbedtls_x509_crt *trust_ca,
3408 mbedtls_x509_crl *ca_crl,
3409 const mbedtls_x509_crt_profile *profile,
3410 const char *cn, uint32_t *flags,
3411 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
3412 void *p_vrfy,
3413 mbedtls_x509_crt_restart_ctx *rs_ctx )
3414{
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003415 int ret;
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003416 mbedtls_x509_crt_verify_chain ver_chain;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003417 uint32_t ee_flags;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003418
3419 *flags = 0;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003420 ee_flags = 0;
3421 x509_crt_verify_chain_reset( &ver_chain );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003422
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003423 if( profile == NULL )
3424 {
3425 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
3426 goto exit;
3427 }
3428
Manuel Pégourié-Gonnard1300e992017-07-04 01:13:44 +02003429 /* check name if requested */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003430 if( cn != NULL )
Hanno Becker87233362019-02-25 18:15:33 +00003431 {
3432 ret = x509_crt_verify_name( crt, cn, &ee_flags );
3433 if( ret != 0 )
3434 return( ret );
3435 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003436
Hanno Becker87233362019-02-25 18:15:33 +00003437 {
3438 mbedtls_pk_context *pk;
3439 mbedtls_pk_type_t pk_type;
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003440
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003441 ret = mbedtls_x509_crt_pk_acquire( crt, &pk );
Hanno Becker87233362019-02-25 18:15:33 +00003442 if( ret != 0 )
3443 return( MBEDTLS_ERR_X509_FATAL_ERROR );
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003444
Hanno Becker87233362019-02-25 18:15:33 +00003445 /* Check the type and size of the key */
3446 pk_type = mbedtls_pk_get_type( pk );
3447
3448 if( x509_profile_check_pk_alg( profile, pk_type ) != 0 )
3449 ee_flags |= MBEDTLS_X509_BADCERT_BAD_PK;
3450
3451 if( x509_profile_check_key( profile, pk ) != 0 )
3452 ee_flags |= MBEDTLS_X509_BADCERT_BAD_KEY;
3453
Hanno Beckerc6d1c3e2019-03-05 13:50:56 +00003454 mbedtls_x509_crt_pk_release( crt );
Hanno Becker87233362019-02-25 18:15:33 +00003455 }
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +02003456
Manuel Pégourié-Gonnardbdc54402017-07-04 00:33:39 +02003457 /* Check the chain */
Manuel Pégourié-Gonnard505c3952017-07-05 17:36:47 +02003458 ret = x509_crt_verify_chain( crt, trust_ca, ca_crl, profile,
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003459 &ver_chain, rs_ctx );
Manuel Pégourié-Gonnarda4a5d1d2017-07-17 10:26:19 +02003460
Manuel Pégourié-Gonnardc547d1a2017-07-05 13:28:45 +02003461 if( ret != 0 )
3462 goto exit;
3463
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003464 /* Merge end-entity flags */
3465 ver_chain.items[0].flags |= ee_flags;
3466
Manuel Pégourié-Gonnarda707e1d2017-07-05 17:18:42 +02003467 /* Build final flags, calling callback on the way if any */
Manuel Pégourié-Gonnardc11e4ba2017-08-14 17:17:14 +02003468 ret = x509_crt_merge_flags_with_cb( flags, &ver_chain, f_vrfy, p_vrfy );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003469
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003470exit:
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003471#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3472 if( rs_ctx != NULL && ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
3473 mbedtls_x509_crt_restart_free( rs_ctx );
3474#endif
3475
Manuel Pégourié-Gonnard9107b5f2017-07-06 12:16:25 +02003476 /* prevent misuse of the vrfy callback - VERIFY_FAILED would be ignored by
3477 * the SSL module for authmode optional, but non-zero return from the
3478 * callback means a fatal error so it shouldn't be ignored */
Manuel Pégourié-Gonnard31458a12017-06-26 10:11:49 +02003479 if( ret == MBEDTLS_ERR_X509_CERT_VERIFY_FAILED )
3480 ret = MBEDTLS_ERR_X509_FATAL_ERROR;
3481
Manuel Pégourié-Gonnardd15795a2017-06-22 12:19:27 +02003482 if( ret != 0 )
3483 {
3484 *flags = (uint32_t) -1;
3485 return( ret );
3486 }
3487
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003488 if( *flags != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003489 return( MBEDTLS_ERR_X509_CERT_VERIFY_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003490
3491 return( 0 );
3492}
3493
3494/*
Paul Bakker369d2eb2013-09-18 11:58:25 +02003495 * Initialize a certificate chain
3496 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003497void mbedtls_x509_crt_init( mbedtls_x509_crt *crt )
Paul Bakker369d2eb2013-09-18 11:58:25 +02003498{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003499 memset( crt, 0, sizeof(mbedtls_x509_crt) );
Paul Bakker369d2eb2013-09-18 11:58:25 +02003500}
3501
3502/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003503 * Unallocate all certificate data
3504 */
Hanno Beckercd03bb22019-02-15 17:15:53 +00003505
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003506void mbedtls_x509_crt_free( mbedtls_x509_crt *crt )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003507{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003508 mbedtls_x509_crt *cert_cur = crt;
3509 mbedtls_x509_crt *cert_prv;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003510
3511 if( crt == NULL )
3512 return;
3513
3514 do
3515 {
Hanno Beckerb6c39fc2019-02-25 13:50:14 +00003516 x509_crt_cache_free( cert_cur->cache );
3517 mbedtls_free( cert_cur->cache );
Hanno Becker180f7bf2019-02-28 13:23:38 +00003518
3519#if !defined(MBEDTLS_X509_ON_DEMAND_PARSING)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003520 mbedtls_pk_free( &cert_cur->pk );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003521
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003522#if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
3523 mbedtls_free( cert_cur->sig_opts );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +02003524#endif
3525
Hanno Becker2bcc7642019-02-26 19:01:00 +00003526 mbedtls_x509_name_free( cert_cur->issuer.next );
3527 mbedtls_x509_name_free( cert_cur->subject.next );
3528 mbedtls_x509_sequence_free( cert_cur->ext_key_usage.next );
3529 mbedtls_x509_sequence_free( cert_cur->subject_alt_names.next );
Hanno Becker180f7bf2019-02-28 13:23:38 +00003530#endif /* !MBEDTLS_X509_ON_DEMAND_PARSING */
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003531
Hanno Beckeraa8665a2019-01-31 08:57:44 +00003532 if( cert_cur->raw.p != NULL && cert_cur->own_buffer )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003533 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -05003534 mbedtls_platform_zeroize( cert_cur->raw.p, cert_cur->raw.len );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003535 mbedtls_free( cert_cur->raw.p );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003536 }
3537
3538 cert_cur = cert_cur->next;
3539 }
3540 while( cert_cur != NULL );
3541
3542 cert_cur = crt;
3543 do
3544 {
3545 cert_prv = cert_cur;
3546 cert_cur = cert_cur->next;
3547
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -05003548 mbedtls_platform_zeroize( cert_prv, sizeof( mbedtls_x509_crt ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003549 if( cert_prv != crt )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003550 mbedtls_free( cert_prv );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003551 }
3552 while( cert_cur != NULL );
3553}
3554
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003555#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
3556/*
3557 * Initialize a restart context
3558 */
3559void mbedtls_x509_crt_restart_init( mbedtls_x509_crt_restart_ctx *ctx )
3560{
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +02003561 mbedtls_pk_restart_init( &ctx->pk );
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003562
3563 ctx->parent = NULL;
3564 ctx->fallback_parent = NULL;
Manuel Pégourié-Gonnard78d7e8c2018-07-02 12:33:14 +02003565 ctx->fallback_signature_is_good = 0;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003566
3567 ctx->parent_is_trusted = -1;
3568
Manuel Pégourié-Gonnarddaf04912017-08-23 12:32:19 +02003569 ctx->in_progress = x509_crt_rs_none;
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003570 ctx->self_cnt = 0;
Manuel Pégourié-Gonnard83e923b2017-08-23 10:55:41 +02003571 x509_crt_verify_chain_reset( &ctx->ver_chain );
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003572}
3573
3574/*
3575 * Free the components of a restart context
3576 */
3577void mbedtls_x509_crt_restart_free( mbedtls_x509_crt_restart_ctx *ctx )
3578{
3579 if( ctx == NULL )
3580 return;
3581
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +02003582 mbedtls_pk_restart_free( &ctx->pk );
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +02003583 mbedtls_x509_crt_restart_init( ctx );
Manuel Pégourié-Gonnardbc3f44a2017-07-11 11:02:20 +02003584}
3585#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
3586
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003587#endif /* MBEDTLS_X509_CRT_PARSE_C */