blob: 3619aee4fb4d92aad54fe4b26560d80a79fbc43d [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
Manuel Pégourié-Gonnard1c082f32014-06-12 22:34:55 +02002 * X.509 common functions for parsing and verification
Paul Bakker7c6b2c32013-09-16 13:49:26 +02003 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2006-2014, ARM Limited, All Rights Reserved
Paul Bakker7c6b2c32013-09-16 13:49:26 +02005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02007 *
Paul Bakker7c6b2c32013-09-16 13:49:26 +02008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22/*
23 * The ITU-T X.509 standard defines a certificate format for PKI.
24 *
Manuel Pégourié-Gonnard1c082f32014-06-12 22:34:55 +020025 * http://www.ietf.org/rfc/rfc5280.txt (Certificates and CRLs)
26 * http://www.ietf.org/rfc/rfc3279.txt (Alg IDs for CRLs)
27 * http://www.ietf.org/rfc/rfc2986.txt (CSRs, aka PKCS#10)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020028 *
29 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.680-0207.pdf
30 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.690-0207.pdf
31 */
32
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020033#if !defined(POLARSSL_CONFIG_FILE)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020034#include "polarssl/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020035#else
36#include POLARSSL_CONFIG_FILE
37#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +020038
39#if defined(POLARSSL_X509_USE_C)
40
41#include "polarssl/x509.h"
42#include "polarssl/asn1.h"
43#include "polarssl/oid.h"
Rich Evans00ab4702015-02-06 13:43:58 +000044
Rich Evans36796df2015-02-12 18:27:14 +000045#include <stdio.h>
Rich Evans00ab4702015-02-06 13:43:58 +000046#include <string.h>
47
Paul Bakker7c6b2c32013-09-16 13:49:26 +020048#if defined(POLARSSL_PEM_PARSE_C)
49#include "polarssl/pem.h"
50#endif
51
Paul Bakker7dc4c442014-02-01 22:50:26 +010052#if defined(POLARSSL_PLATFORM_C)
53#include "polarssl/platform.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054#else
Rich Evans00ab4702015-02-06 13:43:58 +000055#include <stdio.h>
56#include <stdlib.h>
Paul Bakker7c6b2c32013-09-16 13:49:26 +020057#define polarssl_free free
Rich Evansfac657f2015-01-30 11:00:01 +000058#define polarssl_malloc malloc
59#define polarssl_printf printf
60#define polarssl_snprintf snprintf
Paul Bakker7c6b2c32013-09-16 13:49:26 +020061#endif
62
Paul Bakkerfa6a6202013-10-28 18:48:30 +010063#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020064#include <windows.h>
65#else
66#include <time.h>
67#endif
68
69#if defined(POLARSSL_FS_IO)
Rich Evans36796df2015-02-12 18:27:14 +000070#include <stdio.h>
Paul Bakker7c6b2c32013-09-16 13:49:26 +020071#if !defined(_WIN32)
72#include <sys/types.h>
73#include <sys/stat.h>
74#include <dirent.h>
75#endif
76#endif
77
Rich Evans7d5a55a2015-02-13 11:48:02 +000078#define CHECK(code) if( ( ret = code ) != 0 ){ return( ret ); }
Andres AG0da3e442016-09-23 13:16:02 +010079#define CHECK_RANGE(min, max, val) if( val < min || val > max ){ return( ret ); }
Rich Evans7d5a55a2015-02-13 11:48:02 +000080
Paul Bakker7c6b2c32013-09-16 13:49:26 +020081/*
82 * CertificateSerialNumber ::= INTEGER
83 */
84int x509_get_serial( unsigned char **p, const unsigned char *end,
85 x509_buf *serial )
86{
87 int ret;
88
89 if( ( end - *p ) < 1 )
Paul Bakker51876562013-09-17 14:36:05 +020090 return( POLARSSL_ERR_X509_INVALID_SERIAL +
Paul Bakker7c6b2c32013-09-16 13:49:26 +020091 POLARSSL_ERR_ASN1_OUT_OF_DATA );
92
93 if( **p != ( ASN1_CONTEXT_SPECIFIC | ASN1_PRIMITIVE | 2 ) &&
94 **p != ASN1_INTEGER )
Paul Bakker51876562013-09-17 14:36:05 +020095 return( POLARSSL_ERR_X509_INVALID_SERIAL +
Paul Bakker7c6b2c32013-09-16 13:49:26 +020096 POLARSSL_ERR_ASN1_UNEXPECTED_TAG );
97
98 serial->tag = *(*p)++;
99
100 if( ( ret = asn1_get_len( p, end, &serial->len ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200101 return( POLARSSL_ERR_X509_INVALID_SERIAL + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200102
103 serial->p = *p;
104 *p += serial->len;
105
106 return( 0 );
107}
108
109/* Get an algorithm identifier without parameters (eg for signatures)
110 *
111 * AlgorithmIdentifier ::= SEQUENCE {
112 * algorithm OBJECT IDENTIFIER,
113 * parameters ANY DEFINED BY algorithm OPTIONAL }
114 */
115int x509_get_alg_null( unsigned char **p, const unsigned char *end,
116 x509_buf *alg )
117{
118 int ret;
119
120 if( ( ret = asn1_get_alg_null( p, end, alg ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200121 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200122
123 return( 0 );
124}
125
126/*
Manuel Pégourié-Gonnard59a75d52014-01-22 10:12:57 +0100127 * Parse an algorithm identifier with (optional) paramaters
128 */
129int x509_get_alg( unsigned char **p, const unsigned char *end,
130 x509_buf *alg, x509_buf *params )
131{
132 int ret;
133
134 if( ( ret = asn1_get_alg( p, end, alg, params ) ) != 0 )
135 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
136
137 return( 0 );
138}
139
Manuel Pégourié-Gonnardd1539b12014-06-06 16:42:37 +0200140#if defined(POLARSSL_X509_RSASSA_PSS_SUPPORT)
Manuel Pégourié-Gonnard59a75d52014-01-22 10:12:57 +0100141/*
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100142 * HashAlgorithm ::= AlgorithmIdentifier
143 *
144 * AlgorithmIdentifier ::= SEQUENCE {
145 * algorithm OBJECT IDENTIFIER,
146 * parameters ANY DEFINED BY algorithm OPTIONAL }
147 *
148 * For HashAlgorithm, parameters MUST be NULL or absent.
149 */
150static int x509_get_hash_alg( const x509_buf *alg, md_type_t *md_alg )
151{
152 int ret;
153 unsigned char *p;
154 const unsigned char *end;
155 x509_buf md_oid;
156 size_t len;
157
158 /* Make sure we got a SEQUENCE and setup bounds */
159 if( alg->tag != ( ASN1_CONSTRUCTED | ASN1_SEQUENCE ) )
160 return( POLARSSL_ERR_X509_INVALID_ALG +
161 POLARSSL_ERR_ASN1_UNEXPECTED_TAG );
162
163 p = (unsigned char *) alg->p;
164 end = p + alg->len;
165
166 if( p >= end )
167 return( POLARSSL_ERR_X509_INVALID_ALG +
168 POLARSSL_ERR_ASN1_OUT_OF_DATA );
169
170 /* Parse md_oid */
171 md_oid.tag = *p;
172
173 if( ( ret = asn1_get_tag( &p, end, &md_oid.len, ASN1_OID ) ) != 0 )
174 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
175
176 md_oid.p = p;
177 p += md_oid.len;
178
179 /* Get md_alg from md_oid */
180 if( ( ret = oid_get_md_alg( &md_oid, md_alg ) ) != 0 )
181 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
182
183 /* Make sure params is absent of NULL */
184 if( p == end )
185 return( 0 );
186
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100187 if( ( ret = asn1_get_tag( &p, end, &len, ASN1_NULL ) ) != 0 || len != 0 )
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100188 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
189
190 if( p != end )
191 return( POLARSSL_ERR_X509_INVALID_ALG +
192 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
193
194 return( 0 );
195}
196
197/*
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100198 * RSASSA-PSS-params ::= SEQUENCE {
199 * hashAlgorithm [0] HashAlgorithm DEFAULT sha1Identifier,
200 * maskGenAlgorithm [1] MaskGenAlgorithm DEFAULT mgf1SHA1Identifier,
201 * saltLength [2] INTEGER DEFAULT 20,
202 * trailerField [3] INTEGER DEFAULT 1 }
203 * -- Note that the tags in this Sequence are explicit.
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200204 *
205 * RFC 4055 (which defines use of RSASSA-PSS in PKIX) states that the value
206 * of trailerField MUST be 1, and PKCS#1 v2.2 doesn't even define any other
207 * option. Enfore this at parsing time.
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100208 */
209int x509_get_rsassa_pss_params( const x509_buf *params,
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100210 md_type_t *md_alg, md_type_t *mgf_md,
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200211 int *salt_len )
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100212{
213 int ret;
214 unsigned char *p;
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100215 const unsigned char *end, *end2;
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100216 size_t len;
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100217 x509_buf alg_id, alg_params;
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100218
219 /* First set everything to defaults */
220 *md_alg = POLARSSL_MD_SHA1;
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100221 *mgf_md = POLARSSL_MD_SHA1;
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100222 *salt_len = 20;
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100223
224 /* Make sure params is a SEQUENCE and setup bounds */
225 if( params->tag != ( ASN1_CONSTRUCTED | ASN1_SEQUENCE ) )
226 return( POLARSSL_ERR_X509_INVALID_ALG +
227 POLARSSL_ERR_ASN1_UNEXPECTED_TAG );
228
229 p = (unsigned char *) params->p;
230 end = p + params->len;
231
232 if( p == end )
233 return( 0 );
234
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100235 /*
236 * HashAlgorithm
237 */
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100238 if( ( ret = asn1_get_tag( &p, end, &len,
239 ASN1_CONTEXT_SPECIFIC | ASN1_CONSTRUCTED | 0 ) ) == 0 )
240 {
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100241 end2 = p + len;
242
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100243 /* HashAlgorithm ::= AlgorithmIdentifier (without parameters) */
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100244 if( ( ret = x509_get_alg_null( &p, end2, &alg_id ) ) != 0 )
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100245 return( ret );
246
247 if( ( ret = oid_get_md_alg( &alg_id, md_alg ) ) != 0 )
248 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100249
250 if( p != end2 )
251 return( POLARSSL_ERR_X509_INVALID_ALG +
252 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100253 }
254 else if( ret != POLARSSL_ERR_ASN1_UNEXPECTED_TAG )
255 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
256
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100257 if( p == end )
258 return( 0 );
259
260 /*
261 * MaskGenAlgorithm
262 */
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100263 if( ( ret = asn1_get_tag( &p, end, &len,
264 ASN1_CONTEXT_SPECIFIC | ASN1_CONSTRUCTED | 1 ) ) == 0 )
265 {
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100266 end2 = p + len;
267
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100268 /* MaskGenAlgorithm ::= AlgorithmIdentifier (params = HashAlgorithm) */
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100269 if( ( ret = x509_get_alg( &p, end2, &alg_id, &alg_params ) ) != 0 )
Manuel Pégourié-Gonnarde76b7502014-01-23 19:15:29 +0100270 return( ret );
271
272 /* Only MFG1 is recognised for now */
273 if( ! OID_CMP( OID_MGF1, &alg_id ) )
274 return( POLARSSL_ERR_X509_FEATURE_UNAVAILABLE +
275 POLARSSL_ERR_OID_NOT_FOUND );
276
277 /* Parse HashAlgorithm */
278 if( ( ret = x509_get_hash_alg( &alg_params, mgf_md ) ) != 0 )
279 return( ret );
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100280
281 if( p != end2 )
282 return( POLARSSL_ERR_X509_INVALID_ALG +
283 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100284 }
285 else if( ret != POLARSSL_ERR_ASN1_UNEXPECTED_TAG )
286 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
287
288 if( p == end )
289 return( 0 );
290
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100291 /*
292 * salt_len
293 */
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100294 if( ( ret = asn1_get_tag( &p, end, &len,
295 ASN1_CONTEXT_SPECIFIC | ASN1_CONSTRUCTED | 2 ) ) == 0 )
296 {
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100297 end2 = p + len;
298
299 if( ( ret = asn1_get_int( &p, end2, salt_len ) ) != 0 )
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100300 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100301
302 if( p != end2 )
303 return( POLARSSL_ERR_X509_INVALID_ALG +
304 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100305 }
306 else if( ret != POLARSSL_ERR_ASN1_UNEXPECTED_TAG )
307 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
308
309 if( p == end )
310 return( 0 );
311
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100312 /*
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200313 * trailer_field (if present, must be 1)
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100314 */
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100315 if( ( ret = asn1_get_tag( &p, end, &len,
316 ASN1_CONTEXT_SPECIFIC | ASN1_CONSTRUCTED | 3 ) ) == 0 )
317 {
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200318 int trailer_field;
319
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100320 end2 = p + len;
321
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200322 if( ( ret = asn1_get_int( &p, end2, &trailer_field ) ) != 0 )
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100323 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
Manuel Pégourié-Gonnard9c9cf5b2014-01-24 14:15:20 +0100324
325 if( p != end2 )
326 return( POLARSSL_ERR_X509_INVALID_ALG +
327 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
Manuel Pégourié-Gonnard78117d52014-05-31 17:08:16 +0200328
329 if( trailer_field != 1 )
330 return( POLARSSL_ERR_X509_INVALID_ALG );
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100331 }
332 else if( ret != POLARSSL_ERR_ASN1_UNEXPECTED_TAG )
333 return( POLARSSL_ERR_X509_INVALID_ALG + ret );
334
335 if( p != end )
336 return( POLARSSL_ERR_X509_INVALID_ALG +
337 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
338
339 return( 0 );
340}
Manuel Pégourié-Gonnardd1539b12014-06-06 16:42:37 +0200341#endif /* POLARSSL_X509_RSASSA_PSS_SUPPORT */
Manuel Pégourié-Gonnardf346bab2014-01-23 16:24:44 +0100342
343/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200344 * AttributeTypeAndValue ::= SEQUENCE {
345 * type AttributeType,
346 * value AttributeValue }
347 *
348 * AttributeType ::= OBJECT IDENTIFIER
349 *
350 * AttributeValue ::= ANY DEFINED BY AttributeType
351 */
352static int x509_get_attr_type_value( unsigned char **p,
353 const unsigned char *end,
354 x509_name *cur )
355{
356 int ret;
357 size_t len;
358 x509_buf *oid;
359 x509_buf *val;
360
361 if( ( ret = asn1_get_tag( p, end, &len,
362 ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200363 return( POLARSSL_ERR_X509_INVALID_NAME + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200364
365 if( ( end - *p ) < 1 )
Paul Bakker51876562013-09-17 14:36:05 +0200366 return( POLARSSL_ERR_X509_INVALID_NAME +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200367 POLARSSL_ERR_ASN1_OUT_OF_DATA );
368
369 oid = &cur->oid;
370 oid->tag = **p;
371
372 if( ( ret = asn1_get_tag( p, end, &oid->len, ASN1_OID ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200373 return( POLARSSL_ERR_X509_INVALID_NAME + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200374
375 oid->p = *p;
376 *p += oid->len;
377
378 if( ( end - *p ) < 1 )
Paul Bakker51876562013-09-17 14:36:05 +0200379 return( POLARSSL_ERR_X509_INVALID_NAME +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200380 POLARSSL_ERR_ASN1_OUT_OF_DATA );
381
382 if( **p != ASN1_BMP_STRING && **p != ASN1_UTF8_STRING &&
383 **p != ASN1_T61_STRING && **p != ASN1_PRINTABLE_STRING &&
Manuel Pégourié-Gonnarddd5dbca2015-03-27 13:03:09 +0100384 **p != ASN1_IA5_STRING && **p != ASN1_UNIVERSAL_STRING &&
385 **p != ASN1_BIT_STRING )
Paul Bakker51876562013-09-17 14:36:05 +0200386 return( POLARSSL_ERR_X509_INVALID_NAME +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200387 POLARSSL_ERR_ASN1_UNEXPECTED_TAG );
388
389 val = &cur->val;
390 val->tag = *(*p)++;
391
392 if( ( ret = asn1_get_len( p, end, &val->len ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200393 return( POLARSSL_ERR_X509_INVALID_NAME + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200394
395 val->p = *p;
396 *p += val->len;
397
398 cur->next = NULL;
399
400 return( 0 );
401}
402
403/*
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000404 * Name ::= CHOICE { -- only one possibility for now --
405 * rdnSequence RDNSequence }
406 *
407 * RDNSequence ::= SEQUENCE OF RelativeDistinguishedName
408 *
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200409 * RelativeDistinguishedName ::=
410 * SET OF AttributeTypeAndValue
411 *
412 * AttributeTypeAndValue ::= SEQUENCE {
413 * type AttributeType,
414 * value AttributeValue }
415 *
416 * AttributeType ::= OBJECT IDENTIFIER
417 *
418 * AttributeValue ::= ANY DEFINED BY AttributeType
Manuel Pégourié-Gonnard5d861852014-10-17 12:41:41 +0200419 *
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000420 * The data structure is optimized for the common case where each RDN has only
421 * one element, which is represented as a list of AttributeTypeAndValue.
422 * For the general case we still use a flat list, but we mark elements of the
423 * same set so that they are "merged" together in the functions that consume
424 * this list, eg x509_dn_gets().
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200425 */
426int x509_get_name( unsigned char **p, const unsigned char *end,
427 x509_name *cur )
428{
429 int ret;
Manuel Pégourié-Gonnard5d861852014-10-17 12:41:41 +0200430 size_t set_len;
431 const unsigned char *end_set;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200432
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100433 /* don't use recursion, we'd risk stack overflow if not optimized */
434 while( 1 )
435 {
436 /*
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000437 * parse SET
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100438 */
439 if( ( ret = asn1_get_tag( p, end, &set_len,
440 ASN1_CONSTRUCTED | ASN1_SET ) ) != 0 )
441 return( POLARSSL_ERR_X509_INVALID_NAME + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200442
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100443 end_set = *p + set_len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200444
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000445 while( 1 )
446 {
447 if( ( ret = x509_get_attr_type_value( p, end_set, cur ) ) != 0 )
448 return( ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200449
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000450 if( *p == end_set )
451 break;
452
Nicholas Wilsond0fa5cc2015-05-11 10:39:49 +0100453 /* Mark this item as being not the only one in a set */
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000454 cur->next_merged = 1;
455
Mansour Moufidc531b4a2015-02-15 17:35:38 -0500456 cur->next = polarssl_malloc( sizeof( x509_name ) );
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000457
458 if( cur->next == NULL )
459 return( POLARSSL_ERR_X509_MALLOC_FAILED );
460
461 memset( cur->next, 0, sizeof( x509_name ) );
462
463 cur = cur->next;
464 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200465
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100466 /*
467 * continue until end of SEQUENCE is reached
468 */
469 if( *p == end )
470 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200471
Mansour Moufidc531b4a2015-02-15 17:35:38 -0500472 cur->next = polarssl_malloc( sizeof( x509_name ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200473
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100474 if( cur->next == NULL )
475 return( POLARSSL_ERR_X509_MALLOC_FAILED );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200476
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100477 memset( cur->next, 0, sizeof( x509_name ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200478
Manuel Pégourié-Gonnardd6814432014-11-12 01:25:31 +0100479 cur = cur->next;
480 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200481}
482
Andres Amaya Garciacf428732017-07-31 16:40:12 +0100483static int x509_parse_int( unsigned char **p, size_t n, int *res )
484{
Rich Evans7d5a55a2015-02-13 11:48:02 +0000485 *res = 0;
Andres Amaya Garciacf428732017-07-31 16:40:12 +0100486
487 for( ; n > 0; --n )
488 {
489 if( ( **p < '0') || ( **p > '9' ) )
490 return( POLARSSL_ERR_X509_INVALID_DATE );
491
Rich Evans7d5a55a2015-02-13 11:48:02 +0000492 *res *= 10;
Andres Amaya Garciacf428732017-07-31 16:40:12 +0100493 *res += ( *(*p)++ - '0' );
Rich Evans7d5a55a2015-02-13 11:48:02 +0000494 }
Andres Amaya Garciacf428732017-07-31 16:40:12 +0100495
496 return( 0 );
Rich Evans7d5a55a2015-02-13 11:48:02 +0000497}
498
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100499static int x509_date_is_valid(const x509_time *t)
Andres AG0da3e442016-09-23 13:16:02 +0100500{
501 int ret = POLARSSL_ERR_X509_INVALID_DATE;
502
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100503 CHECK_RANGE( 0, 9999, t->year );
504 CHECK_RANGE( 0, 23, t->hour );
505 CHECK_RANGE( 0, 59, t->min );
506 CHECK_RANGE( 0, 59, t->sec );
Andres AG0da3e442016-09-23 13:16:02 +0100507
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100508 switch( t->mon )
Andres AG0da3e442016-09-23 13:16:02 +0100509 {
510 case 1: case 3: case 5: case 7: case 8: case 10: case 12:
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100511 CHECK_RANGE( 1, 31, t->day );
Andres AG0da3e442016-09-23 13:16:02 +0100512 break;
513 case 4: case 6: case 9: case 11:
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100514 CHECK_RANGE( 1, 30, t->day );
Andres AG0da3e442016-09-23 13:16:02 +0100515 break;
516 case 2:
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100517 CHECK_RANGE( 1, 28 + (t->year % 4 == 0), t->day );
Andres AG0da3e442016-09-23 13:16:02 +0100518 break;
519 default:
520 return( ret );
521 }
522
523 return( 0 );
524}
525
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200526/*
Janos Follath17da9dd2016-09-19 09:35:18 +0100527 * Parse an ASN1_UTC_TIME (yearlen=2) or ASN1_GENERALIZED_TIME (yearlen=4) field.
528 */
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100529static int x509_parse_time( unsigned char **p, size_t len, size_t yearlen,
530 x509_time *tm )
Janos Follath17da9dd2016-09-19 09:35:18 +0100531{
532 int ret;
533
534 /*
535 * minimum length is 10 or 12 depending on yearlen
536 */
537 if ( len < yearlen + 8 )
538 return POLARSSL_ERR_X509_INVALID_DATE;
539 len -= yearlen + 8;
540
541 /*
542 * parse year, month, day, hour, minute
543 */
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100544 CHECK( x509_parse_int( p, yearlen, &tm->year ) );
Janos Follath17da9dd2016-09-19 09:35:18 +0100545 if ( 2 == yearlen )
546 {
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100547 if ( tm->year < 50 )
548 tm->year += 100;
Janos Follath17da9dd2016-09-19 09:35:18 +0100549
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100550 tm->year += 1900;
Janos Follath17da9dd2016-09-19 09:35:18 +0100551 }
552
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100553 CHECK( x509_parse_int( p, 2, &tm->mon ) );
554 CHECK( x509_parse_int( p, 2, &tm->day ) );
555 CHECK( x509_parse_int( p, 2, &tm->hour ) );
556 CHECK( x509_parse_int( p, 2, &tm->min ) );
Janos Follath17da9dd2016-09-19 09:35:18 +0100557
558 /*
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100559 * parse seconds if present
Janos Follath17da9dd2016-09-19 09:35:18 +0100560 */
561 if ( len >= 2 && **p >= '0' && **p <= '9' )
562 {
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100563 CHECK( x509_parse_int( p, 2, &tm->sec ) );
Janos Follath17da9dd2016-09-19 09:35:18 +0100564 len -= 2;
565 }
566 else
567 {
568#if defined(POLARSSL_X509_ALLOW_RELAXED_DATE)
569 /*
570 * if relaxed mode, allow seconds to be absent
571 */
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100572 tm->sec = 0;
Janos Follath17da9dd2016-09-19 09:35:18 +0100573#else
574 return POLARSSL_ERR_X509_INVALID_DATE;
575#endif
576 }
577
578 /*
579 * parse trailing 'Z' if present
580 */
581 if ( 1 == len && 'Z' == **p )
582 {
583 (*p)++;
584 return 0;
585 }
586#if defined(POLARSSL_X509_ALLOW_RELAXED_DATE)
587 /*
588 * if relaxed mode, allow timezone to be present
589 */
590 else if ( 5 == len && ( '+' == **p || '-' == **p ) )
591 {
592 int tz; /* throwaway timezone */
593
594 (*p)++;
595 CHECK( x509_parse_int( p, 4, &tz ) );
596
597 return 0;
598 }
599#endif
600 /*
601 * okay if no trailing 'Z' or timezone specified
602 */
603 else if ( 0 == len )
604 return 0;
605 else
606 return POLARSSL_ERR_X509_INVALID_DATE;
607}
608
609/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200610 * Time ::= CHOICE {
611 * utcTime UTCTime,
612 * generalTime GeneralizedTime }
613 */
614int x509_get_time( unsigned char **p, const unsigned char *end,
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100615 x509_time *tm )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200616{
617 int ret;
618 size_t len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200619 unsigned char tag;
620
621 if( ( end - *p ) < 1 )
Paul Bakker51876562013-09-17 14:36:05 +0200622 return( POLARSSL_ERR_X509_INVALID_DATE +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200623 POLARSSL_ERR_ASN1_OUT_OF_DATA );
624
625 tag = **p;
626
Paul Bakker66d5d072014-06-17 16:39:18 +0200627 if( tag == ASN1_UTC_TIME )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200628 {
629 (*p)++;
630 ret = asn1_get_len( p, end, &len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200631 if( ret != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200632 return( POLARSSL_ERR_X509_INVALID_DATE + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200633
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100634 CHECK( x509_parse_time( p, len, 2, tm ) );
Simon Butcher2d0ffbb2016-10-17 22:32:47 +0100635
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100636 CHECK( x509_date_is_valid( tm ) );
Simon Butcher2d0ffbb2016-10-17 22:32:47 +0100637
638 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200639 }
Paul Bakker66d5d072014-06-17 16:39:18 +0200640 else if( tag == ASN1_GENERALIZED_TIME )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200641 {
642 (*p)++;
643 ret = asn1_get_len( p, end, &len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200644 if( ret != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200645 return( POLARSSL_ERR_X509_INVALID_DATE + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200646
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100647 CHECK( x509_parse_time( p, len, 4, tm ) );
Simon Butcher2d0ffbb2016-10-17 22:32:47 +0100648
Hanno Beckerab3fbc22017-04-26 15:01:23 +0100649 CHECK( x509_date_is_valid( tm ) );
Simon Butcher2d0ffbb2016-10-17 22:32:47 +0100650
651 return( 0 );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200652 }
653 else
Paul Bakker51876562013-09-17 14:36:05 +0200654 return( POLARSSL_ERR_X509_INVALID_DATE +
655 POLARSSL_ERR_ASN1_UNEXPECTED_TAG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200656}
657
658int x509_get_sig( unsigned char **p, const unsigned char *end, x509_buf *sig )
659{
660 int ret;
661 size_t len;
Andres AG67ae0b92016-09-19 16:58:45 +0100662 int tag_type;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200663
664 if( ( end - *p ) < 1 )
Paul Bakker51876562013-09-17 14:36:05 +0200665 return( POLARSSL_ERR_X509_INVALID_SIGNATURE +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200666 POLARSSL_ERR_ASN1_OUT_OF_DATA );
667
Andres AG67ae0b92016-09-19 16:58:45 +0100668 tag_type = **p;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200669
670 if( ( ret = asn1_get_bitstring_null( p, end, &len ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200671 return( POLARSSL_ERR_X509_INVALID_SIGNATURE + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200672
Andres AG67ae0b92016-09-19 16:58:45 +0100673 sig->tag = tag_type;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200674 sig->len = len;
675 sig->p = *p;
676
677 *p += len;
678
679 return( 0 );
680}
681
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100682/*
683 * Get signature algorithm from alg OID and optional parameters
684 */
685int x509_get_sig_alg( const x509_buf *sig_oid, const x509_buf *sig_params,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200686 md_type_t *md_alg, pk_type_t *pk_alg,
687 void **sig_opts )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200688{
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100689 int ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200690
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200691 if( *sig_opts != NULL )
692 return( POLARSSL_ERR_X509_BAD_INPUT_DATA );
693
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100694 if( ( ret = oid_get_sig_alg( sig_oid, md_alg, pk_alg ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200695 return( POLARSSL_ERR_X509_UNKNOWN_SIG_ALG + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200696
Manuel Pégourié-Gonnardd1539b12014-06-06 16:42:37 +0200697#if defined(POLARSSL_X509_RSASSA_PSS_SUPPORT)
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100698 if( *pk_alg == POLARSSL_PK_RSASSA_PSS )
699 {
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200700 pk_rsassa_pss_options *pss_opts;
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100701
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200702 pss_opts = polarssl_malloc( sizeof( pk_rsassa_pss_options ) );
703 if( pss_opts == NULL )
704 return( POLARSSL_ERR_X509_MALLOC_FAILED );
705
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100706 ret = x509_get_rsassa_pss_params( sig_params,
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200707 md_alg,
708 &pss_opts->mgf1_hash_id,
709 &pss_opts->expected_salt_len );
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100710 if( ret != 0 )
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200711 {
712 polarssl_free( pss_opts );
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100713 return( ret );
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200714 }
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100715
Manuel Pégourié-Gonnardf75f2f72014-06-05 15:14:28 +0200716 *sig_opts = (void *) pss_opts;
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100717 }
718 else
Paul Bakkerdb20c102014-06-17 14:34:44 +0200719#endif /* POLARSSL_X509_RSASSA_PSS_SUPPORT */
Manuel Pégourié-Gonnardcf975a32014-01-24 19:28:43 +0100720 {
721 /* Make sure parameters are absent or NULL */
722 if( ( sig_params->tag != ASN1_NULL && sig_params->tag != 0 ) ||
723 sig_params->len != 0 )
724 return( POLARSSL_ERR_X509_INVALID_ALG );
725 }
726
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200727 return( 0 );
728}
729
730/*
731 * X.509 Extensions (No parsing of extensions, pointer should
732 * be either manually updated or extensions should be parsed!
733 */
734int x509_get_ext( unsigned char **p, const unsigned char *end,
735 x509_buf *ext, int tag )
736{
737 int ret;
738 size_t len;
739
740 if( *p == end )
741 return( 0 );
742
743 ext->tag = **p;
744
745 if( ( ret = asn1_get_tag( p, end, &ext->len,
746 ASN1_CONTEXT_SPECIFIC | ASN1_CONSTRUCTED | tag ) ) != 0 )
747 return( ret );
748
749 ext->p = *p;
750 end = *p + ext->len;
751
752 /*
753 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
754 *
755 * Extension ::= SEQUENCE {
756 * extnID OBJECT IDENTIFIER,
757 * critical BOOLEAN DEFAULT FALSE,
758 * extnValue OCTET STRING }
759 */
760 if( ( ret = asn1_get_tag( p, end, &len,
761 ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 )
Paul Bakker51876562013-09-17 14:36:05 +0200762 return( POLARSSL_ERR_X509_INVALID_EXTENSIONS + ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200763
764 if( end != *p + len )
Paul Bakker51876562013-09-17 14:36:05 +0200765 return( POLARSSL_ERR_X509_INVALID_EXTENSIONS +
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200766 POLARSSL_ERR_ASN1_LENGTH_MISMATCH );
767
768 return( 0 );
769}
770
Paul Bakker6edcd412013-10-29 15:22:54 +0100771#if defined(_MSC_VER) && !defined snprintf && !defined(EFIX64) && \
772 !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200773#include <stdarg.h>
774
775#if !defined vsnprintf
776#define vsnprintf _vsnprintf
777#endif // vsnprintf
778
779/*
780 * Windows _snprintf and _vsnprintf are not compatible to linux versions.
781 * Result value is not size of buffer needed, but -1 if no fit is possible.
782 *
783 * This fuction tries to 'fix' this by at least suggesting enlarging the
784 * size by 20.
785 */
Paul Bakker66d5d072014-06-17 16:39:18 +0200786static int compat_snprintf( char *str, size_t size, const char *format, ... )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200787{
788 va_list ap;
789 int res = -1;
790
791 va_start( ap, format );
792
793 res = vsnprintf( str, size, format, ap );
794
795 va_end( ap );
796
797 // No quick fix possible
Paul Bakker66d5d072014-06-17 16:39:18 +0200798 if( res < 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200799 return( (int) size + 20 );
800
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200801 return( res );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200802}
803
804#define snprintf compat_snprintf
Paul Bakker9af723c2014-05-01 13:03:14 +0200805#endif /* _MSC_VER && !snprintf && !EFIX64 && !EFI32 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200806
807#define POLARSSL_ERR_DEBUG_BUF_TOO_SMALL -2
808
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200809#define SAFE_SNPRINTF() \
810{ \
811 if( ret == -1 ) \
812 return( -1 ); \
813 \
Paul Bakker66d5d072014-06-17 16:39:18 +0200814 if( (unsigned int) ret > n ) { \
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200815 p[n - 1] = '\0'; \
816 return( POLARSSL_ERR_DEBUG_BUF_TOO_SMALL ); \
817 } \
818 \
819 n -= (unsigned int) ret; \
820 p += (unsigned int) ret; \
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200821}
822
823/*
824 * Store the name in printable form into buf; no more
825 * than size characters will be written
826 */
Paul Bakker86d0c192013-09-18 11:11:02 +0200827int x509_dn_gets( char *buf, size_t size, const x509_name *dn )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200828{
829 int ret;
830 size_t i, n;
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000831 unsigned char c, merge = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200832 const x509_name *name;
833 const char *short_name = NULL;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200834 char s[X509_MAX_DN_NAME_SIZE], *p;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200835
836 memset( s, 0, sizeof( s ) );
837
838 name = dn;
839 p = buf;
840 n = size;
841
842 while( name != NULL )
843 {
844 if( !name->oid.p )
845 {
846 name = name->next;
847 continue;
848 }
849
850 if( name != dn )
851 {
Rich Evansfac657f2015-01-30 11:00:01 +0000852 ret = polarssl_snprintf( p, n, merge ? " + " : ", " );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200853 SAFE_SNPRINTF();
854 }
855
856 ret = oid_get_attr_short_name( &name->oid, &short_name );
857
858 if( ret == 0 )
Rich Evansfac657f2015-01-30 11:00:01 +0000859 ret = polarssl_snprintf( p, n, "%s=", short_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200860 else
Rich Evansfac657f2015-01-30 11:00:01 +0000861 ret = polarssl_snprintf( p, n, "\?\?=" );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200862 SAFE_SNPRINTF();
863
864 for( i = 0; i < name->val.len; i++ )
865 {
866 if( i >= sizeof( s ) - 1 )
867 break;
868
869 c = name->val.p[i];
870 if( c < 32 || c == 127 || ( c > 128 && c < 160 ) )
871 s[i] = '?';
872 else s[i] = c;
873 }
874 s[i] = '\0';
Rich Evansfac657f2015-01-30 11:00:01 +0000875 ret = polarssl_snprintf( p, n, "%s", s );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200876 SAFE_SNPRINTF();
Manuel Pégourié-Gonnard555fbf82015-02-04 17:11:55 +0000877
878 merge = name->next_merged;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200879 name = name->next;
880 }
881
882 return( (int) ( size - n ) );
883}
884
885/*
886 * Store the serial in printable form into buf; no more
887 * than size characters will be written
888 */
Paul Bakker86d0c192013-09-18 11:11:02 +0200889int x509_serial_gets( char *buf, size_t size, const x509_buf *serial )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200890{
891 int ret;
892 size_t i, n, nr;
893 char *p;
894
895 p = buf;
896 n = size;
897
898 nr = ( serial->len <= 32 )
899 ? serial->len : 28;
900
901 for( i = 0; i < nr; i++ )
902 {
903 if( i == 0 && nr > 1 && serial->p[i] == 0x0 )
904 continue;
905
Rich Evansfac657f2015-01-30 11:00:01 +0000906 ret = polarssl_snprintf( p, n, "%02X%s",
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200907 serial->p[i], ( i < nr - 1 ) ? ":" : "" );
908 SAFE_SNPRINTF();
909 }
910
911 if( nr != serial->len )
912 {
Rich Evansfac657f2015-01-30 11:00:01 +0000913 ret = polarssl_snprintf( p, n, "...." );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200914 SAFE_SNPRINTF();
915 }
916
917 return( (int) ( size - n ) );
918}
919
920/*
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200921 * Helper for writing signature algorithms
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100922 */
923int x509_sig_alg_gets( char *buf, size_t size, const x509_buf *sig_oid,
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200924 pk_type_t pk_alg, md_type_t md_alg,
925 const void *sig_opts )
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100926{
927 int ret;
928 char *p = buf;
929 size_t n = size;
930 const char *desc = NULL;
931
932 ret = oid_get_sig_alg_desc( sig_oid, &desc );
933 if( ret != 0 )
Rich Evansfac657f2015-01-30 11:00:01 +0000934 ret = polarssl_snprintf( p, n, "???" );
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100935 else
Rich Evansfac657f2015-01-30 11:00:01 +0000936 ret = polarssl_snprintf( p, n, "%s", desc );
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100937 SAFE_SNPRINTF();
938
Manuel Pégourié-Gonnardd1539b12014-06-06 16:42:37 +0200939#if defined(POLARSSL_X509_RSASSA_PSS_SUPPORT)
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100940 if( pk_alg == POLARSSL_PK_RSASSA_PSS )
941 {
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200942 const pk_rsassa_pss_options *pss_opts;
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100943 const md_info_t *md_info, *mgf_md_info;
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100944
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200945 pss_opts = (const pk_rsassa_pss_options *) sig_opts;
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100946
947 md_info = md_info_from_type( md_alg );
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200948 mgf_md_info = md_info_from_type( pss_opts->mgf1_hash_id );
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100949
Rich Evansfac657f2015-01-30 11:00:01 +0000950 ret = polarssl_snprintf( p, n, " (%s, MGF1-%s, 0x%02X)",
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100951 md_info ? md_info->name : "???",
952 mgf_md_info ? mgf_md_info->name : "???",
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200953 pss_opts->expected_salt_len );
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100954 SAFE_SNPRINTF();
955 }
956#else
957 ((void) pk_alg);
Manuel Pégourié-Gonnard91136032014-06-05 15:41:39 +0200958 ((void) md_alg);
959 ((void) sig_opts);
Manuel Pégourié-Gonnardd1539b12014-06-06 16:42:37 +0200960#endif /* POLARSSL_X509_RSASSA_PSS_SUPPORT */
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100961
Sander Niemeijeref5087d2014-08-16 12:45:52 +0200962 return( (int)( size - n ) );
Manuel Pégourié-Gonnardcac31ee2014-01-25 11:50:59 +0100963}
964
965/*
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200966 * Helper for writing "RSA key size", "EC key size", etc
967 */
968int x509_key_size_helper( char *buf, size_t size, const char *name )
969{
970 char *p = buf;
971 size_t n = size;
972 int ret;
973
974 if( strlen( name ) + sizeof( " key size" ) > size )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200975 return( POLARSSL_ERR_DEBUG_BUF_TOO_SMALL );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200976
Rich Evansfac657f2015-01-30 11:00:01 +0000977 ret = polarssl_snprintf( p, n, "%s key size", name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200978 SAFE_SNPRINTF();
979
980 return( 0 );
981}
982
983/*
984 * Return an informational string describing the given OID
985 */
Manuel Pégourié-Gonnardc70581c2015-03-23 13:58:27 +0100986#if ! defined(POLARSSL_DEPRECATED_REMOVED)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200987const char *x509_oid_get_description( x509_buf *oid )
988{
989 const char *desc = NULL;
990 int ret;
991
992 ret = oid_get_extended_key_usage( oid, &desc );
993
994 if( ret != 0 )
995 return( NULL );
996
997 return( desc );
998}
Manuel Pégourié-Gonnardc70581c2015-03-23 13:58:27 +0100999#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001000
1001/* Return the x.y.z.... style numeric string for the given OID */
Manuel Pégourié-Gonnardc70581c2015-03-23 13:58:27 +01001002#if ! defined(POLARSSL_DEPRECATED_REMOVED)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001003int x509_oid_get_numeric_string( char *buf, size_t size, x509_buf *oid )
1004{
1005 return oid_get_numeric_string( buf, size, oid );
1006}
Manuel Pégourié-Gonnardc70581c2015-03-23 13:58:27 +01001007#endif
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001008
1009/*
1010 * Return 0 if the x509_time is still valid, or 1 otherwise.
1011 */
1012#if defined(POLARSSL_HAVE_TIME)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001013
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001014static void x509_get_current_time( x509_time *now )
1015{
Paul Bakkerfa6a6202013-10-28 18:48:30 +01001016#if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001017 SYSTEMTIME st;
1018
Paul Bakker66d5d072014-06-17 16:39:18 +02001019 GetSystemTime( &st );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001020
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001021 now->year = st.wYear;
1022 now->mon = st.wMonth;
1023 now->day = st.wDay;
1024 now->hour = st.wHour;
1025 now->min = st.wMinute;
1026 now->sec = st.wSecond;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001027#else
Paul Bakker5fff23b2014-03-26 15:34:54 +01001028 struct tm lt;
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001029 time_t tt;
1030
1031 tt = time( NULL );
Manuel Pégourié-Gonnard0776a432014-04-11 12:25:45 +02001032 gmtime_r( &tt, &lt );
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001033
Paul Bakker5fff23b2014-03-26 15:34:54 +01001034 now->year = lt.tm_year + 1900;
1035 now->mon = lt.tm_mon + 1;
1036 now->day = lt.tm_mday;
1037 now->hour = lt.tm_hour;
1038 now->min = lt.tm_min;
1039 now->sec = lt.tm_sec;
Paul Bakker9af723c2014-05-01 13:03:14 +02001040#endif /* _WIN32 && !EFIX64 && !EFI32 */
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001041}
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001042
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001043/*
1044 * Return 0 if before <= after, 1 otherwise
1045 */
1046static int x509_check_time( const x509_time *before, const x509_time *after )
1047{
1048 if( before->year > after->year )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001049 return( 1 );
1050
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001051 if( before->year == after->year &&
1052 before->mon > after->mon )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001053 return( 1 );
1054
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001055 if( before->year == after->year &&
1056 before->mon == after->mon &&
1057 before->day > after->day )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001058 return( 1 );
1059
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001060 if( before->year == after->year &&
1061 before->mon == after->mon &&
1062 before->day == after->day &&
1063 before->hour > after->hour )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001064 return( 1 );
1065
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001066 if( before->year == after->year &&
1067 before->mon == after->mon &&
1068 before->day == after->day &&
1069 before->hour == after->hour &&
1070 before->min > after->min )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001071 return( 1 );
1072
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001073 if( before->year == after->year &&
1074 before->mon == after->mon &&
1075 before->day == after->day &&
1076 before->hour == after->hour &&
1077 before->min == after->min &&
1078 before->sec > after->sec )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001079 return( 1 );
1080
1081 return( 0 );
1082}
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001083
1084int x509_time_expired( const x509_time *to )
1085{
1086 x509_time now;
1087
1088 x509_get_current_time( &now );
1089
1090 return( x509_check_time( &now, to ) );
1091}
1092
1093int x509_time_future( const x509_time *from )
1094{
1095 x509_time now;
1096
1097 x509_get_current_time( &now );
1098
1099 return( x509_check_time( from, &now ) );
1100}
1101
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001102#else /* POLARSSL_HAVE_TIME */
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001103
Paul Bakker86d0c192013-09-18 11:11:02 +02001104int x509_time_expired( const x509_time *to )
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001105{
1106 ((void) to);
1107 return( 0 );
1108}
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001109
1110int x509_time_future( const x509_time *from )
1111{
1112 ((void) from);
1113 return( 0 );
1114}
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001115#endif /* POLARSSL_HAVE_TIME */
1116
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001117#if defined(POLARSSL_SELF_TEST)
1118
1119#include "polarssl/x509_crt.h"
1120#include "polarssl/certs.h"
1121
1122/*
1123 * Checkup routine
1124 */
1125int x509_self_test( int verbose )
1126{
Manuel Pégourié-Gonnard3d413702014-04-29 15:29:41 +02001127#if defined(POLARSSL_CERTS_C) && defined(POLARSSL_SHA1_C)
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001128 int ret;
1129 int flags;
Paul Bakkerc559c7a2013-09-18 14:13:26 +02001130 x509_crt cacert;
1131 x509_crt clicert;
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001132
1133 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001134 polarssl_printf( " X.509 certificate load: " );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001135
Paul Bakkerb6b09562013-09-18 14:17:41 +02001136 x509_crt_init( &clicert );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001137
Paul Bakkerddf26b42013-09-18 13:46:23 +02001138 ret = x509_crt_parse( &clicert, (const unsigned char *) test_cli_crt,
1139 strlen( test_cli_crt ) );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001140 if( ret != 0 )
1141 {
1142 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001143 polarssl_printf( "failed\n" );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001144
1145 return( ret );
1146 }
1147
Paul Bakkerb6b09562013-09-18 14:17:41 +02001148 x509_crt_init( &cacert );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001149
Paul Bakkerddf26b42013-09-18 13:46:23 +02001150 ret = x509_crt_parse( &cacert, (const unsigned char *) test_ca_crt,
1151 strlen( test_ca_crt ) );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001152 if( ret != 0 )
1153 {
1154 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001155 polarssl_printf( "failed\n" );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001156
1157 return( ret );
1158 }
1159
1160 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001161 polarssl_printf( "passed\n X.509 signature verify: ");
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001162
Paul Bakkerddf26b42013-09-18 13:46:23 +02001163 ret = x509_crt_verify( &clicert, &cacert, NULL, NULL, &flags, NULL, NULL );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001164 if( ret != 0 )
1165 {
1166 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001167 polarssl_printf( "failed\n" );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001168
Paul Bakker66d5d072014-06-17 16:39:18 +02001169 polarssl_printf( "ret = %d, &flags = %04x\n", ret, flags );
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001170
1171 return( ret );
1172 }
1173
1174 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001175 polarssl_printf( "passed\n\n");
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001176
1177 x509_crt_free( &cacert );
1178 x509_crt_free( &clicert );
1179
1180 return( 0 );
1181#else
1182 ((void) verbose);
1183 return( POLARSSL_ERR_X509_FEATURE_UNAVAILABLE );
Paul Bakker9af723c2014-05-01 13:03:14 +02001184#endif /* POLARSSL_CERTS_C && POLARSSL_SHA1_C */
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001185}
1186
Paul Bakker9af723c2014-05-01 13:03:14 +02001187#endif /* POLARSSL_SELF_TEST */
Paul Bakkere9e6ae32013-09-16 22:53:25 +02001188
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001189#endif /* POLARSSL_X509_USE_C */