blob: c60c6fa22e1779b864cdb05d59958a9f4bf9ebda [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 */
57/* ====================================================================
58 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
59 *
60 * Redistribution and use in source and binary forms, with or without
61 * modification, are permitted provided that the following conditions
62 * are met:
63 *
64 * 1. Redistributions of source code must retain the above copyright
65 * notice, this list of conditions and the following disclaimer.
66 *
67 * 2. Redistributions in binary form must reproduce the above copyright
68 * notice, this list of conditions and the following disclaimer in
69 * the documentation and/or other materials provided with the
70 * distribution.
71 *
72 * 3. All advertising materials mentioning features or use of this
73 * software must display the following acknowledgment:
74 * "This product includes software developed by the OpenSSL Project
75 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
76 *
77 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
78 * endorse or promote products derived from this software without
79 * prior written permission. For written permission, please contact
80 * openssl-core@openssl.org.
81 *
82 * 5. Products derived from this software may not be called "OpenSSL"
83 * nor may "OpenSSL" appear in their names without prior written
84 * permission of the OpenSSL Project.
85 *
86 * 6. Redistributions of any form whatsoever must retain the following
87 * acknowledgment:
88 * "This product includes software developed by the OpenSSL Project
89 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
90 *
91 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
92 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
93 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
94 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
95 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
96 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
97 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
98 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
99 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
100 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
101 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
102 * OF THE POSSIBILITY OF SUCH DAMAGE.
103 * ====================================================================
104 *
105 * This product includes cryptographic software written by Eric Young
106 * (eay@cryptsoft.com). This product includes software written by Tim
107 * Hudson (tjh@cryptsoft.com).
108 *
109 */
110/* ====================================================================
111 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
112 * ECC cipher suite support in OpenSSL originally developed by
113 * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project. */
114
David Benjamin443a1f62015-09-04 15:05:05 -0400115#include <openssl/ssl.h>
116
Steven Valdezbf5aa842016-07-15 07:07:40 -0400117#include <assert.h>
Steven Valdeza833c352016-11-01 13:39:36 -0400118#include <limits.h>
David Benjaminf0ae1702015-04-07 23:05:04 -0400119#include <string.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700120
Adam Langley95c29f32014-06-20 12:00:00 -0700121#include <openssl/bn.h>
David Benjamin676d1e72014-07-08 14:34:10 -0400122#include <openssl/buf.h>
Adam Langleyd5157222016-12-12 11:37:43 -0800123#include <openssl/bytestring.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700124#include <openssl/dh.h>
Adam Langleyd5157222016-12-12 11:37:43 -0800125#include <openssl/ec_key.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700126#include <openssl/err.h>
127#include <openssl/mem.h>
David Benjamin5c900c82016-07-13 23:03:26 -0400128#include <openssl/sha.h>
David Benjamin680ca962015-06-18 12:37:23 -0400129#include <openssl/x509.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700130#include <openssl/x509v3.h>
131
Adam Langley0da323a2015-05-15 12:49:30 -0700132#include "../crypto/internal.h"
David Benjamin2ee94aa2015-04-07 22:38:30 -0400133#include "internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -0700134
Adam Langley95c29f32014-06-20 12:00:00 -0700135
Adam Langleyfcf25832014-12-18 17:42:32 -0800136int SSL_get_ex_data_X509_STORE_CTX_idx(void) {
David Benjaminaa585132015-06-29 23:36:17 -0400137 /* The ex_data index to go from |X509_STORE_CTX| to |SSL| always uses the
138 * reserved app_data slot. Before ex_data was introduced, app_data was used.
139 * Avoid breaking any software which assumes |X509_STORE_CTX_get_app_data|
140 * works. */
141 return 0;
Adam Langleyfcf25832014-12-18 17:42:32 -0800142}
Adam Langley95c29f32014-06-20 12:00:00 -0700143
Adam Langley3509dac2017-02-01 11:59:18 -0800144CERT *ssl_cert_new(const SSL_X509_METHOD *x509_method) {
Brian Smith5ba06892016-02-07 09:36:04 -1000145 CERT *ret = OPENSSL_malloc(sizeof(CERT));
Adam Langleyfcf25832014-12-18 17:42:32 -0800146 if (ret == NULL) {
David Benjamin3570d732015-06-29 00:28:17 -0400147 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800148 return NULL;
149 }
David Benjamin17cf2cb2016-12-13 01:07:13 -0500150 OPENSSL_memset(ret, 0, sizeof(CERT));
Adam Langley3509dac2017-02-01 11:59:18 -0800151 ret->x509_method = x509_method;
Adam Langley95c29f32014-06-20 12:00:00 -0700152
Adam Langleyfcf25832014-12-18 17:42:32 -0800153 return ret;
154}
Adam Langley95c29f32014-06-20 12:00:00 -0700155
Adam Langley3a2b47a2017-01-24 13:59:42 -0800156static CRYPTO_BUFFER *buffer_up_ref(CRYPTO_BUFFER *buffer) {
157 CRYPTO_BUFFER_up_ref(buffer);
158 return buffer;
159}
160
Adam Langleyfcf25832014-12-18 17:42:32 -0800161CERT *ssl_cert_dup(CERT *cert) {
Brian Smith5ba06892016-02-07 09:36:04 -1000162 CERT *ret = OPENSSL_malloc(sizeof(CERT));
Adam Langleyfcf25832014-12-18 17:42:32 -0800163 if (ret == NULL) {
David Benjamin3570d732015-06-29 00:28:17 -0400164 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800165 return NULL;
166 }
David Benjamin17cf2cb2016-12-13 01:07:13 -0500167 OPENSSL_memset(ret, 0, sizeof(CERT));
Adam Langley95c29f32014-06-20 12:00:00 -0700168
Adam Langley3a2b47a2017-01-24 13:59:42 -0800169 ret->chain = sk_CRYPTO_BUFFER_deep_copy(cert->chain, buffer_up_ref,
170 CRYPTO_BUFFER_free);
Adam Langley95c29f32014-06-20 12:00:00 -0700171
David Benjamind1d80782015-07-05 11:54:09 -0400172 if (cert->privatekey != NULL) {
Adam Langley310d3f62016-07-12 10:39:20 -0700173 EVP_PKEY_up_ref(cert->privatekey);
174 ret->privatekey = cert->privatekey;
David Benjamind1d80782015-07-05 11:54:09 -0400175 }
Adam Langley95c29f32014-06-20 12:00:00 -0700176
Tom Thorogood66b2fe82016-03-06 20:08:38 +1030177 ret->key_method = cert->key_method;
Adam Langley3509dac2017-02-01 11:59:18 -0800178 ret->x509_method = cert->x509_method;
Tom Thorogood66b2fe82016-03-06 20:08:38 +1030179
David Benjamin0fc37ef2016-08-17 15:29:46 -0400180 if (cert->dh_tmp != NULL) {
181 ret->dh_tmp = DHparams_dup(cert->dh_tmp);
182 if (ret->dh_tmp == NULL) {
183 OPENSSL_PUT_ERROR(SSL, ERR_R_DH_LIB);
184 goto err;
185 }
186 }
187 ret->dh_tmp_cb = cert->dh_tmp_cb;
188
189 if (cert->sigalgs != NULL) {
190 ret->sigalgs =
191 BUF_memdup(cert->sigalgs, cert->num_sigalgs * sizeof(cert->sigalgs[0]));
192 if (ret->sigalgs == NULL) {
193 goto err;
194 }
195 }
196 ret->num_sigalgs = cert->num_sigalgs;
197
Adam Langleyfcf25832014-12-18 17:42:32 -0800198 ret->cert_cb = cert->cert_cb;
199 ret->cert_cb_arg = cert->cert_cb_arg;
200
Adam Langleyd323f4b2016-03-01 15:58:14 -0800201 if (cert->verify_store != NULL) {
202 X509_STORE_up_ref(cert->verify_store);
203 ret->verify_store = cert->verify_store;
204 }
205
David Benjamin83a32122017-02-14 18:34:54 -0500206 if (cert->signed_cert_timestamp_list != NULL) {
207 CRYPTO_BUFFER_up_ref(cert->signed_cert_timestamp_list);
208 ret->signed_cert_timestamp_list = cert->signed_cert_timestamp_list;
209 }
210
211 if (cert->ocsp_response != NULL) {
212 CRYPTO_BUFFER_up_ref(cert->ocsp_response);
213 ret->ocsp_response = cert->ocsp_response;
214 }
215
David Benjamin5960a902017-02-14 20:07:11 -0500216 ret->sid_ctx_length = cert->sid_ctx_length;
217 OPENSSL_memcpy(ret->sid_ctx, cert->sid_ctx, sizeof(ret->sid_ctx));
218
Adam Langleyfcf25832014-12-18 17:42:32 -0800219 return ret;
220
Adam Langley95c29f32014-06-20 12:00:00 -0700221err:
Adam Langleyfcf25832014-12-18 17:42:32 -0800222 ssl_cert_free(ret);
223 return NULL;
224}
Adam Langley95c29f32014-06-20 12:00:00 -0700225
226/* Free up and clear all certificates and chains */
David Benjamind1d80782015-07-05 11:54:09 -0400227void ssl_cert_clear_certs(CERT *cert) {
228 if (cert == NULL) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800229 return;
230 }
Adam Langley95c29f32014-06-20 12:00:00 -0700231
Adam Langley3509dac2017-02-01 11:59:18 -0800232 cert->x509_method->cert_clear(cert);
Adam Langleye1e78132017-01-31 15:24:31 -0800233
Adam Langley3a2b47a2017-01-24 13:59:42 -0800234 sk_CRYPTO_BUFFER_pop_free(cert->chain, CRYPTO_BUFFER_free);
235 cert->chain = NULL;
David Benjamind1d80782015-07-05 11:54:09 -0400236 EVP_PKEY_free(cert->privatekey);
237 cert->privatekey = NULL;
David Benjamin71d2e542015-07-06 00:30:25 -0400238 cert->key_method = NULL;
Adam Langleyfcf25832014-12-18 17:42:32 -0800239}
Adam Langley95c29f32014-06-20 12:00:00 -0700240
Adam Langleyfcf25832014-12-18 17:42:32 -0800241void ssl_cert_free(CERT *c) {
242 if (c == NULL) {
243 return;
244 }
Adam Langley95c29f32014-06-20 12:00:00 -0700245
David Benjamin2755a3e2015-04-22 16:17:58 -0400246 DH_free(c->dh_tmp);
Adam Langley95c29f32014-06-20 12:00:00 -0700247
Adam Langleyfcf25832014-12-18 17:42:32 -0800248 ssl_cert_clear_certs(c);
David Benjamind246b812016-07-08 15:07:02 -0700249 OPENSSL_free(c->sigalgs);
Adam Langleyd323f4b2016-03-01 15:58:14 -0800250 X509_STORE_free(c->verify_store);
David Benjamin83a32122017-02-14 18:34:54 -0500251 CRYPTO_BUFFER_free(c->signed_cert_timestamp_list);
252 CRYPTO_BUFFER_free(c->ocsp_response);
Adam Langley95c29f32014-06-20 12:00:00 -0700253
Adam Langleyfcf25832014-12-18 17:42:32 -0800254 OPENSSL_free(c);
255}
Adam Langley95c29f32014-06-20 12:00:00 -0700256
David Benjamina2bda9f2016-12-03 23:29:05 -0500257static void ssl_cert_set_cert_cb(CERT *c, int (*cb)(SSL *ssl, void *arg),
258 void *arg) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800259 c->cert_cb = cb;
260 c->cert_cb_arg = arg;
261}
Adam Langley95c29f32014-06-20 12:00:00 -0700262
Adam Langley52940c42017-02-01 12:40:31 -0800263int ssl_set_cert(CERT *cert, CRYPTO_BUFFER *buffer) {
264 CBS cert_cbs;
265 CRYPTO_BUFFER_init_CBS(buffer, &cert_cbs);
266 EVP_PKEY *pubkey = ssl_cert_parse_pubkey(&cert_cbs);
267 if (pubkey == NULL) {
268 return 0;
269 }
270
271 if (!ssl_is_key_type_supported(pubkey->type)) {
272 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_CERTIFICATE_TYPE);
273 EVP_PKEY_free(pubkey);
274 return 0;
275 }
276
277 /* An ECC certificate may be usable for ECDH or ECDSA. We only support ECDSA
278 * certificates, so sanity-check the key usage extension. */
279 if (pubkey->type == EVP_PKEY_EC &&
280 !ssl_cert_check_digital_signature_key_usage(&cert_cbs)) {
281 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_CERTIFICATE_TYPE);
282 EVP_PKEY_free(pubkey);
283 return 0;
284 }
285
286 if (cert->privatekey != NULL) {
287 /* Sanity-check that the private key and the certificate match, unless the
288 * key is opaque (in case of, say, a smartcard). */
289 if (!EVP_PKEY_is_opaque(cert->privatekey) &&
290 !ssl_compare_public_and_private_key(pubkey, cert->privatekey)) {
291 /* don't fail for a cert/key mismatch, just free current private key
292 * (when switching to a different cert & key, first this function should
293 * be used, then ssl_set_pkey */
294 EVP_PKEY_free(cert->privatekey);
295 cert->privatekey = NULL;
296 /* clear error queue */
297 ERR_clear_error();
298 }
299 }
300
301 EVP_PKEY_free(pubkey);
302
303 cert->x509_method->cert_flush_cached_leaf(cert);
304
305 if (cert->chain != NULL) {
306 CRYPTO_BUFFER_free(sk_CRYPTO_BUFFER_value(cert->chain, 0));
307 sk_CRYPTO_BUFFER_set(cert->chain, 0, buffer);
308 CRYPTO_BUFFER_up_ref(buffer);
309 return 1;
310 }
311
312 cert->chain = sk_CRYPTO_BUFFER_new_null();
313 if (cert->chain == NULL) {
314 return 0;
315 }
316
317 if (!sk_CRYPTO_BUFFER_push(cert->chain, buffer)) {
318 sk_CRYPTO_BUFFER_free(cert->chain);
319 cert->chain = NULL;
320 return 0;
321 }
322 CRYPTO_BUFFER_up_ref(buffer);
323
324 return 1;
325}
326
327int SSL_CTX_use_certificate_ASN1(SSL_CTX *ctx, size_t der_len,
328 const uint8_t *der) {
329 CRYPTO_BUFFER *buffer = CRYPTO_BUFFER_new(der, der_len, NULL);
330 if (buffer == NULL) {
331 return 0;
332 }
333
334 const int ok = ssl_set_cert(ctx->cert, buffer);
335 CRYPTO_BUFFER_free(buffer);
336 return ok;
337}
338
339int SSL_use_certificate_ASN1(SSL *ssl, const uint8_t *der, size_t der_len) {
340 CRYPTO_BUFFER *buffer = CRYPTO_BUFFER_new(der, der_len, NULL);
341 if (buffer == NULL) {
342 return 0;
343 }
344
345 const int ok = ssl_set_cert(ssl->cert, buffer);
346 CRYPTO_BUFFER_free(buffer);
347 return ok;
348}
349
David Benjamin7aa31d62016-08-08 21:38:32 -0400350int ssl_verify_cert_chain(SSL *ssl, long *out_verify_result,
351 STACK_OF(X509) *cert_chain) {
David Benjamin306ece32015-09-17 13:46:22 -0400352 if (cert_chain == NULL || sk_X509_num(cert_chain) == 0) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800353 return 0;
354 }
Adam Langley95c29f32014-06-20 12:00:00 -0700355
Adam Langleyd323f4b2016-03-01 15:58:14 -0800356 X509_STORE *verify_store = ssl->ctx->cert_store;
357 if (ssl->cert->verify_store != NULL) {
358 verify_store = ssl->cert->verify_store;
359 }
360
David Benjamin306ece32015-09-17 13:46:22 -0400361 X509 *leaf = sk_X509_value(cert_chain, 0);
362 int ret = 0;
363 X509_STORE_CTX ctx;
Adam Langleyd323f4b2016-03-01 15:58:14 -0800364 if (!X509_STORE_CTX_init(&ctx, verify_store, leaf, cert_chain)) {
David Benjamin3570d732015-06-29 00:28:17 -0400365 OPENSSL_PUT_ERROR(SSL, ERR_R_X509_LIB);
Adam Langleyfcf25832014-12-18 17:42:32 -0800366 return 0;
367 }
David Benjamin306ece32015-09-17 13:46:22 -0400368 if (!X509_STORE_CTX_set_ex_data(&ctx, SSL_get_ex_data_X509_STORE_CTX_idx(),
369 ssl)) {
370 goto err;
371 }
Adam Langley95c29f32014-06-20 12:00:00 -0700372
Adam Langleyfcf25832014-12-18 17:42:32 -0800373 /* We need to inherit the verify parameters. These can be determined by the
374 * context: if its a server it will verify SSL client certificates or vice
375 * versa. */
David Benjamin306ece32015-09-17 13:46:22 -0400376 X509_STORE_CTX_set_default(&ctx, ssl->server ? "ssl_client" : "ssl_server");
Adam Langley95c29f32014-06-20 12:00:00 -0700377
Adam Langleyfcf25832014-12-18 17:42:32 -0800378 /* Anything non-default in "param" should overwrite anything in the ctx. */
David Benjamin306ece32015-09-17 13:46:22 -0400379 X509_VERIFY_PARAM_set1(X509_STORE_CTX_get0_param(&ctx), ssl->param);
Adam Langley95c29f32014-06-20 12:00:00 -0700380
David Benjamin306ece32015-09-17 13:46:22 -0400381 if (ssl->verify_callback) {
382 X509_STORE_CTX_set_verify_cb(&ctx, ssl->verify_callback);
Adam Langleyfcf25832014-12-18 17:42:32 -0800383 }
Adam Langley95c29f32014-06-20 12:00:00 -0700384
David Benjamine455e512016-08-01 20:11:13 -0400385 int verify_ret;
David Benjamin306ece32015-09-17 13:46:22 -0400386 if (ssl->ctx->app_verify_callback != NULL) {
David Benjamine455e512016-08-01 20:11:13 -0400387 verify_ret = ssl->ctx->app_verify_callback(&ctx, ssl->ctx->app_verify_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800388 } else {
David Benjamine455e512016-08-01 20:11:13 -0400389 verify_ret = X509_verify_cert(&ctx);
Adam Langleyfcf25832014-12-18 17:42:32 -0800390 }
Adam Langley95c29f32014-06-20 12:00:00 -0700391
Adam Langleya6cd1852016-08-26 09:38:13 -0700392 *out_verify_result = ctx.error;
393
David Benjamine455e512016-08-01 20:11:13 -0400394 /* If |SSL_VERIFY_NONE|, the error is non-fatal, but we keep the result. */
395 if (verify_ret <= 0 && ssl->verify_mode != SSL_VERIFY_NONE) {
David Benjamin7aa31d62016-08-08 21:38:32 -0400396 ssl3_send_alert(ssl, SSL3_AL_FATAL, ssl_verify_alarm_type(ctx.error));
David Benjamine455e512016-08-01 20:11:13 -0400397 OPENSSL_PUT_ERROR(SSL, SSL_R_CERTIFICATE_VERIFY_FAILED);
398 goto err;
399 }
400
401 ERR_clear_error();
402 ret = 1;
403
David Benjamin306ece32015-09-17 13:46:22 -0400404err:
405 X509_STORE_CTX_cleanup(&ctx);
406 return ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800407}
Adam Langley95c29f32014-06-20 12:00:00 -0700408
David Benjamin60da0cd2015-05-03 15:21:28 -0400409static void set_client_CA_list(STACK_OF(X509_NAME) **ca_list,
410 STACK_OF(X509_NAME) *name_list) {
David Benjamin2755a3e2015-04-22 16:17:58 -0400411 sk_X509_NAME_pop_free(*ca_list, X509_NAME_free);
Adam Langleyfcf25832014-12-18 17:42:32 -0800412 *ca_list = name_list;
413}
Adam Langley95c29f32014-06-20 12:00:00 -0700414
David Benjamin59937042015-09-19 13:04:22 -0400415STACK_OF(X509_NAME) *SSL_dup_CA_list(STACK_OF(X509_NAME) *list) {
416 STACK_OF(X509_NAME) *ret = sk_X509_NAME_new_null();
417 if (ret == NULL) {
418 return NULL;
419 }
Adam Langleyfcf25832014-12-18 17:42:32 -0800420
David Benjamin54091232016-09-05 12:47:25 -0400421 for (size_t i = 0; i < sk_X509_NAME_num(list); i++) {
David Benjamin59937042015-09-19 13:04:22 -0400422 X509_NAME *name = X509_NAME_dup(sk_X509_NAME_value(list, i));
Adam Langleyfcf25832014-12-18 17:42:32 -0800423 if (name == NULL || !sk_X509_NAME_push(ret, name)) {
David Benjamin59937042015-09-19 13:04:22 -0400424 X509_NAME_free(name);
Adam Langleyfcf25832014-12-18 17:42:32 -0800425 sk_X509_NAME_pop_free(ret, X509_NAME_free);
426 return NULL;
427 }
428 }
429
430 return ret;
431}
432
David Benjamin59937042015-09-19 13:04:22 -0400433void SSL_set_client_CA_list(SSL *ssl, STACK_OF(X509_NAME) *name_list) {
434 set_client_CA_list(&ssl->client_CA, name_list);
Adam Langleyfcf25832014-12-18 17:42:32 -0800435}
436
David Benjamin60da0cd2015-05-03 15:21:28 -0400437void SSL_CTX_set_client_CA_list(SSL_CTX *ctx, STACK_OF(X509_NAME) *name_list) {
David Benjamin59937042015-09-19 13:04:22 -0400438 set_client_CA_list(&ctx->client_CA, name_list);
Adam Langleyfcf25832014-12-18 17:42:32 -0800439}
440
David Benjamin60da0cd2015-05-03 15:21:28 -0400441STACK_OF(X509_NAME) *SSL_CTX_get_client_CA_list(const SSL_CTX *ctx) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800442 return ctx->client_CA;
443}
444
David Benjamin1d128f32015-09-08 17:41:40 -0400445STACK_OF(X509_NAME) *SSL_get_client_CA_list(const SSL *ssl) {
446 /* For historical reasons, this function is used both to query configuration
447 * state on a server as well as handshake state on a client. However, whether
448 * |ssl| is a client or server is not known until explicitly configured with
449 * |SSL_set_connect_state|. If |handshake_func| is NULL, |ssl| is in an
450 * indeterminate mode and |ssl->server| is unset. */
451 if (ssl->handshake_func != NULL && !ssl->server) {
David Benjamina0486782016-10-06 19:11:32 -0400452 if (ssl->s3->hs != NULL) {
453 return ssl->s3->hs->ca_names;
454 }
455
456 return NULL;
Adam Langleyfcf25832014-12-18 17:42:32 -0800457 }
David Benjamin1d128f32015-09-08 17:41:40 -0400458
459 if (ssl->client_CA != NULL) {
460 return ssl->client_CA;
461 }
462 return ssl->ctx->client_CA;
Adam Langleyfcf25832014-12-18 17:42:32 -0800463}
464
David Benjamin59937042015-09-19 13:04:22 -0400465static int add_client_CA(STACK_OF(X509_NAME) **sk, X509 *x509) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800466 X509_NAME *name;
467
David Benjamin59937042015-09-19 13:04:22 -0400468 if (x509 == NULL) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800469 return 0;
470 }
471 if (*sk == NULL) {
472 *sk = sk_X509_NAME_new_null();
473 if (*sk == NULL) {
474 return 0;
475 }
476 }
477
David Benjamin59937042015-09-19 13:04:22 -0400478 name = X509_NAME_dup(X509_get_subject_name(x509));
Adam Langleyfcf25832014-12-18 17:42:32 -0800479 if (name == NULL) {
480 return 0;
481 }
482
483 if (!sk_X509_NAME_push(*sk, name)) {
484 X509_NAME_free(name);
485 return 0;
486 }
487
488 return 1;
489}
490
David Benjamin59937042015-09-19 13:04:22 -0400491int SSL_add_client_CA(SSL *ssl, X509 *x509) {
492 return add_client_CA(&ssl->client_CA, x509);
Adam Langleyfcf25832014-12-18 17:42:32 -0800493}
494
David Benjamin59937042015-09-19 13:04:22 -0400495int SSL_CTX_add_client_CA(SSL_CTX *ctx, X509 *x509) {
496 return add_client_CA(&ctx->client_CA, x509);
Adam Langleyfcf25832014-12-18 17:42:32 -0800497}
498
David Benjamin32a66d52016-07-13 22:03:11 -0400499int ssl_has_certificate(const SSL *ssl) {
Adam Langley3a2b47a2017-01-24 13:59:42 -0800500 return ssl->cert->chain != NULL &&
501 sk_CRYPTO_BUFFER_value(ssl->cert->chain, 0) != NULL &&
502 ssl_has_private_key(ssl);
David Benjamin32a66d52016-07-13 22:03:11 -0400503}
504
Adam Langley68e71242016-12-12 11:06:16 -0800505STACK_OF(CRYPTO_BUFFER) *ssl_parse_cert_chain(uint8_t *out_alert,
Adam Langleyd5157222016-12-12 11:37:43 -0800506 EVP_PKEY **out_pubkey,
Adam Langley68e71242016-12-12 11:06:16 -0800507 uint8_t *out_leaf_sha256,
Adam Langleyd519bf62016-12-12 11:16:44 -0800508 CBS *cbs,
509 CRYPTO_BUFFER_POOL *pool) {
Adam Langleyd5157222016-12-12 11:37:43 -0800510 *out_pubkey = NULL;
511
Adam Langley68e71242016-12-12 11:06:16 -0800512 STACK_OF(CRYPTO_BUFFER) *ret = sk_CRYPTO_BUFFER_new_null();
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800513 if (ret == NULL) {
David Benjamin5c900c82016-07-13 23:03:26 -0400514 *out_alert = SSL_AD_INTERNAL_ERROR;
515 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800516 return NULL;
David Benjamin5c900c82016-07-13 23:03:26 -0400517 }
518
David Benjamin5c900c82016-07-13 23:03:26 -0400519 CBS certificate_list;
520 if (!CBS_get_u24_length_prefixed(cbs, &certificate_list)) {
521 *out_alert = SSL_AD_DECODE_ERROR;
522 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
523 goto err;
524 }
525
526 while (CBS_len(&certificate_list) > 0) {
527 CBS certificate;
Adam Langley68e71242016-12-12 11:06:16 -0800528 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
529 CBS_len(&certificate) == 0) {
David Benjamin5c900c82016-07-13 23:03:26 -0400530 *out_alert = SSL_AD_DECODE_ERROR;
531 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
532 goto err;
533 }
534
Adam Langleyd5157222016-12-12 11:37:43 -0800535 if (sk_CRYPTO_BUFFER_num(ret) == 0) {
536 *out_pubkey = ssl_cert_parse_pubkey(&certificate);
537 if (*out_pubkey == NULL) {
Adam Langley7dccc712017-02-08 08:51:25 -0800538 *out_alert = SSL_AD_DECODE_ERROR;
Adam Langleyd5157222016-12-12 11:37:43 -0800539 goto err;
540 }
541
542 /* Retain the hash of the leaf certificate if requested. */
543 if (out_leaf_sha256 != NULL) {
544 SHA256(CBS_data(&certificate), CBS_len(&certificate), out_leaf_sha256);
545 }
David Benjamin5c900c82016-07-13 23:03:26 -0400546 }
547
Adam Langleyd519bf62016-12-12 11:16:44 -0800548 CRYPTO_BUFFER *buf =
549 CRYPTO_BUFFER_new_from_CBS(&certificate, pool);
Adam Langley68e71242016-12-12 11:06:16 -0800550 if (buf == NULL) {
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800551 *out_alert = SSL_AD_DECODE_ERROR;
552 goto err;
553 }
Adam Langley68e71242016-12-12 11:06:16 -0800554
555 if (!sk_CRYPTO_BUFFER_push(ret, buf)) {
David Benjamin5c900c82016-07-13 23:03:26 -0400556 *out_alert = SSL_AD_INTERNAL_ERROR;
Adam Langley68e71242016-12-12 11:06:16 -0800557 CRYPTO_BUFFER_free(buf);
David Benjamin5c900c82016-07-13 23:03:26 -0400558 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
559 goto err;
560 }
David Benjamin5c900c82016-07-13 23:03:26 -0400561 }
562
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800563 return ret;
David Benjamin5c900c82016-07-13 23:03:26 -0400564
565err:
Adam Langleyd5157222016-12-12 11:37:43 -0800566 EVP_PKEY_free(*out_pubkey);
567 *out_pubkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800568 sk_CRYPTO_BUFFER_pop_free(ret, CRYPTO_BUFFER_free);
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800569 return NULL;
David Benjamin5c900c82016-07-13 23:03:26 -0400570}
571
David Benjamin75836432016-06-17 18:48:29 -0400572int ssl_add_cert_chain(SSL *ssl, CBB *cbb) {
David Benjamin32a66d52016-07-13 22:03:11 -0400573 if (!ssl_has_certificate(ssl)) {
574 return CBB_add_u24(cbb, 0);
575 }
576
Adam Langley3a2b47a2017-01-24 13:59:42 -0800577 CBB certs;
578 if (!CBB_add_u24_length_prefixed(cbb, &certs)) {
579 goto err;
David Benjamin75836432016-06-17 18:48:29 -0400580 }
581
Adam Langley3a2b47a2017-01-24 13:59:42 -0800582 STACK_OF(CRYPTO_BUFFER) *chain = ssl->cert->chain;
583 for (size_t i = 0; i < sk_CRYPTO_BUFFER_num(chain); i++) {
584 CRYPTO_BUFFER *buffer = sk_CRYPTO_BUFFER_value(chain, i);
585 CBB child;
586 if (!CBB_add_u24_length_prefixed(&certs, &child) ||
587 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(buffer),
588 CRYPTO_BUFFER_len(buffer)) ||
589 !CBB_flush(&certs)) {
590 goto err;
Adam Langleyfcf25832014-12-18 17:42:32 -0800591 }
592 }
593
David Benjamin75836432016-06-17 18:48:29 -0400594 return CBB_flush(cbb);
Adam Langley3a2b47a2017-01-24 13:59:42 -0800595
596err:
597 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
598 return 0;
Adam Langleyfcf25832014-12-18 17:42:32 -0800599}
Adam Langley95c29f32014-06-20 12:00:00 -0700600
Adam Langley05672202016-12-13 12:05:49 -0800601/* ssl_cert_skip_to_spki parses a DER-encoded, X.509 certificate from |in| and
602 * positions |*out_tbs_cert| to cover the TBSCertificate, starting at the
603 * subjectPublicKeyInfo. */
604static int ssl_cert_skip_to_spki(const CBS *in, CBS *out_tbs_cert) {
Adam Langleyd5157222016-12-12 11:37:43 -0800605 /* From RFC 5280, section 4.1
606 * Certificate ::= SEQUENCE {
607 * tbsCertificate TBSCertificate,
608 * signatureAlgorithm AlgorithmIdentifier,
609 * signatureValue BIT STRING }
610
611 * TBSCertificate ::= SEQUENCE {
612 * version [0] EXPLICIT Version DEFAULT v1,
613 * serialNumber CertificateSerialNumber,
614 * signature AlgorithmIdentifier,
615 * issuer Name,
616 * validity Validity,
617 * subject Name,
618 * subjectPublicKeyInfo SubjectPublicKeyInfo,
619 * ... } */
620 CBS buf = *in;
621
Adam Langley05672202016-12-13 12:05:49 -0800622 CBS toplevel;
Adam Langleyd5157222016-12-12 11:37:43 -0800623 if (!CBS_get_asn1(&buf, &toplevel, CBS_ASN1_SEQUENCE) ||
624 CBS_len(&buf) != 0 ||
Adam Langley05672202016-12-13 12:05:49 -0800625 !CBS_get_asn1(&toplevel, out_tbs_cert, CBS_ASN1_SEQUENCE) ||
Adam Langleyd5157222016-12-12 11:37:43 -0800626 /* version */
627 !CBS_get_optional_asn1(
Adam Langley05672202016-12-13 12:05:49 -0800628 out_tbs_cert, NULL, NULL,
Adam Langleyd5157222016-12-12 11:37:43 -0800629 CBS_ASN1_CONSTRUCTED | CBS_ASN1_CONTEXT_SPECIFIC | 0) ||
630 /* serialNumber */
Adam Langley05672202016-12-13 12:05:49 -0800631 !CBS_get_asn1(out_tbs_cert, NULL, CBS_ASN1_INTEGER) ||
Adam Langleyd5157222016-12-12 11:37:43 -0800632 /* signature algorithm */
Adam Langley05672202016-12-13 12:05:49 -0800633 !CBS_get_asn1(out_tbs_cert, NULL, CBS_ASN1_SEQUENCE) ||
Adam Langleyd5157222016-12-12 11:37:43 -0800634 /* issuer */
Adam Langley05672202016-12-13 12:05:49 -0800635 !CBS_get_asn1(out_tbs_cert, NULL, CBS_ASN1_SEQUENCE) ||
Adam Langleyd5157222016-12-12 11:37:43 -0800636 /* validity */
Adam Langley05672202016-12-13 12:05:49 -0800637 !CBS_get_asn1(out_tbs_cert, NULL, CBS_ASN1_SEQUENCE) ||
Adam Langleyd5157222016-12-12 11:37:43 -0800638 /* subject */
Adam Langley05672202016-12-13 12:05:49 -0800639 !CBS_get_asn1(out_tbs_cert, NULL, CBS_ASN1_SEQUENCE)) {
640 return 0;
641 }
642
643 return 1;
644}
645
646EVP_PKEY *ssl_cert_parse_pubkey(const CBS *in) {
David Benjamin5b410b62017-01-03 08:08:57 -0500647 CBS buf = *in, tbs_cert;
648 if (!ssl_cert_skip_to_spki(&buf, &tbs_cert)) {
Adam Langleyd5157222016-12-12 11:37:43 -0800649 OPENSSL_PUT_ERROR(SSL, SSL_R_CANNOT_PARSE_LEAF_CERT);
650 return NULL;
651 }
652
David Benjamin5b410b62017-01-03 08:08:57 -0500653 return EVP_parse_public_key(&tbs_cert);
Adam Langleyd5157222016-12-12 11:37:43 -0800654}
655
Adam Langleyc26692c2017-01-25 09:34:42 -0800656int ssl_compare_public_and_private_key(const EVP_PKEY *pubkey,
657 const EVP_PKEY *privkey) {
Adam Langley3a2b47a2017-01-24 13:59:42 -0800658 int ret = 0;
659
660 switch (EVP_PKEY_cmp(pubkey, privkey)) {
661 case 1:
662 ret = 1;
663 break;
664 case 0:
665 OPENSSL_PUT_ERROR(X509, X509_R_KEY_VALUES_MISMATCH);
666 break;
667 case -1:
668 OPENSSL_PUT_ERROR(X509, X509_R_KEY_TYPE_MISMATCH);
669 break;
670 case -2:
671 OPENSSL_PUT_ERROR(X509, X509_R_UNKNOWN_KEY_TYPE);
672 default:
673 assert(0);
674 break;
675 }
676
Adam Langley3a2b47a2017-01-24 13:59:42 -0800677 return ret;
678}
679
680int ssl_cert_check_private_key(const CERT *cert, const EVP_PKEY *privkey) {
681 if (privkey == NULL) {
682 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_PRIVATE_KEY_ASSIGNED);
683 return 0;
684 }
685
686 if (cert->chain == NULL ||
687 sk_CRYPTO_BUFFER_value(cert->chain, 0) == NULL) {
688 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_ASSIGNED);
689 return 0;
690 }
691
Adam Langleyc26692c2017-01-25 09:34:42 -0800692 CBS cert_cbs;
693 CRYPTO_BUFFER_init_CBS(sk_CRYPTO_BUFFER_value(cert->chain, 0), &cert_cbs);
694 EVP_PKEY *pubkey = ssl_cert_parse_pubkey(&cert_cbs);
695 if (!pubkey) {
696 OPENSSL_PUT_ERROR(X509, X509_R_UNKNOWN_KEY_TYPE);
697 return 0;
698 }
699
700 const int ok = ssl_compare_public_and_private_key(pubkey, privkey);
701 EVP_PKEY_free(pubkey);
702 return ok;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800703}
704
Adam Langley05672202016-12-13 12:05:49 -0800705int ssl_cert_check_digital_signature_key_usage(const CBS *in) {
706 CBS buf = *in;
707
708 CBS tbs_cert, outer_extensions;
709 int has_extensions;
710 if (!ssl_cert_skip_to_spki(&buf, &tbs_cert) ||
711 /* subjectPublicKeyInfo */
712 !CBS_get_asn1(&tbs_cert, NULL, CBS_ASN1_SEQUENCE) ||
713 /* issuerUniqueID */
714 !CBS_get_optional_asn1(
715 &tbs_cert, NULL, NULL,
716 CBS_ASN1_CONSTRUCTED | CBS_ASN1_CONTEXT_SPECIFIC | 1) ||
717 /* subjectUniqueID */
718 !CBS_get_optional_asn1(
719 &tbs_cert, NULL, NULL,
720 CBS_ASN1_CONSTRUCTED | CBS_ASN1_CONTEXT_SPECIFIC | 2) ||
721 !CBS_get_optional_asn1(
722 &tbs_cert, &outer_extensions, &has_extensions,
723 CBS_ASN1_CONSTRUCTED | CBS_ASN1_CONTEXT_SPECIFIC | 3)) {
724 goto parse_err;
725 }
726
727 if (!has_extensions) {
728 return 1;
729 }
730
731 CBS extensions;
732 if (!CBS_get_asn1(&outer_extensions, &extensions, CBS_ASN1_SEQUENCE)) {
733 goto parse_err;
734 }
735
736 while (CBS_len(&extensions) > 0) {
737 CBS extension, oid, contents;
738 if (!CBS_get_asn1(&extensions, &extension, CBS_ASN1_SEQUENCE) ||
739 !CBS_get_asn1(&extension, &oid, CBS_ASN1_OBJECT) ||
740 (CBS_peek_asn1_tag(&extension, CBS_ASN1_BOOLEAN) &&
741 !CBS_get_asn1(&extension, NULL, CBS_ASN1_BOOLEAN)) ||
742 !CBS_get_asn1(&extension, &contents, CBS_ASN1_OCTETSTRING) ||
743 CBS_len(&extension) != 0) {
744 goto parse_err;
745 }
746
747 static const uint8_t kKeyUsageOID[3] = {0x55, 0x1d, 0x0f};
748 if (CBS_len(&oid) != sizeof(kKeyUsageOID) ||
David Benjamin17cf2cb2016-12-13 01:07:13 -0500749 OPENSSL_memcmp(CBS_data(&oid), kKeyUsageOID, sizeof(kKeyUsageOID)) !=
750 0) {
Adam Langley05672202016-12-13 12:05:49 -0800751 continue;
752 }
753
754 CBS bit_string;
755 if (!CBS_get_asn1(&contents, &bit_string, CBS_ASN1_BITSTRING) ||
756 CBS_len(&contents) != 0) {
757 goto parse_err;
758 }
759
760 /* This is the KeyUsage extension. See
761 * https://tools.ietf.org/html/rfc5280#section-4.2.1.3 */
762 if (!CBS_is_valid_asn1_bitstring(&bit_string)) {
763 goto parse_err;
764 }
765
766 if (!CBS_asn1_bitstring_has_bit(&bit_string, 0)) {
767 OPENSSL_PUT_ERROR(SSL, SSL_R_ECC_CERT_NOT_FOR_SIGNING);
768 return 0;
769 }
770
771 return 1;
772 }
773
774 /* No KeyUsage extension found. */
775 return 1;
776
777parse_err:
778 OPENSSL_PUT_ERROR(SSL, SSL_R_CANNOT_PARSE_LEAF_CERT);
779 return 0;
780}
781
David Benjamine0332e82016-07-13 22:40:36 -0400782static int ca_dn_cmp(const X509_NAME **a, const X509_NAME **b) {
783 return X509_NAME_cmp(*a, *b);
784}
785
786STACK_OF(X509_NAME) *
787 ssl_parse_client_CA_list(SSL *ssl, uint8_t *out_alert, CBS *cbs) {
788 STACK_OF(X509_NAME) *ret = sk_X509_NAME_new(ca_dn_cmp);
789 X509_NAME *name = NULL;
790 if (ret == NULL) {
791 *out_alert = SSL_AD_INTERNAL_ERROR;
792 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
793 return NULL;
794 }
795
796 CBS child;
797 if (!CBS_get_u16_length_prefixed(cbs, &child)) {
798 *out_alert = SSL_AD_DECODE_ERROR;
799 OPENSSL_PUT_ERROR(SSL, SSL_R_LENGTH_MISMATCH);
800 goto err;
801 }
802
803 while (CBS_len(&child) > 0) {
804 CBS distinguished_name;
805 if (!CBS_get_u16_length_prefixed(&child, &distinguished_name)) {
806 *out_alert = SSL_AD_DECODE_ERROR;
807 OPENSSL_PUT_ERROR(SSL, SSL_R_CA_DN_TOO_LONG);
808 goto err;
809 }
810
811 const uint8_t *ptr = CBS_data(&distinguished_name);
812 /* A u16 length cannot overflow a long. */
813 name = d2i_X509_NAME(NULL, &ptr, (long)CBS_len(&distinguished_name));
814 if (name == NULL ||
815 ptr != CBS_data(&distinguished_name) + CBS_len(&distinguished_name)) {
816 *out_alert = SSL_AD_DECODE_ERROR;
817 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
818 goto err;
819 }
820
821 if (!sk_X509_NAME_push(ret, name)) {
822 *out_alert = SSL_AD_INTERNAL_ERROR;
823 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
824 goto err;
825 }
826 name = NULL;
827 }
828
829 return ret;
830
831err:
832 X509_NAME_free(name);
833 sk_X509_NAME_pop_free(ret, X509_NAME_free);
834 return NULL;
835}
836
David Benjamin32a66d52016-07-13 22:03:11 -0400837int ssl_add_client_CA_list(SSL *ssl, CBB *cbb) {
838 CBB child, name_cbb;
839 if (!CBB_add_u16_length_prefixed(cbb, &child)) {
840 return 0;
841 }
842
843 STACK_OF(X509_NAME) *sk = SSL_get_client_CA_list(ssl);
844 if (sk == NULL) {
845 return CBB_flush(cbb);
846 }
847
848 for (size_t i = 0; i < sk_X509_NAME_num(sk); i++) {
849 X509_NAME *name = sk_X509_NAME_value(sk, i);
850 int len = i2d_X509_NAME(name, NULL);
851 if (len < 0) {
852 return 0;
853 }
854 uint8_t *ptr;
855 if (!CBB_add_u16_length_prefixed(&child, &name_cbb) ||
856 !CBB_add_space(&name_cbb, &ptr, (size_t)len) ||
857 (len > 0 && i2d_X509_NAME(name, &ptr) < 0)) {
858 return 0;
859 }
860 }
861
862 return CBB_flush(cbb);
863}
864
Adam Langleyd323f4b2016-03-01 15:58:14 -0800865static int set_cert_store(X509_STORE **store_ptr, X509_STORE *new_store, int take_ref) {
866 X509_STORE_free(*store_ptr);
867 *store_ptr = new_store;
868
869 if (new_store != NULL && take_ref) {
870 X509_STORE_up_ref(new_store);
871 }
872
873 return 1;
874}
875
876int SSL_CTX_set0_verify_cert_store(SSL_CTX *ctx, X509_STORE *store) {
877 return set_cert_store(&ctx->cert->verify_store, store, 0);
878}
879
880int SSL_CTX_set1_verify_cert_store(SSL_CTX *ctx, X509_STORE *store) {
881 return set_cert_store(&ctx->cert->verify_store, store, 1);
882}
883
884int SSL_set0_verify_cert_store(SSL *ssl, X509_STORE *store) {
885 return set_cert_store(&ssl->cert->verify_store, store, 0);
886}
887
888int SSL_set1_verify_cert_store(SSL *ssl, X509_STORE *store) {
889 return set_cert_store(&ssl->cert->verify_store, store, 1);
890}
891
David Benjamina2bda9f2016-12-03 23:29:05 -0500892void SSL_CTX_set_cert_cb(SSL_CTX *ctx, int (*cb)(SSL *ssl, void *arg),
893 void *arg) {
894 ssl_cert_set_cert_cb(ctx->cert, cb, arg);
895}
896
897void SSL_set_cert_cb(SSL *ssl, int (*cb)(SSL *ssl, void *arg), void *arg) {
898 ssl_cert_set_cert_cb(ssl->cert, cb, arg);
899}
900
David Benjamin45738dd2017-02-09 20:01:26 -0500901int ssl_check_leaf_certificate(SSL_HANDSHAKE *hs, EVP_PKEY *pkey,
Adam Langley05672202016-12-13 12:05:49 -0800902 const CRYPTO_BUFFER *leaf) {
David Benjamin45738dd2017-02-09 20:01:26 -0500903 SSL *const ssl = hs->ssl;
David Benjamin938fa7c2016-10-07 00:27:05 -0400904 assert(ssl3_protocol_version(ssl) < TLS1_3_VERSION);
905
Steven Valdezbf5aa842016-07-15 07:07:40 -0400906 /* Check the certificate's type matches the cipher. */
David Benjamin45738dd2017-02-09 20:01:26 -0500907 int expected_type = ssl_cipher_get_key_type(hs->new_cipher);
Steven Valdezbf5aa842016-07-15 07:07:40 -0400908 assert(expected_type != EVP_PKEY_NONE);
909 if (pkey->type != expected_type) {
910 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CERTIFICATE_TYPE);
Adam Langley05672202016-12-13 12:05:49 -0800911 return 0;
Steven Valdezbf5aa842016-07-15 07:07:40 -0400912 }
913
David Benjamin45738dd2017-02-09 20:01:26 -0500914 if (hs->new_cipher->algorithm_auth & SSL_aECDSA) {
Adam Langley05672202016-12-13 12:05:49 -0800915 CBS leaf_cbs;
916 CBS_init(&leaf_cbs, CRYPTO_BUFFER_data(leaf), CRYPTO_BUFFER_len(leaf));
917 /* ECDSA and ECDH certificates use the same public key format. Instead,
918 * they are distinguished by the key usage extension in the certificate. */
919 if (!ssl_cert_check_digital_signature_key_usage(&leaf_cbs)) {
920 return 0;
Steven Valdezbf5aa842016-07-15 07:07:40 -0400921 }
922
David Benjamin938fa7c2016-10-07 00:27:05 -0400923 EC_KEY *ec_key = EVP_PKEY_get0_EC_KEY(pkey);
924 if (ec_key == NULL) {
925 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_ECC_CERT);
Adam Langley05672202016-12-13 12:05:49 -0800926 return 0;
David Benjamin938fa7c2016-10-07 00:27:05 -0400927 }
928
929 /* Check the key's group and point format are acceptable. */
930 uint16_t group_id;
931 if (!ssl_nid_to_group_id(
932 &group_id, EC_GROUP_get_curve_name(EC_KEY_get0_group(ec_key))) ||
933 !tls1_check_group_id(ssl, group_id) ||
934 EC_KEY_get_conv_form(ec_key) != POINT_CONVERSION_UNCOMPRESSED) {
Steven Valdezbf5aa842016-07-15 07:07:40 -0400935 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_ECC_CERT);
Adam Langley05672202016-12-13 12:05:49 -0800936 return 0;
Steven Valdezbf5aa842016-07-15 07:07:40 -0400937 }
938 }
939
Adam Langley05672202016-12-13 12:05:49 -0800940 return 1;
Steven Valdezbf5aa842016-07-15 07:07:40 -0400941}
David Benjamin5edfc8c2016-12-10 15:46:58 -0500942
943static int do_client_cert_cb(SSL *ssl, void *arg) {
944 if (ssl_has_certificate(ssl) || ssl->ctx->client_cert_cb == NULL) {
945 return 1;
946 }
947
948 X509 *x509 = NULL;
949 EVP_PKEY *pkey = NULL;
950 int ret = ssl->ctx->client_cert_cb(ssl, &x509, &pkey);
951 if (ret < 0) {
952 return -1;
953 }
954
955 if (ret != 0) {
956 if (!SSL_use_certificate(ssl, x509) ||
957 !SSL_use_PrivateKey(ssl, pkey)) {
958 return 0;
959 }
960 }
961
962 X509_free(x509);
963 EVP_PKEY_free(pkey);
964 return 1;
965}
966
967void SSL_CTX_set_client_cert_cb(SSL_CTX *ctx, int (*cb)(SSL *ssl,
968 X509 **out_x509,
969 EVP_PKEY **out_pkey)) {
970 /* Emulate the old client certificate callback with the new one. */
971 SSL_CTX_set_cert_cb(ctx, do_client_cert_cb, NULL);
972 ctx->client_cert_cb = cb;
973}
David Benjamin83a32122017-02-14 18:34:54 -0500974
975static int set_signed_cert_timestamp_list(CERT *cert, const uint8_t *list,
976 size_t list_len) {
977 CBS sct_list;
978 CBS_init(&sct_list, list, list_len);
979 if (!ssl_is_sct_list_valid(&sct_list)) {
980 OPENSSL_PUT_ERROR(SSL, SSL_R_INVALID_SCT_LIST);
981 return 0;
982 }
983
984 CRYPTO_BUFFER_free(cert->signed_cert_timestamp_list);
985 cert->signed_cert_timestamp_list =
986 CRYPTO_BUFFER_new(CBS_data(&sct_list), CBS_len(&sct_list), NULL);
987 return cert->signed_cert_timestamp_list != NULL;
988}
989
990int SSL_CTX_set_signed_cert_timestamp_list(SSL_CTX *ctx, const uint8_t *list,
991 size_t list_len) {
992 return set_signed_cert_timestamp_list(ctx->cert, list, list_len);
993}
994
995int SSL_set_signed_cert_timestamp_list(SSL *ssl, const uint8_t *list,
996 size_t list_len) {
997 return set_signed_cert_timestamp_list(ssl->cert, list, list_len);
998}
999
1000int SSL_CTX_set_ocsp_response(SSL_CTX *ctx, const uint8_t *response,
1001 size_t response_len) {
1002 CRYPTO_BUFFER_free(ctx->cert->ocsp_response);
1003 ctx->cert->ocsp_response = CRYPTO_BUFFER_new(response, response_len, NULL);
1004 return ctx->cert->ocsp_response != NULL;
1005}
1006
1007int SSL_set_ocsp_response(SSL *ssl, const uint8_t *response,
1008 size_t response_len) {
1009 CRYPTO_BUFFER_free(ssl->cert->ocsp_response);
1010 ssl->cert->ocsp_response = CRYPTO_BUFFER_new(response, response_len, NULL);
1011 return ssl->cert->ocsp_response != NULL;
1012}