blob: 11da6923427b9fd4d2f4a903ae300536b2edd1a5 [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 */
57/* ====================================================================
58 * Copyright (c) 1998-2002 The OpenSSL Project. All rights reserved.
59 *
60 * Redistribution and use in source and binary forms, with or without
61 * modification, are permitted provided that the following conditions
62 * are met:
63 *
64 * 1. Redistributions of source code must retain the above copyright
65 * notice, this list of conditions and the following disclaimer.
66 *
67 * 2. Redistributions in binary form must reproduce the above copyright
68 * notice, this list of conditions and the following disclaimer in
69 * the documentation and/or other materials provided with the
70 * distribution.
71 *
72 * 3. All advertising materials mentioning features or use of this
73 * software must display the following acknowledgment:
74 * "This product includes software developed by the OpenSSL Project
75 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
76 *
77 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
78 * endorse or promote products derived from this software without
79 * prior written permission. For written permission, please contact
80 * openssl-core@openssl.org.
81 *
82 * 5. Products derived from this software may not be called "OpenSSL"
83 * nor may "OpenSSL" appear in their names without prior written
84 * permission of the OpenSSL Project.
85 *
86 * 6. Redistributions of any form whatsoever must retain the following
87 * acknowledgment:
88 * "This product includes software developed by the OpenSSL Project
89 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
90 *
91 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
92 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
93 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
94 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
95 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
96 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
97 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
98 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
99 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
100 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
101 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
102 * OF THE POSSIBILITY OF SUCH DAMAGE.
103 * ====================================================================
104 *
105 * This product includes cryptographic software written by Eric Young
106 * (eay@cryptsoft.com). This product includes software written by Tim
107 * Hudson (tjh@cryptsoft.com). */
108/* ====================================================================
109 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
110 * ECC cipher suite support in OpenSSL originally developed by
111 * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project. */
112
David Benjamin9e4e01e2015-09-15 01:48:04 -0400113#include <openssl/ssl.h>
114
Adam Langley95c29f32014-06-20 12:00:00 -0700115#include <assert.h>
116#include <limits.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700117#include <string.h>
118
119#include <openssl/buf.h>
David Benjamin75836432016-06-17 18:48:29 -0400120#include <openssl/bytestring.h>
David Benjaminf0ae1702015-04-07 23:05:04 -0400121#include <openssl/err.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700122#include <openssl/evp.h>
123#include <openssl/mem.h>
David Benjamin854dd652014-08-26 00:32:30 -0400124#include <openssl/md5.h>
David Benjamin98193672016-03-25 18:07:11 -0400125#include <openssl/nid.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700126#include <openssl/rand.h>
David Benjamin854dd652014-08-26 00:32:30 -0400127#include <openssl/sha.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700128
David Benjamin17cf2cb2016-12-13 01:07:13 -0500129#include "../crypto/internal.h"
David Benjamin2ee94aa2015-04-07 22:38:30 -0400130#include "internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -0700131
Adam Langley95c29f32014-06-20 12:00:00 -0700132
David Benjamin86e95b82017-07-18 16:34:25 -0400133namespace bssl {
134
David Benjamindaf207a2017-01-03 18:37:41 -0500135static int add_record_to_flight(SSL *ssl, uint8_t type, const uint8_t *in,
136 size_t in_len) {
137 /* We'll never add a flight while in the process of writing it out. */
138 assert(ssl->s3->pending_flight_offset == 0);
139
140 if (ssl->s3->pending_flight == NULL) {
141 ssl->s3->pending_flight = BUF_MEM_new();
142 if (ssl->s3->pending_flight == NULL) {
143 return 0;
144 }
Adam Langley24819752014-12-15 18:42:07 -0800145 }
Adam Langley95c29f32014-06-20 12:00:00 -0700146
David Benjamindaf207a2017-01-03 18:37:41 -0500147 size_t max_out = in_len + SSL_max_seal_overhead(ssl);
148 size_t new_cap = ssl->s3->pending_flight->length + max_out;
149 if (max_out < in_len || new_cap < max_out) {
150 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
151 return 0;
152 }
153
154 size_t len;
155 if (!BUF_MEM_reserve(ssl->s3->pending_flight, new_cap) ||
156 !tls_seal_record(ssl, (uint8_t *)ssl->s3->pending_flight->data +
157 ssl->s3->pending_flight->length,
158 &len, max_out, type, in, in_len)) {
159 return 0;
160 }
161
162 ssl->s3->pending_flight->length += len;
David Benjamin75836432016-06-17 18:48:29 -0400163 return 1;
164}
165
166int ssl3_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type) {
David Benjamin75836432016-06-17 18:48:29 -0400167 /* Pick a modest size hint to save most of the |realloc| calls. */
168 if (!CBB_init(cbb, 64) ||
169 !CBB_add_u8(cbb, type) ||
170 !CBB_add_u24_length_prefixed(cbb, body)) {
171 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamindaf207a2017-01-03 18:37:41 -0500172 CBB_cleanup(cbb);
David Benjamin75836432016-06-17 18:48:29 -0400173 return 0;
174 }
175
176 return 1;
177}
178
Steven Valdez5eead162016-11-11 22:23:25 -0500179int ssl3_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg,
180 size_t *out_len) {
181 if (!CBB_finish(cbb, out_msg, out_len)) {
David Benjamin75836432016-06-17 18:48:29 -0400182 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
183 return 0;
184 }
David Benjaminba1660b2016-11-12 14:26:19 +0900185
Steven Valdez5eead162016-11-11 22:23:25 -0500186 return 1;
187}
David Benjamin75836432016-06-17 18:48:29 -0400188
David Benjamindaf207a2017-01-03 18:37:41 -0500189int ssl3_add_message(SSL *ssl, uint8_t *msg, size_t len) {
190 /* Add the message to the current flight, splitting into several records if
191 * needed. */
192 int ret = 0;
193 size_t added = 0;
194 do {
195 size_t todo = len - added;
196 if (todo > ssl->max_send_fragment) {
197 todo = ssl->max_send_fragment;
198 }
199
Steven Valdezdbe01582017-07-14 10:39:28 -0400200 uint8_t type = SSL3_RT_HANDSHAKE;
201 if (ssl->server &&
202 ssl->s3->have_version &&
203 ssl->version == TLS1_3_RECORD_TYPE_EXPERIMENT_VERSION &&
David Benjamincfc11c22017-07-18 22:45:18 -0400204 ssl->s3->aead_write_ctx->is_null_cipher()) {
Steven Valdezdbe01582017-07-14 10:39:28 -0400205 type = SSL3_RT_PLAINTEXT_HANDSHAKE;
206 }
207
208 if (!add_record_to_flight(ssl, type, msg + added, todo)) {
David Benjamindaf207a2017-01-03 18:37:41 -0500209 goto err;
210 }
211 added += todo;
212 } while (added < len);
213
214 ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_HANDSHAKE, msg, len);
David Benjamin6dc8bf62017-07-19 16:38:21 -0400215 /* TODO(svaldez): Move this up a layer to fix abstraction for SSLTranscript on
216 * hs. */
Steven Valdez908ac192017-01-12 13:17:07 -0500217 if (ssl->s3->hs != NULL &&
David Benjamin6dc8bf62017-07-19 16:38:21 -0400218 !ssl->s3->hs->transcript.Update(msg, len)) {
Steven Valdez908ac192017-01-12 13:17:07 -0500219 goto err;
220 }
David Benjamindaf207a2017-01-03 18:37:41 -0500221 ret = 1;
222
223err:
224 OPENSSL_free(msg);
225 return ret;
226}
227
228int ssl3_add_change_cipher_spec(SSL *ssl) {
229 static const uint8_t kChangeCipherSpec[1] = {SSL3_MT_CCS};
230
231 if (!add_record_to_flight(ssl, SSL3_RT_CHANGE_CIPHER_SPEC, kChangeCipherSpec,
232 sizeof(kChangeCipherSpec))) {
David Benjamin75836432016-06-17 18:48:29 -0400233 return 0;
234 }
235
David Benjamindaf207a2017-01-03 18:37:41 -0500236 ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_CHANGE_CIPHER_SPEC,
237 kChangeCipherSpec, sizeof(kChangeCipherSpec));
David Benjamin75836432016-06-17 18:48:29 -0400238 return 1;
239}
240
David Benjamindaf207a2017-01-03 18:37:41 -0500241int ssl3_add_alert(SSL *ssl, uint8_t level, uint8_t desc) {
242 uint8_t alert[2] = {level, desc};
243 if (!add_record_to_flight(ssl, SSL3_RT_ALERT, alert, sizeof(alert))) {
244 return 0;
245 }
246
247 ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_ALERT, alert, sizeof(alert));
248 ssl_do_info_callback(ssl, SSL_CB_WRITE_ALERT, ((int)level << 8) | desc);
249 return 1;
250}
251
David Benjamindaf207a2017-01-03 18:37:41 -0500252int ssl3_flush_flight(SSL *ssl) {
253 if (ssl->s3->pending_flight == NULL) {
254 return 1;
David Benjamin75836432016-06-17 18:48:29 -0400255 }
256
David Benjamindaf207a2017-01-03 18:37:41 -0500257 if (ssl->s3->pending_flight->length > 0xffffffff ||
258 ssl->s3->pending_flight->length > INT_MAX) {
259 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
260 return -1;
261 }
262
Steven Valdeze831a812017-03-09 14:56:07 -0500263 /* If there is pending data in the write buffer, it must be flushed out before
264 * any new data in pending_flight. */
David Benjamindaf207a2017-01-03 18:37:41 -0500265 if (ssl_write_buffer_is_pending(ssl)) {
Steven Valdeze831a812017-03-09 14:56:07 -0500266 int ret = ssl_write_buffer_flush(ssl);
267 if (ret <= 0) {
268 ssl->rwstate = SSL_WRITING;
269 return ret;
270 }
David Benjamindaf207a2017-01-03 18:37:41 -0500271 }
272
273 /* Write the pending flight. */
274 while (ssl->s3->pending_flight_offset < ssl->s3->pending_flight->length) {
275 int ret = BIO_write(
276 ssl->wbio,
277 ssl->s3->pending_flight->data + ssl->s3->pending_flight_offset,
278 ssl->s3->pending_flight->length - ssl->s3->pending_flight_offset);
279 if (ret <= 0) {
280 ssl->rwstate = SSL_WRITING;
281 return ret;
282 }
283
284 ssl->s3->pending_flight_offset += ret;
285 }
286
David Benjamin42e3e192017-01-27 10:06:07 -0500287 if (BIO_flush(ssl->wbio) <= 0) {
David Benjamindaf207a2017-01-03 18:37:41 -0500288 ssl->rwstate = SSL_WRITING;
David Benjamin42e3e192017-01-27 10:06:07 -0500289 return -1;
David Benjamin75836432016-06-17 18:48:29 -0400290 }
291
David Benjamindaf207a2017-01-03 18:37:41 -0500292 BUF_MEM_free(ssl->s3->pending_flight);
293 ssl->s3->pending_flight = NULL;
294 ssl->s3->pending_flight_offset = 0;
David Benjamin2a08c8d2016-06-07 15:06:39 -0400295 return 1;
Adam Langley24819752014-12-15 18:42:07 -0800296}
Adam Langley95c29f32014-06-20 12:00:00 -0700297
David Benjamin16315f72017-01-12 20:02:05 -0500298int ssl3_send_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900299 SSL *const ssl = hs->ssl;
Steven Valdez908ac192017-01-12 13:17:07 -0500300 const SSL_SESSION *session = SSL_get_session(ssl);
301
David Benjamin49ddf412016-10-08 11:56:01 -0400302 uint8_t finished[EVP_MAX_MD_SIZE];
Steven Valdez908ac192017-01-12 13:17:07 -0500303 size_t finished_len;
David Benjamin6dc8bf62017-07-19 16:38:21 -0400304 if (!hs->transcript.GetFinishedMAC(finished, &finished_len, session,
305 ssl->server, ssl3_protocol_version(ssl))) {
David Benjamin75836432016-06-17 18:48:29 -0400306 return 0;
307 }
David Benjamin75836432016-06-17 18:48:29 -0400308
309 /* Log the master secret, if logging is enabled. */
Steven Valdez87eab492016-06-27 16:34:59 -0400310 if (!ssl_log_secret(ssl, "CLIENT_RANDOM",
Steven Valdez908ac192017-01-12 13:17:07 -0500311 session->master_key,
312 session->master_key_length)) {
David Benjamin75836432016-06-17 18:48:29 -0400313 return 0;
314 }
315
David Benjamin52bf6902016-10-08 12:05:03 -0400316 /* Copy the Finished so we can use it for renegotiation checks. */
317 if (ssl->version != SSL3_VERSION) {
318 if (finished_len > sizeof(ssl->s3->previous_client_finished) ||
319 finished_len > sizeof(ssl->s3->previous_server_finished)) {
320 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Steven Valdez4d71a9a2017-08-14 15:08:34 -0400321 return 0;
David Benjamin52bf6902016-10-08 12:05:03 -0400322 }
323
324 if (ssl->server) {
David Benjamin17cf2cb2016-12-13 01:07:13 -0500325 OPENSSL_memcpy(ssl->s3->previous_server_finished, finished, finished_len);
David Benjamin52bf6902016-10-08 12:05:03 -0400326 ssl->s3->previous_server_finished_len = finished_len;
327 } else {
David Benjamin17cf2cb2016-12-13 01:07:13 -0500328 OPENSSL_memcpy(ssl->s3->previous_client_finished, finished, finished_len);
David Benjamin52bf6902016-10-08 12:05:03 -0400329 ssl->s3->previous_client_finished_len = finished_len;
330 }
David Benjamin75836432016-06-17 18:48:29 -0400331 }
332
David Benjamin1386aad2017-07-19 23:57:40 -0400333 ScopedCBB cbb;
334 CBB body;
335 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_FINISHED) ||
David Benjamin49ddf412016-10-08 11:56:01 -0400336 !CBB_add_bytes(&body, finished, finished_len) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400337 !ssl_add_message_cbb(ssl, cbb.get())) {
David Benjamin75836432016-06-17 18:48:29 -0400338 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Steven Valdez4d71a9a2017-08-14 15:08:34 -0400339 return 0;
David Benjamin75836432016-06-17 18:48:29 -0400340 }
341
David Benjamin16315f72017-01-12 20:02:05 -0500342 return 1;
Adam Langley24819752014-12-15 18:42:07 -0800343}
Adam Langley95c29f32014-06-20 12:00:00 -0700344
David Benjamin0d56f882015-12-19 17:05:56 -0500345int ssl3_output_cert_chain(SSL *ssl) {
David Benjamin1386aad2017-07-19 23:57:40 -0400346 ScopedCBB cbb;
347 CBB body;
348 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CERTIFICATE) ||
David Benjamin75836432016-06-17 18:48:29 -0400349 !ssl_add_cert_chain(ssl, &body) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400350 !ssl_add_message_cbb(ssl, cbb.get())) {
David Benjamin75836432016-06-17 18:48:29 -0400351 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langley24819752014-12-15 18:42:07 -0800352 return 0;
353 }
Adam Langley95c29f32014-06-20 12:00:00 -0700354
David Benjamin75836432016-06-17 18:48:29 -0400355 return 1;
Adam Langley24819752014-12-15 18:42:07 -0800356}
Adam Langley95c29f32014-06-20 12:00:00 -0700357
David Benjamina6338be2016-05-13 18:12:19 -0400358static int extend_handshake_buffer(SSL *ssl, size_t length) {
359 if (!BUF_MEM_reserve(ssl->init_buf, length)) {
360 return -1;
361 }
362 while (ssl->init_buf->length < length) {
David Benjamin163f29a2016-07-28 11:05:58 -0400363 int ret = ssl3_read_handshake_bytes(
364 ssl, (uint8_t *)ssl->init_buf->data + ssl->init_buf->length,
365 length - ssl->init_buf->length);
David Benjamina6338be2016-05-13 18:12:19 -0400366 if (ret <= 0) {
367 return ret;
368 }
369 ssl->init_buf->length += (size_t)ret;
370 }
371 return 1;
372}
373
David Benjamin1a444da2017-01-21 14:27:45 -0500374static int read_v2_client_hello(SSL *ssl) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700375 /* Read the first 5 bytes, the size of the TLS record header. This is
376 * sufficient to detect a V2ClientHello and ensures that we never read beyond
377 * the first record. */
378 int ret = ssl_read_buffer_extend_to(ssl, SSL3_RT_HEADER_LENGTH);
379 if (ret <= 0) {
380 return ret;
381 }
382 const uint8_t *p = ssl_read_buffer(ssl);
383
384 /* Some dedicated error codes for protocol mixups should the application wish
385 * to interpret them differently. (These do not overlap with ClientHello or
386 * V2ClientHello.) */
387 if (strncmp("GET ", (const char *)p, 4) == 0 ||
388 strncmp("POST ", (const char *)p, 5) == 0 ||
389 strncmp("HEAD ", (const char *)p, 5) == 0 ||
390 strncmp("PUT ", (const char *)p, 4) == 0) {
391 OPENSSL_PUT_ERROR(SSL, SSL_R_HTTP_REQUEST);
392 return -1;
393 }
394 if (strncmp("CONNE", (const char *)p, 5) == 0) {
395 OPENSSL_PUT_ERROR(SSL, SSL_R_HTTPS_PROXY_REQUEST);
396 return -1;
397 }
398
399 if ((p[0] & 0x80) == 0 || p[2] != SSL2_MT_CLIENT_HELLO ||
400 p[3] != SSL3_VERSION_MAJOR) {
401 /* Not a V2ClientHello. */
402 return 1;
403 }
404
405 /* Determine the length of the V2ClientHello. */
406 size_t msg_length = ((p[0] & 0x7f) << 8) | p[1];
407 if (msg_length > (1024 * 4)) {
408 OPENSSL_PUT_ERROR(SSL, SSL_R_RECORD_TOO_LARGE);
409 return -1;
410 }
411 if (msg_length < SSL3_RT_HEADER_LENGTH - 2) {
412 /* Reject lengths that are too short early. We have already read
413 * |SSL3_RT_HEADER_LENGTH| bytes, so we should not attempt to process an
414 * (invalid) V2ClientHello which would be shorter than that. */
415 OPENSSL_PUT_ERROR(SSL, SSL_R_RECORD_LENGTH_MISMATCH);
416 return -1;
417 }
418
419 /* Read the remainder of the V2ClientHello. */
420 ret = ssl_read_buffer_extend_to(ssl, 2 + msg_length);
421 if (ret <= 0) {
422 return ret;
423 }
424
425 CBS v2_client_hello;
426 CBS_init(&v2_client_hello, ssl_read_buffer(ssl) + 2, msg_length);
427
428 /* The V2ClientHello without the length is incorporated into the handshake
Steven Valdez908ac192017-01-12 13:17:07 -0500429 * hash. This is only ever called at the start of the handshake, so hs is
430 * guaranteed to be non-NULL. */
David Benjamin6dc8bf62017-07-19 16:38:21 -0400431 if (!ssl->s3->hs->transcript.Update(CBS_data(&v2_client_hello),
432 CBS_len(&v2_client_hello))) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700433 return -1;
434 }
435
David Benjaminc0279992016-09-19 20:15:07 -0400436 ssl_do_msg_callback(ssl, 0 /* read */, 0 /* V2ClientHello */,
David Benjamin4dbdf942016-07-06 21:55:10 -0700437 CBS_data(&v2_client_hello), CBS_len(&v2_client_hello));
438
439 uint8_t msg_type;
440 uint16_t version, cipher_spec_length, session_id_length, challenge_length;
441 CBS cipher_specs, session_id, challenge;
442 if (!CBS_get_u8(&v2_client_hello, &msg_type) ||
443 !CBS_get_u16(&v2_client_hello, &version) ||
444 !CBS_get_u16(&v2_client_hello, &cipher_spec_length) ||
445 !CBS_get_u16(&v2_client_hello, &session_id_length) ||
446 !CBS_get_u16(&v2_client_hello, &challenge_length) ||
447 !CBS_get_bytes(&v2_client_hello, &cipher_specs, cipher_spec_length) ||
448 !CBS_get_bytes(&v2_client_hello, &session_id, session_id_length) ||
449 !CBS_get_bytes(&v2_client_hello, &challenge, challenge_length) ||
450 CBS_len(&v2_client_hello) != 0) {
451 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
452 return -1;
453 }
454
455 /* msg_type has already been checked. */
456 assert(msg_type == SSL2_MT_CLIENT_HELLO);
457
458 /* The client_random is the V2ClientHello challenge. Truncate or
459 * left-pad with zeros as needed. */
460 size_t rand_len = CBS_len(&challenge);
461 if (rand_len > SSL3_RANDOM_SIZE) {
462 rand_len = SSL3_RANDOM_SIZE;
463 }
464 uint8_t random[SSL3_RANDOM_SIZE];
David Benjamin17cf2cb2016-12-13 01:07:13 -0500465 OPENSSL_memset(random, 0, SSL3_RANDOM_SIZE);
466 OPENSSL_memcpy(random + (SSL3_RANDOM_SIZE - rand_len), CBS_data(&challenge),
467 rand_len);
David Benjamin4dbdf942016-07-06 21:55:10 -0700468
469 /* Write out an equivalent SSLv3 ClientHello. */
David Benjamin481b9d22016-07-27 14:01:59 -0400470 size_t max_v3_client_hello = SSL3_HM_HEADER_LENGTH + 2 /* version */ +
471 SSL3_RANDOM_SIZE + 1 /* session ID length */ +
472 2 /* cipher list length */ +
473 CBS_len(&cipher_specs) / 3 * 2 +
474 1 /* compression length */ + 1 /* compression */;
David Benjamin1386aad2017-07-19 23:57:40 -0400475 ScopedCBB client_hello;
476 CBB hello_body, cipher_suites;
David Benjamin481b9d22016-07-27 14:01:59 -0400477 if (!BUF_MEM_reserve(ssl->init_buf, max_v3_client_hello) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400478 !CBB_init_fixed(client_hello.get(), (uint8_t *)ssl->init_buf->data,
David Benjamin4dbdf942016-07-06 21:55:10 -0700479 ssl->init_buf->max) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400480 !CBB_add_u8(client_hello.get(), SSL3_MT_CLIENT_HELLO) ||
481 !CBB_add_u24_length_prefixed(client_hello.get(), &hello_body) ||
David Benjamin4dbdf942016-07-06 21:55:10 -0700482 !CBB_add_u16(&hello_body, version) ||
483 !CBB_add_bytes(&hello_body, random, SSL3_RANDOM_SIZE) ||
484 /* No session id. */
485 !CBB_add_u8(&hello_body, 0) ||
486 !CBB_add_u16_length_prefixed(&hello_body, &cipher_suites)) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700487 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
488 return -1;
489 }
490
491 /* Copy the cipher suites. */
492 while (CBS_len(&cipher_specs) > 0) {
493 uint32_t cipher_spec;
494 if (!CBS_get_u24(&cipher_specs, &cipher_spec)) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700495 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
496 return -1;
497 }
498
499 /* Skip SSLv2 ciphers. */
500 if ((cipher_spec & 0xff0000) != 0) {
501 continue;
502 }
503 if (!CBB_add_u16(&cipher_suites, cipher_spec)) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700504 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
505 return -1;
506 }
507 }
508
509 /* Add the null compression scheme and finish. */
David Benjamin1386aad2017-07-19 23:57:40 -0400510 if (!CBB_add_u8(&hello_body, 1) ||
511 !CBB_add_u8(&hello_body, 0) ||
512 !CBB_finish(client_hello.get(), NULL, &ssl->init_buf->length)) {
David Benjamin4dbdf942016-07-06 21:55:10 -0700513 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
514 return -1;
515 }
516
David Benjamin4dbdf942016-07-06 21:55:10 -0700517 /* Consume and discard the V2ClientHello. */
518 ssl_read_buffer_consume(ssl, 2 + msg_length);
519 ssl_read_buffer_discard(ssl);
David Benjamin9fd95802016-07-27 14:20:08 -0400520
David Benjamin1a444da2017-01-21 14:27:45 -0500521 ssl->s3->is_v2_hello = 1;
David Benjamin4dbdf942016-07-06 21:55:10 -0700522 return 1;
523}
524
David Benjamin7934f082017-08-01 16:32:25 -0400525/* TODO(davidben): Remove |out_bytes_needed| and inline into |ssl3_get_message|
526 * when the entire record is copied into |init_buf|. */
527static bool parse_message(SSL *ssl, SSLMessage *out, size_t *out_bytes_needed) {
528 if (ssl->init_buf == NULL) {
529 *out_bytes_needed = 4;
530 return false;
531 }
532
533 CBS cbs;
534 uint32_t len;
535 CBS_init(&cbs, reinterpret_cast<const uint8_t *>(ssl->init_buf->data),
536 ssl->init_buf->length);
537 if (!CBS_get_u8(&cbs, &out->type) ||
538 !CBS_get_u24(&cbs, &len)) {
539 *out_bytes_needed = 4;
540 return false;
541 }
542
543 if (!CBS_get_bytes(&cbs, &out->body, len)) {
544 *out_bytes_needed = 4 + len;
545 return false;
546 }
547
548 CBS_init(&out->raw, reinterpret_cast<const uint8_t *>(ssl->init_buf->data),
549 4 + len);
550 out->is_v2_hello = ssl->s3->is_v2_hello;
551 if (!ssl->s3->has_message) {
552 if (!out->is_v2_hello) {
553 ssl_do_msg_callback(ssl, 0 /* read */, SSL3_RT_HANDSHAKE,
554 CBS_data(&out->raw), CBS_len(&out->raw));
555 }
556 ssl->s3->has_message = 1;
557 }
558 return true;
559}
560
561bool ssl3_get_message(SSL *ssl, SSLMessage *out) {
562 size_t unused;
563 return parse_message(ssl, out, &unused);
564}
565
566int ssl3_read_message(SSL *ssl) {
567 SSLMessage msg;
568 size_t bytes_needed;
569 if (parse_message(ssl, &msg, &bytes_needed)) {
570 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
571 return -1;
572 }
573
574 /* Enforce the limit so the peer cannot force us to buffer 16MB. */
575 if (bytes_needed > 4 + ssl_max_handshake_message_len(ssl)) {
576 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
577 OPENSSL_PUT_ERROR(SSL, SSL_R_EXCESSIVE_MESSAGE_SIZE);
578 return -1;
579 }
580
David Benjamin481b9d22016-07-27 14:01:59 -0400581 /* Re-create the handshake buffer if needed. */
582 if (ssl->init_buf == NULL) {
583 ssl->init_buf = BUF_MEM_new();
584 if (ssl->init_buf == NULL) {
585 return -1;
586 }
587 }
588
David Benjamin7934f082017-08-01 16:32:25 -0400589 /* Bypass the record layer for the first message to handle V2ClientHello. */
David Benjamin4dbdf942016-07-06 21:55:10 -0700590 if (ssl->server && !ssl->s3->v2_hello_done) {
David Benjamin1a444da2017-01-21 14:27:45 -0500591 int ret = read_v2_client_hello(ssl);
David Benjamin7934f082017-08-01 16:32:25 -0400592 if (ret > 0) {
593 ssl->s3->v2_hello_done = 1;
David Benjamin4dbdf942016-07-06 21:55:10 -0700594 }
David Benjamina6338be2016-05-13 18:12:19 -0400595 return ret;
Adam Langley24819752014-12-15 18:42:07 -0800596 }
597
David Benjamin7934f082017-08-01 16:32:25 -0400598 return extend_handshake_buffer(ssl, bytes_needed);
Adam Langley24819752014-12-15 18:42:07 -0800599}
600
David Benjamin8f94c312017-08-01 17:35:55 -0400601void ssl3_next_message(SSL *ssl) {
David Benjamin7934f082017-08-01 16:32:25 -0400602 SSLMessage msg;
603 if (!ssl3_get_message(ssl, &msg) ||
604 ssl->init_buf == NULL ||
605 ssl->init_buf->length < CBS_len(&msg.raw)) {
606 assert(0);
607 return;
608 }
David Benjamin4497e582016-07-27 17:51:49 -0400609
David Benjamin7934f082017-08-01 16:32:25 -0400610 OPENSSL_memmove(ssl->init_buf->data, ssl->init_buf->data + CBS_len(&msg.raw),
611 ssl->init_buf->length - CBS_len(&msg.raw));
612 ssl->init_buf->length -= CBS_len(&msg.raw);
David Benjamine3dee272017-08-02 20:06:53 -0400613 ssl->s3->is_v2_hello = 0;
David Benjamin7934f082017-08-01 16:32:25 -0400614 ssl->s3->has_message = 0;
David Benjamine3dee272017-08-02 20:06:53 -0400615
616 /* Post-handshake messages are rare, so release the buffer after every
617 * message. During the handshake, |on_handshake_complete| will release it. */
David Benjamin7934f082017-08-01 16:32:25 -0400618 if (!SSL_in_init(ssl) && ssl->init_buf->length == 0) {
David Benjamin4497e582016-07-27 17:51:49 -0400619 BUF_MEM_free(ssl->init_buf);
620 ssl->init_buf = NULL;
621 }
622}
623
David Benjamin86e95b82017-07-18 16:34:25 -0400624} // namespace bssl