blob: 37e6841d7e7c05b935cb092633bbb83fefb648d9 [file] [log] [blame]
Rich Salz846e33c2016-05-17 14:18:30 -04001/*
2 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Ralf S. Engelschall58964a41998-12-21 10:56:39 +00003 *
Rich Salz846e33c2016-05-17 14:18:30 -04004 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Bodo Möllerf1fd4542006-01-03 03:27:19 +00008 */
Ralf S. Engelschall58964a41998-12-21 10:56:39 +00009
10#include <stdio.h>
Emilia Kasperaa474d12016-02-19 17:24:44 +010011#include <stdlib.h>
Bodo Möllerec577821999-04-23 22:13:45 +000012#include <openssl/objects.h>
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +000013#include <openssl/evp.h>
14#include <openssl/hmac.h>
Dr. Stephen Henson67c8e7f2007-09-26 21:56:59 +000015#include <openssl/ocsp.h>
Matt Caswell5951e842016-04-20 16:38:29 +010016#include <openssl/conf.h>
17#include <openssl/x509v3.h>
Rich Salz3c272082016-03-18 14:30:20 -040018#include <openssl/dh.h>
19#include <openssl/bn.h>
Ralf S. Engelschall58964a41998-12-21 10:56:39 +000020#include "ssl_locl.h"
Rich Salz3c272082016-03-18 14:30:20 -040021#include <openssl/ct.h>
Ralf S. Engelschall58964a41998-12-21 10:56:39 +000022
Matt Caswelld736bc12016-10-04 21:22:19 +010023static int tls_decrypt_ticket(SSL *s, const unsigned char *tick, size_t ticklen,
Matt Caswellec60ccc2016-10-04 20:31:19 +010024 const unsigned char *sess_id, size_t sesslen,
Matt Caswell0f113f32015-01-22 03:40:55 +000025 SSL_SESSION **psess);
Ben Laurie2daceb02012-09-11 12:57:46 +000026static int ssl_check_clienthello_tlsext_early(SSL *s);
Emilia Kasperaa474d12016-02-19 17:24:44 +010027static int ssl_check_serverhello_tlsext(SSL *s);
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +000028
Matt Caswell0f113f32015-01-22 03:40:55 +000029SSL3_ENC_METHOD const TLSv1_enc_data = {
30 tls1_enc,
31 tls1_mac,
32 tls1_setup_key_block,
33 tls1_generate_master_secret,
34 tls1_change_cipher_state,
35 tls1_final_finish_mac,
Matt Caswell0f113f32015-01-22 03:40:55 +000036 TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
37 TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
38 tls1_alert_code,
39 tls1_export_keying_material,
40 0,
Matt Caswella29fa982016-09-29 22:40:15 +010041 ssl3_set_handshake_header,
Matt Caswell2c7b4db2016-08-03 20:57:52 +010042 tls_close_construct_packet,
Matt Caswell0f113f32015-01-22 03:40:55 +000043 ssl3_handshake_write
44};
Dr. Stephen Henson173e72e2013-03-11 15:34:28 +000045
Matt Caswell0f113f32015-01-22 03:40:55 +000046SSL3_ENC_METHOD const TLSv1_1_enc_data = {
47 tls1_enc,
48 tls1_mac,
49 tls1_setup_key_block,
50 tls1_generate_master_secret,
51 tls1_change_cipher_state,
52 tls1_final_finish_mac,
Matt Caswell0f113f32015-01-22 03:40:55 +000053 TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
54 TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
55 tls1_alert_code,
56 tls1_export_keying_material,
57 SSL_ENC_FLAG_EXPLICIT_IV,
Matt Caswella29fa982016-09-29 22:40:15 +010058 ssl3_set_handshake_header,
Matt Caswell2c7b4db2016-08-03 20:57:52 +010059 tls_close_construct_packet,
Matt Caswell0f113f32015-01-22 03:40:55 +000060 ssl3_handshake_write
61};
Dr. Stephen Henson173e72e2013-03-11 15:34:28 +000062
Matt Caswell0f113f32015-01-22 03:40:55 +000063SSL3_ENC_METHOD const TLSv1_2_enc_data = {
64 tls1_enc,
65 tls1_mac,
66 tls1_setup_key_block,
67 tls1_generate_master_secret,
68 tls1_change_cipher_state,
69 tls1_final_finish_mac,
Matt Caswell0f113f32015-01-22 03:40:55 +000070 TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
71 TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
72 tls1_alert_code,
73 tls1_export_keying_material,
74 SSL_ENC_FLAG_EXPLICIT_IV | SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF
75 | SSL_ENC_FLAG_TLS1_2_CIPHERS,
Matt Caswella29fa982016-09-29 22:40:15 +010076 ssl3_set_handshake_header,
Matt Caswell2c7b4db2016-08-03 20:57:52 +010077 tls_close_construct_packet,
Matt Caswell0f113f32015-01-22 03:40:55 +000078 ssl3_handshake_write
79};
Ralf S. Engelschall58964a41998-12-21 10:56:39 +000080
Matt Caswell582a17d2016-10-21 17:39:33 +010081SSL3_ENC_METHOD const TLSv1_3_enc_data = {
82 tls1_enc,
83 tls1_mac,
84 tls1_setup_key_block,
85 tls1_generate_master_secret,
86 tls1_change_cipher_state,
87 tls1_final_finish_mac,
Matt Caswell582a17d2016-10-21 17:39:33 +010088 TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
89 TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
90 tls1_alert_code,
91 tls1_export_keying_material,
92 SSL_ENC_FLAG_EXPLICIT_IV | SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF
93 | SSL_ENC_FLAG_TLS1_2_CIPHERS,
Matt Caswell582a17d2016-10-21 17:39:33 +010094 ssl3_set_handshake_header,
95 tls_close_construct_packet,
96 ssl3_handshake_write
97};
98
Dr. Stephen Hensonf3b656b2005-08-05 23:56:11 +000099long tls1_default_timeout(void)
Matt Caswell0f113f32015-01-22 03:40:55 +0000100{
101 /*
102 * 2 hours, the 24 hours mentioned in the TLSv1 spec is way too long for
103 * http, the cache would over fill
104 */
105 return (60 * 60 * 2);
106}
Ralf S. Engelschall58964a41998-12-21 10:56:39 +0000107
Ulf Möller6b691a51999-04-19 21:31:43 +0000108int tls1_new(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +0000109{
110 if (!ssl3_new(s))
111 return (0);
112 s->method->ssl_clear(s);
113 return (1);
114}
Ralf S. Engelschall58964a41998-12-21 10:56:39 +0000115
Ulf Möller6b691a51999-04-19 21:31:43 +0000116void tls1_free(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +0000117{
Rich Salzb548a1f2015-05-01 10:02:07 -0400118 OPENSSL_free(s->tlsext_session_ticket);
Matt Caswell0f113f32015-01-22 03:40:55 +0000119 ssl3_free(s);
120}
Ralf S. Engelschall58964a41998-12-21 10:56:39 +0000121
Ulf Möller6b691a51999-04-19 21:31:43 +0000122void tls1_clear(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +0000123{
124 ssl3_clear(s);
Viktor Dukhovni4fa52142015-12-29 03:24:17 -0500125 if (s->method->version == TLS_ANY_VERSION)
126 s->version = TLS_MAX_VERSION;
127 else
128 s->version = s->method->version;
Matt Caswell0f113f32015-01-22 03:40:55 +0000129}
Ralf S. Engelschall58964a41998-12-21 10:56:39 +0000130
Dr. Stephen Henson525de5d2007-08-12 23:59:05 +0000131#ifndef OPENSSL_NO_EC
Dr. Stephen Hensoneda37662011-05-30 17:58:13 +0000132
Matt Caswell0f113f32015-01-22 03:40:55 +0000133typedef struct {
134 int nid; /* Curve NID */
135 int secbits; /* Bits of security (from SP800-57) */
136 unsigned int flags; /* Flags: currently just field type */
137} tls_curve_info;
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000138
Dr. Stephen Henson2dc1aee2016-02-13 15:27:43 +0000139/*
140 * Table of curve information.
Rich Salzddb4c042016-01-03 13:24:32 -0500141 * Do not delete entries or reorder this array! It is used as a lookup
Dr. Stephen Henson2dc1aee2016-02-13 15:27:43 +0000142 * table: the index of each entry is one less than the TLS curve id.
143 */
Matt Caswell0f113f32015-01-22 03:40:55 +0000144static const tls_curve_info nid_list[] = {
145 {NID_sect163k1, 80, TLS_CURVE_CHAR2}, /* sect163k1 (1) */
146 {NID_sect163r1, 80, TLS_CURVE_CHAR2}, /* sect163r1 (2) */
147 {NID_sect163r2, 80, TLS_CURVE_CHAR2}, /* sect163r2 (3) */
148 {NID_sect193r1, 80, TLS_CURVE_CHAR2}, /* sect193r1 (4) */
149 {NID_sect193r2, 80, TLS_CURVE_CHAR2}, /* sect193r2 (5) */
150 {NID_sect233k1, 112, TLS_CURVE_CHAR2}, /* sect233k1 (6) */
151 {NID_sect233r1, 112, TLS_CURVE_CHAR2}, /* sect233r1 (7) */
152 {NID_sect239k1, 112, TLS_CURVE_CHAR2}, /* sect239k1 (8) */
153 {NID_sect283k1, 128, TLS_CURVE_CHAR2}, /* sect283k1 (9) */
154 {NID_sect283r1, 128, TLS_CURVE_CHAR2}, /* sect283r1 (10) */
155 {NID_sect409k1, 192, TLS_CURVE_CHAR2}, /* sect409k1 (11) */
156 {NID_sect409r1, 192, TLS_CURVE_CHAR2}, /* sect409r1 (12) */
157 {NID_sect571k1, 256, TLS_CURVE_CHAR2}, /* sect571k1 (13) */
158 {NID_sect571r1, 256, TLS_CURVE_CHAR2}, /* sect571r1 (14) */
159 {NID_secp160k1, 80, TLS_CURVE_PRIME}, /* secp160k1 (15) */
160 {NID_secp160r1, 80, TLS_CURVE_PRIME}, /* secp160r1 (16) */
161 {NID_secp160r2, 80, TLS_CURVE_PRIME}, /* secp160r2 (17) */
162 {NID_secp192k1, 80, TLS_CURVE_PRIME}, /* secp192k1 (18) */
163 {NID_X9_62_prime192v1, 80, TLS_CURVE_PRIME}, /* secp192r1 (19) */
164 {NID_secp224k1, 112, TLS_CURVE_PRIME}, /* secp224k1 (20) */
165 {NID_secp224r1, 112, TLS_CURVE_PRIME}, /* secp224r1 (21) */
166 {NID_secp256k1, 128, TLS_CURVE_PRIME}, /* secp256k1 (22) */
167 {NID_X9_62_prime256v1, 128, TLS_CURVE_PRIME}, /* secp256r1 (23) */
168 {NID_secp384r1, 192, TLS_CURVE_PRIME}, /* secp384r1 (24) */
169 {NID_secp521r1, 256, TLS_CURVE_PRIME}, /* secp521r1 (25) */
170 {NID_brainpoolP256r1, 128, TLS_CURVE_PRIME}, /* brainpoolP256r1 (26) */
171 {NID_brainpoolP384r1, 192, TLS_CURVE_PRIME}, /* brainpoolP384r1 (27) */
172 {NID_brainpoolP512r1, 256, TLS_CURVE_PRIME}, /* brainpool512r1 (28) */
Dr. Stephen Hensonec246302016-08-11 15:41:49 +0100173 {NID_X25519, 128, TLS_CURVE_CUSTOM}, /* X25519 (29) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000174};
Dr. Stephen Hensoneda37662011-05-30 17:58:13 +0000175
Matt Caswell0f113f32015-01-22 03:40:55 +0000176static const unsigned char ecformats_default[] = {
177 TLSEXT_ECPOINTFORMAT_uncompressed,
178 TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime,
179 TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2
180};
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000181
Kurt Roeckxfe6ef242015-12-04 22:30:36 +0100182/* The default curves */
183static const unsigned char eccurves_default[] = {
Dr. Stephen Henson1db31072016-02-25 17:46:14 +0000184 0, 29, /* X25519 (29) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200185 0, 23, /* secp256r1 (23) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000186 0, 25, /* secp521r1 (25) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000187 0, 24, /* secp384r1 (24) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200188};
189
190static const unsigned char eccurves_all[] = {
Dr. Stephen Henson1db31072016-02-25 17:46:14 +0000191 0, 29, /* X25519 (29) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000192 0, 23, /* secp256r1 (23) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200193 0, 25, /* secp521r1 (25) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200194 0, 24, /* secp384r1 (24) */
195 0, 26, /* brainpoolP256r1 (26) */
Rich Salzddb4c042016-01-03 13:24:32 -0500196 0, 27, /* brainpoolP384r1 (27) */
197 0, 28, /* brainpool512r1 (28) */
198
199 /*
200 * Remaining curves disabled by default but still permitted if set
201 * via an explicit callback or parameters.
202 */
Emilia Kasperde57d232015-05-20 15:47:51 +0200203 0, 22, /* secp256k1 (22) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200204 0, 14, /* sect571r1 (14) */
205 0, 13, /* sect571k1 (13) */
206 0, 11, /* sect409k1 (11) */
207 0, 12, /* sect409r1 (12) */
208 0, 9, /* sect283k1 (9) */
209 0, 10, /* sect283r1 (10) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000210 0, 20, /* secp224k1 (20) */
211 0, 21, /* secp224r1 (21) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000212 0, 18, /* secp192k1 (18) */
213 0, 19, /* secp192r1 (19) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000214 0, 15, /* secp160k1 (15) */
215 0, 16, /* secp160r1 (16) */
216 0, 17, /* secp160r2 (17) */
Emilia Kasperde57d232015-05-20 15:47:51 +0200217 0, 8, /* sect239k1 (8) */
218 0, 6, /* sect233k1 (6) */
219 0, 7, /* sect233r1 (7) */
220 0, 4, /* sect193r1 (4) */
221 0, 5, /* sect193r2 (5) */
222 0, 1, /* sect163k1 (1) */
223 0, 2, /* sect163r1 (2) */
224 0, 3, /* sect163r2 (3) */
Matt Caswell0f113f32015-01-22 03:40:55 +0000225};
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000226
Matt Caswell0f113f32015-01-22 03:40:55 +0000227static const unsigned char suiteb_curves[] = {
228 0, TLSEXT_curve_P_256,
229 0, TLSEXT_curve_P_384
230};
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000231
Dr. Stephen Hensonec246302016-08-11 15:41:49 +0100232int tls1_ec_curve_id2nid(int curve_id, unsigned int *pflags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000233{
Dr. Stephen Hensonec246302016-08-11 15:41:49 +0100234 const tls_curve_info *cinfo;
Matt Caswell0f113f32015-01-22 03:40:55 +0000235 /* ECC curves from RFC 4492 and RFC 7027 */
Dr. Stephen Hensonb6eb9822015-05-02 18:30:00 +0100236 if ((curve_id < 1) || ((unsigned int)curve_id > OSSL_NELEM(nid_list)))
Matt Caswell0f113f32015-01-22 03:40:55 +0000237 return 0;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +0100238 cinfo = nid_list + curve_id - 1;
239 if (pflags)
240 *pflags = cinfo->flags;
241 return cinfo->nid;
Matt Caswell0f113f32015-01-22 03:40:55 +0000242}
Dr. Stephen Henson525de5d2007-08-12 23:59:05 +0000243
244int tls1_ec_nid2curve_id(int nid)
Matt Caswell0f113f32015-01-22 03:40:55 +0000245{
Dr. Stephen Henson2fa2d152016-02-13 15:28:25 +0000246 size_t i;
247 for (i = 0; i < OSSL_NELEM(nid_list); i++) {
248 if (nid_list[i].nid == nid)
Matt Caswell348240c2016-10-19 15:11:24 +0100249 return (int)(i + 1);
Matt Caswell0f113f32015-01-22 03:40:55 +0000250 }
Dr. Stephen Henson2fa2d152016-02-13 15:28:25 +0000251 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000252}
253
Emilia Kasper740580c2014-12-01 16:55:55 +0100254/*
255 * Get curves list, if "sess" is set return client curves otherwise
256 * preferred list.
257 * Sets |num_curves| to the number of curves in the list, i.e.,
258 * the length of |pcurves| is 2 * num_curves.
259 * Returns 1 on success and 0 if the client curves list has invalid format.
260 * The latter indicates an internal error: we should not be accepting such
261 * lists in the first place.
262 * TODO(emilia): we should really be storing the curves list in explicitly
263 * parsed form instead. (However, this would affect binary compatibility
264 * so cannot happen in the 1.0.x series.)
Dr. Stephen Hensonfd2b65c2012-04-04 14:41:01 +0000265 */
Emilia Kasper740580c2014-12-01 16:55:55 +0100266static int tls1_get_curvelist(SSL *s, int sess,
Emilia Kaspera230b262016-08-05 19:03:17 +0200267 const unsigned char **pcurves, size_t *num_curves)
Matt Caswell0f113f32015-01-22 03:40:55 +0000268{
269 size_t pcurveslen = 0;
270 if (sess) {
Matt Caswellde4d7642016-11-09 14:51:06 +0000271 *pcurves = s->session->tlsext_supportedgroupslist;
272 pcurveslen = s->session->tlsext_supportedgroupslist_length;
Matt Caswell0f113f32015-01-22 03:40:55 +0000273 } else {
274 /* For Suite B mode only include P-256, P-384 */
275 switch (tls1_suiteb(s)) {
276 case SSL_CERT_FLAG_SUITEB_128_LOS:
277 *pcurves = suiteb_curves;
278 pcurveslen = sizeof(suiteb_curves);
279 break;
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000280
Matt Caswell0f113f32015-01-22 03:40:55 +0000281 case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY:
282 *pcurves = suiteb_curves;
283 pcurveslen = 2;
284 break;
Dr. Stephen Hensonb34aa492012-12-10 02:02:16 +0000285
Matt Caswell0f113f32015-01-22 03:40:55 +0000286 case SSL_CERT_FLAG_SUITEB_192_LOS:
287 *pcurves = suiteb_curves + 2;
288 pcurveslen = 2;
289 break;
290 default:
Matt Caswellde4d7642016-11-09 14:51:06 +0000291 *pcurves = s->tlsext_supportedgroupslist;
292 pcurveslen = s->tlsext_supportedgroupslist_length;
Matt Caswell0f113f32015-01-22 03:40:55 +0000293 }
294 if (!*pcurves) {
Kurt Roeckxfe6ef242015-12-04 22:30:36 +0100295 *pcurves = eccurves_default;
296 pcurveslen = sizeof(eccurves_default);
Matt Caswell0f113f32015-01-22 03:40:55 +0000297 }
298 }
Emilia Kasper740580c2014-12-01 16:55:55 +0100299
Matt Caswell0f113f32015-01-22 03:40:55 +0000300 /* We do not allow odd length arrays to enter the system. */
301 if (pcurveslen & 1) {
302 SSLerr(SSL_F_TLS1_GET_CURVELIST, ERR_R_INTERNAL_ERROR);
303 *num_curves = 0;
304 return 0;
305 } else {
306 *num_curves = pcurveslen / 2;
307 return 1;
308 }
309}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000310
311/* See if curve is allowed by security callback */
312static int tls_curve_allowed(SSL *s, const unsigned char *curve, int op)
Matt Caswell0f113f32015-01-22 03:40:55 +0000313{
314 const tls_curve_info *cinfo;
315 if (curve[0])
316 return 1;
Dr. Stephen Hensonb6eb9822015-05-02 18:30:00 +0100317 if ((curve[1] < 1) || ((size_t)curve[1] > OSSL_NELEM(nid_list)))
Matt Caswell0f113f32015-01-22 03:40:55 +0000318 return 0;
319 cinfo = &nid_list[curve[1] - 1];
320# ifdef OPENSSL_NO_EC2M
321 if (cinfo->flags & TLS_CURVE_CHAR2)
322 return 0;
323# endif
324 return ssl_security(s, op, cinfo->secbits, cinfo->nid, (void *)curve);
325}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000326
Dr. Stephen Hensond18b7162012-07-24 13:47:40 +0000327/* Check a curve is one of our preferences */
328int tls1_check_curve(SSL *s, const unsigned char *p, size_t len)
Matt Caswell0f113f32015-01-22 03:40:55 +0000329{
330 const unsigned char *curves;
331 size_t num_curves, i;
332 unsigned int suiteb_flags = tls1_suiteb(s);
333 if (len != 3 || p[0] != NAMED_CURVE_TYPE)
334 return 0;
335 /* Check curve matches Suite B preferences */
336 if (suiteb_flags) {
337 unsigned long cid = s->s3->tmp.new_cipher->id;
338 if (p[1])
339 return 0;
340 if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256) {
341 if (p[2] != TLSEXT_curve_P_256)
342 return 0;
343 } else if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384) {
344 if (p[2] != TLSEXT_curve_P_384)
345 return 0;
346 } else /* Should never happen */
347 return 0;
348 }
349 if (!tls1_get_curvelist(s, 0, &curves, &num_curves))
350 return 0;
351 for (i = 0; i < num_curves; i++, curves += 2) {
352 if (p[1] == curves[0] && p[2] == curves[1])
353 return tls_curve_allowed(s, p + 1, SSL_SECOP_CURVE_CHECK);
354 }
355 return 0;
356}
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000357
Tim Hudson1d97c842014-12-28 12:48:40 +1000358/*-
Matt Caswellde4d7642016-11-09 14:51:06 +0000359 * For nmatch >= 0, return the NID of the |nmatch|th shared group or NID_undef
Kurt Roeckx6977e8e2015-12-04 22:25:11 +0100360 * if there is no match.
361 * For nmatch == -1, return number of matches
Matt Caswellde4d7642016-11-09 14:51:06 +0000362 * For nmatch == -2, return the NID of the group to use for
Emilia Kasper376e2ca2014-12-04 15:00:11 +0100363 * an EC tmp key, or NID_undef if there is no match.
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000364 */
Matt Caswellde4d7642016-11-09 14:51:06 +0000365int tls1_shared_group(SSL *s, int nmatch)
Matt Caswell0f113f32015-01-22 03:40:55 +0000366{
367 const unsigned char *pref, *supp;
368 size_t num_pref, num_supp, i, j;
369 int k;
370 /* Can't do anything on client side */
371 if (s->server == 0)
372 return -1;
373 if (nmatch == -2) {
374 if (tls1_suiteb(s)) {
375 /*
376 * For Suite B ciphersuite determines curve: we already know
377 * these are acceptable due to previous checks.
378 */
379 unsigned long cid = s->s3->tmp.new_cipher->id;
380 if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256)
381 return NID_X9_62_prime256v1; /* P-256 */
382 if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384)
383 return NID_secp384r1; /* P-384 */
384 /* Should never happen */
385 return NID_undef;
386 }
387 /* If not Suite B just return first preference shared curve */
388 nmatch = 0;
389 }
390 /*
391 * Avoid truncation. tls1_get_curvelist takes an int
392 * but s->options is a long...
393 */
394 if (!tls1_get_curvelist
395 (s, (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) != 0, &supp,
396 &num_supp))
397 /* In practice, NID_undef == 0 but let's be precise. */
398 return nmatch == -1 ? 0 : NID_undef;
399 if (!tls1_get_curvelist
Emilia Kaspera230b262016-08-05 19:03:17 +0200400 (s, !(s->options & SSL_OP_CIPHER_SERVER_PREFERENCE), &pref, &num_pref))
Matt Caswell0f113f32015-01-22 03:40:55 +0000401 return nmatch == -1 ? 0 : NID_undef;
Kurt Roeckx3c065132015-05-30 19:20:12 +0200402
403 /*
404 * If the client didn't send the elliptic_curves extension all of them
405 * are allowed.
406 */
407 if (num_supp == 0 && (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) != 0) {
408 supp = eccurves_all;
409 num_supp = sizeof(eccurves_all) / 2;
410 } else if (num_pref == 0 &&
Emilia Kaspera230b262016-08-05 19:03:17 +0200411 (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) == 0) {
Kurt Roeckx3c065132015-05-30 19:20:12 +0200412 pref = eccurves_all;
413 num_pref = sizeof(eccurves_all) / 2;
414 }
415
Matt Caswell0f113f32015-01-22 03:40:55 +0000416 k = 0;
417 for (i = 0; i < num_pref; i++, pref += 2) {
418 const unsigned char *tsupp = supp;
419 for (j = 0; j < num_supp; j++, tsupp += 2) {
420 if (pref[0] == tsupp[0] && pref[1] == tsupp[1]) {
421 if (!tls_curve_allowed(s, pref, SSL_SECOP_CURVE_SHARED))
422 continue;
423 if (nmatch == k) {
424 int id = (pref[0] << 8) | pref[1];
Dr. Stephen Hensonec246302016-08-11 15:41:49 +0100425 return tls1_ec_curve_id2nid(id, NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +0000426 }
427 k++;
428 }
429 }
430 }
431 if (nmatch == -1)
432 return k;
433 /* Out of range (nmatch > k). */
434 return NID_undef;
435}
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000436
Matt Caswellde4d7642016-11-09 14:51:06 +0000437int tls1_set_groups(unsigned char **pext, size_t *pextlen,
438 int *groups, size_t ngroups)
Matt Caswell0f113f32015-01-22 03:40:55 +0000439{
Matt Caswellde4d7642016-11-09 14:51:06 +0000440 unsigned char *glist, *p;
Matt Caswell0f113f32015-01-22 03:40:55 +0000441 size_t i;
442 /*
Matt Caswellde4d7642016-11-09 14:51:06 +0000443 * Bitmap of groups included to detect duplicates: only works while group
Matt Caswell0f113f32015-01-22 03:40:55 +0000444 * ids < 32
445 */
446 unsigned long dup_list = 0;
Matt Caswellde4d7642016-11-09 14:51:06 +0000447 glist = OPENSSL_malloc(ngroups * 2);
448 if (glist == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000449 return 0;
Matt Caswellde4d7642016-11-09 14:51:06 +0000450 for (i = 0, p = glist; i < ngroups; i++) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000451 unsigned long idmask;
452 int id;
Matt Caswellde4d7642016-11-09 14:51:06 +0000453 /* TODO(TLS1.3): Convert for DH groups */
454 id = tls1_ec_nid2curve_id(groups[i]);
Matt Caswell0f113f32015-01-22 03:40:55 +0000455 idmask = 1L << id;
456 if (!id || (dup_list & idmask)) {
Matt Caswellde4d7642016-11-09 14:51:06 +0000457 OPENSSL_free(glist);
Matt Caswell0f113f32015-01-22 03:40:55 +0000458 return 0;
459 }
460 dup_list |= idmask;
461 s2n(id, p);
462 }
Rich Salzb548a1f2015-05-01 10:02:07 -0400463 OPENSSL_free(*pext);
Matt Caswellde4d7642016-11-09 14:51:06 +0000464 *pext = glist;
465 *pextlen = ngroups * 2;
Matt Caswell0f113f32015-01-22 03:40:55 +0000466 return 1;
467}
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000468
Matt Caswell0f113f32015-01-22 03:40:55 +0000469# define MAX_CURVELIST 28
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000470
Matt Caswell0f113f32015-01-22 03:40:55 +0000471typedef struct {
472 size_t nidcnt;
473 int nid_arr[MAX_CURVELIST];
474} nid_cb_st;
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000475
476static int nid_cb(const char *elem, int len, void *arg)
Matt Caswell0f113f32015-01-22 03:40:55 +0000477{
478 nid_cb_st *narg = arg;
479 size_t i;
480 int nid;
481 char etmp[20];
Kurt Roeckx2747d732015-01-24 14:46:50 +0100482 if (elem == NULL)
483 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000484 if (narg->nidcnt == MAX_CURVELIST)
485 return 0;
486 if (len > (int)(sizeof(etmp) - 1))
487 return 0;
488 memcpy(etmp, elem, len);
489 etmp[len] = 0;
490 nid = EC_curve_nist2nid(etmp);
491 if (nid == NID_undef)
492 nid = OBJ_sn2nid(etmp);
493 if (nid == NID_undef)
494 nid = OBJ_ln2nid(etmp);
495 if (nid == NID_undef)
496 return 0;
497 for (i = 0; i < narg->nidcnt; i++)
498 if (narg->nid_arr[i] == nid)
499 return 0;
500 narg->nid_arr[narg->nidcnt++] = nid;
501 return 1;
502}
503
Matt Caswellde4d7642016-11-09 14:51:06 +0000504/* Set groups based on a colon separate list */
505int tls1_set_groups_list(unsigned char **pext, size_t *pextlen, const char *str)
Matt Caswell0f113f32015-01-22 03:40:55 +0000506{
507 nid_cb_st ncb;
508 ncb.nidcnt = 0;
509 if (!CONF_parse_list(str, ':', 1, nid_cb, &ncb))
510 return 0;
511 if (pext == NULL)
512 return 1;
Matt Caswellde4d7642016-11-09 14:51:06 +0000513 return tls1_set_groups(pext, pextlen, ncb.nid_arr, ncb.nidcnt);
Matt Caswell0f113f32015-01-22 03:40:55 +0000514}
515
Dr. Stephen Hensonfd2b65c2012-04-04 14:41:01 +0000516/* For an EC key set TLS id and required compression based on parameters */
517static int tls1_set_ec_id(unsigned char *curve_id, unsigned char *comp_id,
Matt Caswell0f113f32015-01-22 03:40:55 +0000518 EC_KEY *ec)
519{
Dr. Stephen Henson2235b7f2016-02-13 15:26:15 +0000520 int id;
Matt Caswell0f113f32015-01-22 03:40:55 +0000521 const EC_GROUP *grp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000522 if (!ec)
523 return 0;
524 /* Determine if it is a prime field */
525 grp = EC_KEY_get0_group(ec);
526 if (!grp)
527 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000528 /* Determine curve ID */
529 id = EC_GROUP_get_curve_name(grp);
530 id = tls1_ec_nid2curve_id(id);
Dr. Stephen Henson2235b7f2016-02-13 15:26:15 +0000531 /* If no id return error: we don't support arbitrary explicit curves */
532 if (id == 0)
533 return 0;
534 curve_id[0] = 0;
535 curve_id[1] = (unsigned char)id;
Matt Caswell0f113f32015-01-22 03:40:55 +0000536 if (comp_id) {
537 if (EC_KEY_get0_public_key(ec) == NULL)
538 return 0;
Dr. Stephen Henson2235b7f2016-02-13 15:26:15 +0000539 if (EC_KEY_get_conv_form(ec) == POINT_CONVERSION_UNCOMPRESSED) {
540 *comp_id = TLSEXT_ECPOINTFORMAT_uncompressed;
541 } else {
542 if ((nid_list[id - 1].flags & TLS_CURVE_TYPE) == TLS_CURVE_PRIME)
Matt Caswell0f113f32015-01-22 03:40:55 +0000543 *comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime;
544 else
545 *comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2;
Dr. Stephen Henson2235b7f2016-02-13 15:26:15 +0000546 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000547 }
548 return 1;
549}
550
Dr. Stephen Hensonfd2b65c2012-04-04 14:41:01 +0000551/* Check an EC key is compatible with extensions */
552static int tls1_check_ec_key(SSL *s,
Matt Caswell0f113f32015-01-22 03:40:55 +0000553 unsigned char *curve_id, unsigned char *comp_id)
554{
555 const unsigned char *pformats, *pcurves;
556 size_t num_formats, num_curves, i;
557 int j;
558 /*
559 * If point formats extension present check it, otherwise everything is
560 * supported (see RFC4492).
561 */
562 if (comp_id && s->session->tlsext_ecpointformatlist) {
563 pformats = s->session->tlsext_ecpointformatlist;
564 num_formats = s->session->tlsext_ecpointformatlist_length;
565 for (i = 0; i < num_formats; i++, pformats++) {
566 if (*comp_id == *pformats)
567 break;
568 }
569 if (i == num_formats)
570 return 0;
571 }
572 if (!curve_id)
573 return 1;
574 /* Check curve is consistent with client and server preferences */
575 for (j = 0; j <= 1; j++) {
576 if (!tls1_get_curvelist(s, j, &pcurves, &num_curves))
577 return 0;
Matt Caswellb79d2412015-03-20 15:10:16 +0000578 if (j == 1 && num_curves == 0) {
579 /*
580 * If we've not received any curves then skip this check.
581 * RFC 4492 does not require the supported elliptic curves extension
582 * so if it is not sent we can just choose any curve.
583 * It is invalid to send an empty list in the elliptic curves
584 * extension, so num_curves == 0 always means no extension.
585 */
586 break;
587 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000588 for (i = 0; i < num_curves; i++, pcurves += 2) {
589 if (pcurves[0] == curve_id[0] && pcurves[1] == curve_id[1])
590 break;
591 }
592 if (i == num_curves)
593 return 0;
594 /* For clients can only check sent curve list */
595 if (!s->server)
596 break;
597 }
598 return 1;
599}
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +0000600
Dr. Stephen Henson5087afa2012-11-26 18:38:10 +0000601static void tls1_get_formatlist(SSL *s, const unsigned char **pformats,
Matt Caswell0f113f32015-01-22 03:40:55 +0000602 size_t *num_formats)
603{
604 /*
605 * If we have a custom point format list use it otherwise use default
606 */
607 if (s->tlsext_ecpointformatlist) {
608 *pformats = s->tlsext_ecpointformatlist;
609 *num_formats = s->tlsext_ecpointformatlist_length;
610 } else {
611 *pformats = ecformats_default;
612 /* For Suite B we don't support char2 fields */
613 if (tls1_suiteb(s))
614 *num_formats = sizeof(ecformats_default) - 1;
615 else
616 *num_formats = sizeof(ecformats_default);
617 }
618}
Dr. Stephen Henson5087afa2012-11-26 18:38:10 +0000619
Matt Caswell0f113f32015-01-22 03:40:55 +0000620/*
621 * Check cert parameters compatible with extensions: currently just checks EC
622 * certificates have compatible curves and compression.
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +0000623 */
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000624static int tls1_check_cert_param(SSL *s, X509 *x, int set_ee_md)
Matt Caswell0f113f32015-01-22 03:40:55 +0000625{
626 unsigned char comp_id, curve_id[2];
627 EVP_PKEY *pkey;
628 int rv;
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +0000629 pkey = X509_get0_pubkey(x);
Matt Caswell0f113f32015-01-22 03:40:55 +0000630 if (!pkey)
631 return 0;
632 /* If not EC nothing to do */
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +0000633 if (EVP_PKEY_id(pkey) != EVP_PKEY_EC)
Matt Caswell0f113f32015-01-22 03:40:55 +0000634 return 1;
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +0000635 rv = tls1_set_ec_id(curve_id, &comp_id, EVP_PKEY_get0_EC_KEY(pkey));
Matt Caswell0f113f32015-01-22 03:40:55 +0000636 if (!rv)
637 return 0;
638 /*
639 * Can't check curve_id for client certs as we don't have a supported
640 * curves extension.
641 */
642 rv = tls1_check_ec_key(s, s->server ? curve_id : NULL, &comp_id);
643 if (!rv)
644 return 0;
645 /*
646 * Special case for suite B. We *MUST* sign using SHA256+P-256 or
647 * SHA384+P-384, adjust digest if necessary.
648 */
649 if (set_ee_md && tls1_suiteb(s)) {
650 int check_md;
651 size_t i;
652 CERT *c = s->cert;
653 if (curve_id[0])
654 return 0;
655 /* Check to see we have necessary signing algorithm */
656 if (curve_id[1] == TLSEXT_curve_P_256)
657 check_md = NID_ecdsa_with_SHA256;
658 else if (curve_id[1] == TLSEXT_curve_P_384)
659 check_md = NID_ecdsa_with_SHA384;
660 else
661 return 0; /* Should never happen */
662 for (i = 0; i < c->shared_sigalgslen; i++)
663 if (check_md == c->shared_sigalgs[i].signandhash_nid)
664 break;
665 if (i == c->shared_sigalgslen)
666 return 0;
667 if (set_ee_md == 2) {
668 if (check_md == NID_ecdsa_with_SHA256)
Dr. Stephen Hensond376e572015-05-12 18:56:39 +0100669 s->s3->tmp.md[SSL_PKEY_ECC] = EVP_sha256();
Matt Caswell0f113f32015-01-22 03:40:55 +0000670 else
Dr. Stephen Hensond376e572015-05-12 18:56:39 +0100671 s->s3->tmp.md[SSL_PKEY_ECC] = EVP_sha384();
Matt Caswell0f113f32015-01-22 03:40:55 +0000672 }
673 }
674 return rv;
675}
676
Rich Salz10bf4fc2015-03-10 19:09:27 -0400677# ifndef OPENSSL_NO_EC
Kurt Roeckx6977e8e2015-12-04 22:25:11 +0100678/*
FdaSilvaYY8483a002016-03-10 21:34:48 +0100679 * tls1_check_ec_tmp_key - Check EC temporary key compatibility
Kurt Roeckx6977e8e2015-12-04 22:25:11 +0100680 * @s: SSL connection
681 * @cid: Cipher ID we're considering using
682 *
683 * Checks that the kECDHE cipher suite we're considering using
684 * is compatible with the client extensions.
685 *
686 * Returns 0 when the cipher can't be used or 1 when it can.
687 */
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000688int tls1_check_ec_tmp_key(SSL *s, unsigned long cid)
Matt Caswell0f113f32015-01-22 03:40:55 +0000689{
Matt Caswell0f113f32015-01-22 03:40:55 +0000690 /*
691 * If Suite B, AES128 MUST use P-256 and AES256 MUST use P-384, no other
692 * curves permitted.
693 */
694 if (tls1_suiteb(s)) {
Kurt Roeckx6977e8e2015-12-04 22:25:11 +0100695 unsigned char curve_id[2];
Matt Caswell0f113f32015-01-22 03:40:55 +0000696 /* Curve to check determined by ciphersuite */
697 if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256)
698 curve_id[1] = TLSEXT_curve_P_256;
699 else if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384)
700 curve_id[1] = TLSEXT_curve_P_384;
701 else
702 return 0;
703 curve_id[0] = 0;
704 /* Check this curve is acceptable */
705 if (!tls1_check_ec_key(s, curve_id, NULL))
706 return 0;
Kurt Roeckxfe6ef242015-12-04 22:30:36 +0100707 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +0000708 }
Kurt Roeckxfe6ef242015-12-04 22:30:36 +0100709 /* Need a shared curve */
Matt Caswellde4d7642016-11-09 14:51:06 +0000710 if (tls1_shared_group(s, 0))
Kurt Roeckxfe6ef242015-12-04 22:30:36 +0100711 return 1;
Kurt Roeckx6977e8e2015-12-04 22:25:11 +0100712 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000713}
Rich Salz10bf4fc2015-03-10 19:09:27 -0400714# endif /* OPENSSL_NO_EC */
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +0000715
Dr. Stephen Henson14536c82013-08-17 17:40:08 +0100716#else
717
718static int tls1_check_cert_param(SSL *s, X509 *x, int set_ee_md)
Matt Caswell0f113f32015-01-22 03:40:55 +0000719{
720 return 1;
721}
Dr. Stephen Henson14536c82013-08-17 17:40:08 +0100722
Matt Caswell0f113f32015-01-22 03:40:55 +0000723#endif /* OPENSSL_NO_EC */
Bodo Möllerf1fd4542006-01-03 03:27:19 +0000724
Matt Caswell0f113f32015-01-22 03:40:55 +0000725/*
726 * List of supported signature algorithms and hashes. Should make this
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000727 * customisable at some point, for now include everything we support.
728 */
729
Matt Caswelle481f9b2015-05-15 10:49:56 +0100730#ifdef OPENSSL_NO_RSA
Emilia Kaspera230b262016-08-05 19:03:17 +0200731# define tlsext_sigalg_rsa(md) /* */
Matt Caswelle481f9b2015-05-15 10:49:56 +0100732#else
733# define tlsext_sigalg_rsa(md) md, TLSEXT_signature_rsa,
734#endif
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000735
Matt Caswelle481f9b2015-05-15 10:49:56 +0100736#ifdef OPENSSL_NO_DSA
Emilia Kaspera230b262016-08-05 19:03:17 +0200737# define tlsext_sigalg_dsa(md) /* */
Matt Caswelle481f9b2015-05-15 10:49:56 +0100738#else
739# define tlsext_sigalg_dsa(md) md, TLSEXT_signature_dsa,
740#endif
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000741
Matt Caswelle481f9b2015-05-15 10:49:56 +0100742#ifdef OPENSSL_NO_EC
Emilia Kaspera230b262016-08-05 19:03:17 +0200743# define tlsext_sigalg_ecdsa(md)/* */
Matt Caswelle481f9b2015-05-15 10:49:56 +0100744#else
745# define tlsext_sigalg_ecdsa(md) md, TLSEXT_signature_ecdsa,
746#endif
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000747
Matt Caswelle481f9b2015-05-15 10:49:56 +0100748#define tlsext_sigalg(md) \
Matt Caswell0f113f32015-01-22 03:40:55 +0000749 tlsext_sigalg_rsa(md) \
750 tlsext_sigalg_dsa(md) \
751 tlsext_sigalg_ecdsa(md)
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000752
Cristian Rodríguezd97ed212014-04-20 18:41:15 -0300753static const unsigned char tls12_sigalgs[] = {
Matt Caswell0f113f32015-01-22 03:40:55 +0000754 tlsext_sigalg(TLSEXT_hash_sha512)
755 tlsext_sigalg(TLSEXT_hash_sha384)
Matt Caswell0f113f32015-01-22 03:40:55 +0000756 tlsext_sigalg(TLSEXT_hash_sha256)
757 tlsext_sigalg(TLSEXT_hash_sha224)
Matt Caswell0f113f32015-01-22 03:40:55 +0000758 tlsext_sigalg(TLSEXT_hash_sha1)
Dmitry Belyavskye44380a2015-11-17 15:32:30 +0000759#ifndef OPENSSL_NO_GOST
760 TLSEXT_hash_gostr3411, TLSEXT_signature_gostr34102001,
Emilia Kaspera230b262016-08-05 19:03:17 +0200761 TLSEXT_hash_gostr34112012_256, TLSEXT_signature_gostr34102012_256,
762 TLSEXT_hash_gostr34112012_512, TLSEXT_signature_gostr34102012_512
Dmitry Belyavskye44380a2015-11-17 15:32:30 +0000763#endif
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000764};
Matt Caswell0f113f32015-01-22 03:40:55 +0000765
Matt Caswelle481f9b2015-05-15 10:49:56 +0100766#ifndef OPENSSL_NO_EC
Cristian Rodríguezd97ed212014-04-20 18:41:15 -0300767static const unsigned char suiteb_sigalgs[] = {
Matt Caswell0f113f32015-01-22 03:40:55 +0000768 tlsext_sigalg_ecdsa(TLSEXT_hash_sha256)
769 tlsext_sigalg_ecdsa(TLSEXT_hash_sha384)
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000770};
Matt Caswelle481f9b2015-05-15 10:49:56 +0100771#endif
Dr. Stephen Hensonb7bfe692012-07-18 14:09:46 +0000772size_t tls12_get_psigalgs(SSL *s, const unsigned char **psigs)
Matt Caswell0f113f32015-01-22 03:40:55 +0000773{
774 /*
775 * If Suite B mode use Suite B sigalgs only, ignore any other
776 * preferences.
777 */
Matt Caswelle481f9b2015-05-15 10:49:56 +0100778#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +0000779 switch (tls1_suiteb(s)) {
780 case SSL_CERT_FLAG_SUITEB_128_LOS:
781 *psigs = suiteb_sigalgs;
782 return sizeof(suiteb_sigalgs);
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000783
Matt Caswell0f113f32015-01-22 03:40:55 +0000784 case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY:
785 *psigs = suiteb_sigalgs;
786 return 2;
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000787
Matt Caswell0f113f32015-01-22 03:40:55 +0000788 case SSL_CERT_FLAG_SUITEB_192_LOS:
789 *psigs = suiteb_sigalgs + 2;
790 return 2;
791 }
Matt Caswelle481f9b2015-05-15 10:49:56 +0100792#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000793 /* If server use client authentication sigalgs if not NULL */
794 if (s->server && s->cert->client_sigalgs) {
795 *psigs = s->cert->client_sigalgs;
796 return s->cert->client_sigalgslen;
797 } else if (s->cert->conf_sigalgs) {
798 *psigs = s->cert->conf_sigalgs;
799 return s->cert->conf_sigalgslen;
800 } else {
801 *psigs = tls12_sigalgs;
802 return sizeof(tls12_sigalgs);
803 }
804}
805
806/*
807 * Check signature algorithm is consistent with sent supported signature
Dr. Stephen Hensonec4a50b2012-07-24 18:11:27 +0000808 * algorithms and if so return relevant digest.
809 */
810int tls12_check_peer_sigalg(const EVP_MD **pmd, SSL *s,
Matt Caswell0f113f32015-01-22 03:40:55 +0000811 const unsigned char *sig, EVP_PKEY *pkey)
812{
813 const unsigned char *sent_sigs;
814 size_t sent_sigslen, i;
815 int sigalg = tls12_get_sigid(pkey);
816 /* Should never happen */
817 if (sigalg == -1)
818 return -1;
819 /* Check key type is consistent with signature */
820 if (sigalg != (int)sig[1]) {
821 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
822 return 0;
823 }
Matt Caswelle481f9b2015-05-15 10:49:56 +0100824#ifndef OPENSSL_NO_EC
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +0000825 if (EVP_PKEY_id(pkey) == EVP_PKEY_EC) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000826 unsigned char curve_id[2], comp_id;
827 /* Check compression and curve matches extensions */
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +0000828 if (!tls1_set_ec_id(curve_id, &comp_id, EVP_PKEY_get0_EC_KEY(pkey)))
Matt Caswell0f113f32015-01-22 03:40:55 +0000829 return 0;
830 if (!s->server && !tls1_check_ec_key(s, curve_id, &comp_id)) {
831 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_CURVE);
832 return 0;
833 }
834 /* If Suite B only P-384+SHA384 or P-256+SHA-256 allowed */
835 if (tls1_suiteb(s)) {
836 if (curve_id[0])
837 return 0;
838 if (curve_id[1] == TLSEXT_curve_P_256) {
839 if (sig[0] != TLSEXT_hash_sha256) {
840 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG,
841 SSL_R_ILLEGAL_SUITEB_DIGEST);
842 return 0;
843 }
844 } else if (curve_id[1] == TLSEXT_curve_P_384) {
845 if (sig[0] != TLSEXT_hash_sha384) {
846 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG,
847 SSL_R_ILLEGAL_SUITEB_DIGEST);
848 return 0;
849 }
850 } else
851 return 0;
852 }
853 } else if (tls1_suiteb(s))
854 return 0;
Matt Caswelle481f9b2015-05-15 10:49:56 +0100855#endif
Dr. Stephen Henson2ea80352012-08-15 15:15:05 +0000856
Matt Caswell0f113f32015-01-22 03:40:55 +0000857 /* Check signature matches a type we sent */
858 sent_sigslen = tls12_get_psigalgs(s, &sent_sigs);
859 for (i = 0; i < sent_sigslen; i += 2, sent_sigs += 2) {
860 if (sig[0] == sent_sigs[0] && sig[1] == sent_sigs[1])
861 break;
862 }
863 /* Allow fallback to SHA1 if not strict mode */
864 if (i == sent_sigslen
865 && (sig[0] != TLSEXT_hash_sha1
866 || s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)) {
867 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
868 return 0;
869 }
870 *pmd = tls12_get_hash(sig[0]);
871 if (*pmd == NULL) {
872 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_UNKNOWN_DIGEST);
873 return 0;
874 }
875 /* Make sure security callback allows algorithm */
876 if (!ssl_security(s, SSL_SECOP_SIGALG_CHECK,
Emilia Kaspera230b262016-08-05 19:03:17 +0200877 EVP_MD_size(*pmd) * 4, EVP_MD_type(*pmd), (void *)sig)) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000878 SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
879 return 0;
880 }
881 /*
882 * Store the digest used so applications can retrieve it if they wish.
883 */
Dr. Stephen Hensond376e572015-05-12 18:56:39 +0100884 s->s3->tmp.peer_md = *pmd;
Matt Caswell0f113f32015-01-22 03:40:55 +0000885 return 1;
886}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000887
Matt Caswell0f113f32015-01-22 03:40:55 +0000888/*
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100889 * Set a mask of disabled algorithms: an algorithm is disabled if it isn't
890 * supported, doesn't appear in supported signature algorithms, isn't supported
891 * by the enabled protocol versions or by the security level.
892 *
893 * This function should only be used for checking which ciphers are supported
894 * by the client.
895 *
896 * Call ssl_cipher_disabled() to check that it's enabled or not.
Dr. Stephen Hensonb7bfe692012-07-18 14:09:46 +0000897 */
898void ssl_set_client_disabled(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +0000899{
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +0100900 s->s3->tmp.mask_a = 0;
901 s->s3->tmp.mask_k = 0;
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +0100902 ssl_set_sig_mask(&s->s3->tmp.mask_a, s, SSL_SECOP_SIGALG_MASK);
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100903 ssl_get_client_min_max_version(s, &s->s3->tmp.min_ver, &s->s3->tmp.max_ver);
Emilia Kaspera230b262016-08-05 19:03:17 +0200904#ifndef OPENSSL_NO_PSK
Matt Caswell0f113f32015-01-22 03:40:55 +0000905 /* with PSK there must be client callback set */
906 if (!s->psk_client_callback) {
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +0100907 s->s3->tmp.mask_a |= SSL_aPSK;
Dr. Stephen Hensonfe5eef32015-06-28 17:01:07 +0100908 s->s3->tmp.mask_k |= SSL_PSK;
Matt Caswell0f113f32015-01-22 03:40:55 +0000909 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200910#endif /* OPENSSL_NO_PSK */
Matt Caswelle481f9b2015-05-15 10:49:56 +0100911#ifndef OPENSSL_NO_SRP
Matt Caswell0f113f32015-01-22 03:40:55 +0000912 if (!(s->srp_ctx.srp_Mask & SSL_kSRP)) {
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +0100913 s->s3->tmp.mask_a |= SSL_aSRP;
914 s->s3->tmp.mask_k |= SSL_kSRP;
Matt Caswell0f113f32015-01-22 03:40:55 +0000915 }
Matt Caswelle481f9b2015-05-15 10:49:56 +0100916#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000917}
Dr. Stephen Hensonfc101f82011-05-11 16:33:28 +0000918
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100919/*
920 * ssl_cipher_disabled - check that a cipher is disabled or not
921 * @s: SSL connection that you want to use the cipher on
922 * @c: cipher to check
923 * @op: Security check that you want to do
924 *
925 * Returns 1 when it's disabled, 0 when enabled.
926 */
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000927int ssl_cipher_disabled(SSL *s, const SSL_CIPHER *c, int op)
Matt Caswell0f113f32015-01-22 03:40:55 +0000928{
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100929 if (c->algorithm_mkey & s->s3->tmp.mask_k
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +0100930 || c->algorithm_auth & s->s3->tmp.mask_a)
Matt Caswell0f113f32015-01-22 03:40:55 +0000931 return 1;
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100932 if (s->s3->tmp.max_ver == 0)
933 return 1;
934 if (!SSL_IS_DTLS(s) && ((c->min_tls > s->s3->tmp.max_ver)
Emilia Kaspera230b262016-08-05 19:03:17 +0200935 || (c->max_tls < s->s3->tmp.min_ver)))
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100936 return 1;
937 if (SSL_IS_DTLS(s) && (DTLS_VERSION_GT(c->min_dtls, s->s3->tmp.max_ver)
Emilia Kaspera230b262016-08-05 19:03:17 +0200938 || DTLS_VERSION_LT(c->max_dtls, s->s3->tmp.min_ver)))
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +0100939 return 1;
940
Matt Caswell0f113f32015-01-22 03:40:55 +0000941 return !ssl_security(s, op, c->strength_bits, 0, (void *)c);
942}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +0000943
944static int tls_use_ticket(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +0000945{
946 if (s->options & SSL_OP_NO_TICKET)
947 return 0;
948 return ssl_security(s, SSL_SECOP_TICKET, 0, 0, NULL);
949}
Dr. Stephen Henson8b8e5be2014-01-14 14:55:21 +0000950
Emilia Kaspera230b262016-08-05 19:03:17 +0200951static int compare_uint(const void *p1, const void *p2)
952{
Emilia Kasperaa474d12016-02-19 17:24:44 +0100953 unsigned int u1 = *((const unsigned int *)p1);
954 unsigned int u2 = *((const unsigned int *)p2);
955 if (u1 < u2)
956 return -1;
957 else if (u1 > u2)
958 return 1;
959 else
960 return 0;
961}
962
963/*
964 * Per http://tools.ietf.org/html/rfc5246#section-7.4.1.4, there may not be
965 * more than one extension of the same type in a ClientHello or ServerHello.
966 * This function does an initial scan over the extensions block to filter those
967 * out. It returns 1 if all extensions are unique, and 0 if the extensions
968 * contain duplicates, could not be successfully parsed, or an internal error
969 * occurred.
970 */
Emilia Kaspera230b262016-08-05 19:03:17 +0200971static int tls1_check_duplicate_extensions(const PACKET *packet)
972{
Emilia Kasperaa474d12016-02-19 17:24:44 +0100973 PACKET extensions = *packet;
974 size_t num_extensions = 0, i = 0;
975 unsigned int *extension_types = NULL;
976 int ret = 0;
977
978 /* First pass: count the extensions. */
979 while (PACKET_remaining(&extensions) > 0) {
980 unsigned int type;
981 PACKET extension;
982 if (!PACKET_get_net_2(&extensions, &type) ||
983 !PACKET_get_length_prefixed_2(&extensions, &extension)) {
984 goto done;
985 }
986 num_extensions++;
987 }
988
989 if (num_extensions <= 1)
990 return 1;
991
992 extension_types = OPENSSL_malloc(sizeof(unsigned int) * num_extensions);
993 if (extension_types == NULL) {
994 SSLerr(SSL_F_TLS1_CHECK_DUPLICATE_EXTENSIONS, ERR_R_MALLOC_FAILURE);
995 goto done;
996 }
997
998 /* Second pass: gather the extension types. */
999 extensions = *packet;
1000 for (i = 0; i < num_extensions; i++) {
1001 PACKET extension;
1002 if (!PACKET_get_net_2(&extensions, &extension_types[i]) ||
1003 !PACKET_get_length_prefixed_2(&extensions, &extension)) {
1004 /* This should not happen. */
1005 SSLerr(SSL_F_TLS1_CHECK_DUPLICATE_EXTENSIONS, ERR_R_INTERNAL_ERROR);
1006 goto done;
1007 }
1008 }
1009
1010 if (PACKET_remaining(&extensions) != 0) {
1011 SSLerr(SSL_F_TLS1_CHECK_DUPLICATE_EXTENSIONS, ERR_R_INTERNAL_ERROR);
1012 goto done;
1013 }
1014 /* Sort the extensions and make sure there are no duplicates. */
1015 qsort(extension_types, num_extensions, sizeof(unsigned int), compare_uint);
1016 for (i = 1; i < num_extensions; i++) {
1017 if (extension_types[i - 1] == extension_types[i])
1018 goto done;
1019 }
1020 ret = 1;
1021 done:
1022 OPENSSL_free(extension_types);
1023 return ret;
1024}
1025
Matt Caswellae2f7b32016-09-05 17:34:04 +01001026int ssl_add_clienthello_tlsext(SSL *s, WPACKET *pkt, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00001027{
Matt Caswelle481f9b2015-05-15 10:49:56 +01001028#ifndef OPENSSL_NO_EC
Matt Caswelld2c27a22016-10-31 14:49:52 +00001029 const unsigned char *pcurves = NULL;
1030 size_t num_curves = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001031 int using_ecc = 0;
Matt Caswelld2c27a22016-10-31 14:49:52 +00001032
1033 /* See if we support any ECC ciphersuites */
1034 if ((s->version >= TLS1_VERSION && s->version <= TLS1_2_VERSION)
1035 || SSL_IS_DTLS(s)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001036 int i;
1037 unsigned long alg_k, alg_a;
1038 STACK_OF(SSL_CIPHER) *cipher_stack = SSL_get_ciphers(s);
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +00001039
Matt Caswell0f113f32015-01-22 03:40:55 +00001040 for (i = 0; i < sk_SSL_CIPHER_num(cipher_stack); i++) {
Dr. Stephen Henson4a640fb2015-12-23 00:47:28 +00001041 const SSL_CIPHER *c = sk_SSL_CIPHER_value(cipher_stack, i);
Dr. Stephen Hensond0595f12012-03-28 15:05:04 +00001042
Matt Caswell0f113f32015-01-22 03:40:55 +00001043 alg_k = c->algorithm_mkey;
1044 alg_a = c->algorithm_auth;
Dr. Stephen Hensonce0c1f22016-02-11 18:19:27 +00001045 if ((alg_k & (SSL_kECDHE | SSL_kECDHEPSK))
Emilia Kaspera230b262016-08-05 19:03:17 +02001046 || (alg_a & SSL_aECDSA)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001047 using_ecc = 1;
1048 break;
1049 }
Dr. Stephen Henson5a3d8ee2014-11-03 17:47:11 +00001050 }
Matt Caswelld2c27a22016-10-31 14:49:52 +00001051 } else if (s->version >= TLS1_3_VERSION) {
1052 /*
1053 * TODO(TLS1.3): We always use ECC for TLSv1.3 at the moment. This will
1054 * change if we implement DH key shares
1055 */
1056 using_ecc = 1;
1057 }
1058#else
1059 if (s->version >= TLS1_3_VERSION) {
1060 /* Shouldn't happen! */
1061 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1062 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001063 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001064#endif
Dr. Stephen Henson5a3d8ee2014-11-03 17:47:11 +00001065
Matt Caswell0f113f32015-01-22 03:40:55 +00001066 /* Add RI if renegotiating */
1067 if (s->renegotiate) {
Matt Caswell08029df2016-09-20 14:47:44 +01001068 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_renegotiate)
Matt Caswell2f971922016-09-26 15:31:20 +01001069 || !WPACKET_start_sub_packet_u16(pkt)
1070 || !WPACKET_sub_memcpy_u8(pkt, s->s3->previous_client_finished,
1071 s->s3->previous_client_finished_len)
1072 || !WPACKET_close(pkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001073 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001074 return 0;
Dr. Stephen Henson860c3dd2009-11-11 14:51:19 +00001075 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001076 }
1077 /* Only add RI for SSLv3 */
1078 if (s->client_version == SSL3_VERSION)
1079 goto done;
Bodo Möller36ca4ba2006-03-11 23:46:37 +00001080
Matt Caswell0f113f32015-01-22 03:40:55 +00001081 if (s->tlsext_hostname != NULL) {
1082 /* Add TLS extension servername to the Client Hello message */
Matt Caswell08029df2016-09-20 14:47:44 +01001083 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_server_name)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001084 /* Sub-packet for server_name extension */
Matt Caswellde451852016-09-09 00:13:41 +01001085 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001086 /* Sub-packet for servername list (always 1 hostname)*/
Matt Caswellde451852016-09-09 00:13:41 +01001087 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell08029df2016-09-20 14:47:44 +01001088 || !WPACKET_put_bytes_u8(pkt, TLSEXT_NAMETYPE_host_name)
Matt Caswellb2b30242016-09-13 11:32:52 +01001089 || !WPACKET_sub_memcpy_u16(pkt, s->tlsext_hostname,
1090 strlen(s->tlsext_hostname))
Matt Caswell0217dd12016-09-06 15:09:51 +01001091 || !WPACKET_close(pkt)
1092 || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001093 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1094 return 0;
1095 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001096 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001097#ifndef OPENSSL_NO_SRP
Matt Caswell0f113f32015-01-22 03:40:55 +00001098 /* Add SRP username if there is one */
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001099 if (s->srp_ctx.login != NULL) {
Matt Caswell08029df2016-09-20 14:47:44 +01001100 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_srp)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001101 /* Sub-packet for SRP extension */
Matt Caswellde451852016-09-09 00:13:41 +01001102 || !WPACKET_start_sub_packet_u16(pkt)
1103 || !WPACKET_start_sub_packet_u8(pkt)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001104 /* login must not be zero...internal error if so */
Matt Caswellde451852016-09-09 00:13:41 +01001105 || !WPACKET_set_flags(pkt, WPACKET_FLAGS_NON_ZERO_LENGTH)
Matt Caswell0217dd12016-09-06 15:09:51 +01001106 || !WPACKET_memcpy(pkt, s->srp_ctx.login,
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001107 strlen(s->srp_ctx.login))
Matt Caswell0217dd12016-09-06 15:09:51 +01001108 || !WPACKET_close(pkt)
1109 || !WPACKET_close(pkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001110 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001111 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001112 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001113 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001114#endif
Ben Laurie333f9262011-11-15 22:59:20 +00001115
Matt Caswelle481f9b2015-05-15 10:49:56 +01001116#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00001117 if (using_ecc) {
1118 /*
1119 * Add TLS extension ECPointFormats to the ClientHello message
1120 */
Matt Caswelld2c27a22016-10-31 14:49:52 +00001121 const unsigned char *pformats, *pcurvestmp;
1122 size_t num_formats;
Matt Caswell0f113f32015-01-22 03:40:55 +00001123 size_t i;
Ben Laurie333f9262011-11-15 22:59:20 +00001124
Matt Caswell0f113f32015-01-22 03:40:55 +00001125 tls1_get_formatlist(s, &pformats, &num_formats);
Ben Laurie333f9262011-11-15 22:59:20 +00001126
Matt Caswell08029df2016-09-20 14:47:44 +01001127 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_ec_point_formats)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001128 /* Sub-packet for formats extension */
Matt Caswellde451852016-09-09 00:13:41 +01001129 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswellb2b30242016-09-13 11:32:52 +01001130 || !WPACKET_sub_memcpy_u8(pkt, pformats, num_formats)
Matt Caswell0217dd12016-09-06 15:09:51 +01001131 || !WPACKET_close(pkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001132 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001133 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001134 }
Dr. Stephen Henson0e1dba92007-10-26 12:06:36 +00001135
Matt Caswell0f113f32015-01-22 03:40:55 +00001136 /*
Matt Caswellde4d7642016-11-09 14:51:06 +00001137 * Add TLS extension supported_groups to the ClientHello message
Matt Caswell0f113f32015-01-22 03:40:55 +00001138 */
Matt Caswellde4d7642016-11-09 14:51:06 +00001139 /* TODO(TLS1.3): Add support for DHE groups */
1140 pcurves = s->tlsext_supportedgroupslist;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001141 if (!tls1_get_curvelist(s, 0, &pcurves, &num_curves)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001142 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001143 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001144 }
Matt Caswelld2c27a22016-10-31 14:49:52 +00001145 pcurvestmp = pcurves;
Dr. Stephen Henson48175042011-12-31 22:59:57 +00001146
Matt Caswellde4d7642016-11-09 14:51:06 +00001147 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_supported_groups)
1148 /* Sub-packet for supported_groups extension */
Matt Caswellde451852016-09-09 00:13:41 +01001149 || !WPACKET_start_sub_packet_u16(pkt)
1150 || !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001151 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1152 return 0;
1153 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001154 /* Copy curve ID if supported */
Matt Caswelld2c27a22016-10-31 14:49:52 +00001155 for (i = 0; i < num_curves; i++, pcurvestmp += 2) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001156 if (tls_curve_allowed(s, pcurves, SSL_SECOP_CURVE_SUPPORTED)) {
Matt Caswelld2c27a22016-10-31 14:49:52 +00001157 if (!WPACKET_put_bytes_u8(pkt, pcurvestmp[0])
1158 || !WPACKET_put_bytes_u8(pkt, pcurvestmp[1])) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001159 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT,
1160 ERR_R_INTERNAL_ERROR);
1161 return 0;
1162 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001163 }
1164 }
Matt Caswell0217dd12016-09-06 15:09:51 +01001165 if (!WPACKET_close(pkt) || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001166 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1167 return 0;
1168 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001169 }
Emilia Kaspera230b262016-08-05 19:03:17 +02001170#endif /* OPENSSL_NO_EC */
Adam Langley6f017a82013-04-15 18:07:47 -04001171
Matt Caswell0f113f32015-01-22 03:40:55 +00001172 if (tls_use_ticket(s)) {
Matt Caswell348240c2016-10-19 15:11:24 +01001173 size_t ticklen;
Matt Caswell0f113f32015-01-22 03:40:55 +00001174 if (!s->new_session && s->session && s->session->tlsext_tick)
1175 ticklen = s->session->tlsext_ticklen;
1176 else if (s->session && s->tlsext_session_ticket &&
1177 s->tlsext_session_ticket->data) {
1178 ticklen = s->tlsext_session_ticket->length;
1179 s->session->tlsext_tick = OPENSSL_malloc(ticklen);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001180 if (s->session->tlsext_tick == NULL) {
1181 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1182 return 0;
1183 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001184 memcpy(s->session->tlsext_tick,
1185 s->tlsext_session_ticket->data, ticklen);
1186 s->session->tlsext_ticklen = ticklen;
1187 } else
1188 ticklen = 0;
1189 if (ticklen == 0 && s->tlsext_session_ticket &&
1190 s->tlsext_session_ticket->data == NULL)
1191 goto skip_ext;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001192
Matt Caswell08029df2016-09-20 14:47:44 +01001193 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_session_ticket)
Matt Caswellb2b30242016-09-13 11:32:52 +01001194 || !WPACKET_sub_memcpy_u16(pkt, s->session->tlsext_tick,
1195 ticklen)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001196 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1197 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001198 }
1199 }
1200 skip_ext:
Adam Langley6f017a82013-04-15 18:07:47 -04001201
David Benjaminf7aa3182016-03-05 19:49:20 -05001202 if (SSL_CLIENT_USE_SIGALGS(s)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001203 size_t salglen;
1204 const unsigned char *salg;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001205
Matt Caswell0f113f32015-01-22 03:40:55 +00001206 salglen = tls12_get_psigalgs(s, &salg);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001207
Matt Caswell08029df2016-09-20 14:47:44 +01001208 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_signature_algorithms)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001209 /* Sub-packet for sig-algs extension */
Matt Caswellde451852016-09-09 00:13:41 +01001210 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001211 /* Sub-packet for the actual list */
Matt Caswellde451852016-09-09 00:13:41 +01001212 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell0217dd12016-09-06 15:09:51 +01001213 || !tls12_copy_sigalgs(s, pkt, salg, salglen)
1214 || !WPACKET_close(pkt)
1215 || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001216 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1217 return 0;
1218 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001219 }
Matt Caswell3e41ac32016-03-21 16:54:53 +00001220#ifndef OPENSSL_NO_OCSP
Matt Caswell0f113f32015-01-22 03:40:55 +00001221 if (s->tlsext_status_type == TLSEXT_STATUSTYPE_ocsp) {
1222 int i;
Matt Caswell0f113f32015-01-22 03:40:55 +00001223
Matt Caswell08029df2016-09-20 14:47:44 +01001224 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_status_request)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001225 /* Sub-packet for status request extension */
Matt Caswellde451852016-09-09 00:13:41 +01001226 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell08029df2016-09-20 14:47:44 +01001227 || !WPACKET_put_bytes_u8(pkt, TLSEXT_STATUSTYPE_ocsp)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001228 /* Sub-packet for the ids */
Matt Caswellde451852016-09-09 00:13:41 +01001229 || !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001230 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1231 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001232 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001233 for (i = 0; i < sk_OCSP_RESPID_num(s->tlsext_ocsp_ids); i++) {
1234 unsigned char *idbytes;
1235 int idlen;
1236 OCSP_RESPID *id;
Matt Caswell0f113f32015-01-22 03:40:55 +00001237
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001238 id = sk_OCSP_RESPID_value(s->tlsext_ocsp_ids, i);
1239 idlen = i2d_OCSP_RESPID(id, NULL);
1240 if (idlen <= 0
1241 /* Sub-packet for an individual id */
Matt Caswelldd8710d2016-09-13 23:59:11 +01001242 || !WPACKET_sub_allocate_bytes_u16(pkt, idlen, &idbytes)
Matt Caswellb2b30242016-09-13 11:32:52 +01001243 || i2d_OCSP_RESPID(id, &idbytes) != idlen) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001244 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1245 return 0;
1246 }
1247 }
Matt Caswell0217dd12016-09-06 15:09:51 +01001248 if (!WPACKET_close(pkt)
Matt Caswellde451852016-09-09 00:13:41 +01001249 || !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001250 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1251 return 0;
1252 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001253 if (s->tlsext_ocsp_exts) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001254 unsigned char *extbytes;
1255 int extlen = i2d_X509_EXTENSIONS(s->tlsext_ocsp_exts, NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +00001256
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001257 if (extlen < 0) {
1258 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1259 return 0;
1260 }
Matt Caswell0217dd12016-09-06 15:09:51 +01001261 if (!WPACKET_allocate_bytes(pkt, extlen, &extbytes)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001262 || i2d_X509_EXTENSIONS(s->tlsext_ocsp_exts, &extbytes)
1263 != extlen) {
1264 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1265 return 0;
1266 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001267 }
Matt Caswell0217dd12016-09-06 15:09:51 +01001268 if (!WPACKET_close(pkt) || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001269 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1270 return 0;
1271 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001272 }
Matt Caswell3e41ac32016-03-21 16:54:53 +00001273#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00001274
Matt Caswelle481f9b2015-05-15 10:49:56 +01001275#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00001276 if (s->ctx->next_proto_select_cb && !s->s3->tmp.finish_md_len) {
1277 /*
FdaSilvaYY8483a002016-03-10 21:34:48 +01001278 * The client advertises an empty extension to indicate its support
Matt Caswell0f113f32015-01-22 03:40:55 +00001279 * for Next Protocol Negotiation
1280 */
Matt Caswell08029df2016-09-20 14:47:44 +01001281 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_next_proto_neg)
1282 || !WPACKET_put_bytes_u16(pkt, 0)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001283 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1284 return 0;
1285 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001286 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001287#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00001288
Todd Short817cd0d2016-03-05 08:47:55 -05001289 /*
1290 * finish_md_len is non-zero during a renegotiation, so
1291 * this avoids sending ALPN during the renegotiation
1292 * (see longer comment below)
1293 */
Matt Caswell0f113f32015-01-22 03:40:55 +00001294 if (s->alpn_client_proto_list && !s->s3->tmp.finish_md_len) {
Matt Caswell08029df2016-09-20 14:47:44 +01001295 if (!WPACKET_put_bytes_u16(pkt,
1296 TLSEXT_TYPE_application_layer_protocol_negotiation)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001297 /* Sub-packet ALPN extension */
Matt Caswellde451852016-09-09 00:13:41 +01001298 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswellb2b30242016-09-13 11:32:52 +01001299 || !WPACKET_sub_memcpy_u16(pkt, s->alpn_client_proto_list,
1300 s->alpn_client_proto_list_len)
Matt Caswell0217dd12016-09-06 15:09:51 +01001301 || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001302 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1303 return 0;
1304 }
Todd Short817cd0d2016-03-05 08:47:55 -05001305 s->s3->alpn_sent = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001306 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001307#ifndef OPENSSL_NO_SRTP
Matt Caswell0f113f32015-01-22 03:40:55 +00001308 if (SSL_IS_DTLS(s) && SSL_get_srtp_profiles(s)) {
Matt Caswell7facdbd2016-09-28 13:33:41 +01001309 STACK_OF(SRTP_PROTECTION_PROFILE) *clnt = SSL_get_srtp_profiles(s);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001310 SRTP_PROTECTION_PROFILE *prof;
1311 int i, ct;
Matt Caswell0f113f32015-01-22 03:40:55 +00001312
Matt Caswell08029df2016-09-20 14:47:44 +01001313 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_use_srtp)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001314 /* Sub-packet for SRTP extension */
Matt Caswellde451852016-09-09 00:13:41 +01001315 || !WPACKET_start_sub_packet_u16(pkt)
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001316 /* Sub-packet for the protection profile list */
Matt Caswellde451852016-09-09 00:13:41 +01001317 || !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell69f68232015-03-06 14:37:17 +00001318 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001319 return 0;
Matt Caswell69f68232015-03-06 14:37:17 +00001320 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001321 ct = sk_SRTP_PROTECTION_PROFILE_num(clnt);
1322 for (i = 0; i < ct; i++) {
1323 prof = sk_SRTP_PROTECTION_PROFILE_value(clnt, i);
Matt Caswell08029df2016-09-20 14:47:44 +01001324 if (prof == NULL || !WPACKET_put_bytes_u16(pkt, prof->id)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001325 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1326 return 0;
1327 }
1328 }
Matt Caswell7facdbd2016-09-28 13:33:41 +01001329 if (!WPACKET_close(pkt)
1330 /* Add an empty use_mki value */
1331 || !WPACKET_put_bytes_u8(pkt, 0)
1332 || !WPACKET_close(pkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001333 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001334 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001335 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001336 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001337#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00001338 custom_ext_init(&s->cert->cli_ext);
1339 /* Add custom TLS Extensions to ClientHello */
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001340 if (!custom_ext_add(s, 0, pkt, al)) {
1341 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1342 return 0;
1343 }
1344
David Woodhousecde61452016-10-14 00:26:38 +01001345 if (!(s->options & SSL_OP_NO_ENCRYPT_THEN_MAC)) {
1346 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_encrypt_then_mac)
Matt Caswell08029df2016-09-20 14:47:44 +01001347 || !WPACKET_put_bytes_u16(pkt, 0)) {
David Woodhousecde61452016-10-14 00:26:38 +01001348 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1349 return 0;
1350 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001351 }
1352
Rob Percivaled29e822016-03-03 16:19:23 +00001353#ifndef OPENSSL_NO_CT
1354 if (s->ct_validation_callback != NULL) {
Matt Caswell08029df2016-09-20 14:47:44 +01001355 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_signed_certificate_timestamp)
1356 || !WPACKET_put_bytes_u16(pkt, 0)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001357 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1358 return 0;
1359 }
Rob Percivaled29e822016-03-03 16:19:23 +00001360 }
1361#endif
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001362
Matt Caswell08029df2016-09-20 14:47:44 +01001363 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_extended_master_secret)
1364 || !WPACKET_put_bytes_u16(pkt, 0)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001365 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1366 return 0;
1367 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001368
Matt Caswelld2c27a22016-10-31 14:49:52 +00001369 /* TLS1.3 specific extensions */
Matt Caswellf2342b72016-11-09 14:43:05 +00001370 if (SSL_IS_TLS13(s)) {
Matt Caswellb5b253b2016-10-21 23:40:52 +01001371 int min_version, max_version, reason, currv;
Matt Caswelld2c27a22016-10-31 14:49:52 +00001372 size_t i, sharessent = 0;
1373
1374 /* TODO(TLS1.3): Should we add this extension for versions < TLS1.3? */
1375 /* supported_versions extension */
Matt Caswellb5b253b2016-10-21 23:40:52 +01001376 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_supported_versions)
1377 || !WPACKET_start_sub_packet_u16(pkt)
1378 || !WPACKET_start_sub_packet_u8(pkt)) {
1379 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1380 return 0;
1381 }
1382 reason = ssl_get_client_min_max_version(s, &min_version, &max_version);
1383 if (reason != 0) {
1384 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, reason);
1385 return 0;
1386 }
Matt Caswellf2342b72016-11-09 14:43:05 +00001387 /*
1388 * TODO(TLS1.3): There is some discussion on the TLS list as to wheter
1389 * we should include versions <TLS1.2. For the moment we do. To be
1390 * reviewed later.
1391 */
Matt Caswellb5b253b2016-10-21 23:40:52 +01001392 for (currv = max_version; currv >= min_version; currv--) {
1393 /* TODO(TLS1.3): Remove this first if clause prior to release!! */
1394 if (currv == TLS1_3_VERSION) {
1395 if (!WPACKET_put_bytes_u16(pkt, TLS1_3_VERSION_DRAFT)) {
1396 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT,
1397 ERR_R_INTERNAL_ERROR);
1398 return 0;
1399 }
1400 } else if (!WPACKET_put_bytes_u16(pkt, currv)) {
1401 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1402 return 0;
1403 }
1404 }
1405 if (!WPACKET_close(pkt) || !WPACKET_close(pkt)) {
1406 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1407 return 0;
1408 }
Matt Caswelld2c27a22016-10-31 14:49:52 +00001409
1410
1411 /* key_share extension */
1412 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_key_share)
1413 /* Extension data sub-packet */
1414 || !WPACKET_start_sub_packet_u16(pkt)
1415 /* KeyShare list sub-packet */
1416 || !WPACKET_start_sub_packet_u16(pkt)) {
1417 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1418 return 0;
1419 }
1420
1421 /*
1422 * TODO(TLS1.3): Make the number of key_shares sent configurable. For
1423 * now, just send one
1424 */
1425 for (i = 0; i < num_curves && sharessent < 1; i++, pcurves += 2) {
1426 if (tls_curve_allowed(s, pcurves, SSL_SECOP_CURVE_SUPPORTED)) {
1427 unsigned char *encodedPoint = NULL;
1428 unsigned int curve_id = 0;
1429 EVP_PKEY *key_share_key = NULL;
1430 size_t encodedlen;
1431
1432 if (s->s3->tmp.pkey != NULL) {
1433 /* Shouldn't happen! */
1434 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT,
1435 ERR_R_INTERNAL_ERROR);
1436 return 0;
1437 }
1438
1439 /* Generate a key for this key_share */
1440 curve_id = (pcurves[0] << 8) | pcurves[1];
1441 key_share_key = ssl_generate_pkey_curve(curve_id);
1442 if (key_share_key == NULL) {
1443 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_EVP_LIB);
1444 return 0;
1445 }
1446
1447 /* Encode the public key. */
1448 encodedlen = EVP_PKEY_get1_tls_encodedpoint(key_share_key,
1449 &encodedPoint);
1450 if (encodedlen == 0) {
1451 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_EC_LIB);
1452 EVP_PKEY_free(key_share_key);
1453 return 0;
1454 }
1455
1456 /* Create KeyShareEntry */
1457 if (!WPACKET_put_bytes_u16(pkt, curve_id)
1458 || !WPACKET_sub_memcpy_u16(pkt, encodedPoint,
1459 encodedlen)) {
1460 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT,
1461 ERR_R_INTERNAL_ERROR);
1462 EVP_PKEY_free(key_share_key);
1463 OPENSSL_free(encodedPoint);
1464 return 0;
1465 }
1466
1467 /*
1468 * TODO(TLS1.3): When changing to send more than one key_share
1469 * we're going to need to be able to save more than one EVP_PKEY
1470 * For now we reuse the existing tmp.pkey
1471 */
1472 s->s3->group_id = curve_id;
1473 s->s3->tmp.pkey = key_share_key;
1474 sharessent++;
1475 OPENSSL_free(encodedPoint);
1476 }
1477 }
1478 if (!WPACKET_close(pkt) || !WPACKET_close(pkt)) {
1479 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1480 return 0;
1481 }
Matt Caswellb5b253b2016-10-21 23:40:52 +01001482 }
1483
Matt Caswell0f113f32015-01-22 03:40:55 +00001484 /*
1485 * Add padding to workaround bugs in F5 terminators. See
1486 * https://tools.ietf.org/html/draft-agl-tls-padding-03 NB: because this
1487 * code works out the length of all existing extensions it MUST always
1488 * appear last.
1489 */
1490 if (s->options & SSL_OP_TLSEXT_PADDING) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001491 unsigned char *padbytes;
1492 size_t hlen;
1493
Matt Caswellae2f7b32016-09-05 17:34:04 +01001494 if (!WPACKET_get_total_written(pkt, &hlen)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001495 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1496 return 0;
1497 }
Matt Caswella3680c82015-03-31 13:57:46 +01001498
Matt Caswell0f113f32015-01-22 03:40:55 +00001499 if (hlen > 0xff && hlen < 0x200) {
1500 hlen = 0x200 - hlen;
1501 if (hlen >= 4)
1502 hlen -= 4;
1503 else
1504 hlen = 0;
1505
Matt Caswell08029df2016-09-20 14:47:44 +01001506 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_padding)
Matt Caswellb2b30242016-09-13 11:32:52 +01001507 || !WPACKET_sub_allocate_bytes_u16(pkt, hlen, &padbytes)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001508 SSLerr(SSL_F_SSL_ADD_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1509 return 0;
1510 }
1511 memset(padbytes, 0, hlen);
Matt Caswell0f113f32015-01-22 03:40:55 +00001512 }
1513 }
1514
1515 done:
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001516 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001517}
1518
Matt Caswell8157d442016-09-28 11:13:48 +01001519int ssl_add_serverhello_tlsext(SSL *s, WPACKET *pkt, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00001520{
Matt Caswelle481f9b2015-05-15 10:49:56 +01001521#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00001522 int next_proto_neg_seen;
Matt Caswelle481f9b2015-05-15 10:49:56 +01001523#endif
1524#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00001525 unsigned long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
1526 unsigned long alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Dr. Stephen Hensonce0c1f22016-02-11 18:19:27 +00001527 int using_ecc = (alg_k & SSL_kECDHE) || (alg_a & SSL_aECDSA);
Matt Caswell0f113f32015-01-22 03:40:55 +00001528 using_ecc = using_ecc && (s->session->tlsext_ecpointformatlist != NULL);
Matt Caswelle481f9b2015-05-15 10:49:56 +01001529#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00001530
Matt Caswell8157d442016-09-28 11:13:48 +01001531 if (!WPACKET_start_sub_packet_u16(pkt)
1532 || !WPACKET_set_flags(pkt, WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH)) {
1533 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1534 return 0;
1535 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001536
Matt Caswell8157d442016-09-28 11:13:48 +01001537 if (s->s3->send_connection_binding &&
1538 !ssl_add_serverhello_renegotiate_ext(s, pkt)) {
1539 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1540 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001541 }
1542
1543 /* Only add RI for SSLv3 */
1544 if (s->version == SSL3_VERSION)
1545 goto done;
1546
1547 if (!s->hit && s->servername_done == 1
Matt Caswell8157d442016-09-28 11:13:48 +01001548 && s->session->tlsext_hostname != NULL) {
1549 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_server_name)
1550 || !WPACKET_put_bytes_u16(pkt, 0)) {
1551 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1552 return 0;
1553 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001554 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001555#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00001556 if (using_ecc) {
1557 const unsigned char *plist;
1558 size_t plistlen;
1559 /*
1560 * Add TLS extension ECPointFormats to the ServerHello message
1561 */
Matt Caswell0f113f32015-01-22 03:40:55 +00001562 tls1_get_formatlist(s, &plist, &plistlen);
1563
Matt Caswell8157d442016-09-28 11:13:48 +01001564 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_ec_point_formats)
1565 || !WPACKET_start_sub_packet_u16(pkt)
1566 || !WPACKET_sub_memcpy_u8(pkt, plist, plistlen)
1567 || !WPACKET_close(pkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001568 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell8157d442016-09-28 11:13:48 +01001569 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001570 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001571 }
1572 /*
1573 * Currently the server should not respond with a SupportedCurves
1574 * extension
1575 */
Emilia Kaspera230b262016-08-05 19:03:17 +02001576#endif /* OPENSSL_NO_EC */
Matt Caswell0f113f32015-01-22 03:40:55 +00001577
1578 if (s->tlsext_ticket_expected && tls_use_ticket(s)) {
Matt Caswell8157d442016-09-28 11:13:48 +01001579 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_session_ticket)
1580 || !WPACKET_put_bytes_u16(pkt, 0)) {
1581 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1582 return 0;
1583 }
Todd Short5c753de2016-05-12 18:16:52 -04001584 } else {
Emilia Kaspera230b262016-08-05 19:03:17 +02001585 /*
1586 * if we don't add the above TLSEXT, we can't add a session ticket
1587 * later
1588 */
Todd Short5c753de2016-05-12 18:16:52 -04001589 s->tlsext_ticket_expected = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001590 }
1591
1592 if (s->tlsext_status_expected) {
Matt Caswell8157d442016-09-28 11:13:48 +01001593 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_status_request)
1594 || !WPACKET_put_bytes_u16(pkt, 0)) {
1595 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1596 return 0;
1597 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001598 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001599#ifndef OPENSSL_NO_SRTP
Matt Caswell0f113f32015-01-22 03:40:55 +00001600 if (SSL_IS_DTLS(s) && s->srtp_profile) {
Matt Caswell8157d442016-09-28 11:13:48 +01001601 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_use_srtp)
1602 || !WPACKET_start_sub_packet_u16(pkt)
1603 || !WPACKET_put_bytes_u16(pkt, 2)
1604 || !WPACKET_put_bytes_u16(pkt, s->srtp_profile->id)
1605 || !WPACKET_put_bytes_u8(pkt, 0)
1606 || !WPACKET_close(pkt)) {
Matt Caswell69f68232015-03-06 14:37:17 +00001607 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
Matt Caswell8157d442016-09-28 11:13:48 +01001608 return 0;
Matt Caswell69f68232015-03-06 14:37:17 +00001609 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001610 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001611#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00001612
1613 if (((s->s3->tmp.new_cipher->id & 0xFFFF) == 0x80
1614 || (s->s3->tmp.new_cipher->id & 0xFFFF) == 0x81)
1615 && (SSL_get_options(s) & SSL_OP_CRYPTOPRO_TLSEXT_BUG)) {
1616 const unsigned char cryptopro_ext[36] = {
1617 0xfd, 0xe8, /* 65000 */
1618 0x00, 0x20, /* 32 bytes length */
1619 0x30, 0x1e, 0x30, 0x08, 0x06, 0x06, 0x2a, 0x85,
1620 0x03, 0x02, 0x02, 0x09, 0x30, 0x08, 0x06, 0x06,
1621 0x2a, 0x85, 0x03, 0x02, 0x02, 0x16, 0x30, 0x08,
1622 0x06, 0x06, 0x2a, 0x85, 0x03, 0x02, 0x02, 0x17
1623 };
Matt Caswell8157d442016-09-28 11:13:48 +01001624 if (!WPACKET_memcpy(pkt, cryptopro_ext, sizeof(cryptopro_ext))) {
1625 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1626 return 0;
1627 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001628 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001629
Matt Caswelle481f9b2015-05-15 10:49:56 +01001630#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00001631 next_proto_neg_seen = s->s3->next_proto_neg_seen;
1632 s->s3->next_proto_neg_seen = 0;
1633 if (next_proto_neg_seen && s->ctx->next_protos_advertised_cb) {
1634 const unsigned char *npa;
1635 unsigned int npalen;
1636 int r;
1637
1638 r = s->ctx->next_protos_advertised_cb(s, &npa, &npalen,
1639 s->
1640 ctx->next_protos_advertised_cb_arg);
1641 if (r == SSL_TLSEXT_ERR_OK) {
Matt Caswell8157d442016-09-28 11:13:48 +01001642 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_next_proto_neg)
1643 || !WPACKET_sub_memcpy_u16(pkt, npa, npalen)) {
1644 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1645 return 0;
1646 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001647 s->s3->next_proto_neg_seen = 1;
1648 }
1649 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001650#endif
Matt Caswell8157d442016-09-28 11:13:48 +01001651 if (!custom_ext_add(s, 1, pkt, al)) {
1652 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1653 return 0;
1654 }
1655
Matt Caswell0f113f32015-01-22 03:40:55 +00001656 if (s->s3->flags & TLS1_FLAGS_ENCRYPT_THEN_MAC) {
1657 /*
1658 * Don't use encrypt_then_mac if AEAD or RC4 might want to disable
1659 * for other cases too.
1660 */
1661 if (s->s3->tmp.new_cipher->algorithm_mac == SSL_AEAD
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00001662 || s->s3->tmp.new_cipher->algorithm_enc == SSL_RC4
1663 || s->s3->tmp.new_cipher->algorithm_enc == SSL_eGOST2814789CNT
1664 || s->s3->tmp.new_cipher->algorithm_enc == SSL_eGOST2814789CNT12)
Matt Caswell0f113f32015-01-22 03:40:55 +00001665 s->s3->flags &= ~TLS1_FLAGS_ENCRYPT_THEN_MAC;
1666 else {
Matt Caswell8157d442016-09-28 11:13:48 +01001667 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_encrypt_then_mac)
1668 || !WPACKET_put_bytes_u16(pkt, 0)) {
1669 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1670 return 0;
1671 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001672 }
1673 }
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00001674 if (s->s3->flags & TLS1_FLAGS_RECEIVED_EXTMS) {
Matt Caswell8157d442016-09-28 11:13:48 +01001675 if (!WPACKET_put_bytes_u16(pkt, TLSEXT_TYPE_extended_master_secret)
1676 || !WPACKET_put_bytes_u16(pkt, 0)) {
1677 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1678 return 0;
1679 }
Dr. Stephen Hensonddc06b32015-01-23 02:45:13 +00001680 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001681
Todd Short817cd0d2016-03-05 08:47:55 -05001682 if (s->s3->alpn_selected != NULL) {
Matt Caswell8157d442016-09-28 11:13:48 +01001683 if (!WPACKET_put_bytes_u16(pkt,
1684 TLSEXT_TYPE_application_layer_protocol_negotiation)
1685 || !WPACKET_start_sub_packet_u16(pkt)
1686 || !WPACKET_start_sub_packet_u16(pkt)
1687 || !WPACKET_sub_memcpy_u8(pkt, s->s3->alpn_selected,
1688 s->s3->alpn_selected_len)
1689 || !WPACKET_close(pkt)
1690 || !WPACKET_close(pkt)) {
1691 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1692 return 0;
1693 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001694 }
1695
1696 done:
Matt Caswell8157d442016-09-28 11:13:48 +01001697 if (!WPACKET_close(pkt)) {
1698 SSLerr(SSL_F_SSL_ADD_SERVERHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
1699 return 0;
1700 }
1701 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001702}
1703
1704/*
Todd Short817cd0d2016-03-05 08:47:55 -05001705 * Save the ALPN extension in a ClientHello.
Emilia Kasper06217862015-09-22 15:20:26 +02001706 * pkt: the contents of the ALPN extension, not including type and length.
1707 * al: a pointer to the alert value to send in the event of a failure.
1708 * returns: 1 on success, 0 on error.
Matt Caswell0f113f32015-01-22 03:40:55 +00001709 */
Matt Caswell9ceb2422015-04-16 10:06:25 +01001710static int tls1_alpn_handle_client_hello(SSL *s, PACKET *pkt, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00001711{
Emilia Kasper06217862015-09-22 15:20:26 +02001712 PACKET protocol_list, save_protocol_list, protocol;
1713
1714 *al = SSL_AD_DECODE_ERROR;
1715
1716 if (!PACKET_as_length_prefixed_2(pkt, &protocol_list)
1717 || PACKET_remaining(&protocol_list) < 2) {
1718 return 0;
1719 }
1720
1721 save_protocol_list = protocol_list;
1722 do {
1723 /* Protocol names can't be empty. */
1724 if (!PACKET_get_length_prefixed_1(&protocol_list, &protocol)
1725 || PACKET_remaining(&protocol) == 0) {
1726 return 0;
1727 }
1728 } while (PACKET_remaining(&protocol_list) != 0);
Adam Langley6f017a82013-04-15 18:07:47 -04001729
Todd Short817cd0d2016-03-05 08:47:55 -05001730 if (!PACKET_memdup(&save_protocol_list,
Emilia Kaspera230b262016-08-05 19:03:17 +02001731 &s->s3->alpn_proposed, &s->s3->alpn_proposed_len)) {
Todd Short817cd0d2016-03-05 08:47:55 -05001732 *al = TLS1_AD_INTERNAL_ERROR;
1733 return 0;
1734 }
Adam Langley6f017a82013-04-15 18:07:47 -04001735
Todd Short817cd0d2016-03-05 08:47:55 -05001736 return 1;
1737}
1738
1739/*
1740 * Process the ALPN extension in a ClientHello.
Todd Short817cd0d2016-03-05 08:47:55 -05001741 * al: a pointer to the alert value to send in the event of a failure.
Emilia Kasper70c22882016-07-04 20:32:28 +02001742 * returns 1 on success, 0 on error.
Todd Short817cd0d2016-03-05 08:47:55 -05001743 */
Emilia Kasper70c22882016-07-04 20:32:28 +02001744static int tls1_alpn_handle_client_hello_late(SSL *s, int *al)
Todd Short817cd0d2016-03-05 08:47:55 -05001745{
1746 const unsigned char *selected = NULL;
1747 unsigned char selected_len = 0;
1748
1749 if (s->ctx->alpn_select_cb != NULL && s->s3->alpn_proposed != NULL) {
1750 int r = s->ctx->alpn_select_cb(s, &selected, &selected_len,
1751 s->s3->alpn_proposed,
Matt Caswell348240c2016-10-19 15:11:24 +01001752 (unsigned int)s->s3->alpn_proposed_len,
Todd Short817cd0d2016-03-05 08:47:55 -05001753 s->ctx->alpn_select_cb_arg);
1754
1755 if (r == SSL_TLSEXT_ERR_OK) {
1756 OPENSSL_free(s->s3->alpn_selected);
1757 s->s3->alpn_selected = OPENSSL_memdup(selected, selected_len);
1758 if (s->s3->alpn_selected == NULL) {
1759 *al = SSL_AD_INTERNAL_ERROR;
Todd Short817cd0d2016-03-05 08:47:55 -05001760 return 0;
1761 }
1762 s->s3->alpn_selected_len = selected_len;
Todd Short0351baa2016-03-12 09:14:05 -05001763#ifndef OPENSSL_NO_NEXTPROTONEG
1764 /* ALPN takes precedence over NPN. */
1765 s->s3->next_proto_neg_seen = 0;
1766#endif
Todd Short817cd0d2016-03-05 08:47:55 -05001767 } else {
1768 *al = SSL_AD_NO_APPLICATION_PROTOCOL;
Emilia Kasper06217862015-09-22 15:20:26 +02001769 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001770 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001771 }
Adam Langley6f017a82013-04-15 18:07:47 -04001772
Emilia Kasper06217862015-09-22 15:20:26 +02001773 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001774}
Adam Langley6f017a82013-04-15 18:07:47 -04001775
Matt Caswelle481f9b2015-05-15 10:49:56 +01001776#ifndef OPENSSL_NO_EC
Tim Hudson1d97c842014-12-28 12:48:40 +10001777/*-
1778 * ssl_check_for_safari attempts to fingerprint Safari using OS X
Matt Caswell3d33f3b2016-11-07 15:15:06 +00001779 * SecureTransport using the TLS extension block in |hello|.
Rob Stradlingdece3202013-09-05 13:09:03 +01001780 * Safari, since 10.6, sends exactly these extensions, in this order:
1781 * SNI,
1782 * elliptic_curves
1783 * ec_point_formats
1784 *
1785 * We wish to fingerprint Safari because they broke ECDHE-ECDSA support in 10.8,
1786 * but they advertise support. So enabling ECDHE-ECDSA ciphers breaks them.
1787 * Sadly we cannot differentiate 10.6, 10.7 and 10.8.4 (which work), from
1788 * 10.8..10.8.3 (which don't work).
1789 */
Matt Caswell902aca02016-11-08 13:43:12 +00001790static void ssl_check_for_safari(SSL *s, const CLIENTHELLO_MSG *hello)
Matt Caswell0f113f32015-01-22 03:40:55 +00001791{
Emilia Kasper06217862015-09-22 15:20:26 +02001792 unsigned int type;
1793 PACKET sni, tmppkt;
1794 size_t ext_len;
Matt Caswell9ceb2422015-04-16 10:06:25 +01001795
Matt Caswell0f113f32015-01-22 03:40:55 +00001796 static const unsigned char kSafariExtensionsBlock[] = {
1797 0x00, 0x0a, /* elliptic_curves extension */
1798 0x00, 0x08, /* 8 bytes */
1799 0x00, 0x06, /* 6 bytes of curve ids */
1800 0x00, 0x17, /* P-256 */
1801 0x00, 0x18, /* P-384 */
1802 0x00, 0x19, /* P-521 */
Rob Stradlingdece3202013-09-05 13:09:03 +01001803
Matt Caswell0f113f32015-01-22 03:40:55 +00001804 0x00, 0x0b, /* ec_point_formats */
1805 0x00, 0x02, /* 2 bytes */
1806 0x01, /* 1 point format */
1807 0x00, /* uncompressed */
Emilia Kasper06217862015-09-22 15:20:26 +02001808 /* The following is only present in TLS 1.2 */
Matt Caswell0f113f32015-01-22 03:40:55 +00001809 0x00, 0x0d, /* signature_algorithms */
1810 0x00, 0x0c, /* 12 bytes */
1811 0x00, 0x0a, /* 10 bytes */
1812 0x05, 0x01, /* SHA-384/RSA */
1813 0x04, 0x01, /* SHA-256/RSA */
1814 0x02, 0x01, /* SHA-1/RSA */
1815 0x04, 0x03, /* SHA-256/ECDSA */
1816 0x02, 0x03, /* SHA-1/ECDSA */
1817 };
Rob Stradlingdece3202013-09-05 13:09:03 +01001818
Emilia Kasper06217862015-09-22 15:20:26 +02001819 /* Length of the common prefix (first two extensions). */
1820 static const size_t kSafariCommonExtensionsLength = 18;
1821
Matt Caswell1ab38362016-10-22 17:24:37 +01001822 tmppkt = hello->extensions;
Matt Caswell68a16622015-10-07 15:20:47 +01001823
1824 if (!PACKET_forward(&tmppkt, 2)
Emilia Kasper06217862015-09-22 15:20:26 +02001825 || !PACKET_get_net_2(&tmppkt, &type)
1826 || !PACKET_get_length_prefixed_2(&tmppkt, &sni)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001827 return;
Emilia Kasper06217862015-09-22 15:20:26 +02001828 }
Rob Stradlingdece3202013-09-05 13:09:03 +01001829
Matt Caswell0f113f32015-01-22 03:40:55 +00001830 if (type != TLSEXT_TYPE_server_name)
1831 return;
Rob Stradlingdece3202013-09-05 13:09:03 +01001832
Emilia Kasper06217862015-09-22 15:20:26 +02001833 ext_len = TLS1_get_client_version(s) >= TLS1_2_VERSION ?
1834 sizeof(kSafariExtensionsBlock) : kSafariCommonExtensionsLength;
Rob Stradlingdece3202013-09-05 13:09:03 +01001835
Emilia Kasper06217862015-09-22 15:20:26 +02001836 s->s3->is_probably_safari = PACKET_equal(&tmppkt, kSafariExtensionsBlock,
1837 ext_len);
Rob Stradlingdece3202013-09-05 13:09:03 +01001838}
Emilia Kaspera230b262016-08-05 19:03:17 +02001839#endif /* !OPENSSL_NO_EC */
Rob Stradlingdece3202013-09-05 13:09:03 +01001840
Emilia Kasper06217862015-09-22 15:20:26 +02001841/*
Matt Caswell64386322016-10-31 16:36:30 +00001842 * Loop through all remaining ClientHello extensions that we collected earlier
1843 * and haven't already processed. For each one parse it and update the SSL
1844 * object as required.
Emilia Kasper06217862015-09-22 15:20:26 +02001845 *
1846 * Behaviour upon resumption is extension-specific. If the extension has no
1847 * effect during resumption, it is parsed (to verify its format) but otherwise
1848 * ignored.
1849 *
Matt Caswell64386322016-10-31 16:36:30 +00001850 * Returns 1 on success and 0 on failure.
Emilia Kasper06217862015-09-22 15:20:26 +02001851 * Upon failure, sets |al| to the appropriate alert.
1852 */
Matt Caswell1ab38362016-10-22 17:24:37 +01001853static int ssl_scan_clienthello_tlsext(SSL *s, CLIENTHELLO_MSG *hello, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00001854{
Matt Caswell1ab38362016-10-22 17:24:37 +01001855 size_t loop;
Matt Caswell0f113f32015-01-22 03:40:55 +00001856 int renegotiate_seen = 0;
Dr. Stephen Hensonecf4d662014-08-10 12:08:08 +01001857
Emilia Kasper06217862015-09-22 15:20:26 +02001858 *al = SSL_AD_DECODE_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001859 s->servername_done = 0;
1860 s->tlsext_status_type = -1;
Matt Caswelle481f9b2015-05-15 10:49:56 +01001861#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00001862 s->s3->next_proto_neg_seen = 0;
Matt Caswelle481f9b2015-05-15 10:49:56 +01001863#endif
Dr. Stephen Henson860c3dd2009-11-11 14:51:19 +00001864
Rich Salzb548a1f2015-05-01 10:02:07 -04001865 OPENSSL_free(s->s3->alpn_selected);
1866 s->s3->alpn_selected = NULL;
Todd Short0351baa2016-03-12 09:14:05 -05001867 s->s3->alpn_selected_len = 0;
1868 OPENSSL_free(s->s3->alpn_proposed);
1869 s->s3->alpn_proposed = NULL;
1870 s->s3->alpn_proposed_len = 0;
Bodo Möllered3883d2006-01-02 23:14:37 +00001871
Matt Caswelle481f9b2015-05-15 10:49:56 +01001872#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00001873 if (s->options & SSL_OP_SAFARI_ECDHE_ECDSA_BUG)
Matt Caswell1ab38362016-10-22 17:24:37 +01001874 ssl_check_for_safari(s, hello);
Emilia Kaspera230b262016-08-05 19:03:17 +02001875#endif /* !OPENSSL_NO_EC */
Adam Langley6f017a82013-04-15 18:07:47 -04001876
Matt Caswell0f113f32015-01-22 03:40:55 +00001877 /* Clear any signature algorithms extension received */
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01001878 OPENSSL_free(s->s3->tmp.peer_sigalgs);
1879 s->s3->tmp.peer_sigalgs = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001880 s->s3->flags &= ~TLS1_FLAGS_ENCRYPT_THEN_MAC;
Rob Stradlingdece3202013-09-05 13:09:03 +01001881
Matt Caswelle481f9b2015-05-15 10:49:56 +01001882#ifndef OPENSSL_NO_SRP
Rich Salzb548a1f2015-05-01 10:02:07 -04001883 OPENSSL_free(s->srp_ctx.login);
1884 s->srp_ctx.login = NULL;
Matt Caswelle481f9b2015-05-15 10:49:56 +01001885#endif
Rob Stradlingdece3202013-09-05 13:09:03 +01001886
Matt Caswell0f113f32015-01-22 03:40:55 +00001887 s->srtp_profile = NULL;
Dr. Stephen Henson48175042011-12-31 22:59:57 +00001888
Emilia Kasper06217862015-09-22 15:20:26 +02001889 /*
1890 * We parse all extensions to ensure the ClientHello is well-formed but,
1891 * unless an extension specifies otherwise, we ignore extensions upon
1892 * resumption.
1893 */
Matt Caswell1ab38362016-10-22 17:24:37 +01001894 for (loop = 0; loop < hello->num_extensions; loop++) {
Matt Caswellb1b4b542016-10-31 13:11:17 +00001895 RAW_EXTENSION *currext = &hello->pre_proc_exts[loop];
1896
Matt Caswell0f113f32015-01-22 03:40:55 +00001897 if (s->tlsext_debug_cb)
Matt Caswellb1b4b542016-10-31 13:11:17 +00001898 s->tlsext_debug_cb(s, 0, currext->type,
1899 PACKET_data(&currext->data),
1900 PACKET_remaining(&currext->data),
Emilia Kasper06217862015-09-22 15:20:26 +02001901 s->tlsext_debug_arg);
Matt Caswell9ceb2422015-04-16 10:06:25 +01001902
Matt Caswellb1b4b542016-10-31 13:11:17 +00001903 if (currext->type == TLSEXT_TYPE_renegotiate) {
Matt Caswell1ab38362016-10-22 17:24:37 +01001904 if (!ssl_parse_clienthello_renegotiate_ext(s,
Matt Caswellb1b4b542016-10-31 13:11:17 +00001905 &currext->data, al))
Matt Caswell0f113f32015-01-22 03:40:55 +00001906 return 0;
1907 renegotiate_seen = 1;
1908 } else if (s->version == SSL3_VERSION) {
1909 }
Tim Hudson1d97c842014-12-28 12:48:40 +10001910/*-
1911 * The servername extension is treated as follows:
1912 *
1913 * - Only the hostname type is supported with a maximum length of 255.
1914 * - The servername is rejected if too long or if it contains zeros,
1915 * in which case an fatal alert is generated.
1916 * - The servername field is maintained together with the session cache.
1917 * - When a session is resumed, the servername call back invoked in order
Matt Caswell0f113f32015-01-22 03:40:55 +00001918 * to allow the application to position itself to the right context.
1919 * - The servername is acknowledged if it is new for a session or when
1920 * it is identical to a previously used for the same session.
Tim Hudson1d97c842014-12-28 12:48:40 +10001921 * Applications can control the behaviour. They can at any time
1922 * set a 'desirable' servername for a new SSL object. This can be the
1923 * case for example with HTTPS when a Host: header field is received and
1924 * a renegotiation is requested. In this case, a possible servername
1925 * presented in the new client hello is only acknowledged if it matches
Matt Caswell0f113f32015-01-22 03:40:55 +00001926 * the value of the Host: field.
Tim Hudson1d97c842014-12-28 12:48:40 +10001927 * - Applications must use SSL_OP_NO_SESSION_RESUMPTION_ON_RENEGOTIATION
Matt Caswell0f113f32015-01-22 03:40:55 +00001928 * if they provide for changing an explicit servername context for the
1929 * session, i.e. when the session has been established with a servername
1930 * extension.
1931 * - On session reconnect, the servername extension may be absent.
Tim Hudson1d97c842014-12-28 12:48:40 +10001932 *
Matt Caswell0f113f32015-01-22 03:40:55 +00001933 */
Bodo Möllera13c20f2006-01-09 19:49:05 +00001934
Matt Caswellb1b4b542016-10-31 13:11:17 +00001935 else if (currext->type == TLSEXT_TYPE_server_name) {
Matt Caswell9ceb2422015-04-16 10:06:25 +01001936 unsigned int servname_type;
Emilia Kasper06217862015-09-22 15:20:26 +02001937 PACKET sni, hostname;
Bodo Möllera70183b2006-03-30 02:53:30 +00001938
Matt Caswellb1b4b542016-10-31 13:11:17 +00001939 if (!PACKET_as_length_prefixed_2(&currext->data, &sni)
Emilia Kasper06217862015-09-22 15:20:26 +02001940 /* ServerNameList must be at least 1 byte long. */
1941 || PACKET_remaining(&sni) == 0) {
1942 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001943 }
Bodo Möller33273722006-03-30 02:44:56 +00001944
Emilia Kasper06217862015-09-22 15:20:26 +02001945 /*
1946 * Although the server_name extension was intended to be
1947 * extensible to new name types, RFC 4366 defined the
FdaSilvaYY8483a002016-03-10 21:34:48 +01001948 * syntax inextensibility and OpenSSL 1.0.x parses it as
Emilia Kasper06217862015-09-22 15:20:26 +02001949 * such.
1950 * RFC 6066 corrected the mistake but adding new name types
1951 * is nevertheless no longer feasible, so act as if no other
1952 * SNI types can exist, to simplify parsing.
1953 *
1954 * Also note that the RFC permits only one SNI value per type,
1955 * i.e., we can only have a single hostname.
1956 */
1957 if (!PACKET_get_1(&sni, &servname_type)
1958 || servname_type != TLSEXT_NAMETYPE_host_name
1959 || !PACKET_as_length_prefixed_2(&sni, &hostname)) {
1960 return 0;
1961 }
1962
1963 if (!s->hit) {
1964 if (PACKET_remaining(&hostname) > TLSEXT_MAXLEN_host_name) {
1965 *al = TLS1_AD_UNRECOGNIZED_NAME;
1966 return 0;
1967 }
1968
1969 if (PACKET_contains_zero_byte(&hostname)) {
1970 *al = TLS1_AD_UNRECOGNIZED_NAME;
1971 return 0;
1972 }
1973
1974 if (!PACKET_strndup(&hostname, &s->session->tlsext_hostname)) {
1975 *al = TLS1_AD_INTERNAL_ERROR;
1976 return 0;
1977 }
1978
1979 s->servername_done = 1;
1980 } else {
1981 /*
1982 * TODO(openssl-team): if the SNI doesn't match, we MUST
1983 * fall back to a full handshake.
1984 */
1985 s->servername_done = s->session->tlsext_hostname
1986 && PACKET_equal(&hostname, s->session->tlsext_hostname,
1987 strlen(s->session->tlsext_hostname));
1988 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001989 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001990#ifndef OPENSSL_NO_SRP
Matt Caswellb1b4b542016-10-31 13:11:17 +00001991 else if (currext->type == TLSEXT_TYPE_srp) {
Emilia Kasper06217862015-09-22 15:20:26 +02001992 PACKET srp_I;
Matt Caswell9ceb2422015-04-16 10:06:25 +01001993
Matt Caswellb1b4b542016-10-31 13:11:17 +00001994 if (!PACKET_as_length_prefixed_1(&currext->data, &srp_I))
Emilia Kasper06217862015-09-22 15:20:26 +02001995 return 0;
Bodo Möller761772d2007-09-21 06:54:24 +00001996
Emilia Kasper06217862015-09-22 15:20:26 +02001997 if (PACKET_contains_zero_byte(&srp_I))
1998 return 0;
1999
2000 /*
2001 * TODO(openssl-team): currently, we re-authenticate the user
2002 * upon resumption. Instead, we MUST ignore the login.
2003 */
2004 if (!PACKET_strndup(&srp_I, &s->srp_ctx.login)) {
2005 *al = TLS1_AD_INTERNAL_ERROR;
2006 return 0;
2007 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002008 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002009#endif
Bodo Möller761772d2007-09-21 06:54:24 +00002010
Matt Caswelle481f9b2015-05-15 10:49:56 +01002011#ifndef OPENSSL_NO_EC
Matt Caswellb1b4b542016-10-31 13:11:17 +00002012 else if (currext->type == TLSEXT_TYPE_ec_point_formats) {
Emilia Kasper06217862015-09-22 15:20:26 +02002013 PACKET ec_point_format_list;
Dr. Stephen Henson67c8e7f2007-09-26 21:56:59 +00002014
Matt Caswellb1b4b542016-10-31 13:11:17 +00002015 if (!PACKET_as_length_prefixed_1(&currext->data,
Matt Caswell1ab38362016-10-22 17:24:37 +01002016 &ec_point_format_list)
Emilia Kasper06217862015-09-22 15:20:26 +02002017 || PACKET_remaining(&ec_point_format_list) == 0) {
Matt Caswell9ceb2422015-04-16 10:06:25 +01002018 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002019 }
Matt Caswell54e3ad02015-04-30 15:20:25 +01002020
Matt Caswell0f113f32015-01-22 03:40:55 +00002021 if (!s->hit) {
Emilia Kasper06217862015-09-22 15:20:26 +02002022 if (!PACKET_memdup(&ec_point_format_list,
2023 &s->session->tlsext_ecpointformatlist,
Emilia Kaspera230b262016-08-05 19:03:17 +02002024 &s->
2025 session->tlsext_ecpointformatlist_length)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002026 *al = TLS1_AD_INTERNAL_ERROR;
2027 return 0;
2028 }
Matt Caswell9ceb2422015-04-16 10:06:25 +01002029 }
Matt Caswellde4d7642016-11-09 14:51:06 +00002030 } else if (currext->type == TLSEXT_TYPE_supported_groups) {
2031 PACKET supported_groups_list;
Emilia Kasper06217862015-09-22 15:20:26 +02002032
Matt Caswellde4d7642016-11-09 14:51:06 +00002033 /* Each group is 2 bytes and we must have at least 1. */
Matt Caswellb1b4b542016-10-31 13:11:17 +00002034 if (!PACKET_as_length_prefixed_2(&currext->data,
Matt Caswellde4d7642016-11-09 14:51:06 +00002035 &supported_groups_list)
2036 || PACKET_remaining(&supported_groups_list) == 0
2037 || (PACKET_remaining(&supported_groups_list) % 2) != 0) {
Emilia Kasper06217862015-09-22 15:20:26 +02002038 return 0;
2039 }
2040
2041 if (!s->hit) {
Matt Caswellde4d7642016-11-09 14:51:06 +00002042 if (!PACKET_memdup(&supported_groups_list,
2043 &s->session->tlsext_supportedgroupslist,
Emilia Kaspera230b262016-08-05 19:03:17 +02002044 &s->
Matt Caswellde4d7642016-11-09 14:51:06 +00002045 session->tlsext_supportedgroupslist_length)) {
Emilia Kasper06217862015-09-22 15:20:26 +02002046 *al = TLS1_AD_INTERNAL_ERROR;
2047 return 0;
2048 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002049 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002050 }
Emilia Kaspera230b262016-08-05 19:03:17 +02002051#endif /* OPENSSL_NO_EC */
Matt Caswellb1b4b542016-10-31 13:11:17 +00002052 else if (currext->type == TLSEXT_TYPE_session_ticket) {
Emilia Kasper06217862015-09-22 15:20:26 +02002053 if (s->tls_session_ticket_ext_cb &&
Matt Caswell1ab38362016-10-22 17:24:37 +01002054 !s->tls_session_ticket_ext_cb(s,
Matt Caswellb1b4b542016-10-31 13:11:17 +00002055 PACKET_data(&currext->data),
2056 PACKET_remaining(&currext->data),
Matt Caswell1ab38362016-10-22 17:24:37 +01002057 s->tls_session_ticket_ext_cb_arg)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002058 *al = TLS1_AD_INTERNAL_ERROR;
2059 return 0;
2060 }
Matt Caswellb1b4b542016-10-31 13:11:17 +00002061 } else if (currext->type == TLSEXT_TYPE_signature_algorithms) {
Emilia Kasper06217862015-09-22 15:20:26 +02002062 PACKET supported_sig_algs;
Matt Caswell9ceb2422015-04-16 10:06:25 +01002063
Matt Caswellb1b4b542016-10-31 13:11:17 +00002064 if (!PACKET_as_length_prefixed_2(&currext->data,
Matt Caswell1ab38362016-10-22 17:24:37 +01002065 &supported_sig_algs)
Emilia Kasper06217862015-09-22 15:20:26 +02002066 || (PACKET_remaining(&supported_sig_algs) % 2) != 0
2067 || PACKET_remaining(&supported_sig_algs) == 0) {
2068 return 0;
2069 }
2070
Emilia Kaspera230b262016-08-05 19:03:17 +02002071 if (!s->hit) {
Emilia Kasper06217862015-09-22 15:20:26 +02002072 if (!tls1_save_sigalgs(s, PACKET_data(&supported_sig_algs),
2073 PACKET_remaining(&supported_sig_algs))) {
2074 return 0;
2075 }
Matt Caswell9ceb2422015-04-16 10:06:25 +01002076 }
Matt Caswellb1b4b542016-10-31 13:11:17 +00002077 } else if (currext->type == TLSEXT_TYPE_status_request) {
2078 if (!PACKET_get_1(&currext->data,
Emilia Kasper06217862015-09-22 15:20:26 +02002079 (unsigned int *)&s->tlsext_status_type)) {
2080 return 0;
2081 }
Matt Caswell3e41ac32016-03-21 16:54:53 +00002082#ifndef OPENSSL_NO_OCSP
Matt Caswell0f113f32015-01-22 03:40:55 +00002083 if (s->tlsext_status_type == TLSEXT_STATUSTYPE_ocsp) {
Matt Caswell3e41ac32016-03-21 16:54:53 +00002084 const unsigned char *ext_data;
Emilia Kasper06217862015-09-22 15:20:26 +02002085 PACKET responder_id_list, exts;
Emilia Kaspera230b262016-08-05 19:03:17 +02002086 if (!PACKET_get_length_prefixed_2
Matt Caswellb1b4b542016-10-31 13:11:17 +00002087 (&currext->data, &responder_id_list))
Emilia Kasper06217862015-09-22 15:20:26 +02002088 return 0;
Matt Caswell9ceb2422015-04-16 10:06:25 +01002089
Matt Caswelle408c092016-09-09 10:08:45 +01002090 /*
2091 * We remove any OCSP_RESPIDs from a previous handshake
2092 * to prevent unbounded memory growth - CVE-2016-6304
2093 */
2094 sk_OCSP_RESPID_pop_free(s->tlsext_ocsp_ids,
2095 OCSP_RESPID_free);
2096 if (PACKET_remaining(&responder_id_list) > 0) {
2097 s->tlsext_ocsp_ids = sk_OCSP_RESPID_new_null();
2098 if (s->tlsext_ocsp_ids == NULL) {
2099 *al = SSL_AD_INTERNAL_ERROR;
2100 return 0;
2101 }
2102 } else {
2103 s->tlsext_ocsp_ids = NULL;
2104 }
2105
Emilia Kasper06217862015-09-22 15:20:26 +02002106 while (PACKET_remaining(&responder_id_list) > 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002107 OCSP_RESPID *id;
Emilia Kasper06217862015-09-22 15:20:26 +02002108 PACKET responder_id;
2109 const unsigned char *id_data;
Matt Caswell9ceb2422015-04-16 10:06:25 +01002110
Emilia Kasper06217862015-09-22 15:20:26 +02002111 if (!PACKET_get_length_prefixed_2(&responder_id_list,
2112 &responder_id)
2113 || PACKET_remaining(&responder_id) == 0) {
2114 return 0;
Matt Caswell9ceb2422015-04-16 10:06:25 +01002115 }
Emilia Kasper06217862015-09-22 15:20:26 +02002116
Emilia Kasper06217862015-09-22 15:20:26 +02002117 id_data = PACKET_data(&responder_id);
Matt Caswell348240c2016-10-19 15:11:24 +01002118 /* TODO(size_t): Convert d2i_* to size_t */
Emilia Kasper06217862015-09-22 15:20:26 +02002119 id = d2i_OCSP_RESPID(NULL, &id_data,
Matt Caswell348240c2016-10-19 15:11:24 +01002120 (int)PACKET_remaining(&responder_id));
Emilia Kasper06217862015-09-22 15:20:26 +02002121 if (id == NULL)
2122 return 0;
2123
2124 if (id_data != PACKET_end(&responder_id)) {
2125 OCSP_RESPID_free(id);
2126 return 0;
2127 }
2128
Matt Caswell0f113f32015-01-22 03:40:55 +00002129 if (!sk_OCSP_RESPID_push(s->tlsext_ocsp_ids, id)) {
2130 OCSP_RESPID_free(id);
2131 *al = SSL_AD_INTERNAL_ERROR;
2132 return 0;
2133 }
2134 }
Dr. Stephen Hensonc27c9cb2009-12-14 13:56:04 +00002135
Matt Caswell0f113f32015-01-22 03:40:55 +00002136 /* Read in request_extensions */
Matt Caswell1ab38362016-10-22 17:24:37 +01002137 if (!PACKET_as_length_prefixed_2(
Matt Caswellb1b4b542016-10-31 13:11:17 +00002138 &currext->data, &exts))
Emilia Kasper06217862015-09-22 15:20:26 +02002139 return 0;
2140
2141 if (PACKET_remaining(&exts) > 0) {
2142 ext_data = PACKET_data(&exts);
Rich Salz222561f2015-04-30 17:33:59 -04002143 sk_X509_EXTENSION_pop_free(s->tlsext_ocsp_exts,
2144 X509_EXTENSION_free);
Matt Caswell0f113f32015-01-22 03:40:55 +00002145 s->tlsext_ocsp_exts =
Emilia Kasper06217862015-09-22 15:20:26 +02002146 d2i_X509_EXTENSIONS(NULL, &ext_data,
Matt Caswell348240c2016-10-19 15:11:24 +01002147 (int)PACKET_remaining(&exts));
Emilia Kasper06217862015-09-22 15:20:26 +02002148 if (s->tlsext_ocsp_exts == NULL
2149 || ext_data != PACKET_end(&exts)) {
2150 return 0;
2151 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002152 }
Matt Caswell3e41ac32016-03-21 16:54:53 +00002153 } else
2154#endif
2155 {
2156 /*
2157 * We don't know what to do with any other type so ignore it.
2158 */
Matt Caswell0f113f32015-01-22 03:40:55 +00002159 s->tlsext_status_type = -1;
Emilia Kasper06217862015-09-22 15:20:26 +02002160 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002161 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002162#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswellb1b4b542016-10-31 13:11:17 +00002163 else if (currext->type == TLSEXT_TYPE_next_proto_neg
Matt Caswell1ab38362016-10-22 17:24:37 +01002164 && s->s3->tmp.finish_md_len == 0) {
Matt Caswell50e735f2015-01-05 11:30:03 +00002165 /*-
2166 * We shouldn't accept this extension on a
2167 * renegotiation.
2168 *
2169 * s->new_session will be set on renegotiation, but we
2170 * probably shouldn't rely that it couldn't be set on
FdaSilvaYY8483a002016-03-10 21:34:48 +01002171 * the initial renegotiation too in certain cases (when
Matt Caswell50e735f2015-01-05 11:30:03 +00002172 * there's some other reason to disallow resuming an
2173 * earlier session -- the current code won't be doing
2174 * anything like that, but this might change).
2175 *
2176 * A valid sign that there's been a previous handshake
2177 * in this connection is if s->s3->tmp.finish_md_len >
2178 * 0. (We are talking about a check that will happen
2179 * in the Hello protocol round, well before a new
2180 * Finished message could have been computed.)
2181 */
Matt Caswell0f113f32015-01-22 03:40:55 +00002182 s->s3->next_proto_neg_seen = 1;
2183 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002184#endif
Dr. Stephen Hensonc27c9cb2009-12-14 13:56:04 +00002185
Matt Caswellb1b4b542016-10-31 13:11:17 +00002186 else if (currext->type
Matt Caswell1ab38362016-10-22 17:24:37 +01002187 == TLSEXT_TYPE_application_layer_protocol_negotiation
2188 && s->s3->tmp.finish_md_len == 0) {
2189 if (!tls1_alpn_handle_client_hello(s,
Matt Caswellb1b4b542016-10-31 13:11:17 +00002190 &currext->data, al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002191 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002192 }
Dr. Stephen Hensonc27c9cb2009-12-14 13:56:04 +00002193
Matt Caswell0f113f32015-01-22 03:40:55 +00002194 /* session ticket processed earlier */
Matt Caswelle481f9b2015-05-15 10:49:56 +01002195#ifndef OPENSSL_NO_SRTP
Matt Caswell0f113f32015-01-22 03:40:55 +00002196 else if (SSL_IS_DTLS(s) && SSL_get_srtp_profiles(s)
Matt Caswellb1b4b542016-10-31 13:11:17 +00002197 && currext->type == TLSEXT_TYPE_use_srtp) {
Matt Caswell1ab38362016-10-22 17:24:37 +01002198 if (ssl_parse_clienthello_use_srtp_ext(s,
Matt Caswellb1b4b542016-10-31 13:11:17 +00002199 &currext->data, al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002200 return 0;
2201 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002202#endif
Matt Caswellb1b4b542016-10-31 13:11:17 +00002203 else if (currext->type == TLSEXT_TYPE_encrypt_then_mac
Matt Caswellb1834ad2016-11-01 10:53:32 +00002204 && !(s->options & SSL_OP_NO_ENCRYPT_THEN_MAC)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002205 s->s3->flags |= TLS1_FLAGS_ENCRYPT_THEN_MAC;
Matt Caswellb1834ad2016-11-01 10:53:32 +00002206 } else if (currext->type == TLSEXT_TYPE_key_share
2207 && s->version == TLS1_3_VERSION) {
2208 unsigned int group_id;
2209 PACKET key_share_list, encoded_pt;
2210 const unsigned char *curves;
2211 size_t num_curves, i;
2212 int group_nid;
2213 unsigned int curve_flags;
2214
2215 /* Sanity check */
2216 if (s->s3->peer_tmp != NULL) {
2217 *al = SSL_AD_INTERNAL_ERROR;
2218 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT, ERR_R_INTERNAL_ERROR);
2219 return 0;
2220 }
2221
2222 if (!PACKET_as_length_prefixed_2(&currext->data, &key_share_list)) {
2223 *al = SSL_AD_HANDSHAKE_FAILURE;
2224 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT,
2225 SSL_R_LENGTH_MISMATCH);
2226 return 0;
2227 }
2228
2229 while (PACKET_remaining(&key_share_list) > 0) {
2230 if (!PACKET_get_net_2(&key_share_list, &group_id)
2231 || !PACKET_get_length_prefixed_2(&key_share_list,
2232 &encoded_pt)) {
2233 *al = SSL_AD_HANDSHAKE_FAILURE;
2234 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT,
2235 SSL_R_LENGTH_MISMATCH);
2236 return 0;
2237 }
2238
2239 /* Find a share that we can use */
2240 if (!tls1_get_curvelist(s, 0, &curves, &num_curves)) {
2241 *al = SSL_AD_INTERNAL_ERROR;
2242 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT,
2243 ERR_R_INTERNAL_ERROR);
2244 return 0;
2245 }
2246 for (i = 0; i < num_curves; i++, curves += 2) {
2247 unsigned int share_id = (curves[0] << 8) | (curves[1]);
2248 if (group_id == share_id
2249 && tls_curve_allowed(s, curves,
2250 SSL_SECOP_CURVE_CHECK)) {
2251 break;
2252 }
2253 }
2254
2255 if (i == num_curves) {
2256 /* Share not suitable */
2257 continue;
2258 }
2259
2260 group_nid = tls1_ec_curve_id2nid(group_id, &curve_flags);
2261
2262 if (group_nid == 0) {
2263 *al = SSL_AD_INTERNAL_ERROR;
2264 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT,
2265 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
2266 return 0;
2267 }
2268
2269 if ((curve_flags & TLS_CURVE_TYPE) == TLS_CURVE_CUSTOM) {
2270 /* Can happen for some curves, e.g. X25519 */
2271 EVP_PKEY *key = EVP_PKEY_new();
2272
2273 if (key == NULL || !EVP_PKEY_set_type(key, group_nid)) {
2274 *al = SSL_AD_INTERNAL_ERROR;
2275 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT, ERR_R_EVP_LIB);
2276 EVP_PKEY_free(key);
2277 return 0;
2278 }
2279 s->s3->peer_tmp = key;
2280 } else {
2281 /* Set up EVP_PKEY with named curve as parameters */
2282 EVP_PKEY_CTX *pctx = EVP_PKEY_CTX_new_id(EVP_PKEY_EC, NULL);
2283 if (pctx == NULL
2284 || EVP_PKEY_paramgen_init(pctx) <= 0
2285 || EVP_PKEY_CTX_set_ec_paramgen_curve_nid(pctx,
2286 group_nid) <= 0
2287 || EVP_PKEY_paramgen(pctx, &s->s3->peer_tmp) <= 0) {
2288 *al = SSL_AD_INTERNAL_ERROR;
2289 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT, ERR_R_EVP_LIB);
2290 EVP_PKEY_CTX_free(pctx);
2291 return 0;
2292 }
2293 EVP_PKEY_CTX_free(pctx);
2294 pctx = NULL;
2295 }
2296
2297 if (!EVP_PKEY_set1_tls_encodedpoint(s->s3->peer_tmp,
2298 PACKET_data(&encoded_pt),
2299 PACKET_remaining(&encoded_pt))) {
2300 *al = SSL_AD_DECODE_ERROR;
2301 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT, SSL_R_BAD_ECPOINT);
2302 return 0;
2303 }
2304 }
2305 }
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002306 /*
2307 * Note: extended master secret extension handled in
Matt Caswell1ab38362016-10-22 17:24:37 +01002308 * tls_check_client_ems_support()
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002309 */
2310
Matt Caswell0f113f32015-01-22 03:40:55 +00002311 /*
2312 * If this ClientHello extension was unhandled and this is a
2313 * nonresumed connection, check whether the extension is a custom
2314 * TLS Extension (has a custom_srv_ext_record), and if so call the
2315 * callback and record the extension number so that an appropriate
2316 * ServerHello may be later returned.
2317 */
2318 else if (!s->hit) {
Matt Caswellb1b4b542016-10-31 13:11:17 +00002319 if (custom_ext_parse(s, 1, currext->type,
2320 PACKET_data(&currext->data),
2321 PACKET_remaining(&currext->data), al) <= 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00002322 return 0;
2323 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002324 }
Dr. Stephen Hensonb2284ed2012-04-06 11:18:40 +00002325
Matt Caswell0f113f32015-01-22 03:40:55 +00002326 /* Need RI if renegotiating */
2327
2328 if (!renegotiate_seen && s->renegotiate &&
2329 !(s->options & SSL_OP_ALLOW_UNSAFE_LEGACY_RENEGOTIATION)) {
2330 *al = SSL_AD_HANDSHAKE_FAILURE;
2331 SSLerr(SSL_F_SSL_SCAN_CLIENTHELLO_TLSEXT,
2332 SSL_R_UNSAFE_LEGACY_RENEGOTIATION_DISABLED);
2333 return 0;
2334 }
2335
Emilia Kasper06217862015-09-22 15:20:26 +02002336 /*
2337 * This function currently has no state to clean up, so it returns directly.
2338 * If parsing fails at any point, the function returns early.
2339 * The SSL object may be left with partial data from extensions, but it must
2340 * then no longer be used, and clearing it up will free the leftovers.
2341 */
Matt Caswell0f113f32015-01-22 03:40:55 +00002342 return 1;
Dr. Stephen Hensonb2284ed2012-04-06 11:18:40 +00002343}
2344
Matt Caswell1ab38362016-10-22 17:24:37 +01002345int ssl_parse_clienthello_tlsext(SSL *s, CLIENTHELLO_MSG *hello)
Matt Caswell0f113f32015-01-22 03:40:55 +00002346{
2347 int al = -1;
2348 custom_ext_init(&s->cert->srv_ext);
Matt Caswell1ab38362016-10-22 17:24:37 +01002349 if (ssl_scan_clienthello_tlsext(s, hello, &al) <= 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002350 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2351 return 0;
2352 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002353 if (ssl_check_clienthello_tlsext_early(s) <= 0) {
2354 SSLerr(SSL_F_SSL_PARSE_CLIENTHELLO_TLSEXT, SSL_R_CLIENTHELLO_TLSEXT);
2355 return 0;
2356 }
2357 return 1;
2358}
2359
Matt Caswelle481f9b2015-05-15 10:49:56 +01002360#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00002361/*
2362 * ssl_next_proto_validate validates a Next Protocol Negotiation block. No
2363 * elements of zero length are allowed and the set of elements must exactly
2364 * fill the length of the block.
2365 */
Matt Caswell50932c42015-08-04 17:36:02 +01002366static char ssl_next_proto_validate(PACKET *pkt)
Matt Caswell0f113f32015-01-22 03:40:55 +00002367{
Kazuki Yamaguchib04f9472015-12-13 00:51:06 +09002368 PACKET tmp_protocol;
Ben Laurieee2ffc22010-07-28 10:06:55 +00002369
Matt Caswell50932c42015-08-04 17:36:02 +01002370 while (PACKET_remaining(pkt)) {
Kazuki Yamaguchib04f9472015-12-13 00:51:06 +09002371 if (!PACKET_get_length_prefixed_1(pkt, &tmp_protocol)
Emilia Kaspera230b262016-08-05 19:03:17 +02002372 || PACKET_remaining(&tmp_protocol) == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00002373 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002374 }
Ben Laurieee2ffc22010-07-28 10:06:55 +00002375
Matt Caswell50932c42015-08-04 17:36:02 +01002376 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002377}
Matt Caswelle481f9b2015-05-15 10:49:56 +01002378#endif
Ben Laurieee2ffc22010-07-28 10:06:55 +00002379
Matt Caswell50932c42015-08-04 17:36:02 +01002380static int ssl_scan_serverhello_tlsext(SSL *s, PACKET *pkt, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00002381{
Matt Caswell50932c42015-08-04 17:36:02 +01002382 unsigned int length, type, size;
Matt Caswell0f113f32015-01-22 03:40:55 +00002383 int tlsext_servername = 0;
2384 int renegotiate_seen = 0;
Bodo Möllered3883d2006-01-02 23:14:37 +00002385
Matt Caswelle481f9b2015-05-15 10:49:56 +01002386#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00002387 s->s3->next_proto_neg_seen = 0;
Matt Caswelle481f9b2015-05-15 10:49:56 +01002388#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00002389 s->tlsext_ticket_expected = 0;
Bodo Möller6f31dd72011-11-24 21:07:01 +00002390
Rich Salzb548a1f2015-05-01 10:02:07 -04002391 OPENSSL_free(s->s3->alpn_selected);
2392 s->s3->alpn_selected = NULL;
Adam Langley6f017a82013-04-15 18:07:47 -04002393
Matt Caswell0f113f32015-01-22 03:40:55 +00002394 s->s3->flags &= ~TLS1_FLAGS_ENCRYPT_THEN_MAC;
Dr. Stephen Henson48175042011-12-31 22:59:57 +00002395
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002396 s->s3->flags &= ~TLS1_FLAGS_RECEIVED_EXTMS;
2397
Matt Caswell50932c42015-08-04 17:36:02 +01002398 if (!PACKET_get_net_2(pkt, &length))
Matt Caswell0f113f32015-01-22 03:40:55 +00002399 goto ri_check;
Dr. Stephen Henson5e3ff622013-03-22 17:12:33 +00002400
Matt Caswell50932c42015-08-04 17:36:02 +01002401 if (PACKET_remaining(pkt) != length) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002402 *al = SSL_AD_DECODE_ERROR;
2403 return 0;
2404 }
Bodo Möllered3883d2006-01-02 23:14:37 +00002405
Emilia Kasperaa474d12016-02-19 17:24:44 +01002406 if (!tls1_check_duplicate_extensions(pkt)) {
2407 *al = SSL_AD_DECODE_ERROR;
2408 return 0;
2409 }
2410
Matt Caswell50932c42015-08-04 17:36:02 +01002411 while (PACKET_get_net_2(pkt, &type) && PACKET_get_net_2(pkt, &size)) {
Emilia Kasperb6981742016-02-01 15:26:18 +01002412 const unsigned char *data;
Matt Caswell50932c42015-08-04 17:36:02 +01002413 PACKET spkt;
Bodo Möllered3883d2006-01-02 23:14:37 +00002414
Matt Caswell50932c42015-08-04 17:36:02 +01002415 if (!PACKET_get_sub_packet(pkt, &spkt, size)
Emilia Kaspera230b262016-08-05 19:03:17 +02002416 || !PACKET_peek_bytes(&spkt, &data, size))
Matt Caswell0f113f32015-01-22 03:40:55 +00002417 goto ri_check;
Bodo Möllered3883d2006-01-02 23:14:37 +00002418
Matt Caswell0f113f32015-01-22 03:40:55 +00002419 if (s->tlsext_debug_cb)
2420 s->tlsext_debug_cb(s, 1, type, data, size, s->tlsext_debug_arg);
Bodo Möllered3883d2006-01-02 23:14:37 +00002421
Matt Caswell0f113f32015-01-22 03:40:55 +00002422 if (type == TLSEXT_TYPE_renegotiate) {
Matt Caswell50932c42015-08-04 17:36:02 +01002423 if (!ssl_parse_serverhello_renegotiate_ext(s, &spkt, al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002424 return 0;
2425 renegotiate_seen = 1;
2426 } else if (s->version == SSL3_VERSION) {
2427 } else if (type == TLSEXT_TYPE_server_name) {
2428 if (s->tlsext_hostname == NULL || size > 0) {
2429 *al = TLS1_AD_UNRECOGNIZED_NAME;
2430 return 0;
2431 }
2432 tlsext_servername = 1;
2433 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002434#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00002435 else if (type == TLSEXT_TYPE_ec_point_formats) {
Matt Caswell50932c42015-08-04 17:36:02 +01002436 unsigned int ecpointformatlist_length;
2437 if (!PACKET_get_1(&spkt, &ecpointformatlist_length)
Emilia Kaspera230b262016-08-05 19:03:17 +02002438 || ecpointformatlist_length != size - 1) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002439 *al = TLS1_AD_DECODE_ERROR;
2440 return 0;
2441 }
2442 if (!s->hit) {
2443 s->session->tlsext_ecpointformatlist_length = 0;
Rich Salzb548a1f2015-05-01 10:02:07 -04002444 OPENSSL_free(s->session->tlsext_ecpointformatlist);
Matt Caswell0f113f32015-01-22 03:40:55 +00002445 if ((s->session->tlsext_ecpointformatlist =
2446 OPENSSL_malloc(ecpointformatlist_length)) == NULL) {
2447 *al = TLS1_AD_INTERNAL_ERROR;
2448 return 0;
2449 }
2450 s->session->tlsext_ecpointformatlist_length =
2451 ecpointformatlist_length;
Matt Caswell50932c42015-08-04 17:36:02 +01002452 if (!PACKET_copy_bytes(&spkt,
2453 s->session->tlsext_ecpointformatlist,
2454 ecpointformatlist_length)) {
2455 *al = TLS1_AD_DECODE_ERROR;
2456 return 0;
2457 }
2458
Matt Caswell0f113f32015-01-22 03:40:55 +00002459 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002460 }
Emilia Kaspera230b262016-08-05 19:03:17 +02002461#endif /* OPENSSL_NO_EC */
Dr. Stephen Henson5a3d8ee2014-11-03 17:47:11 +00002462
Matt Caswell0f113f32015-01-22 03:40:55 +00002463 else if (type == TLSEXT_TYPE_session_ticket) {
2464 if (s->tls_session_ticket_ext_cb &&
2465 !s->tls_session_ticket_ext_cb(s, data, size,
2466 s->tls_session_ticket_ext_cb_arg))
2467 {
2468 *al = TLS1_AD_INTERNAL_ERROR;
2469 return 0;
2470 }
2471 if (!tls_use_ticket(s) || (size > 0)) {
2472 *al = TLS1_AD_UNSUPPORTED_EXTENSION;
2473 return 0;
2474 }
2475 s->tlsext_ticket_expected = 1;
Emilia Kaspera230b262016-08-05 19:03:17 +02002476 } else if (type == TLSEXT_TYPE_status_request) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002477 /*
2478 * MUST be empty and only sent if we've requested a status
2479 * request message.
2480 */
2481 if ((s->tlsext_status_type == -1) || (size > 0)) {
2482 *al = TLS1_AD_UNSUPPORTED_EXTENSION;
2483 return 0;
2484 }
2485 /* Set flag to expect CertificateStatus message */
2486 s->tlsext_status_expected = 1;
2487 }
Rob Percivaled29e822016-03-03 16:19:23 +00002488#ifndef OPENSSL_NO_CT
2489 /*
2490 * Only take it if we asked for it - i.e if there is no CT validation
2491 * callback set, then a custom extension MAY be processing it, so we
2492 * need to let control continue to flow to that.
2493 */
2494 else if (type == TLSEXT_TYPE_signed_certificate_timestamp &&
2495 s->ct_validation_callback != NULL) {
2496 /* Simply copy it off for later processing */
2497 if (s->tlsext_scts != NULL) {
2498 OPENSSL_free(s->tlsext_scts);
2499 s->tlsext_scts = NULL;
2500 }
2501 s->tlsext_scts_len = size;
2502 if (size > 0) {
2503 s->tlsext_scts = OPENSSL_malloc(size);
2504 if (s->tlsext_scts == NULL) {
2505 *al = TLS1_AD_INTERNAL_ERROR;
2506 return 0;
2507 }
2508 memcpy(s->tlsext_scts, data, size);
2509 }
2510 }
2511#endif
Matt Caswelle481f9b2015-05-15 10:49:56 +01002512#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell0f113f32015-01-22 03:40:55 +00002513 else if (type == TLSEXT_TYPE_next_proto_neg &&
2514 s->s3->tmp.finish_md_len == 0) {
2515 unsigned char *selected;
2516 unsigned char selected_len;
Matt Caswell0f113f32015-01-22 03:40:55 +00002517 /* We must have requested it. */
2518 if (s->ctx->next_proto_select_cb == NULL) {
2519 *al = TLS1_AD_UNSUPPORTED_EXTENSION;
2520 return 0;
2521 }
2522 /* The data must be valid */
Matt Caswell50932c42015-08-04 17:36:02 +01002523 if (!ssl_next_proto_validate(&spkt)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002524 *al = TLS1_AD_DECODE_ERROR;
2525 return 0;
2526 }
Emilia Kaspera230b262016-08-05 19:03:17 +02002527 if (s->ctx->next_proto_select_cb(s, &selected, &selected_len, data,
2528 size,
2529 s->
2530 ctx->next_proto_select_cb_arg) !=
Matt Caswell0f113f32015-01-22 03:40:55 +00002531 SSL_TLSEXT_ERR_OK) {
2532 *al = TLS1_AD_INTERNAL_ERROR;
2533 return 0;
2534 }
Matt Caswellc31dbed2016-09-09 10:53:39 +01002535 /*
2536 * Could be non-NULL if server has sent multiple NPN extensions in
2537 * a single Serverhello
2538 */
2539 OPENSSL_free(s->next_proto_negotiated);
Matt Caswell0f113f32015-01-22 03:40:55 +00002540 s->next_proto_negotiated = OPENSSL_malloc(selected_len);
Matt Caswella71edf32015-10-30 10:05:53 +00002541 if (s->next_proto_negotiated == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002542 *al = TLS1_AD_INTERNAL_ERROR;
2543 return 0;
2544 }
2545 memcpy(s->next_proto_negotiated, selected, selected_len);
2546 s->next_proto_negotiated_len = selected_len;
2547 s->s3->next_proto_neg_seen = 1;
2548 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002549#endif
Bodo Möller761772d2007-09-21 06:54:24 +00002550
Matt Caswell0f113f32015-01-22 03:40:55 +00002551 else if (type == TLSEXT_TYPE_application_layer_protocol_negotiation) {
2552 unsigned len;
Matt Caswell0f113f32015-01-22 03:40:55 +00002553 /* We must have requested it. */
Todd Short817cd0d2016-03-05 08:47:55 -05002554 if (!s->s3->alpn_sent) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002555 *al = TLS1_AD_UNSUPPORTED_EXTENSION;
2556 return 0;
2557 }
Matt Caswell50e735f2015-01-05 11:30:03 +00002558 /*-
2559 * The extension data consists of:
2560 * uint16 list_length
2561 * uint8 proto_length;
2562 * uint8 proto[proto_length];
2563 */
Matt Caswell50932c42015-08-04 17:36:02 +01002564 if (!PACKET_get_net_2(&spkt, &len)
Emilia Kaspera230b262016-08-05 19:03:17 +02002565 || PACKET_remaining(&spkt) != len || !PACKET_get_1(&spkt, &len)
2566 || PACKET_remaining(&spkt) != len) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002567 *al = TLS1_AD_DECODE_ERROR;
2568 return 0;
2569 }
Rich Salzb548a1f2015-05-01 10:02:07 -04002570 OPENSSL_free(s->s3->alpn_selected);
Matt Caswell0f113f32015-01-22 03:40:55 +00002571 s->s3->alpn_selected = OPENSSL_malloc(len);
Matt Caswella71edf32015-10-30 10:05:53 +00002572 if (s->s3->alpn_selected == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002573 *al = TLS1_AD_INTERNAL_ERROR;
2574 return 0;
2575 }
Matt Caswell50932c42015-08-04 17:36:02 +01002576 if (!PACKET_copy_bytes(&spkt, s->s3->alpn_selected, len)) {
2577 *al = TLS1_AD_DECODE_ERROR;
2578 return 0;
2579 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002580 s->s3->alpn_selected_len = len;
2581 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002582#ifndef OPENSSL_NO_SRTP
Matt Caswell0f113f32015-01-22 03:40:55 +00002583 else if (SSL_IS_DTLS(s) && type == TLSEXT_TYPE_use_srtp) {
Matt Caswell50932c42015-08-04 17:36:02 +01002584 if (ssl_parse_serverhello_use_srtp_ext(s, &spkt, al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002585 return 0;
2586 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01002587#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00002588 else if (type == TLSEXT_TYPE_encrypt_then_mac) {
2589 /* Ignore if inappropriate ciphersuite */
David Woodhousecde61452016-10-14 00:26:38 +01002590 if (!(s->options & SSL_OP_NO_ENCRYPT_THEN_MAC) &&
2591 s->s3->tmp.new_cipher->algorithm_mac != SSL_AEAD
Matt Caswell0f113f32015-01-22 03:40:55 +00002592 && s->s3->tmp.new_cipher->algorithm_enc != SSL_RC4)
2593 s->s3->flags |= TLS1_FLAGS_ENCRYPT_THEN_MAC;
Emilia Kaspera230b262016-08-05 19:03:17 +02002594 } else if (type == TLSEXT_TYPE_extended_master_secret) {
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002595 s->s3->flags |= TLS1_FLAGS_RECEIVED_EXTMS;
Dr. Stephen Hensonddc06b32015-01-23 02:45:13 +00002596 if (!s->hit)
2597 s->session->flags |= SSL_SESS_FLAG_EXTMS;
2598 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002599 /*
2600 * If this extension type was not otherwise handled, but matches a
2601 * custom_cli_ext_record, then send it to the c callback
2602 */
2603 else if (custom_ext_parse(s, 0, type, data, size, al) <= 0)
2604 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002605 }
Adam Langley6f017a82013-04-15 18:07:47 -04002606
Matt Caswell50932c42015-08-04 17:36:02 +01002607 if (PACKET_remaining(pkt) != 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002608 *al = SSL_AD_DECODE_ERROR;
2609 return 0;
2610 }
Bodo Möllered3883d2006-01-02 23:14:37 +00002611
Matt Caswell0f113f32015-01-22 03:40:55 +00002612 if (!s->hit && tlsext_servername == 1) {
2613 if (s->tlsext_hostname) {
2614 if (s->session->tlsext_hostname == NULL) {
Emilia Kaspera230b262016-08-05 19:03:17 +02002615 s->session->tlsext_hostname =
2616 OPENSSL_strdup(s->tlsext_hostname);
Matt Caswell0f113f32015-01-22 03:40:55 +00002617 if (!s->session->tlsext_hostname) {
2618 *al = SSL_AD_UNRECOGNIZED_NAME;
2619 return 0;
2620 }
2621 } else {
2622 *al = SSL_AD_DECODE_ERROR;
2623 return 0;
2624 }
2625 }
2626 }
Bodo Möllered3883d2006-01-02 23:14:37 +00002627
Matt Caswell0f113f32015-01-22 03:40:55 +00002628 ri_check:
Dr. Stephen Hensonc27c9cb2009-12-14 13:56:04 +00002629
Matt Caswell0f113f32015-01-22 03:40:55 +00002630 /*
2631 * Determine if we need to see RI. Strictly speaking if we want to avoid
2632 * an attack we should *always* see RI even on initial server hello
2633 * because the client doesn't see any renegotiation during an attack.
2634 * However this would mean we could not connect to any server which
Matt Caswelle7653f32016-06-14 10:41:00 +01002635 * doesn't support RI so for the immediate future tolerate RI absence
Matt Caswell0f113f32015-01-22 03:40:55 +00002636 */
2637 if (!renegotiate_seen && !(s->options & SSL_OP_LEGACY_SERVER_CONNECT)
2638 && !(s->options & SSL_OP_ALLOW_UNSAFE_LEGACY_RENEGOTIATION)) {
2639 *al = SSL_AD_HANDSHAKE_FAILURE;
2640 SSLerr(SSL_F_SSL_SCAN_SERVERHELLO_TLSEXT,
2641 SSL_R_UNSAFE_LEGACY_RENEGOTIATION_DISABLED);
2642 return 0;
2643 }
Dr. Stephen Hensonc27c9cb2009-12-14 13:56:04 +00002644
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002645 if (s->hit) {
2646 /*
2647 * Check extended master secret extension is consistent with
2648 * original session.
2649 */
2650 if (!(s->s3->flags & TLS1_FLAGS_RECEIVED_EXTMS) !=
2651 !(s->session->flags & SSL_SESS_FLAG_EXTMS)) {
2652 *al = SSL_AD_HANDSHAKE_FAILURE;
2653 SSLerr(SSL_F_SSL_SCAN_SERVERHELLO_TLSEXT, SSL_R_INCONSISTENT_EXTMS);
2654 return 0;
Emilia Kaspera230b262016-08-05 19:03:17 +02002655 }
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002656 }
2657
Matt Caswell0f113f32015-01-22 03:40:55 +00002658 return 1;
2659}
Bodo Möllerb2172f42006-04-03 11:56:30 +00002660
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002661int ssl_prepare_clienthello_tlsext(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002662{
Todd Short817cd0d2016-03-05 08:47:55 -05002663 s->s3->alpn_sent = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002664 return 1;
2665}
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002666
2667int ssl_prepare_serverhello_tlsext(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002668{
2669 return 1;
2670}
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002671
Ben Laurie2daceb02012-09-11 12:57:46 +00002672static int ssl_check_clienthello_tlsext_early(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002673{
2674 int ret = SSL_TLSEXT_ERR_NOACK;
2675 int al = SSL_AD_UNRECOGNIZED_NAME;
Bodo Möller241520e2006-01-11 06:10:40 +00002676
Matt Caswelle481f9b2015-05-15 10:49:56 +01002677#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00002678 /*
2679 * The handling of the ECPointFormats extension is done elsewhere, namely
2680 * in ssl3_choose_cipher in s3_lib.c.
2681 */
2682 /*
2683 * The handling of the EllipticCurves extension is done elsewhere, namely
2684 * in ssl3_choose_cipher in s3_lib.c.
2685 */
Matt Caswelle481f9b2015-05-15 10:49:56 +01002686#endif
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002687
Matt Caswell0f113f32015-01-22 03:40:55 +00002688 if (s->ctx != NULL && s->ctx->tlsext_servername_callback != 0)
2689 ret =
2690 s->ctx->tlsext_servername_callback(s, &al,
2691 s->ctx->tlsext_servername_arg);
2692 else if (s->initial_ctx != NULL
2693 && s->initial_ctx->tlsext_servername_callback != 0)
2694 ret =
2695 s->initial_ctx->tlsext_servername_callback(s, &al,
2696 s->
2697 initial_ctx->tlsext_servername_arg);
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002698
Matt Caswell0f113f32015-01-22 03:40:55 +00002699 switch (ret) {
2700 case SSL_TLSEXT_ERR_ALERT_FATAL:
2701 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2702 return -1;
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002703
Matt Caswell0f113f32015-01-22 03:40:55 +00002704 case SSL_TLSEXT_ERR_ALERT_WARNING:
2705 ssl3_send_alert(s, SSL3_AL_WARNING, al);
2706 return 1;
2707
2708 case SSL_TLSEXT_ERR_NOACK:
2709 s->servername_done = 0;
2710 default:
2711 return 1;
2712 }
2713}
Emilia Kaspera230b262016-08-05 19:03:17 +02002714
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002715/* Initialise digests to default values */
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002716void ssl_set_default_md(SSL *s)
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002717{
2718 const EVP_MD **pmd = s->s3->tmp.md;
2719#ifndef OPENSSL_NO_DSA
Dr. Stephen Henson152fbc22015-11-29 16:27:08 +00002720 pmd[SSL_PKEY_DSA_SIGN] = ssl_md(SSL_MD_SHA1_IDX);
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002721#endif
2722#ifndef OPENSSL_NO_RSA
Dr. Stephen Hensond18d31a2015-08-29 22:11:05 +01002723 if (SSL_USE_SIGALGS(s))
Dr. Stephen Henson152fbc22015-11-29 16:27:08 +00002724 pmd[SSL_PKEY_RSA_SIGN] = ssl_md(SSL_MD_SHA1_IDX);
Dr. Stephen Hensond18d31a2015-08-29 22:11:05 +01002725 else
Dr. Stephen Henson152fbc22015-11-29 16:27:08 +00002726 pmd[SSL_PKEY_RSA_SIGN] = ssl_md(SSL_MD_MD5_SHA1_IDX);
Dr. Stephen Hensond18d31a2015-08-29 22:11:05 +01002727 pmd[SSL_PKEY_RSA_ENC] = pmd[SSL_PKEY_RSA_SIGN];
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002728#endif
2729#ifndef OPENSSL_NO_EC
Dr. Stephen Henson152fbc22015-11-29 16:27:08 +00002730 pmd[SSL_PKEY_ECC] = ssl_md(SSL_MD_SHA1_IDX);
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002731#endif
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00002732#ifndef OPENSSL_NO_GOST
Dr. Stephen Henson152fbc22015-11-29 16:27:08 +00002733 pmd[SSL_PKEY_GOST01] = ssl_md(SSL_MD_GOST94_IDX);
2734 pmd[SSL_PKEY_GOST12_256] = ssl_md(SSL_MD_GOST12_256_IDX);
2735 pmd[SSL_PKEY_GOST12_512] = ssl_md(SSL_MD_GOST12_512_IDX);
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00002736#endif
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002737}
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002738
Dr. Stephen Hensone469af82014-11-17 16:52:59 +00002739int tls1_set_server_sigalgs(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002740{
2741 int al;
2742 size_t i;
FdaSilvaYY8483a002016-03-10 21:34:48 +01002743
2744 /* Clear any shared signature algorithms */
Rich Salzb548a1f2015-05-01 10:02:07 -04002745 OPENSSL_free(s->cert->shared_sigalgs);
2746 s->cert->shared_sigalgs = NULL;
2747 s->cert->shared_sigalgslen = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002748 /* Clear certificate digests and validity flags */
2749 for (i = 0; i < SSL_PKEY_NUM; i++) {
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002750 s->s3->tmp.md[i] = NULL;
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01002751 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002752 }
Dr. Stephen Hensone469af82014-11-17 16:52:59 +00002753
Matt Caswell0f113f32015-01-22 03:40:55 +00002754 /* If sigalgs received process it. */
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01002755 if (s->s3->tmp.peer_sigalgs) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002756 if (!tls1_process_sigalgs(s)) {
2757 SSLerr(SSL_F_TLS1_SET_SERVER_SIGALGS, ERR_R_MALLOC_FAILURE);
2758 al = SSL_AD_INTERNAL_ERROR;
2759 goto err;
2760 }
2761 /* Fatal error is no shared signature algorithms */
2762 if (!s->cert->shared_sigalgs) {
2763 SSLerr(SSL_F_TLS1_SET_SERVER_SIGALGS,
FdaSilvaYYf430ba32016-06-19 19:39:01 +02002764 SSL_R_NO_SHARED_SIGNATURE_ALGORITHMS);
Matt Caswell0f113f32015-01-22 03:40:55 +00002765 al = SSL_AD_ILLEGAL_PARAMETER;
2766 goto err;
2767 }
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002768 } else {
2769 ssl_set_default_md(s);
2770 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002771 return 1;
2772 err:
2773 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2774 return 0;
2775}
Dr. Stephen Hensone469af82014-11-17 16:52:59 +00002776
Emilia Kasper70c22882016-07-04 20:32:28 +02002777/*
2778 * Upon success, returns 1.
2779 * Upon failure, returns 0 and sets |al| to the appropriate fatal alert.
2780 */
2781int ssl_check_clienthello_tlsext_late(SSL *s, int *al)
Matt Caswell0f113f32015-01-22 03:40:55 +00002782{
Emilia Kasper70c22882016-07-04 20:32:28 +02002783 s->tlsext_status_expected = 0;
Ben Laurie2daceb02012-09-11 12:57:46 +00002784
Matt Caswell0f113f32015-01-22 03:40:55 +00002785 /*
2786 * If status request then ask callback what to do. Note: this must be
2787 * called after servername callbacks in case the certificate has changed,
2788 * and must be called after the cipher has been chosen because this may
2789 * influence which certificate is sent
2790 */
2791 if ((s->tlsext_status_type != -1) && s->ctx && s->ctx->tlsext_status_cb) {
Emilia Kasper70c22882016-07-04 20:32:28 +02002792 int ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00002793 CERT_PKEY *certpkey;
2794 certpkey = ssl_get_server_send_pkey(s);
2795 /* If no certificate can't return certificate status */
Emilia Kasper70c22882016-07-04 20:32:28 +02002796 if (certpkey != NULL) {
2797 /*
2798 * Set current certificate to one we will use so SSL_get_certificate
2799 * et al can pick it up.
2800 */
2801 s->cert->key = certpkey;
2802 ret = s->ctx->tlsext_status_cb(s, s->ctx->tlsext_status_arg);
2803 switch (ret) {
2804 /* We don't want to send a status request response */
2805 case SSL_TLSEXT_ERR_NOACK:
Matt Caswell0f113f32015-01-22 03:40:55 +00002806 s->tlsext_status_expected = 0;
Emilia Kasper70c22882016-07-04 20:32:28 +02002807 break;
2808 /* status request response should be sent */
2809 case SSL_TLSEXT_ERR_OK:
2810 if (s->tlsext_ocsp_resp)
2811 s->tlsext_status_expected = 1;
2812 break;
2813 /* something bad happened */
2814 case SSL_TLSEXT_ERR_ALERT_FATAL:
2815 default:
2816 *al = SSL_AD_INTERNAL_ERROR;
2817 return 0;
2818 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002819 }
Todd Short817cd0d2016-03-05 08:47:55 -05002820 }
2821
Emilia Kasper70c22882016-07-04 20:32:28 +02002822 if (!tls1_alpn_handle_client_hello_late(s, al)) {
2823 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002824 }
Emilia Kasper70c22882016-07-04 20:32:28 +02002825
2826 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002827}
Ben Laurie2daceb02012-09-11 12:57:46 +00002828
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002829int ssl_check_serverhello_tlsext(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002830{
2831 int ret = SSL_TLSEXT_ERR_NOACK;
2832 int al = SSL_AD_UNRECOGNIZED_NAME;
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002833
Matt Caswelle481f9b2015-05-15 10:49:56 +01002834#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00002835 /*
2836 * If we are client and using an elliptic curve cryptography cipher
2837 * suite, then if server returns an EC point formats lists extension it
2838 * must contain uncompressed.
2839 */
2840 unsigned long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
2841 unsigned long alg_a = s->s3->tmp.new_cipher->algorithm_auth;
2842 if ((s->tlsext_ecpointformatlist != NULL)
2843 && (s->tlsext_ecpointformatlist_length > 0)
2844 && (s->session->tlsext_ecpointformatlist != NULL)
2845 && (s->session->tlsext_ecpointformatlist_length > 0)
Dr. Stephen Hensonce0c1f22016-02-11 18:19:27 +00002846 && ((alg_k & SSL_kECDHE) || (alg_a & SSL_aECDSA))) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002847 /* we are using an ECC cipher */
2848 size_t i;
2849 unsigned char *list;
2850 int found_uncompressed = 0;
2851 list = s->session->tlsext_ecpointformatlist;
2852 for (i = 0; i < s->session->tlsext_ecpointformatlist_length; i++) {
2853 if (*(list++) == TLSEXT_ECPOINTFORMAT_uncompressed) {
2854 found_uncompressed = 1;
2855 break;
2856 }
2857 }
2858 if (!found_uncompressed) {
2859 SSLerr(SSL_F_SSL_CHECK_SERVERHELLO_TLSEXT,
2860 SSL_R_TLS_INVALID_ECPOINTFORMAT_LIST);
2861 return -1;
2862 }
2863 }
2864 ret = SSL_TLSEXT_ERR_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +02002865#endif /* OPENSSL_NO_EC */
Bodo Möller36ca4ba2006-03-11 23:46:37 +00002866
Matt Caswell0f113f32015-01-22 03:40:55 +00002867 if (s->ctx != NULL && s->ctx->tlsext_servername_callback != 0)
2868 ret =
2869 s->ctx->tlsext_servername_callback(s, &al,
2870 s->ctx->tlsext_servername_arg);
2871 else if (s->initial_ctx != NULL
2872 && s->initial_ctx->tlsext_servername_callback != 0)
2873 ret =
2874 s->initial_ctx->tlsext_servername_callback(s, &al,
2875 s->
2876 initial_ctx->tlsext_servername_arg);
Bodo Möller241520e2006-01-11 06:10:40 +00002877
Matt Caswellb1931d42015-12-10 10:44:30 +00002878 /*
2879 * Ensure we get sensible values passed to tlsext_status_cb in the event
2880 * that we don't receive a status message
2881 */
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002882 OPENSSL_free(s->tlsext_ocsp_resp);
2883 s->tlsext_ocsp_resp = NULL;
Matt Caswell8b0e9342016-10-06 19:17:54 +01002884 s->tlsext_ocsp_resplen = 0;
Bodo Möller58ece832006-01-13 09:21:10 +00002885
Matt Caswell0f113f32015-01-22 03:40:55 +00002886 switch (ret) {
2887 case SSL_TLSEXT_ERR_ALERT_FATAL:
2888 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2889 return -1;
Bodo Möller33273722006-03-30 02:44:56 +00002890
Matt Caswell0f113f32015-01-22 03:40:55 +00002891 case SSL_TLSEXT_ERR_ALERT_WARNING:
2892 ssl3_send_alert(s, SSL3_AL_WARNING, al);
2893 return 1;
Dr. Stephen Henson09e4e4b2012-04-24 12:22:23 +00002894
Matt Caswell0f113f32015-01-22 03:40:55 +00002895 case SSL_TLSEXT_ERR_NOACK:
2896 s->servername_done = 0;
2897 default:
2898 return 1;
2899 }
2900}
2901
Matt Caswell50932c42015-08-04 17:36:02 +01002902int ssl_parse_serverhello_tlsext(SSL *s, PACKET *pkt)
Matt Caswell0f113f32015-01-22 03:40:55 +00002903{
2904 int al = -1;
2905 if (s->version < SSL3_VERSION)
2906 return 1;
Matt Caswell50932c42015-08-04 17:36:02 +01002907 if (ssl_scan_serverhello_tlsext(s, pkt, &al) <= 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002908 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2909 return 0;
2910 }
2911
2912 if (ssl_check_serverhello_tlsext(s) <= 0) {
2913 SSLerr(SSL_F_SSL_PARSE_SERVERHELLO_TLSEXT, SSL_R_SERVERHELLO_TLSEXT);
2914 return 0;
2915 }
2916 return 1;
Dr. Stephen Henson09e4e4b2012-04-24 12:22:23 +00002917}
2918
Matt Caswell64386322016-10-31 16:36:30 +00002919/*
2920 * Given a list of extensions that we collected earlier, find one of a given
2921 * type and return it.
2922 *
2923 * |exts| is the set of extensions previously collected.
2924 * |numexts| is the number of extensions that we have.
2925 * |type| the type of the extension that we are looking for.
2926 *
2927 * Returns a pointer to the found RAW_EXTENSION data, or NULL if not found.
2928 */
Matt Caswellcd998832016-10-23 00:41:11 +01002929RAW_EXTENSION *tls_get_extension_by_type(RAW_EXTENSION *exts, size_t numexts,
2930 unsigned int type)
Matt Caswell1ab38362016-10-22 17:24:37 +01002931{
2932 size_t loop;
2933
2934 for (loop = 0; loop < numexts; loop++) {
2935 if (exts[loop].type == type)
2936 return &exts[loop];
2937 }
2938
2939 return NULL;
2940}
2941
Tim Hudson1d97c842014-12-28 12:48:40 +10002942/*-
Matt Caswell1ab38362016-10-22 17:24:37 +01002943 * Gets the ticket information supplied by the client if any.
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002944 *
Matt Caswell1ab38362016-10-22 17:24:37 +01002945 * hello: The parsed ClientHello data
Bodo Möllerc519e892011-09-05 13:36:23 +00002946 * ret: (output) on return, if a ticket was decrypted, then this is set to
2947 * point to the resulting session.
2948 *
2949 * If s->tls_session_secret_cb is set then we are expecting a pre-shared key
2950 * ciphersuite, in which case we have no use for session tickets and one will
2951 * never be decrypted, nor will s->tlsext_ticket_expected be set to 1.
2952 *
2953 * Returns:
2954 * -1: fatal error, either from parsing or decrypting the ticket.
2955 * 0: no ticket was found (or was ignored, based on settings).
2956 * 1: a zero length extension was found, indicating that the client supports
2957 * session tickets but doesn't currently have one to offer.
2958 * 2: either s->tls_session_secret_cb was set, or a ticket was offered but
2959 * couldn't be decrypted because of a non-fatal error.
2960 * 3: a ticket was successfully decrypted and *ret was set.
2961 *
2962 * Side effects:
2963 * Sets s->tlsext_ticket_expected to 1 if the server will have to issue
2964 * a new session ticket to the client because the client indicated support
2965 * (and s->tls_session_secret_cb is NULL) but the client either doesn't have
2966 * a session ticket or we couldn't use the one it gave us, or if
2967 * s->ctx->tlsext_ticket_key_cb asked to renew the client's ticket.
2968 * Otherwise, s->tlsext_ticket_expected is set to 0.
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00002969 */
Matt Caswell1ab38362016-10-22 17:24:37 +01002970int tls_get_ticket_from_client(SSL *s, CLIENTHELLO_MSG *hello,
2971 SSL_SESSION **ret)
Matt Caswell0f113f32015-01-22 03:40:55 +00002972{
Matt Caswell1ab38362016-10-22 17:24:37 +01002973 int retv;
2974 const unsigned char *etick;
2975 size_t size;
2976 RAW_EXTENSION *ticketext;
Dr. Stephen Hensone7f0d922015-12-04 19:48:15 +00002977
Matt Caswell0f113f32015-01-22 03:40:55 +00002978 *ret = NULL;
2979 s->tlsext_ticket_expected = 0;
Dr. Stephen Hensone8da6a12008-09-03 22:17:11 +00002980
Matt Caswell0f113f32015-01-22 03:40:55 +00002981 /*
2982 * If tickets disabled behave as if no ticket present to permit stateful
2983 * resumption.
2984 */
Matt Caswell1ab38362016-10-22 17:24:37 +01002985 if (s->version <= SSL3_VERSION || !tls_use_ticket(s))
Matt Caswell0f113f32015-01-22 03:40:55 +00002986 return 0;
Matt Caswell9ceb2422015-04-16 10:06:25 +01002987
Matt Caswellcd998832016-10-23 00:41:11 +01002988 ticketext = tls_get_extension_by_type(hello->pre_proc_exts,
2989 hello->num_extensions,
2990 TLSEXT_TYPE_session_ticket);
Matt Caswell1ab38362016-10-22 17:24:37 +01002991 if (ticketext == NULL)
2992 return 0;
2993
2994 size = PACKET_remaining(&ticketext->data);
2995 if (size == 0) {
2996 /*
2997 * The client will accept a ticket but doesn't currently have
2998 * one.
2999 */
3000 s->tlsext_ticket_expected = 1;
3001 return 1;
Matt Caswell9ceb2422015-04-16 10:06:25 +01003002 }
Matt Caswell1ab38362016-10-22 17:24:37 +01003003 if (s->tls_session_secret_cb) {
3004 /*
3005 * Indicate that the ticket couldn't be decrypted rather than
3006 * generating the session from ticket now, trigger
3007 * abbreviated handshake based on external mechanism to
3008 * calculate the master secret later.
3009 */
3010 return 2;
Matt Caswell0f113f32015-01-22 03:40:55 +00003011 }
Matt Caswell1ab38362016-10-22 17:24:37 +01003012 if (!PACKET_get_bytes(&ticketext->data, &etick, size)) {
3013 /* Shouldn't ever happen */
3014 return -1;
3015 }
3016 retv = tls_decrypt_ticket(s, etick, size, hello->session_id,
3017 hello->session_id_len, ret);
3018 switch (retv) {
3019 case 2: /* ticket couldn't be decrypted */
3020 s->tlsext_ticket_expected = 1;
3021 return 2;
3022
3023 case 3: /* ticket was decrypted */
3024 return 3;
3025
3026 case 4: /* ticket decrypted but need to renew */
3027 s->tlsext_ticket_expected = 1;
3028 return 3;
3029
3030 default: /* fatal error */
3031 return -1;
3032 }
3033}
3034
3035/*
Matt Caswellde7d61d2016-10-31 13:20:03 +00003036 * Sets the extended master secret flag if the extension is present in the
3037 * ClientHello
3038 * Returns:
3039 * 1 on success
3040 * 0 on error
Matt Caswell1ab38362016-10-22 17:24:37 +01003041 */
Matt Caswell902aca02016-11-08 13:43:12 +00003042int tls_check_client_ems_support(SSL *s, const CLIENTHELLO_MSG *hello)
Matt Caswell1ab38362016-10-22 17:24:37 +01003043{
3044 RAW_EXTENSION *emsext;
3045
3046 s->s3->flags &= ~TLS1_FLAGS_RECEIVED_EXTMS;
3047
3048 if (s->version <= SSL3_VERSION)
3049 return 1;
3050
Matt Caswellcd998832016-10-23 00:41:11 +01003051 emsext = tls_get_extension_by_type(hello->pre_proc_exts,
3052 hello->num_extensions,
3053 TLSEXT_TYPE_extended_master_secret);
Matt Caswell1ab38362016-10-22 17:24:37 +01003054
3055 /*
3056 * No extensions is a success - we have successfully discovered that the
3057 * client doesn't support EMS.
3058 */
3059 if (emsext == NULL)
3060 return 1;
3061
3062 /* The extensions must always be empty */
3063 if (PACKET_remaining(&emsext->data) != 0)
3064 return 0;
3065
3066 s->s3->flags |= TLS1_FLAGS_RECEIVED_EXTMS;
3067
3068 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003069}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003070
Tim Hudson1d97c842014-12-28 12:48:40 +10003071/*-
3072 * tls_decrypt_ticket attempts to decrypt a session ticket.
Bodo Möllerc519e892011-09-05 13:36:23 +00003073 *
3074 * etick: points to the body of the session ticket extension.
FdaSilvaYY8483a002016-03-10 21:34:48 +01003075 * eticklen: the length of the session tickets extension.
Bodo Möllerc519e892011-09-05 13:36:23 +00003076 * sess_id: points at the session ID.
3077 * sesslen: the length of the session ID.
3078 * psess: (output) on return, if a ticket was decrypted, then this is set to
3079 * point to the resulting session.
3080 *
3081 * Returns:
Richard Levittebf7c6812015-11-30 13:44:28 +01003082 * -2: fatal error, malloc failure.
Bodo Möllerc519e892011-09-05 13:36:23 +00003083 * -1: fatal error, either from parsing or decrypting the ticket.
3084 * 2: the ticket couldn't be decrypted.
3085 * 3: a ticket was successfully decrypted and *psess was set.
3086 * 4: same as 3, but the ticket needs to be renewed.
3087 */
Matt Caswell0f113f32015-01-22 03:40:55 +00003088static int tls_decrypt_ticket(SSL *s, const unsigned char *etick,
Matt Caswelld736bc12016-10-04 21:22:19 +01003089 size_t eticklen, const unsigned char *sess_id,
Matt Caswellec60ccc2016-10-04 20:31:19 +01003090 size_t sesslen, SSL_SESSION **psess)
Matt Caswell0f113f32015-01-22 03:40:55 +00003091{
3092 SSL_SESSION *sess;
3093 unsigned char *sdec;
3094 const unsigned char *p;
Matt Caswell348240c2016-10-19 15:11:24 +01003095 int slen, renew_ticket = 0, ret = -1, declen;
3096 size_t mlen;
Matt Caswell0f113f32015-01-22 03:40:55 +00003097 unsigned char tick_hmac[EVP_MAX_MD_SIZE];
Richard Levittebf7c6812015-11-30 13:44:28 +01003098 HMAC_CTX *hctx = NULL;
Richard Levitte846ec072015-12-13 22:08:41 +01003099 EVP_CIPHER_CTX *ctx;
Matt Caswell0f113f32015-01-22 03:40:55 +00003100 SSL_CTX *tctx = s->initial_ctx;
Dr. Stephen Hensone97763c2016-08-22 17:20:01 +01003101
Matt Caswell0f113f32015-01-22 03:40:55 +00003102 /* Initialize session ticket encryption and HMAC contexts */
Richard Levittebf7c6812015-11-30 13:44:28 +01003103 hctx = HMAC_CTX_new();
3104 if (hctx == NULL)
3105 return -2;
Richard Levitte846ec072015-12-13 22:08:41 +01003106 ctx = EVP_CIPHER_CTX_new();
Matt Caswell35b1a432016-02-13 23:22:45 +00003107 if (ctx == NULL) {
3108 ret = -2;
3109 goto err;
3110 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003111 if (tctx->tlsext_ticket_key_cb) {
3112 unsigned char *nctick = (unsigned char *)etick;
3113 int rv = tctx->tlsext_ticket_key_cb(s, nctick, nctick + 16,
Richard Levitte846ec072015-12-13 22:08:41 +01003114 ctx, hctx, 0);
Matt Caswell0f113f32015-01-22 03:40:55 +00003115 if (rv < 0)
Matt Caswell35b1a432016-02-13 23:22:45 +00003116 goto err;
3117 if (rv == 0) {
3118 ret = 2;
3119 goto err;
3120 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003121 if (rv == 2)
3122 renew_ticket = 1;
3123 } else {
3124 /* Check key name matches */
TJ Saunders4e2e1ec2016-02-27 19:36:00 +01003125 if (memcmp(etick, tctx->tlsext_tick_key_name,
3126 sizeof(tctx->tlsext_tick_key_name)) != 0) {
Matt Caswell35b1a432016-02-13 23:22:45 +00003127 ret = 2;
3128 goto err;
3129 }
TJ Saunders4e2e1ec2016-02-27 19:36:00 +01003130 if (HMAC_Init_ex(hctx, tctx->tlsext_tick_hmac_key,
3131 sizeof(tctx->tlsext_tick_hmac_key),
Matt Caswell5f3d93e2015-11-06 16:31:21 +00003132 EVP_sha256(), NULL) <= 0
Emilia Kaspera230b262016-08-05 19:03:17 +02003133 || EVP_DecryptInit_ex(ctx, EVP_aes_256_cbc(), NULL,
3134 tctx->tlsext_tick_aes_key,
3135 etick + sizeof(tctx->tlsext_tick_key_name)) <=
3136 0) {
Matt Caswell5f3d93e2015-11-06 16:31:21 +00003137 goto err;
Emilia Kaspera230b262016-08-05 19:03:17 +02003138 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003139 }
3140 /*
3141 * Attempt to process session ticket, first conduct sanity and integrity
3142 * checks on ticket.
3143 */
Richard Levittebf7c6812015-11-30 13:44:28 +01003144 mlen = HMAC_size(hctx);
Matt Caswell348240c2016-10-19 15:11:24 +01003145 if (mlen == 0) {
Matt Caswell5f3d93e2015-11-06 16:31:21 +00003146 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003147 }
Dr. Stephen Hensone97763c2016-08-22 17:20:01 +01003148 /* Sanity check ticket length: must exceed keyname + IV + HMAC */
3149 if (eticklen <=
Matt Caswell348240c2016-10-19 15:11:24 +01003150 TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx) + mlen) {
Dr. Stephen Hensone97763c2016-08-22 17:20:01 +01003151 ret = 2;
3152 goto err;
3153 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003154 eticklen -= mlen;
3155 /* Check HMAC of encrypted ticket */
Richard Levittebf7c6812015-11-30 13:44:28 +01003156 if (HMAC_Update(hctx, etick, eticklen) <= 0
Emilia Kaspera230b262016-08-05 19:03:17 +02003157 || HMAC_Final(hctx, tick_hmac, NULL) <= 0) {
Matt Caswell5f3d93e2015-11-06 16:31:21 +00003158 goto err;
3159 }
Richard Levittebf7c6812015-11-30 13:44:28 +01003160 HMAC_CTX_free(hctx);
Matt Caswell0f113f32015-01-22 03:40:55 +00003161 if (CRYPTO_memcmp(tick_hmac, etick + eticklen, mlen)) {
Richard Levitte846ec072015-12-13 22:08:41 +01003162 EVP_CIPHER_CTX_free(ctx);
Matt Caswell0f113f32015-01-22 03:40:55 +00003163 return 2;
3164 }
3165 /* Attempt to decrypt session data */
3166 /* Move p after IV to start of encrypted ticket, update length */
Richard Levitte846ec072015-12-13 22:08:41 +01003167 p = etick + 16 + EVP_CIPHER_CTX_iv_length(ctx);
3168 eticklen -= 16 + EVP_CIPHER_CTX_iv_length(ctx);
Matt Caswell0f113f32015-01-22 03:40:55 +00003169 sdec = OPENSSL_malloc(eticklen);
Matt Caswell348240c2016-10-19 15:11:24 +01003170 if (sdec == NULL || EVP_DecryptUpdate(ctx, sdec, &slen, p,
3171 (int)eticklen) <= 0) {
Richard Levitte846ec072015-12-13 22:08:41 +01003172 EVP_CIPHER_CTX_free(ctx);
Matt Caswelld1247df2016-03-15 11:38:56 +00003173 OPENSSL_free(sdec);
Matt Caswell0f113f32015-01-22 03:40:55 +00003174 return -1;
3175 }
Matt Caswell348240c2016-10-19 15:11:24 +01003176 if (EVP_DecryptFinal(ctx, sdec + slen, &declen) <= 0) {
Richard Levitte846ec072015-12-13 22:08:41 +01003177 EVP_CIPHER_CTX_free(ctx);
Matt Caswell0f113f32015-01-22 03:40:55 +00003178 OPENSSL_free(sdec);
3179 return 2;
3180 }
Matt Caswell348240c2016-10-19 15:11:24 +01003181 slen += declen;
Richard Levitte846ec072015-12-13 22:08:41 +01003182 EVP_CIPHER_CTX_free(ctx);
3183 ctx = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00003184 p = sdec;
Bodo Möllerc519e892011-09-05 13:36:23 +00003185
Matt Caswell0f113f32015-01-22 03:40:55 +00003186 sess = d2i_SSL_SESSION(NULL, &p, slen);
3187 OPENSSL_free(sdec);
3188 if (sess) {
3189 /*
3190 * The session ID, if non-empty, is used by some clients to detect
3191 * that the ticket has been accepted. So we copy it to the session
3192 * structure. If it is empty set length to zero as required by
3193 * standard.
3194 */
3195 if (sesslen)
3196 memcpy(sess->session_id, sess_id, sesslen);
3197 sess->session_id_length = sesslen;
3198 *psess = sess;
3199 if (renew_ticket)
3200 return 4;
3201 else
3202 return 3;
3203 }
3204 ERR_clear_error();
3205 /*
3206 * For session parse failure, indicate that we need to send a new ticket.
3207 */
3208 return 2;
Emilia Kaspera230b262016-08-05 19:03:17 +02003209 err:
Richard Levitte846ec072015-12-13 22:08:41 +01003210 EVP_CIPHER_CTX_free(ctx);
Richard Levittebf7c6812015-11-30 13:44:28 +01003211 HMAC_CTX_free(hctx);
Matt Caswell35b1a432016-02-13 23:22:45 +00003212 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00003213}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003214
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003215/* Tables to translate from NIDs to TLS v1.2 ids */
3216
Matt Caswell0f113f32015-01-22 03:40:55 +00003217typedef struct {
3218 int nid;
3219 int id;
3220} tls12_lookup;
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003221
Cristian Rodríguezd97ed212014-04-20 18:41:15 -03003222static const tls12_lookup tls12_md[] = {
Matt Caswell0f113f32015-01-22 03:40:55 +00003223 {NID_md5, TLSEXT_hash_md5},
3224 {NID_sha1, TLSEXT_hash_sha1},
3225 {NID_sha224, TLSEXT_hash_sha224},
3226 {NID_sha256, TLSEXT_hash_sha256},
3227 {NID_sha384, TLSEXT_hash_sha384},
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003228 {NID_sha512, TLSEXT_hash_sha512},
3229 {NID_id_GostR3411_94, TLSEXT_hash_gostr3411},
3230 {NID_id_GostR3411_2012_256, TLSEXT_hash_gostr34112012_256},
3231 {NID_id_GostR3411_2012_512, TLSEXT_hash_gostr34112012_512},
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003232};
3233
Cristian Rodríguezd97ed212014-04-20 18:41:15 -03003234static const tls12_lookup tls12_sig[] = {
Matt Caswell0f113f32015-01-22 03:40:55 +00003235 {EVP_PKEY_RSA, TLSEXT_signature_rsa},
3236 {EVP_PKEY_DSA, TLSEXT_signature_dsa},
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003237 {EVP_PKEY_EC, TLSEXT_signature_ecdsa},
3238 {NID_id_GostR3410_2001, TLSEXT_signature_gostr34102001},
3239 {NID_id_GostR3410_2012_256, TLSEXT_signature_gostr34102012_256},
3240 {NID_id_GostR3410_2012_512, TLSEXT_signature_gostr34102012_512}
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003241};
3242
Cristian Rodríguezd97ed212014-04-20 18:41:15 -03003243static int tls12_find_id(int nid, const tls12_lookup *table, size_t tlen)
Matt Caswell0f113f32015-01-22 03:40:55 +00003244{
3245 size_t i;
3246 for (i = 0; i < tlen; i++) {
3247 if (table[i].nid == nid)
3248 return table[i].id;
3249 }
3250 return -1;
3251}
Dr. Stephen Hensone7f8ff42012-03-06 14:28:21 +00003252
Cristian Rodríguezd97ed212014-04-20 18:41:15 -03003253static int tls12_find_nid(int id, const tls12_lookup *table, size_t tlen)
Matt Caswell0f113f32015-01-22 03:40:55 +00003254{
3255 size_t i;
3256 for (i = 0; i < tlen; i++) {
3257 if ((table[i].id) == id)
3258 return table[i].nid;
3259 }
3260 return NID_undef;
3261}
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00003262
Matt Caswell6400f332016-09-14 11:10:37 +01003263int tls12_get_sigandhash(WPACKET *pkt, const EVP_PKEY *pk, const EVP_MD *md)
3264{
3265 int sig_id, md_id;
Matt Caswell418a18a2016-09-20 10:16:15 +01003266
3267 if (md == NULL)
Matt Caswell6400f332016-09-14 11:10:37 +01003268 return 0;
3269 md_id = tls12_find_id(EVP_MD_type(md), tls12_md, OSSL_NELEM(tls12_md));
3270 if (md_id == -1)
3271 return 0;
3272 sig_id = tls12_get_sigid(pk);
3273 if (sig_id == -1)
3274 return 0;
Matt Caswell08029df2016-09-20 14:47:44 +01003275 if (!WPACKET_put_bytes_u8(pkt, md_id) || !WPACKET_put_bytes_u8(pkt, sig_id))
Matt Caswell6400f332016-09-14 11:10:37 +01003276 return 0;
3277
3278 return 1;
3279}
3280
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00003281int tls12_get_sigid(const EVP_PKEY *pk)
Matt Caswell0f113f32015-01-22 03:40:55 +00003282{
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +00003283 return tls12_find_id(EVP_PKEY_id(pk), tls12_sig, OSSL_NELEM(tls12_sig));
Matt Caswell0f113f32015-01-22 03:40:55 +00003284}
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00003285
Matt Caswell0f113f32015-01-22 03:40:55 +00003286typedef struct {
3287 int nid;
3288 int secbits;
Dr. Stephen Henson7afd2312015-11-29 16:54:27 +00003289 int md_idx;
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003290 unsigned char tlsext_hash;
Matt Caswell0f113f32015-01-22 03:40:55 +00003291} tls12_hash_info;
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003292
3293static const tls12_hash_info tls12_md_info[] = {
Dr. Stephen Henson7afd2312015-11-29 16:54:27 +00003294 {NID_md5, 64, SSL_MD_MD5_IDX, TLSEXT_hash_md5},
3295 {NID_sha1, 80, SSL_MD_SHA1_IDX, TLSEXT_hash_sha1},
3296 {NID_sha224, 112, SSL_MD_SHA224_IDX, TLSEXT_hash_sha224},
3297 {NID_sha256, 128, SSL_MD_SHA256_IDX, TLSEXT_hash_sha256},
3298 {NID_sha384, 192, SSL_MD_SHA384_IDX, TLSEXT_hash_sha384},
3299 {NID_sha512, 256, SSL_MD_SHA512_IDX, TLSEXT_hash_sha512},
Emilia Kaspera230b262016-08-05 19:03:17 +02003300 {NID_id_GostR3411_94, 128, SSL_MD_GOST94_IDX, TLSEXT_hash_gostr3411},
3301 {NID_id_GostR3411_2012_256, 128, SSL_MD_GOST12_256_IDX,
3302 TLSEXT_hash_gostr34112012_256},
3303 {NID_id_GostR3411_2012_512, 256, SSL_MD_GOST12_512_IDX,
3304 TLSEXT_hash_gostr34112012_512},
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003305};
3306
3307static const tls12_hash_info *tls12_get_hash_info(unsigned char hash_alg)
Matt Caswell0f113f32015-01-22 03:40:55 +00003308{
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003309 unsigned int i;
Matt Caswell0f113f32015-01-22 03:40:55 +00003310 if (hash_alg == 0)
3311 return NULL;
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003312
Emilia Kaspera230b262016-08-05 19:03:17 +02003313 for (i = 0; i < OSSL_NELEM(tls12_md_info); i++) {
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003314 if (tls12_md_info[i].tlsext_hash == hash_alg)
3315 return tls12_md_info + i;
3316 }
3317
3318 return NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00003319}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003320
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00003321const EVP_MD *tls12_get_hash(unsigned char hash_alg)
Matt Caswell0f113f32015-01-22 03:40:55 +00003322{
3323 const tls12_hash_info *inf;
3324 if (hash_alg == TLSEXT_hash_md5 && FIPS_mode())
3325 return NULL;
3326 inf = tls12_get_hash_info(hash_alg);
Dr. Stephen Henson7afd2312015-11-29 16:54:27 +00003327 if (!inf)
Matt Caswell0f113f32015-01-22 03:40:55 +00003328 return NULL;
Dr. Stephen Henson7afd2312015-11-29 16:54:27 +00003329 return ssl_md(inf->md_idx);
Matt Caswell0f113f32015-01-22 03:40:55 +00003330}
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00003331
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003332static int tls12_get_pkey_idx(unsigned char sig_alg)
Matt Caswell0f113f32015-01-22 03:40:55 +00003333{
3334 switch (sig_alg) {
Matt Caswelle481f9b2015-05-15 10:49:56 +01003335#ifndef OPENSSL_NO_RSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003336 case TLSEXT_signature_rsa:
3337 return SSL_PKEY_RSA_SIGN;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003338#endif
3339#ifndef OPENSSL_NO_DSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003340 case TLSEXT_signature_dsa:
3341 return SSL_PKEY_DSA_SIGN;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003342#endif
3343#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00003344 case TLSEXT_signature_ecdsa:
3345 return SSL_PKEY_ECC;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003346#endif
Emilia Kaspera230b262016-08-05 19:03:17 +02003347#ifndef OPENSSL_NO_GOST
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003348 case TLSEXT_signature_gostr34102001:
3349 return SSL_PKEY_GOST01;
3350
3351 case TLSEXT_signature_gostr34102012_256:
3352 return SSL_PKEY_GOST12_256;
3353
3354 case TLSEXT_signature_gostr34102012_512:
3355 return SSL_PKEY_GOST12_512;
Emilia Kaspera230b262016-08-05 19:03:17 +02003356#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003357 }
3358 return -1;
3359}
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003360
3361/* Convert TLS 1.2 signature algorithm extension values into NIDs */
3362static void tls1_lookup_sigalg(int *phash_nid, int *psign_nid,
Matt Caswell0f113f32015-01-22 03:40:55 +00003363 int *psignhash_nid, const unsigned char *data)
3364{
Matt Caswell330dcb02015-11-11 10:44:07 +00003365 int sign_nid = NID_undef, hash_nid = NID_undef;
Matt Caswell0f113f32015-01-22 03:40:55 +00003366 if (!phash_nid && !psign_nid && !psignhash_nid)
3367 return;
3368 if (phash_nid || psignhash_nid) {
Dr. Stephen Hensonb6eb9822015-05-02 18:30:00 +01003369 hash_nid = tls12_find_nid(data[0], tls12_md, OSSL_NELEM(tls12_md));
Matt Caswell0f113f32015-01-22 03:40:55 +00003370 if (phash_nid)
3371 *phash_nid = hash_nid;
3372 }
3373 if (psign_nid || psignhash_nid) {
Dr. Stephen Hensonb6eb9822015-05-02 18:30:00 +01003374 sign_nid = tls12_find_nid(data[1], tls12_sig, OSSL_NELEM(tls12_sig));
Matt Caswell0f113f32015-01-22 03:40:55 +00003375 if (psign_nid)
3376 *psign_nid = sign_nid;
3377 }
3378 if (psignhash_nid) {
Matt Caswell330dcb02015-11-11 10:44:07 +00003379 if (sign_nid == NID_undef || hash_nid == NID_undef
Emilia Kaspera230b262016-08-05 19:03:17 +02003380 || OBJ_find_sigid_by_algs(psignhash_nid, hash_nid, sign_nid) <= 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00003381 *psignhash_nid = NID_undef;
3382 }
3383}
3384
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003385/* Check to see if a signature algorithm is allowed */
3386static int tls12_sigalg_allowed(SSL *s, int op, const unsigned char *ptmp)
Matt Caswell0f113f32015-01-22 03:40:55 +00003387{
3388 /* See if we have an entry in the hash table and it is enabled */
3389 const tls12_hash_info *hinf = tls12_get_hash_info(ptmp[0]);
Dr. Stephen Henson7afd2312015-11-29 16:54:27 +00003390 if (hinf == NULL || ssl_md(hinf->md_idx) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003391 return 0;
3392 /* See if public key algorithm allowed */
3393 if (tls12_get_pkey_idx(ptmp[1]) == -1)
3394 return 0;
3395 /* Finally see if security callback allows it */
3396 return ssl_security(s, op, hinf->secbits, hinf->nid, (void *)ptmp);
3397}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003398
Matt Caswell0f113f32015-01-22 03:40:55 +00003399/*
3400 * Get a mask of disabled public key algorithms based on supported signature
3401 * algorithms. For example if no signature algorithm supports RSA then RSA is
3402 * disabled.
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003403 */
3404
Dr. Stephen Henson90d9e492015-11-05 16:14:17 +00003405void ssl_set_sig_mask(uint32_t *pmask_a, SSL *s, int op)
Matt Caswell0f113f32015-01-22 03:40:55 +00003406{
3407 const unsigned char *sigalgs;
3408 size_t i, sigalgslen;
3409 int have_rsa = 0, have_dsa = 0, have_ecdsa = 0;
3410 /*
3411 * Now go through all signature algorithms seeing if we support any for
3412 * RSA, DSA, ECDSA. Do this for all versions not just TLS 1.2. To keep
3413 * down calls to security callback only check if we have to.
3414 */
3415 sigalgslen = tls12_get_psigalgs(s, &sigalgs);
3416 for (i = 0; i < sigalgslen; i += 2, sigalgs += 2) {
3417 switch (sigalgs[1]) {
Matt Caswelle481f9b2015-05-15 10:49:56 +01003418#ifndef OPENSSL_NO_RSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003419 case TLSEXT_signature_rsa:
3420 if (!have_rsa && tls12_sigalg_allowed(s, op, sigalgs))
3421 have_rsa = 1;
3422 break;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003423#endif
3424#ifndef OPENSSL_NO_DSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003425 case TLSEXT_signature_dsa:
3426 if (!have_dsa && tls12_sigalg_allowed(s, op, sigalgs))
3427 have_dsa = 1;
3428 break;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003429#endif
3430#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00003431 case TLSEXT_signature_ecdsa:
3432 if (!have_ecdsa && tls12_sigalg_allowed(s, op, sigalgs))
3433 have_ecdsa = 1;
3434 break;
Matt Caswelle481f9b2015-05-15 10:49:56 +01003435#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003436 }
3437 }
3438 if (!have_rsa)
3439 *pmask_a |= SSL_aRSA;
3440 if (!have_dsa)
3441 *pmask_a |= SSL_aDSS;
3442 if (!have_ecdsa)
3443 *pmask_a |= SSL_aECDSA;
3444}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00003445
Matt Caswellae2f7b32016-09-05 17:34:04 +01003446int tls12_copy_sigalgs(SSL *s, WPACKET *pkt,
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003447 const unsigned char *psig, size_t psiglen)
3448{
3449 size_t i;
Matt Caswellc0f9e232016-09-13 09:40:38 +01003450
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003451 for (i = 0; i < psiglen; i += 2, psig += 2) {
3452 if (tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SUPPORTED, psig)) {
Matt Caswell08029df2016-09-20 14:47:44 +01003453 if (!WPACKET_put_bytes_u8(pkt, psig[0])
3454 || !WPACKET_put_bytes_u8(pkt, psig[1]))
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003455 return 0;
3456 }
3457 }
3458 return 1;
3459}
3460
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003461/* Given preference and allowed sigalgs set shared sigalgs */
Matt Caswell348240c2016-10-19 15:11:24 +01003462static size_t tls12_shared_sigalgs(SSL *s, TLS_SIGALGS *shsig,
3463 const unsigned char *pref, size_t preflen,
3464 const unsigned char *allow, size_t allowlen)
Matt Caswell0f113f32015-01-22 03:40:55 +00003465{
3466 const unsigned char *ptmp, *atmp;
3467 size_t i, j, nmatch = 0;
3468 for (i = 0, ptmp = pref; i < preflen; i += 2, ptmp += 2) {
3469 /* Skip disabled hashes or signature algorithms */
3470 if (!tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SHARED, ptmp))
3471 continue;
3472 for (j = 0, atmp = allow; j < allowlen; j += 2, atmp += 2) {
3473 if (ptmp[0] == atmp[0] && ptmp[1] == atmp[1]) {
3474 nmatch++;
3475 if (shsig) {
3476 shsig->rhash = ptmp[0];
3477 shsig->rsign = ptmp[1];
3478 tls1_lookup_sigalg(&shsig->hash_nid,
3479 &shsig->sign_nid,
3480 &shsig->signandhash_nid, ptmp);
3481 shsig++;
3482 }
3483 break;
3484 }
3485 }
3486 }
3487 return nmatch;
3488}
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003489
3490/* Set shared signature algorithms for SSL structures */
3491static int tls1_set_shared_sigalgs(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003492{
3493 const unsigned char *pref, *allow, *conf;
3494 size_t preflen, allowlen, conflen;
3495 size_t nmatch;
3496 TLS_SIGALGS *salgs = NULL;
3497 CERT *c = s->cert;
3498 unsigned int is_suiteb = tls1_suiteb(s);
Rich Salzb548a1f2015-05-01 10:02:07 -04003499
3500 OPENSSL_free(c->shared_sigalgs);
3501 c->shared_sigalgs = NULL;
3502 c->shared_sigalgslen = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003503 /* If client use client signature algorithms if not NULL */
3504 if (!s->server && c->client_sigalgs && !is_suiteb) {
3505 conf = c->client_sigalgs;
3506 conflen = c->client_sigalgslen;
3507 } else if (c->conf_sigalgs && !is_suiteb) {
3508 conf = c->conf_sigalgs;
3509 conflen = c->conf_sigalgslen;
3510 } else
3511 conflen = tls12_get_psigalgs(s, &conf);
3512 if (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE || is_suiteb) {
3513 pref = conf;
3514 preflen = conflen;
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003515 allow = s->s3->tmp.peer_sigalgs;
3516 allowlen = s->s3->tmp.peer_sigalgslen;
Matt Caswell0f113f32015-01-22 03:40:55 +00003517 } else {
3518 allow = conf;
3519 allowlen = conflen;
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003520 pref = s->s3->tmp.peer_sigalgs;
3521 preflen = s->s3->tmp.peer_sigalgslen;
Matt Caswell0f113f32015-01-22 03:40:55 +00003522 }
3523 nmatch = tls12_shared_sigalgs(s, NULL, pref, preflen, allow, allowlen);
Dr. Stephen Henson34e3edb2015-03-03 13:20:57 +00003524 if (nmatch) {
3525 salgs = OPENSSL_malloc(nmatch * sizeof(TLS_SIGALGS));
Matt Caswella71edf32015-10-30 10:05:53 +00003526 if (salgs == NULL)
Dr. Stephen Henson34e3edb2015-03-03 13:20:57 +00003527 return 0;
3528 nmatch = tls12_shared_sigalgs(s, salgs, pref, preflen, allow, allowlen);
3529 } else {
3530 salgs = NULL;
3531 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003532 c->shared_sigalgs = salgs;
3533 c->shared_sigalgslen = nmatch;
3534 return 1;
3535}
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003536
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003537/* Set preferred digest for each key type */
3538
Matt Caswelld736bc12016-10-04 21:22:19 +01003539int tls1_save_sigalgs(SSL *s, const unsigned char *data, size_t dsize)
Matt Caswell0f113f32015-01-22 03:40:55 +00003540{
3541 CERT *c = s->cert;
3542 /* Extension ignored for inappropriate versions */
3543 if (!SSL_USE_SIGALGS(s))
3544 return 1;
3545 /* Should never happen */
3546 if (!c)
3547 return 0;
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003548
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003549 OPENSSL_free(s->s3->tmp.peer_sigalgs);
3550 s->s3->tmp.peer_sigalgs = OPENSSL_malloc(dsize);
3551 if (s->s3->tmp.peer_sigalgs == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003552 return 0;
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003553 s->s3->tmp.peer_sigalgslen = dsize;
3554 memcpy(s->s3->tmp.peer_sigalgs, data, dsize);
Matt Caswell0f113f32015-01-22 03:40:55 +00003555 return 1;
3556}
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003557
Dr. Stephen Hensonc800c272014-10-09 20:37:27 +01003558int tls1_process_sigalgs(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003559{
3560 int idx;
3561 size_t i;
3562 const EVP_MD *md;
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003563 const EVP_MD **pmd = s->s3->tmp.md;
Dr. Stephen Hensonf7d53482015-07-14 23:19:11 +01003564 uint32_t *pvalid = s->s3->tmp.valid_flags;
Matt Caswell0f113f32015-01-22 03:40:55 +00003565 CERT *c = s->cert;
3566 TLS_SIGALGS *sigptr;
3567 if (!tls1_set_shared_sigalgs(s))
3568 return 0;
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003569
Matt Caswell0f113f32015-01-22 03:40:55 +00003570 for (i = 0, sigptr = c->shared_sigalgs;
3571 i < c->shared_sigalgslen; i++, sigptr++) {
3572 idx = tls12_get_pkey_idx(sigptr->rsign);
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003573 if (idx > 0 && pmd[idx] == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003574 md = tls12_get_hash(sigptr->rhash);
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003575 pmd[idx] = md;
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01003576 pvalid[idx] = CERT_PKEY_EXPLICIT_SIGN;
Matt Caswell0f113f32015-01-22 03:40:55 +00003577 if (idx == SSL_PKEY_RSA_SIGN) {
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01003578 pvalid[SSL_PKEY_RSA_ENC] = CERT_PKEY_EXPLICIT_SIGN;
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003579 pmd[SSL_PKEY_RSA_ENC] = md;
Matt Caswell0f113f32015-01-22 03:40:55 +00003580 }
3581 }
Dr. Stephen Henson6b7be582011-05-06 13:00:07 +00003582
Matt Caswell0f113f32015-01-22 03:40:55 +00003583 }
3584 /*
3585 * In strict mode leave unset digests as NULL to indicate we can't use
3586 * the certificate for signing.
3587 */
3588 if (!(s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)) {
3589 /*
3590 * Set any remaining keys to default values. NOTE: if alg is not
3591 * supported it stays as NULL.
3592 */
Matt Caswelle481f9b2015-05-15 10:49:56 +01003593#ifndef OPENSSL_NO_DSA
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003594 if (pmd[SSL_PKEY_DSA_SIGN] == NULL)
3595 pmd[SSL_PKEY_DSA_SIGN] = EVP_sha1();
Matt Caswelle481f9b2015-05-15 10:49:56 +01003596#endif
3597#ifndef OPENSSL_NO_RSA
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003598 if (pmd[SSL_PKEY_RSA_SIGN] == NULL) {
3599 pmd[SSL_PKEY_RSA_SIGN] = EVP_sha1();
3600 pmd[SSL_PKEY_RSA_ENC] = EVP_sha1();
Matt Caswell0f113f32015-01-22 03:40:55 +00003601 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01003602#endif
3603#ifndef OPENSSL_NO_EC
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01003604 if (pmd[SSL_PKEY_ECC] == NULL)
3605 pmd[SSL_PKEY_ECC] = EVP_sha1();
Matt Caswelle481f9b2015-05-15 10:49:56 +01003606#endif
Emilia Kaspera230b262016-08-05 19:03:17 +02003607#ifndef OPENSSL_NO_GOST
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003608 if (pmd[SSL_PKEY_GOST01] == NULL)
3609 pmd[SSL_PKEY_GOST01] = EVP_get_digestbynid(NID_id_GostR3411_94);
3610 if (pmd[SSL_PKEY_GOST12_256] == NULL)
Emilia Kaspera230b262016-08-05 19:03:17 +02003611 pmd[SSL_PKEY_GOST12_256] =
3612 EVP_get_digestbynid(NID_id_GostR3411_2012_256);
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003613 if (pmd[SSL_PKEY_GOST12_512] == NULL)
Emilia Kaspera230b262016-08-05 19:03:17 +02003614 pmd[SSL_PKEY_GOST12_512] =
3615 EVP_get_digestbynid(NID_id_GostR3411_2012_512);
3616#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003617 }
3618 return 1;
3619}
Dr. Stephen Henson48175042011-12-31 22:59:57 +00003620
Dr. Stephen Hensone7f8ff42012-03-06 14:28:21 +00003621int SSL_get_sigalgs(SSL *s, int idx,
Matt Caswell0f113f32015-01-22 03:40:55 +00003622 int *psign, int *phash, int *psignhash,
3623 unsigned char *rsig, unsigned char *rhash)
3624{
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003625 const unsigned char *psig = s->s3->tmp.peer_sigalgs;
Matt Caswell348240c2016-10-19 15:11:24 +01003626 size_t numsigalgs = s->s3->tmp.peer_sigalgslen / 2;
3627 if (psig == NULL || numsigalgs > INT_MAX)
Matt Caswell0f113f32015-01-22 03:40:55 +00003628 return 0;
3629 if (idx >= 0) {
3630 idx <<= 1;
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003631 if (idx >= (int)s->s3->tmp.peer_sigalgslen)
Matt Caswell0f113f32015-01-22 03:40:55 +00003632 return 0;
3633 psig += idx;
3634 if (rhash)
3635 *rhash = psig[0];
3636 if (rsig)
3637 *rsig = psig[1];
3638 tls1_lookup_sigalg(phash, psign, psignhash, psig);
3639 }
Matt Caswell348240c2016-10-19 15:11:24 +01003640 return (int)numsigalgs;
Matt Caswell0f113f32015-01-22 03:40:55 +00003641}
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003642
3643int SSL_get_shared_sigalgs(SSL *s, int idx,
Matt Caswell0f113f32015-01-22 03:40:55 +00003644 int *psign, int *phash, int *psignhash,
3645 unsigned char *rsig, unsigned char *rhash)
3646{
3647 TLS_SIGALGS *shsigalgs = s->cert->shared_sigalgs;
Matt Caswell348240c2016-10-19 15:11:24 +01003648 if (!shsigalgs || idx >= (int)s->cert->shared_sigalgslen
3649 || s->cert->shared_sigalgslen > INT_MAX)
Matt Caswell0f113f32015-01-22 03:40:55 +00003650 return 0;
3651 shsigalgs += idx;
3652 if (phash)
3653 *phash = shsigalgs->hash_nid;
3654 if (psign)
3655 *psign = shsigalgs->sign_nid;
3656 if (psignhash)
3657 *psignhash = shsigalgs->signandhash_nid;
3658 if (rsig)
3659 *rsig = shsigalgs->rsign;
3660 if (rhash)
3661 *rhash = shsigalgs->rhash;
Matt Caswell348240c2016-10-19 15:11:24 +01003662 return (int)s->cert->shared_sigalgslen;
Matt Caswell0f113f32015-01-22 03:40:55 +00003663}
Dr. Stephen Hensone7f8ff42012-03-06 14:28:21 +00003664
Matt Caswelle481f9b2015-05-15 10:49:56 +01003665#define MAX_SIGALGLEN (TLSEXT_hash_num * TLSEXT_signature_num * 2)
Matt Caswell0f113f32015-01-22 03:40:55 +00003666
3667typedef struct {
3668 size_t sigalgcnt;
3669 int sigalgs[MAX_SIGALGLEN];
3670} sig_cb_st;
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003671
Dr. Stephen Henson431f4582015-07-23 14:57:42 +01003672static void get_sigorhash(int *psig, int *phash, const char *str)
3673{
3674 if (strcmp(str, "RSA") == 0) {
3675 *psig = EVP_PKEY_RSA;
3676 } else if (strcmp(str, "DSA") == 0) {
3677 *psig = EVP_PKEY_DSA;
3678 } else if (strcmp(str, "ECDSA") == 0) {
3679 *psig = EVP_PKEY_EC;
3680 } else {
3681 *phash = OBJ_sn2nid(str);
3682 if (*phash == NID_undef)
3683 *phash = OBJ_ln2nid(str);
3684 }
3685}
3686
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003687static int sig_cb(const char *elem, int len, void *arg)
Matt Caswell0f113f32015-01-22 03:40:55 +00003688{
3689 sig_cb_st *sarg = arg;
3690 size_t i;
3691 char etmp[20], *p;
Dr. Stephen Henson431f4582015-07-23 14:57:42 +01003692 int sig_alg = NID_undef, hash_alg = NID_undef;
Kurt Roeckx2747d732015-01-24 14:46:50 +01003693 if (elem == NULL)
3694 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003695 if (sarg->sigalgcnt == MAX_SIGALGLEN)
3696 return 0;
3697 if (len > (int)(sizeof(etmp) - 1))
3698 return 0;
3699 memcpy(etmp, elem, len);
3700 etmp[len] = 0;
3701 p = strchr(etmp, '+');
3702 if (!p)
3703 return 0;
3704 *p = 0;
3705 p++;
3706 if (!*p)
3707 return 0;
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003708
Dr. Stephen Henson431f4582015-07-23 14:57:42 +01003709 get_sigorhash(&sig_alg, &hash_alg, etmp);
3710 get_sigorhash(&sig_alg, &hash_alg, p);
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003711
Dr. Stephen Henson431f4582015-07-23 14:57:42 +01003712 if (sig_alg == NID_undef || hash_alg == NID_undef)
Matt Caswell0f113f32015-01-22 03:40:55 +00003713 return 0;
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003714
Matt Caswell0f113f32015-01-22 03:40:55 +00003715 for (i = 0; i < sarg->sigalgcnt; i += 2) {
3716 if (sarg->sigalgs[i] == sig_alg && sarg->sigalgs[i + 1] == hash_alg)
3717 return 0;
3718 }
3719 sarg->sigalgs[sarg->sigalgcnt++] = hash_alg;
3720 sarg->sigalgs[sarg->sigalgcnt++] = sig_alg;
3721 return 1;
3722}
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003723
Matt Caswell0f113f32015-01-22 03:40:55 +00003724/*
FdaSilvaYY9d226662016-06-28 22:39:55 +02003725 * Set supported signature algorithms based on a colon separated list of the
Matt Caswell0f113f32015-01-22 03:40:55 +00003726 * form sig+hash e.g. RSA+SHA512:DSA+SHA512
3727 */
Dr. Stephen Henson3dbc46d2012-07-03 12:51:14 +00003728int tls1_set_sigalgs_list(CERT *c, const char *str, int client)
Matt Caswell0f113f32015-01-22 03:40:55 +00003729{
3730 sig_cb_st sig;
3731 sig.sigalgcnt = 0;
3732 if (!CONF_parse_list(str, ':', 1, sig_cb, &sig))
3733 return 0;
3734 if (c == NULL)
3735 return 1;
3736 return tls1_set_sigalgs(c, sig.sigalgs, sig.sigalgcnt, client);
3737}
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003738
Emilia Kaspera230b262016-08-05 19:03:17 +02003739int tls1_set_sigalgs(CERT *c, const int *psig_nids, size_t salglen, int client)
Matt Caswell0f113f32015-01-22 03:40:55 +00003740{
3741 unsigned char *sigalgs, *sptr;
3742 int rhash, rsign;
3743 size_t i;
3744 if (salglen & 1)
3745 return 0;
3746 sigalgs = OPENSSL_malloc(salglen);
3747 if (sigalgs == NULL)
3748 return 0;
3749 for (i = 0, sptr = sigalgs; i < salglen; i += 2) {
Dr. Stephen Hensonb6eb9822015-05-02 18:30:00 +01003750 rhash = tls12_find_id(*psig_nids++, tls12_md, OSSL_NELEM(tls12_md));
3751 rsign = tls12_find_id(*psig_nids++, tls12_sig, OSSL_NELEM(tls12_sig));
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003752
Matt Caswell0f113f32015-01-22 03:40:55 +00003753 if (rhash == -1 || rsign == -1)
3754 goto err;
3755 *sptr++ = rhash;
3756 *sptr++ = rsign;
3757 }
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003758
Matt Caswell0f113f32015-01-22 03:40:55 +00003759 if (client) {
Rich Salzb548a1f2015-05-01 10:02:07 -04003760 OPENSSL_free(c->client_sigalgs);
Matt Caswell0f113f32015-01-22 03:40:55 +00003761 c->client_sigalgs = sigalgs;
3762 c->client_sigalgslen = salglen;
3763 } else {
Rich Salzb548a1f2015-05-01 10:02:07 -04003764 OPENSSL_free(c->conf_sigalgs);
Matt Caswell0f113f32015-01-22 03:40:55 +00003765 c->conf_sigalgs = sigalgs;
3766 c->conf_sigalgslen = salglen;
3767 }
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003768
Matt Caswell0f113f32015-01-22 03:40:55 +00003769 return 1;
Dr. Stephen Henson0f229cc2012-06-22 14:03:31 +00003770
Matt Caswell0f113f32015-01-22 03:40:55 +00003771 err:
3772 OPENSSL_free(sigalgs);
3773 return 0;
3774}
Dr. Stephen Henson4453cd82012-06-25 14:32:30 +00003775
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003776static int tls1_check_sig_alg(CERT *c, X509 *x, int default_nid)
Matt Caswell0f113f32015-01-22 03:40:55 +00003777{
3778 int sig_nid;
3779 size_t i;
3780 if (default_nid == -1)
3781 return 1;
3782 sig_nid = X509_get_signature_nid(x);
3783 if (default_nid)
3784 return sig_nid == default_nid ? 1 : 0;
3785 for (i = 0; i < c->shared_sigalgslen; i++)
3786 if (sig_nid == c->shared_sigalgs[i].signandhash_nid)
3787 return 1;
3788 return 0;
3789}
3790
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00003791/* Check to see if a certificate issuer name matches list of CA names */
3792static int ssl_check_ca_name(STACK_OF(X509_NAME) *names, X509 *x)
Matt Caswell0f113f32015-01-22 03:40:55 +00003793{
3794 X509_NAME *nm;
3795 int i;
3796 nm = X509_get_issuer_name(x);
3797 for (i = 0; i < sk_X509_NAME_num(names); i++) {
3798 if (!X509_NAME_cmp(nm, sk_X509_NAME_value(names, i)))
3799 return 1;
3800 }
3801 return 0;
3802}
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003803
Matt Caswell0f113f32015-01-22 03:40:55 +00003804/*
3805 * Check certificate chain is consistent with TLS extensions and is usable by
3806 * server. This servers two purposes: it allows users to check chains before
3807 * passing them to the server and it allows the server to check chains before
3808 * attempting to use them.
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003809 */
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00003810
3811/* Flags which need to be set for a certificate when stict mode not set */
3812
Matt Caswelle481f9b2015-05-15 10:49:56 +01003813#define CERT_PKEY_VALID_FLAGS \
Matt Caswell0f113f32015-01-22 03:40:55 +00003814 (CERT_PKEY_EE_SIGNATURE|CERT_PKEY_EE_PARAM)
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00003815/* Strict mode flags */
Matt Caswelle481f9b2015-05-15 10:49:56 +01003816#define CERT_PKEY_STRICT_FLAGS \
Matt Caswell0f113f32015-01-22 03:40:55 +00003817 (CERT_PKEY_VALID_FLAGS|CERT_PKEY_CA_SIGNATURE|CERT_PKEY_CA_PARAM \
3818 | CERT_PKEY_ISSUER_NAME|CERT_PKEY_CERT_TYPE)
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00003819
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003820int tls1_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain,
Matt Caswell0f113f32015-01-22 03:40:55 +00003821 int idx)
3822{
3823 int i;
3824 int rv = 0;
3825 int check_flags = 0, strict_mode;
3826 CERT_PKEY *cpk = NULL;
3827 CERT *c = s->cert;
Dr. Stephen Hensonf7d53482015-07-14 23:19:11 +01003828 uint32_t *pvalid;
Matt Caswell0f113f32015-01-22 03:40:55 +00003829 unsigned int suiteb_flags = tls1_suiteb(s);
3830 /* idx == -1 means checking server chains */
3831 if (idx != -1) {
3832 /* idx == -2 means checking client certificate chains */
3833 if (idx == -2) {
3834 cpk = c->key;
Matt Caswell348240c2016-10-19 15:11:24 +01003835 idx = (int)(cpk - c->pkeys);
Matt Caswell0f113f32015-01-22 03:40:55 +00003836 } else
3837 cpk = c->pkeys + idx;
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01003838 pvalid = s->s3->tmp.valid_flags + idx;
Matt Caswell0f113f32015-01-22 03:40:55 +00003839 x = cpk->x509;
3840 pk = cpk->privatekey;
3841 chain = cpk->chain;
3842 strict_mode = c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT;
3843 /* If no cert or key, forget it */
3844 if (!x || !pk)
3845 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +00003846 } else {
3847 if (!x || !pk)
Matt Caswelld813f9e2015-03-11 17:01:38 +00003848 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003849 idx = ssl_cert_type(x, pk);
3850 if (idx == -1)
Matt Caswelld813f9e2015-03-11 17:01:38 +00003851 return 0;
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01003852 pvalid = s->s3->tmp.valid_flags + idx;
3853
Matt Caswell0f113f32015-01-22 03:40:55 +00003854 if (c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)
3855 check_flags = CERT_PKEY_STRICT_FLAGS;
3856 else
3857 check_flags = CERT_PKEY_VALID_FLAGS;
3858 strict_mode = 1;
3859 }
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003860
Matt Caswell0f113f32015-01-22 03:40:55 +00003861 if (suiteb_flags) {
3862 int ok;
3863 if (check_flags)
3864 check_flags |= CERT_PKEY_SUITEB;
3865 ok = X509_chain_check_suiteb(NULL, x, chain, suiteb_flags);
3866 if (ok == X509_V_OK)
3867 rv |= CERT_PKEY_SUITEB;
3868 else if (!check_flags)
3869 goto end;
3870 }
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00003871
Matt Caswell0f113f32015-01-22 03:40:55 +00003872 /*
3873 * Check all signature algorithms are consistent with signature
3874 * algorithms extension if TLS 1.2 or later and strict mode.
3875 */
3876 if (TLS1_get_version(s) >= TLS1_2_VERSION && strict_mode) {
3877 int default_nid;
3878 unsigned char rsign = 0;
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003879 if (s->s3->tmp.peer_sigalgs)
Matt Caswell0f113f32015-01-22 03:40:55 +00003880 default_nid = 0;
3881 /* If no sigalgs extension use defaults from RFC5246 */
3882 else {
3883 switch (idx) {
3884 case SSL_PKEY_RSA_ENC:
3885 case SSL_PKEY_RSA_SIGN:
Matt Caswell0f113f32015-01-22 03:40:55 +00003886 rsign = TLSEXT_signature_rsa;
3887 default_nid = NID_sha1WithRSAEncryption;
3888 break;
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003889
Matt Caswell0f113f32015-01-22 03:40:55 +00003890 case SSL_PKEY_DSA_SIGN:
Matt Caswell0f113f32015-01-22 03:40:55 +00003891 rsign = TLSEXT_signature_dsa;
3892 default_nid = NID_dsaWithSHA1;
3893 break;
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003894
Matt Caswell0f113f32015-01-22 03:40:55 +00003895 case SSL_PKEY_ECC:
3896 rsign = TLSEXT_signature_ecdsa;
3897 default_nid = NID_ecdsa_with_SHA1;
3898 break;
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00003899
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00003900 case SSL_PKEY_GOST01:
3901 rsign = TLSEXT_signature_gostr34102001;
3902 default_nid = NID_id_GostR3411_94_with_GostR3410_2001;
3903 break;
3904
3905 case SSL_PKEY_GOST12_256:
3906 rsign = TLSEXT_signature_gostr34102012_256;
3907 default_nid = NID_id_tc26_signwithdigest_gost3410_2012_256;
3908 break;
3909
3910 case SSL_PKEY_GOST12_512:
3911 rsign = TLSEXT_signature_gostr34102012_512;
3912 default_nid = NID_id_tc26_signwithdigest_gost3410_2012_512;
3913 break;
3914
Matt Caswell0f113f32015-01-22 03:40:55 +00003915 default:
3916 default_nid = -1;
3917 break;
3918 }
3919 }
3920 /*
3921 * If peer sent no signature algorithms extension and we have set
3922 * preferred signature algorithms check we support sha1.
3923 */
3924 if (default_nid > 0 && c->conf_sigalgs) {
3925 size_t j;
3926 const unsigned char *p = c->conf_sigalgs;
3927 for (j = 0; j < c->conf_sigalgslen; j += 2, p += 2) {
3928 if (p[0] == TLSEXT_hash_sha1 && p[1] == rsign)
3929 break;
3930 }
3931 if (j == c->conf_sigalgslen) {
3932 if (check_flags)
3933 goto skip_sigs;
3934 else
3935 goto end;
3936 }
3937 }
3938 /* Check signature algorithm of each cert in chain */
3939 if (!tls1_check_sig_alg(c, x, default_nid)) {
3940 if (!check_flags)
3941 goto end;
3942 } else
3943 rv |= CERT_PKEY_EE_SIGNATURE;
3944 rv |= CERT_PKEY_CA_SIGNATURE;
3945 for (i = 0; i < sk_X509_num(chain); i++) {
3946 if (!tls1_check_sig_alg(c, sk_X509_value(chain, i), default_nid)) {
3947 if (check_flags) {
3948 rv &= ~CERT_PKEY_CA_SIGNATURE;
3949 break;
3950 } else
3951 goto end;
3952 }
3953 }
3954 }
3955 /* Else not TLS 1.2, so mark EE and CA signing algorithms OK */
3956 else if (check_flags)
3957 rv |= CERT_PKEY_EE_SIGNATURE | CERT_PKEY_CA_SIGNATURE;
3958 skip_sigs:
3959 /* Check cert parameters are consistent */
3960 if (tls1_check_cert_param(s, x, check_flags ? 1 : 2))
3961 rv |= CERT_PKEY_EE_PARAM;
3962 else if (!check_flags)
3963 goto end;
3964 if (!s->server)
3965 rv |= CERT_PKEY_CA_PARAM;
3966 /* In strict mode check rest of chain too */
3967 else if (strict_mode) {
3968 rv |= CERT_PKEY_CA_PARAM;
3969 for (i = 0; i < sk_X509_num(chain); i++) {
3970 X509 *ca = sk_X509_value(chain, i);
3971 if (!tls1_check_cert_param(s, ca, 0)) {
3972 if (check_flags) {
3973 rv &= ~CERT_PKEY_CA_PARAM;
3974 break;
3975 } else
3976 goto end;
3977 }
3978 }
3979 }
3980 if (!s->server && strict_mode) {
3981 STACK_OF(X509_NAME) *ca_dn;
3982 int check_type = 0;
Dr. Stephen Henson3aeb9342016-01-19 00:21:12 +00003983 switch (EVP_PKEY_id(pk)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003984 case EVP_PKEY_RSA:
3985 check_type = TLS_CT_RSA_SIGN;
3986 break;
3987 case EVP_PKEY_DSA:
3988 check_type = TLS_CT_DSS_SIGN;
3989 break;
3990 case EVP_PKEY_EC:
3991 check_type = TLS_CT_ECDSA_SIGN;
3992 break;
Matt Caswell0f113f32015-01-22 03:40:55 +00003993 }
3994 if (check_type) {
3995 const unsigned char *ctypes;
3996 int ctypelen;
3997 if (c->ctypes) {
3998 ctypes = c->ctypes;
3999 ctypelen = (int)c->ctype_num;
4000 } else {
4001 ctypes = (unsigned char *)s->s3->tmp.ctype;
4002 ctypelen = s->s3->tmp.ctype_num;
4003 }
4004 for (i = 0; i < ctypelen; i++) {
4005 if (ctypes[i] == check_type) {
4006 rv |= CERT_PKEY_CERT_TYPE;
4007 break;
4008 }
4009 }
4010 if (!(rv & CERT_PKEY_CERT_TYPE) && !check_flags)
4011 goto end;
4012 } else
4013 rv |= CERT_PKEY_CERT_TYPE;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004014
Matt Caswell0f113f32015-01-22 03:40:55 +00004015 ca_dn = s->s3->tmp.ca_names;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004016
Matt Caswell0f113f32015-01-22 03:40:55 +00004017 if (!sk_X509_NAME_num(ca_dn))
4018 rv |= CERT_PKEY_ISSUER_NAME;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004019
Matt Caswell0f113f32015-01-22 03:40:55 +00004020 if (!(rv & CERT_PKEY_ISSUER_NAME)) {
4021 if (ssl_check_ca_name(ca_dn, x))
4022 rv |= CERT_PKEY_ISSUER_NAME;
4023 }
4024 if (!(rv & CERT_PKEY_ISSUER_NAME)) {
4025 for (i = 0; i < sk_X509_num(chain); i++) {
4026 X509 *xtmp = sk_X509_value(chain, i);
4027 if (ssl_check_ca_name(ca_dn, xtmp)) {
4028 rv |= CERT_PKEY_ISSUER_NAME;
4029 break;
4030 }
4031 }
4032 }
4033 if (!check_flags && !(rv & CERT_PKEY_ISSUER_NAME))
4034 goto end;
4035 } else
4036 rv |= CERT_PKEY_ISSUER_NAME | CERT_PKEY_CERT_TYPE;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004037
Matt Caswell0f113f32015-01-22 03:40:55 +00004038 if (!check_flags || (rv & check_flags) == check_flags)
4039 rv |= CERT_PKEY_VALID;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004040
Matt Caswell0f113f32015-01-22 03:40:55 +00004041 end:
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00004042
Matt Caswell0f113f32015-01-22 03:40:55 +00004043 if (TLS1_get_version(s) >= TLS1_2_VERSION) {
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01004044 if (*pvalid & CERT_PKEY_EXPLICIT_SIGN)
Matt Caswell0f113f32015-01-22 03:40:55 +00004045 rv |= CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN;
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01004046 else if (s->s3->tmp.md[idx] != NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00004047 rv |= CERT_PKEY_SIGN;
4048 } else
4049 rv |= CERT_PKEY_SIGN | CERT_PKEY_EXPLICIT_SIGN;
Dr. Stephen Henson6dbb6212012-07-27 13:39:23 +00004050
Matt Caswell0f113f32015-01-22 03:40:55 +00004051 /*
4052 * When checking a CERT_PKEY structure all flags are irrelevant if the
4053 * chain is invalid.
4054 */
4055 if (!check_flags) {
4056 if (rv & CERT_PKEY_VALID)
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01004057 *pvalid = rv;
Matt Caswell0f113f32015-01-22 03:40:55 +00004058 else {
4059 /* Preserve explicit sign flag, clear rest */
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01004060 *pvalid &= CERT_PKEY_EXPLICIT_SIGN;
Matt Caswell0f113f32015-01-22 03:40:55 +00004061 return 0;
4062 }
4063 }
4064 return rv;
4065}
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00004066
4067/* Set validity of certificates in an SSL structure */
4068void tls1_set_cert_validity(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00004069{
Matt Caswell17dd65e2015-03-24 15:10:15 +00004070 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA_ENC);
4071 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA_SIGN);
4072 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_DSA_SIGN);
Matt Caswell17dd65e2015-03-24 15:10:15 +00004073 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ECC);
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00004074 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST01);
4075 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_256);
4076 tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_512);
Matt Caswell0f113f32015-01-22 03:40:55 +00004077}
4078
Dr. Stephen Henson18d71582012-06-29 14:24:42 +00004079/* User level utiity function to check a chain is suitable */
4080int SSL_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain)
Matt Caswell0f113f32015-01-22 03:40:55 +00004081{
4082 return tls1_check_chain(s, x, pk, chain, -1);
4083}
Dr. Stephen Hensond61ff832012-06-28 12:45:49 +00004084
Dr. Stephen Henson09599b52014-01-22 16:22:48 +00004085#ifndef OPENSSL_NO_DH
4086DH *ssl_get_auto_dh(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00004087{
4088 int dh_secbits = 80;
4089 if (s->cert->dh_tmp_auto == 2)
4090 return DH_get_1024_160();
Dr. Stephen Hensonadc55062015-06-28 17:01:52 +01004091 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aPSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00004092 if (s->s3->tmp.new_cipher->strength_bits == 256)
4093 dh_secbits = 128;
4094 else
4095 dh_secbits = 80;
4096 } else {
4097 CERT_PKEY *cpk = ssl_get_server_send_pkey(s);
4098 dh_secbits = EVP_PKEY_security_bits(cpk->privatekey);
4099 }
Dr. Stephen Henson09599b52014-01-22 16:22:48 +00004100
Matt Caswell0f113f32015-01-22 03:40:55 +00004101 if (dh_secbits >= 128) {
4102 DH *dhp = DH_new();
Matt Caswell0aeddcf2016-04-06 17:49:48 +01004103 BIGNUM *p, *g;
Matt Caswella71edf32015-10-30 10:05:53 +00004104 if (dhp == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00004105 return NULL;
Matt Caswell0aeddcf2016-04-06 17:49:48 +01004106 g = BN_new();
4107 if (g != NULL)
4108 BN_set_word(g, 2);
Matt Caswell0f113f32015-01-22 03:40:55 +00004109 if (dh_secbits >= 192)
Rich Salz9021a5d2016-04-18 07:43:54 -04004110 p = BN_get_rfc3526_prime_8192(NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +00004111 else
Rich Salz9021a5d2016-04-18 07:43:54 -04004112 p = BN_get_rfc3526_prime_3072(NULL);
Matt Caswell0aeddcf2016-04-06 17:49:48 +01004113 if (p == NULL || g == NULL || !DH_set0_pqg(dhp, p, NULL, g)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00004114 DH_free(dhp);
Matt Caswell0aeddcf2016-04-06 17:49:48 +01004115 BN_free(p);
4116 BN_free(g);
Matt Caswell0f113f32015-01-22 03:40:55 +00004117 return NULL;
4118 }
4119 return dhp;
4120 }
4121 if (dh_secbits >= 112)
4122 return DH_get_2048_224();
4123 return DH_get_1024_160();
4124}
Dr. Stephen Henson09599b52014-01-22 16:22:48 +00004125#endif
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004126
4127static int ssl_security_cert_key(SSL *s, SSL_CTX *ctx, X509 *x, int op)
Matt Caswell0f113f32015-01-22 03:40:55 +00004128{
Dr. Stephen Henson72245f32015-12-30 13:34:53 +00004129 int secbits = -1;
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00004130 EVP_PKEY *pkey = X509_get0_pubkey(x);
Matt Caswell0f113f32015-01-22 03:40:55 +00004131 if (pkey) {
Dr. Stephen Henson72245f32015-12-30 13:34:53 +00004132 /*
4133 * If no parameters this will return -1 and fail using the default
4134 * security callback for any non-zero security level. This will
4135 * reject keys which omit parameters but this only affects DSA and
4136 * omission of parameters is never (?) done in practice.
4137 */
Matt Caswell0f113f32015-01-22 03:40:55 +00004138 secbits = EVP_PKEY_security_bits(pkey);
Dr. Stephen Henson72245f32015-12-30 13:34:53 +00004139 }
Matt Caswell0f113f32015-01-22 03:40:55 +00004140 if (s)
4141 return ssl_security(s, op, secbits, 0, x);
4142 else
4143 return ssl_ctx_security(ctx, op, secbits, 0, x);
4144}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004145
4146static int ssl_security_cert_sig(SSL *s, SSL_CTX *ctx, X509 *x, int op)
Matt Caswell0f113f32015-01-22 03:40:55 +00004147{
4148 /* Lookup signature algorithm digest */
4149 int secbits = -1, md_nid = NID_undef, sig_nid;
Dr. Stephen Henson221c7b52016-02-11 15:25:11 +00004150 /* Don't check signature if self signed */
4151 if ((X509_get_extension_flags(x) & EXFLAG_SS) != 0)
4152 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00004153 sig_nid = X509_get_signature_nid(x);
4154 if (sig_nid && OBJ_find_sigid_algs(sig_nid, &md_nid, NULL)) {
4155 const EVP_MD *md;
4156 if (md_nid && (md = EVP_get_digestbynid(md_nid)))
4157 secbits = EVP_MD_size(md) * 4;
4158 }
4159 if (s)
4160 return ssl_security(s, op, secbits, md_nid, x);
4161 else
4162 return ssl_ctx_security(ctx, op, secbits, md_nid, x);
4163}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004164
4165int ssl_security_cert(SSL *s, SSL_CTX *ctx, X509 *x, int vfy, int is_ee)
Matt Caswell0f113f32015-01-22 03:40:55 +00004166{
4167 if (vfy)
4168 vfy = SSL_SECOP_PEER;
4169 if (is_ee) {
4170 if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_EE_KEY | vfy))
4171 return SSL_R_EE_KEY_TOO_SMALL;
4172 } else {
4173 if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_CA_KEY | vfy))
4174 return SSL_R_CA_KEY_TOO_SMALL;
4175 }
4176 if (!ssl_security_cert_sig(s, ctx, x, SSL_SECOP_CA_MD | vfy))
4177 return SSL_R_CA_MD_TOO_WEAK;
4178 return 1;
4179}
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004180
Matt Caswell0f113f32015-01-22 03:40:55 +00004181/*
4182 * Check security of a chain, if sk includes the end entity certificate then
4183 * x is NULL. If vfy is 1 then we are verifying a peer chain and not sending
4184 * one to the peer. Return values: 1 if ok otherwise error code to use
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004185 */
4186
4187int ssl_security_cert_chain(SSL *s, STACK_OF(X509) *sk, X509 *x, int vfy)
Matt Caswell0f113f32015-01-22 03:40:55 +00004188{
4189 int rv, start_idx, i;
4190 if (x == NULL) {
4191 x = sk_X509_value(sk, 0);
4192 start_idx = 1;
4193 } else
4194 start_idx = 0;
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004195
Matt Caswell0f113f32015-01-22 03:40:55 +00004196 rv = ssl_security_cert(s, NULL, x, vfy, 1);
4197 if (rv != 1)
4198 return rv;
Dr. Stephen Hensonb362cca2013-12-15 13:32:24 +00004199
Matt Caswell0f113f32015-01-22 03:40:55 +00004200 for (i = start_idx; i < sk_X509_num(sk); i++) {
4201 x = sk_X509_value(sk, i);
4202 rv = ssl_security_cert(s, NULL, x, vfy, 0);
4203 if (rv != 1)
4204 return rv;
4205 }
4206 return 1;
4207}