blob: 9edfa0051908610f49b1ec5b1c09f4f1bb4380d9 [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* crypto/asn1/x_x509.c */
2/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 * All rights reserved.
4 *
5 * This package is an SSL implementation written
6 * by Eric Young (eay@cryptsoft.com).
7 * The implementation was written so as to conform with Netscapes SSL.
8 *
9 * This library is free for commercial and non-commercial use as long as
10 * the following conditions are aheared to. The following conditions
11 * apply to all code found in this distribution, be it the RC4, RSA,
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
13 * included with this distribution is covered by the same copyright terms
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15 *
16 * Copyright remains Eric Young's, and as such any Copyright notices in
17 * the code are not to be removed.
18 * If this package is used in a product, Eric Young should be given attribution
19 * as the author of the parts of the library used.
20 * This can be in the form of a textual message at program startup or
21 * in documentation (online or textual) provided with the package.
22 *
23 * Redistribution and use in source and binary forms, with or without
24 * modification, are permitted provided that the following conditions
25 * are met:
26 * 1. Redistributions of source code must retain the copyright
27 * notice, this list of conditions and the following disclaimer.
28 * 2. Redistributions in binary form must reproduce the above copyright
29 * notice, this list of conditions and the following disclaimer in the
30 * documentation and/or other materials provided with the distribution.
31 * 3. All advertising materials mentioning features or use of this software
32 * must display the following acknowledgement:
33 * "This product includes cryptographic software written by
34 * Eric Young (eay@cryptsoft.com)"
35 * The word 'cryptographic' can be left out if the rouines from the library
36 * being used are not cryptographic related :-).
37 * 4. If you include any Windows specific code (or a derivative thereof) from
38 * the apps directory (application code) you must include an acknowledgement:
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40 *
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51 * SUCH DAMAGE.
52 *
53 * The licence and distribution terms for any publically available version or
54 * derivative of this code cannot be changed. i.e. this code cannot simply be
55 * copied and put under another distribution licence
56 * [including the GNU Public Licence.] */
57
David Benjamind316cba2016-06-02 16:17:39 -040058#include <assert.h>
Robert Sloan4d1ac502017-02-06 08:36:14 -080059#include <limits.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -080060#include <stdio.h>
61
62#include <openssl/asn1t.h>
63#include <openssl/evp.h>
64#include <openssl/mem.h>
65#include <openssl/obj.h>
Steven Valdez909b19f2016-11-21 15:35:44 -050066#include <openssl/pool.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -080067#include <openssl/thread.h>
68#include <openssl/x509.h>
69#include <openssl/x509v3.h>
70
Adam Langleye9ada862015-05-11 17:20:37 -070071#include "../internal.h"
72
Adam Langleye9ada862015-05-11 17:20:37 -070073static CRYPTO_EX_DATA_CLASS g_ex_data_class = CRYPTO_EX_DATA_CLASS_INIT;
Adam Langleyd9e397b2015-01-22 14:27:53 -080074
75ASN1_SEQUENCE_enc(X509_CINF, enc, 0) = {
David Benjamin4969cc92016-04-22 15:02:23 -040076 ASN1_EXP_OPT(X509_CINF, version, ASN1_INTEGER, 0),
77 ASN1_SIMPLE(X509_CINF, serialNumber, ASN1_INTEGER),
78 ASN1_SIMPLE(X509_CINF, signature, X509_ALGOR),
79 ASN1_SIMPLE(X509_CINF, issuer, X509_NAME),
80 ASN1_SIMPLE(X509_CINF, validity, X509_VAL),
81 ASN1_SIMPLE(X509_CINF, subject, X509_NAME),
82 ASN1_SIMPLE(X509_CINF, key, X509_PUBKEY),
83 ASN1_IMP_OPT(X509_CINF, issuerUID, ASN1_BIT_STRING, 1),
84 ASN1_IMP_OPT(X509_CINF, subjectUID, ASN1_BIT_STRING, 2),
85 ASN1_EXP_SEQUENCE_OF_OPT(X509_CINF, extensions, X509_EXTENSION, 3)
Adam Langleyd9e397b2015-01-22 14:27:53 -080086} ASN1_SEQUENCE_END_enc(X509_CINF, X509_CINF)
87
88IMPLEMENT_ASN1_FUNCTIONS(X509_CINF)
89/* X509 top level structure needs a bit of customisation */
90
91extern void policy_cache_free(X509_POLICY_CACHE *cache);
92
93static int x509_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
David Benjamin4969cc92016-04-22 15:02:23 -040094 void *exarg)
Adam Langleyd9e397b2015-01-22 14:27:53 -080095{
David Benjamin4969cc92016-04-22 15:02:23 -040096 X509 *ret = (X509 *)*pval;
Adam Langleyd9e397b2015-01-22 14:27:53 -080097
David Benjamin4969cc92016-04-22 15:02:23 -040098 switch (operation) {
Adam Langleyd9e397b2015-01-22 14:27:53 -080099
David Benjamin4969cc92016-04-22 15:02:23 -0400100 case ASN1_OP_NEW_POST:
David Benjamin4969cc92016-04-22 15:02:23 -0400101 ret->name = NULL;
102 ret->ex_flags = 0;
103 ret->ex_pathlen = -1;
104 ret->skid = NULL;
105 ret->akid = NULL;
106 ret->aux = NULL;
107 ret->crldp = NULL;
Steven Valdez909b19f2016-11-21 15:35:44 -0500108 ret->buf = NULL;
David Benjamin4969cc92016-04-22 15:02:23 -0400109 CRYPTO_new_ex_data(&ret->ex_data);
David Benjamin1b249672016-12-06 18:25:50 -0500110 CRYPTO_MUTEX_init(&ret->lock);
David Benjamin4969cc92016-04-22 15:02:23 -0400111 break;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800112
Steven Valdez909b19f2016-11-21 15:35:44 -0500113 case ASN1_OP_D2I_PRE:
114 CRYPTO_BUFFER_free(ret->buf);
115 ret->buf = NULL;
116 break;
117
David Benjamin4969cc92016-04-22 15:02:23 -0400118 case ASN1_OP_D2I_POST:
119 if (ret->name != NULL)
120 OPENSSL_free(ret->name);
121 ret->name = X509_NAME_oneline(ret->cert_info->subject, NULL, 0);
122 break;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800123
David Benjamin4969cc92016-04-22 15:02:23 -0400124 case ASN1_OP_FREE_POST:
David Benjamin1b249672016-12-06 18:25:50 -0500125 CRYPTO_MUTEX_cleanup(&ret->lock);
David Benjamin4969cc92016-04-22 15:02:23 -0400126 CRYPTO_free_ex_data(&g_ex_data_class, ret, &ret->ex_data);
127 X509_CERT_AUX_free(ret->aux);
128 ASN1_OCTET_STRING_free(ret->skid);
129 AUTHORITY_KEYID_free(ret->akid);
130 CRL_DIST_POINTS_free(ret->crldp);
131 policy_cache_free(ret->policy_cache);
132 GENERAL_NAMES_free(ret->altname);
133 NAME_CONSTRAINTS_free(ret->nc);
Steven Valdez909b19f2016-11-21 15:35:44 -0500134 CRYPTO_BUFFER_free(ret->buf);
David Benjamin1b249672016-12-06 18:25:50 -0500135 OPENSSL_free(ret->name);
David Benjamin4969cc92016-04-22 15:02:23 -0400136 break;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800137
David Benjamin4969cc92016-04-22 15:02:23 -0400138 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800139
David Benjamin4969cc92016-04-22 15:02:23 -0400140 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800141
142}
143
Adam Langleyf4e42722015-06-04 17:45:09 -0700144ASN1_SEQUENCE_ref(X509, x509_cb) = {
David Benjamin4969cc92016-04-22 15:02:23 -0400145 ASN1_SIMPLE(X509, cert_info, X509_CINF),
146 ASN1_SIMPLE(X509, sig_alg, X509_ALGOR),
147 ASN1_SIMPLE(X509, signature, ASN1_BIT_STRING)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800148} ASN1_SEQUENCE_END_ref(X509, X509)
149
150IMPLEMENT_ASN1_FUNCTIONS(X509)
David Benjamin4969cc92016-04-22 15:02:23 -0400151
Adam Langleyd9e397b2015-01-22 14:27:53 -0800152IMPLEMENT_ASN1_DUP_FUNCTION(X509)
153
Steven Valdez909b19f2016-11-21 15:35:44 -0500154X509 *X509_parse_from_buffer(CRYPTO_BUFFER *buf) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800155 if (CRYPTO_BUFFER_len(buf) > LONG_MAX) {
156 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
157 return 0;
158 }
159
Steven Valdez909b19f2016-11-21 15:35:44 -0500160 X509 *x509 = X509_new();
161 if (x509 == NULL) {
162 return NULL;
163 }
164
165 x509->cert_info->enc.alias_only_on_next_parse = 1;
166
167 const uint8_t *inp = CRYPTO_BUFFER_data(buf);
168 X509 *x509p = x509;
169 X509 *ret = d2i_X509(&x509p, &inp, CRYPTO_BUFFER_len(buf));
170 if (ret == NULL ||
David Benjamin1b249672016-12-06 18:25:50 -0500171 inp - CRYPTO_BUFFER_data(buf) != (ptrdiff_t)CRYPTO_BUFFER_len(buf)) {
172 X509_free(x509p);
Steven Valdez909b19f2016-11-21 15:35:44 -0500173 return NULL;
174 }
175 assert(x509p == x509);
176 assert(ret == x509);
177
178 CRYPTO_BUFFER_up_ref(buf);
179 ret->buf = buf;
180
181 return ret;
182}
183
David Benjaminc895d6b2016-08-11 13:26:41 -0400184int X509_up_ref(X509 *x)
David Benjamin4969cc92016-04-22 15:02:23 -0400185{
186 CRYPTO_refcount_inc(&x->references);
David Benjaminc895d6b2016-08-11 13:26:41 -0400187 return 1;
David Benjamin4969cc92016-04-22 15:02:23 -0400188}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800189
David Benjamin4969cc92016-04-22 15:02:23 -0400190int X509_get_ex_new_index(long argl, void *argp, CRYPTO_EX_unused * unused,
Robert Sloan8ff03552017-06-14 12:40:58 -0700191 CRYPTO_EX_dup *dup_unused, CRYPTO_EX_free *free_func)
David Benjamin4969cc92016-04-22 15:02:23 -0400192{
193 int index;
194 if (!CRYPTO_get_ex_new_index(&g_ex_data_class, &index, argl, argp,
Robert Sloan8ff03552017-06-14 12:40:58 -0700195 free_func)) {
David Benjamin4969cc92016-04-22 15:02:23 -0400196 return -1;
197 }
198 return index;
199}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800200
201int X509_set_ex_data(X509 *r, int idx, void *arg)
David Benjamin4969cc92016-04-22 15:02:23 -0400202{
203 return (CRYPTO_set_ex_data(&r->ex_data, idx, arg));
204}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800205
206void *X509_get_ex_data(X509 *r, int idx)
David Benjamin4969cc92016-04-22 15:02:23 -0400207{
208 return (CRYPTO_get_ex_data(&r->ex_data, idx));
209}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800210
David Benjamin4969cc92016-04-22 15:02:23 -0400211/*
212 * X509_AUX ASN1 routines. X509_AUX is the name given to a certificate with
213 * extra info tagged on the end. Since these functions set how a certificate
214 * is trusted they should only be used when the certificate comes from a
215 * reliable source such as local storage.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800216 */
217
218X509 *d2i_X509_AUX(X509 **a, const unsigned char **pp, long length)
219{
David Benjamin4969cc92016-04-22 15:02:23 -0400220 const unsigned char *q = *pp;
221 X509 *ret;
222 int freeret = 0;
Adam Langleye9ada862015-05-11 17:20:37 -0700223
David Benjamin4969cc92016-04-22 15:02:23 -0400224 if (!a || *a == NULL)
225 freeret = 1;
226 ret = d2i_X509(a, &q, length);
227 /* If certificate unreadable then forget it */
228 if (!ret)
229 return NULL;
230 /* update length */
231 length -= q - *pp;
232 /* Parse auxiliary information if there is any. */
233 if (length > 0 && !d2i_X509_CERT_AUX(&ret->aux, &q, length))
234 goto err;
235 *pp = q;
236 return ret;
237 err:
238 if (freeret) {
239 X509_free(ret);
240 if (a)
241 *a = NULL;
242 }
243 return NULL;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800244}
245
David Benjamind316cba2016-06-02 16:17:39 -0400246/*
247 * Serialize trusted certificate to *pp or just return the required buffer
248 * length if pp == NULL. We ultimately want to avoid modifying *pp in the
249 * error path, but that depends on similar hygiene in lower-level functions.
250 * Here we avoid compounding the problem.
251 */
252static int i2d_x509_aux_internal(X509 *a, unsigned char **pp)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800253{
David Benjamin4969cc92016-04-22 15:02:23 -0400254 int length, tmplen;
David Benjamin9aaebef2016-04-22 15:02:23 -0400255 unsigned char *start = pp != NULL ? *pp : NULL;
David Benjamind316cba2016-06-02 16:17:39 -0400256
257 assert(pp == NULL || *pp != NULL);
258
259 /*
260 * This might perturb *pp on error, but fixing that belongs in i2d_X509()
261 * not here. It should be that if a == NULL length is zero, but we check
262 * both just in case.
263 */
David Benjamin4969cc92016-04-22 15:02:23 -0400264 length = i2d_X509(a, pp);
David Benjamind316cba2016-06-02 16:17:39 -0400265 if (length <= 0 || a == NULL) {
David Benjamin4969cc92016-04-22 15:02:23 -0400266 return length;
267 }
268
269 tmplen = i2d_X509_CERT_AUX(a->aux, pp);
270 if (tmplen < 0) {
David Benjamin9aaebef2016-04-22 15:02:23 -0400271 if (start != NULL)
272 *pp = start;
David Benjamin4969cc92016-04-22 15:02:23 -0400273 return tmplen;
274 }
275 length += tmplen;
276
277 return length;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800278}
279
David Benjamind316cba2016-06-02 16:17:39 -0400280/*
281 * Serialize trusted certificate to *pp, or just return the required buffer
282 * length if pp == NULL.
283 *
284 * When pp is not NULL, but *pp == NULL, we allocate the buffer, but since
285 * we're writing two ASN.1 objects back to back, we can't have i2d_X509() do
286 * the allocation, nor can we allow i2d_X509_CERT_AUX() to increment the
287 * allocated buffer.
288 */
289int i2d_X509_AUX(X509 *a, unsigned char **pp)
290{
291 int length;
292 unsigned char *tmp;
293
294 /* Buffer provided by caller */
295 if (pp == NULL || *pp != NULL)
296 return i2d_x509_aux_internal(a, pp);
297
298 /* Obtain the combined length */
299 if ((length = i2d_x509_aux_internal(a, NULL)) <= 0)
300 return length;
301
302 /* Allocate requisite combined storage */
303 *pp = tmp = OPENSSL_malloc(length);
304 if (tmp == NULL)
305 return -1; /* Push error onto error stack? */
306
307 /* Encode, but keep *pp at the originally malloced pointer */
308 length = i2d_x509_aux_internal(a, &tmp);
309 if (length <= 0) {
310 OPENSSL_free(*pp);
311 *pp = NULL;
312 }
313 return length;
314}
315
Adam Langleyd9e397b2015-01-22 14:27:53 -0800316void X509_get0_signature(ASN1_BIT_STRING **psig, X509_ALGOR **palg,
David Benjamin4969cc92016-04-22 15:02:23 -0400317 const X509 *x)
318{
319 if (psig)
320 *psig = x->signature;
321 if (palg)
322 *palg = x->sig_alg;
323}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800324
325int X509_get_signature_nid(const X509 *x)
David Benjamin4969cc92016-04-22 15:02:23 -0400326{
327 return OBJ_obj2nid(x->sig_alg->algorithm);
328}