blob: 81d163e86e711eb48a2bec0415882a81be29f332 [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
David Benjamin9e4e01e2015-09-15 01:48:04 -0400109#include <openssl/ssl.h>
110
Adam Langley95c29f32014-06-20 12:00:00 -0700111#include <assert.h>
Adam Langley87750b42014-06-20 12:00:00 -0700112#include <limits.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700113#include <stdio.h>
David Benjaminf0ae1702015-04-07 23:05:04 -0400114#include <string.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700115
116#include <openssl/buf.h>
117#include <openssl/err.h>
118#include <openssl/evp.h>
119#include <openssl/mem.h>
120#include <openssl/rand.h>
121
David Benjamin2ee94aa2015-04-07 22:38:30 -0400122#include "internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -0700123
Adam Langleyfcf25832014-12-18 17:42:32 -0800124
David Benjamin0d56f882015-12-19 17:05:56 -0500125static int do_ssl3_write(SSL *ssl, int type, const uint8_t *buf, unsigned len);
Adam Langley95c29f32014-06-20 12:00:00 -0700126
David Benjamin24f346d2015-06-06 03:28:08 -0400127/* kMaxWarningAlerts is the number of consecutive warning alerts that will be
128 * processed. */
129static const uint8_t kMaxWarningAlerts = 4;
130
David Benjaminb8d28cf2015-07-28 21:34:45 -0400131/* ssl3_get_record reads a new input record. On success, it places it in
132 * |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
133 * more data is needed. */
134static int ssl3_get_record(SSL *ssl) {
135 int ret;
Adam Langley95c29f32014-06-20 12:00:00 -0700136again:
David Benjaminb8d28cf2015-07-28 21:34:45 -0400137 /* Ensure the buffer is large enough to decrypt in-place. */
138 ret = ssl_read_buffer_extend_to(ssl, ssl_record_prefix_len(ssl));
139 if (ret <= 0) {
140 return ret;
141 }
142 assert(ssl_read_buffer_len(ssl) >= ssl_record_prefix_len(ssl));
Adam Langley95c29f32014-06-20 12:00:00 -0700143
David Benjaminb8d28cf2015-07-28 21:34:45 -0400144 uint8_t *out = ssl_read_buffer(ssl) + ssl_record_prefix_len(ssl);
145 size_t max_out = ssl_read_buffer_len(ssl) - ssl_record_prefix_len(ssl);
146 uint8_t type, alert;
147 size_t len, consumed;
148 switch (tls_open_record(ssl, &type, out, &len, &consumed, &alert, max_out,
149 ssl_read_buffer(ssl), ssl_read_buffer_len(ssl))) {
150 case ssl_open_record_success:
151 ssl_read_buffer_consume(ssl, consumed);
David Benjamin6a08da22015-05-08 22:58:12 -0400152
David Benjaminb8d28cf2015-07-28 21:34:45 -0400153 if (len > 0xffff) {
154 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
155 return -1;
156 }
Adam Langley95c29f32014-06-20 12:00:00 -0700157
David Benjaminb8d28cf2015-07-28 21:34:45 -0400158 SSL3_RECORD *rr = &ssl->s3->rrec;
159 rr->type = type;
160 rr->length = (uint16_t)len;
David Benjaminb8d28cf2015-07-28 21:34:45 -0400161 rr->data = out;
162 return 1;
Adam Langley95c29f32014-06-20 12:00:00 -0700163
David Benjaminb8d28cf2015-07-28 21:34:45 -0400164 case ssl_open_record_partial:
165 ret = ssl_read_buffer_extend_to(ssl, consumed);
166 if (ret <= 0) {
167 return ret;
168 }
169 goto again;
Adam Langley95c29f32014-06-20 12:00:00 -0700170
David Benjaminb8d28cf2015-07-28 21:34:45 -0400171 case ssl_open_record_discard:
172 ssl_read_buffer_consume(ssl, consumed);
173 goto again;
Adam Langley95c29f32014-06-20 12:00:00 -0700174
David Benjaminb8d28cf2015-07-28 21:34:45 -0400175 case ssl_open_record_error:
176 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
177 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800178 }
Adam Langley95c29f32014-06-20 12:00:00 -0700179
David Benjaminb8d28cf2015-07-28 21:34:45 -0400180 assert(0);
181 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
182 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800183}
Adam Langley95c29f32014-06-20 12:00:00 -0700184
David Benjaminc933a472015-05-30 16:14:58 -0400185int ssl3_write_app_data(SSL *ssl, const void *buf, int len) {
186 return ssl3_write_bytes(ssl, SSL3_RT_APPLICATION_DATA, buf, len);
187}
188
Adam Langleyfcf25832014-12-18 17:42:32 -0800189/* Call this to write data in records of type |type|. It will return <= 0 if
190 * not all data has been sent or non-blocking IO. */
David Benjamin0d56f882015-12-19 17:05:56 -0500191int ssl3_write_bytes(SSL *ssl, int type, const void *buf_, int len) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800192 const uint8_t *buf = buf_;
193 unsigned int tot, n, nw;
194 int i;
Adam Langley95c29f32014-06-20 12:00:00 -0700195
David Benjamin0d56f882015-12-19 17:05:56 -0500196 ssl->rwstate = SSL_NOTHING;
197 assert(ssl->s3->wnum <= INT_MAX);
198 tot = ssl->s3->wnum;
199 ssl->s3->wnum = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700200
David Benjamin0d56f882015-12-19 17:05:56 -0500201 if (!ssl->in_handshake && SSL_in_init(ssl) && !SSL_in_false_start(ssl)) {
202 i = ssl->handshake_func(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800203 if (i < 0) {
204 return i;
205 }
206 if (i == 0) {
David Benjamin3570d732015-06-29 00:28:17 -0400207 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800208 return -1;
209 }
210 }
Adam Langley95c29f32014-06-20 12:00:00 -0700211
Adam Langleyfcf25832014-12-18 17:42:32 -0800212 /* Ensure that if we end up with a smaller value of data to write out than
213 * the the original len from a write which didn't complete for non-blocking
214 * I/O and also somehow ended up avoiding the check for this in
215 * ssl3_write_pending/SSL_R_BAD_WRITE_RETRY as it must never be possible to
216 * end up with (len-tot) as a large number that will then promptly send
217 * beyond the end of the users buffer ... so we trap and report the error in
218 * a way the user will notice. */
219 if (len < 0 || (size_t)len < tot) {
David Benjamin3570d732015-06-29 00:28:17 -0400220 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_LENGTH);
Adam Langleyfcf25832014-12-18 17:42:32 -0800221 return -1;
222 }
Adam Langley9611cfc2014-06-20 12:00:00 -0700223
Adam Langleyfcf25832014-12-18 17:42:32 -0800224 n = (len - tot);
225 for (;;) {
226 /* max contains the maximum number of bytes that we can put into a
227 * record. */
David Benjamin0d56f882015-12-19 17:05:56 -0500228 unsigned max = ssl->max_send_fragment;
Adam Langleyfcf25832014-12-18 17:42:32 -0800229 if (n > max) {
230 nw = max;
231 } else {
232 nw = n;
233 }
Adam Langley95c29f32014-06-20 12:00:00 -0700234
David Benjamin0d56f882015-12-19 17:05:56 -0500235 i = do_ssl3_write(ssl, type, &buf[tot], nw);
Adam Langleyfcf25832014-12-18 17:42:32 -0800236 if (i <= 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500237 ssl->s3->wnum = tot;
Adam Langleyfcf25832014-12-18 17:42:32 -0800238 return i;
239 }
Adam Langley95c29f32014-06-20 12:00:00 -0700240
Adam Langleyfcf25832014-12-18 17:42:32 -0800241 if (i == (int)n || (type == SSL3_RT_APPLICATION_DATA &&
David Benjamin0d56f882015-12-19 17:05:56 -0500242 (ssl->mode & SSL_MODE_ENABLE_PARTIAL_WRITE))) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800243 return tot + i;
244 }
Adam Langley95c29f32014-06-20 12:00:00 -0700245
Adam Langleyfcf25832014-12-18 17:42:32 -0800246 n -= i;
247 tot += i;
248 }
249}
Adam Langley95c29f32014-06-20 12:00:00 -0700250
David Benjamin0d56f882015-12-19 17:05:56 -0500251static int ssl3_write_pending(SSL *ssl, int type, const uint8_t *buf,
David Benjamin2e0901b2015-11-02 17:50:10 -0500252 unsigned int len) {
David Benjamin0d56f882015-12-19 17:05:56 -0500253 if (ssl->s3->wpend_tot > (int)len ||
254 (ssl->s3->wpend_buf != buf &&
255 !(ssl->mode & SSL_MODE_ACCEPT_MOVING_WRITE_BUFFER)) ||
256 ssl->s3->wpend_type != type) {
David Benjamin2e0901b2015-11-02 17:50:10 -0500257 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_WRITE_RETRY);
258 return -1;
259 }
260
David Benjamin0d56f882015-12-19 17:05:56 -0500261 int ret = ssl_write_buffer_flush(ssl);
David Benjamin2e0901b2015-11-02 17:50:10 -0500262 if (ret <= 0) {
263 return ret;
264 }
David Benjamin0d56f882015-12-19 17:05:56 -0500265 return ssl->s3->wpend_ret;
David Benjamin2e0901b2015-11-02 17:50:10 -0500266}
267
David Benjaminb8d28cf2015-07-28 21:34:45 -0400268/* do_ssl3_write writes an SSL record of the given type. */
David Benjamin0d56f882015-12-19 17:05:56 -0500269static int do_ssl3_write(SSL *ssl, int type, const uint8_t *buf, unsigned len) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400270 /* If there is still data from the previous record, flush it. */
David Benjamin0d56f882015-12-19 17:05:56 -0500271 if (ssl_write_buffer_is_pending(ssl)) {
272 return ssl3_write_pending(ssl, type, buf, len);
Adam Langleyfcf25832014-12-18 17:42:32 -0800273 }
Adam Langley95c29f32014-06-20 12:00:00 -0700274
Adam Langleyfcf25832014-12-18 17:42:32 -0800275 /* If we have an alert to send, lets send it */
David Benjamin0d56f882015-12-19 17:05:56 -0500276 if (ssl->s3->alert_dispatch) {
277 int ret = ssl->method->ssl_dispatch_alert(ssl);
David Benjamin9faafda2015-04-04 19:23:10 -0400278 if (ret <= 0) {
279 return ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800280 }
281 /* if it went, fall through and send more stuff */
282 }
Adam Langley95c29f32014-06-20 12:00:00 -0700283
David Benjaminb8d28cf2015-07-28 21:34:45 -0400284 if (len > SSL3_RT_MAX_PLAIN_LENGTH) {
285 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langleyfcf25832014-12-18 17:42:32 -0800286 return -1;
287 }
Adam Langleyc6c8ae82014-06-20 12:00:00 -0700288
Adam Langleyfcf25832014-12-18 17:42:32 -0800289 if (len == 0) {
290 return 0;
291 }
Adam Langley95c29f32014-06-20 12:00:00 -0700292
David Benjamin0d56f882015-12-19 17:05:56 -0500293 size_t max_out = len + ssl_max_seal_overhead(ssl);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400294 if (max_out < len) {
295 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
David Benjamin9faafda2015-04-04 19:23:10 -0400296 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800297 }
David Benjaminb8d28cf2015-07-28 21:34:45 -0400298 uint8_t *out;
299 size_t ciphertext_len;
David Benjamin0d56f882015-12-19 17:05:56 -0500300 if (!ssl_write_buffer_init(ssl, &out, max_out) ||
301 !tls_seal_record(ssl, out, &ciphertext_len, max_out, type, buf, len)) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400302 return -1;
303 }
David Benjamin0d56f882015-12-19 17:05:56 -0500304 ssl_write_buffer_set_len(ssl, ciphertext_len);
Adam Langley95c29f32014-06-20 12:00:00 -0700305
Adam Langleyfcf25832014-12-18 17:42:32 -0800306 /* memorize arguments so that ssl3_write_pending can detect bad write retries
307 * later */
David Benjamin0d56f882015-12-19 17:05:56 -0500308 ssl->s3->wpend_tot = len;
309 ssl->s3->wpend_buf = buf;
310 ssl->s3->wpend_type = type;
311 ssl->s3->wpend_ret = len;
Adam Langleyfcf25832014-12-18 17:42:32 -0800312
313 /* we now just need to write the buffer */
David Benjamin0d56f882015-12-19 17:05:56 -0500314 return ssl3_write_pending(ssl, type, buf, len);
Adam Langleyfcf25832014-12-18 17:42:32 -0800315}
Adam Langley95c29f32014-06-20 12:00:00 -0700316
David Benjamina6022772015-05-30 16:22:10 -0400317int ssl3_read_app_data(SSL *ssl, uint8_t *buf, int len, int peek) {
318 return ssl3_read_bytes(ssl, SSL3_RT_APPLICATION_DATA, buf, len, peek);
319}
320
David Benjamina41280d2015-11-26 02:16:49 -0500321int ssl3_read_change_cipher_spec(SSL *ssl) {
322 uint8_t byte;
323 int ret = ssl3_read_bytes(ssl, SSL3_RT_CHANGE_CIPHER_SPEC, &byte, 1 /* len */,
324 0 /* no peek */);
325 if (ret <= 0) {
326 return ret;
327 }
328 assert(ret == 1);
329
330 if (ssl->s3->rrec.length != 0 || byte != SSL3_MT_CCS) {
331 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_CHANGE_CIPHER_SPEC);
332 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
333 return -1;
334 }
335
336 if (ssl->msg_callback != NULL) {
337 ssl->msg_callback(0, ssl->version, SSL3_RT_CHANGE_CIPHER_SPEC, &byte, 1,
338 ssl, ssl->msg_callback_arg);
339 }
340
341 return 1;
342}
343
David Benjamina6022772015-05-30 16:22:10 -0400344void ssl3_read_close_notify(SSL *ssl) {
345 ssl3_read_bytes(ssl, 0, NULL, 0, 0);
346}
347
David Benjamin1d5ef3b2015-10-12 19:54:18 -0400348static int ssl3_can_renegotiate(SSL *ssl) {
349 switch (ssl->renegotiate_mode) {
350 case ssl_renegotiate_never:
351 return 0;
352 case ssl_renegotiate_once:
353 return ssl->s3->total_renegotiations == 0;
354 case ssl_renegotiate_freely:
355 return 1;
Adam Langley27a0d082015-11-03 13:34:10 -0800356 case ssl_renegotiate_ignore:
357 return 1;
David Benjamin1d5ef3b2015-10-12 19:54:18 -0400358 }
359
360 assert(0);
361 return 0;
362}
363
Adam Langley95c29f32014-06-20 12:00:00 -0700364/* Return up to 'len' payload bytes received in 'type' records.
365 * 'type' is one of the following:
366 *
367 * - SSL3_RT_HANDSHAKE (when ssl3_get_message calls us)
David Benjamina41280d2015-11-26 02:16:49 -0500368 * - SSL3_RT_CHANGE_CIPHER_SPEC (when ssl3_read_change_cipher_spec calls us)
369 * - SSL3_RT_APPLICATION_DATA (when ssl3_read_app_data calls us)
Adam Langley95c29f32014-06-20 12:00:00 -0700370 * - 0 (during a shutdown, no data has to be returned)
371 *
372 * If we don't have stored data to work from, read a SSL/TLS record first
373 * (possibly multiple records if we still don't have anything to return).
374 *
375 * This function must handle any surprises the peer may have for us, such as
David Benjamina41280d2015-11-26 02:16:49 -0500376 * Alert records (e.g. close_notify) or renegotiation requests. */
David Benjamin0d56f882015-12-19 17:05:56 -0500377int ssl3_read_bytes(SSL *ssl, int type, uint8_t *buf, int len, int peek) {
David Benjamin86058a22015-02-22 13:07:21 -0500378 int al, i, ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800379 unsigned int n;
380 SSL3_RECORD *rr;
David Benjamin82170242015-10-17 22:51:17 -0400381 void (*cb)(const SSL *ssl, int type, int value) = NULL;
Adam Langley95c29f32014-06-20 12:00:00 -0700382
David Benjamina41280d2015-11-26 02:16:49 -0500383 if ((type && type != SSL3_RT_APPLICATION_DATA && type != SSL3_RT_HANDSHAKE &&
384 type != SSL3_RT_CHANGE_CIPHER_SPEC) ||
Adam Langleyfcf25832014-12-18 17:42:32 -0800385 (peek && type != SSL3_RT_APPLICATION_DATA)) {
David Benjamin3570d732015-06-29 00:28:17 -0400386 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langleyfcf25832014-12-18 17:42:32 -0800387 return -1;
388 }
Adam Langley95c29f32014-06-20 12:00:00 -0700389
David Benjamin931ab342015-02-08 19:46:57 -0500390 /* This may require multiple iterations. False Start will cause
David Benjamin0d56f882015-12-19 17:05:56 -0500391 * |ssl->handshake_func| to signal success one step early, but the handshake
David Benjamin931ab342015-02-08 19:46:57 -0500392 * must be completely finished before other modes are accepted.
393 *
394 * TODO(davidben): Move this check up to a higher level. */
David Benjamin0d56f882015-12-19 17:05:56 -0500395 while (!ssl->in_handshake && SSL_in_init(ssl)) {
David Benjamin931ab342015-02-08 19:46:57 -0500396 assert(type == SSL3_RT_APPLICATION_DATA);
David Benjamin0d56f882015-12-19 17:05:56 -0500397 i = ssl->handshake_func(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800398 if (i < 0) {
399 return i;
400 }
401 if (i == 0) {
David Benjamin3570d732015-06-29 00:28:17 -0400402 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800403 return -1;
404 }
405 }
406
Adam Langley95c29f32014-06-20 12:00:00 -0700407start:
David Benjamin0d56f882015-12-19 17:05:56 -0500408 ssl->rwstate = SSL_NOTHING;
Adam Langley95c29f32014-06-20 12:00:00 -0700409
David Benjamin0d56f882015-12-19 17:05:56 -0500410 /* ssl->s3->rrec.type - is the type of record
411 * ssl->s3->rrec.data - data
412 * ssl->s3->rrec.off - offset into 'data' for next read
413 * ssl->s3->rrec.length - number of bytes. */
414 rr = &ssl->s3->rrec;
Adam Langley95c29f32014-06-20 12:00:00 -0700415
Adam Langleyfcf25832014-12-18 17:42:32 -0800416 /* get new packet if necessary */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400417 if (rr->length == 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500418 ret = ssl3_get_record(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800419 if (ret <= 0) {
420 return ret;
421 }
422 }
Adam Langley95c29f32014-06-20 12:00:00 -0700423
Adam Langleyfcf25832014-12-18 17:42:32 -0800424 /* we now have a packet which can be read and processed */
Adam Langley95c29f32014-06-20 12:00:00 -0700425
Adam Langleyfcf25832014-12-18 17:42:32 -0800426 /* If the other end has shut down, throw anything we read away (even in
427 * 'peek' mode) */
David Benjamin0d56f882015-12-19 17:05:56 -0500428 if (ssl->shutdown & SSL_RECEIVED_SHUTDOWN) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800429 rr->length = 0;
David Benjamin0d56f882015-12-19 17:05:56 -0500430 ssl->rwstate = SSL_NOTHING;
Adam Langleyfcf25832014-12-18 17:42:32 -0800431 return 0;
432 }
Adam Langley95c29f32014-06-20 12:00:00 -0700433
David Benjaminee0b02a2015-08-22 11:35:40 -0400434 if (type != 0 && type == rr->type) {
David Benjamin0d56f882015-12-19 17:05:56 -0500435 ssl->s3->warning_alert_count = 0;
David Benjamin24f346d2015-06-06 03:28:08 -0400436
David Benjamina41280d2015-11-26 02:16:49 -0500437 /* Make sure that we are not getting application data when we are doing a
438 * handshake for the first time. */
David Benjamin0d56f882015-12-19 17:05:56 -0500439 if (SSL_in_init(ssl) && type == SSL3_RT_APPLICATION_DATA &&
David Benjamin79978df2015-12-25 15:56:49 -0500440 ssl->s3->aead_read_ctx == NULL) {
David Benjaminb8a56f12014-12-23 11:41:02 -0500441 /* TODO(davidben): Is this check redundant with the handshake_func
442 * check? */
Adam Langleyfcf25832014-12-18 17:42:32 -0800443 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400444 OPENSSL_PUT_ERROR(SSL, SSL_R_APP_DATA_IN_HANDSHAKE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800445 goto f_err;
446 }
Adam Langley95c29f32014-06-20 12:00:00 -0700447
David Benjamin4cf369b2015-08-22 01:35:43 -0400448 /* Discard empty records. */
449 if (rr->length == 0) {
450 goto start;
451 }
452
Adam Langleyfcf25832014-12-18 17:42:32 -0800453 if (len <= 0) {
454 return len;
455 }
Adam Langley95c29f32014-06-20 12:00:00 -0700456
Adam Langleyfcf25832014-12-18 17:42:32 -0800457 if ((unsigned int)len > rr->length) {
458 n = rr->length;
459 } else {
460 n = (unsigned int)len;
461 }
Adam Langley95c29f32014-06-20 12:00:00 -0700462
David Benjamin7fc01002015-12-06 15:48:22 -0500463 memcpy(buf, rr->data, n);
Adam Langleyfcf25832014-12-18 17:42:32 -0800464 if (!peek) {
465 rr->length -= n;
David Benjamin7fc01002015-12-06 15:48:22 -0500466 rr->data += n;
Adam Langleyfcf25832014-12-18 17:42:32 -0800467 if (rr->length == 0) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400468 /* The record has been consumed, so we may now clear the buffer. */
David Benjamin0d56f882015-12-19 17:05:56 -0500469 ssl_read_buffer_discard(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800470 }
471 }
472
473 return n;
474 }
Adam Langley95c29f32014-06-20 12:00:00 -0700475
David Benjamin44d3eed2015-05-21 01:29:55 -0400476 /* Process unexpected records. */
Alex Chernyakhovsky4cd8c432014-11-01 19:39:08 -0400477
David Benjamina41280d2015-11-26 02:16:49 -0500478 if (type == SSL3_RT_APPLICATION_DATA && rr->type == SSL3_RT_HANDSHAKE) {
David Benjaminb16346b2015-04-08 19:16:58 -0400479 /* If peer renegotiations are disabled, all out-of-order handshake records
David Benjamin44d3eed2015-05-21 01:29:55 -0400480 * are fatal. Renegotiations as a server are never supported. */
David Benjamin0d56f882015-12-19 17:05:56 -0500481 if (ssl->server || !ssl3_can_renegotiate(ssl)) {
David Benjaminb16346b2015-04-08 19:16:58 -0400482 al = SSL_AD_NO_RENEGOTIATION;
David Benjamin3570d732015-06-29 00:28:17 -0400483 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_RENEGOTIATION);
David Benjaminb16346b2015-04-08 19:16:58 -0400484 goto f_err;
485 }
486
David Benjamin8fd5c232015-11-26 01:39:53 -0500487 /* This must be a HelloRequest, possibly fragmented over multiple records.
488 * Consume data from the handshake protocol until it is complete. */
489 static const uint8_t kHelloRequest[] = {SSL3_MT_HELLO_REQUEST, 0, 0, 0};
David Benjamin0d56f882015-12-19 17:05:56 -0500490 while (ssl->s3->hello_request_len < sizeof(kHelloRequest)) {
David Benjamin8fd5c232015-11-26 01:39:53 -0500491 if (rr->length == 0) {
492 /* Get a new record. */
493 goto start;
494 }
David Benjamin0d56f882015-12-19 17:05:56 -0500495 if (rr->data[0] != kHelloRequest[ssl->s3->hello_request_len]) {
David Benjamin8fd5c232015-11-26 01:39:53 -0500496 al = SSL_AD_DECODE_ERROR;
497 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_HELLO_REQUEST);
498 goto f_err;
499 }
David Benjamin7fc01002015-12-06 15:48:22 -0500500 rr->data++;
David Benjamin8fd5c232015-11-26 01:39:53 -0500501 rr->length--;
David Benjamin0d56f882015-12-19 17:05:56 -0500502 ssl->s3->hello_request_len++;
Adam Langleyfcf25832014-12-18 17:42:32 -0800503 }
David Benjamin0d56f882015-12-19 17:05:56 -0500504 ssl->s3->hello_request_len = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700505
David Benjamin0d56f882015-12-19 17:05:56 -0500506 if (ssl->msg_callback) {
507 ssl->msg_callback(0, ssl->version, SSL3_RT_HANDSHAKE, kHelloRequest,
508 sizeof(kHelloRequest), ssl, ssl->msg_callback_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800509 }
Adam Langley95c29f32014-06-20 12:00:00 -0700510
David Benjamin0d56f882015-12-19 17:05:56 -0500511 if (!SSL_is_init_finished(ssl) || !ssl->s3->initial_handshake_complete) {
David Benjamincd90f3a2015-05-21 01:37:55 -0400512 /* This cannot happen. If a handshake is in progress, |type| must be
513 * |SSL3_RT_HANDSHAKE|. */
514 assert(0);
David Benjamin3570d732015-06-29 00:28:17 -0400515 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamincd90f3a2015-05-21 01:37:55 -0400516 goto err;
Adam Langleyfcf25832014-12-18 17:42:32 -0800517 }
David Benjamincd90f3a2015-05-21 01:37:55 -0400518
David Benjamin0d56f882015-12-19 17:05:56 -0500519 if (ssl->renegotiate_mode == ssl_renegotiate_ignore) {
Adam Langley27a0d082015-11-03 13:34:10 -0800520 goto start;
521 }
522
David Benjamincd90f3a2015-05-21 01:37:55 -0400523 /* Renegotiation is only supported at quiescent points in the application
524 * protocol, namely in HTTPS, just before reading the HTTP response. Require
525 * the record-layer be idle and avoid complexities of sending a handshake
526 * record while an application_data record is being written. */
David Benjamin0d56f882015-12-19 17:05:56 -0500527 if (ssl_write_buffer_is_pending(ssl)) {
David Benjamincd90f3a2015-05-21 01:37:55 -0400528 al = SSL_AD_NO_RENEGOTIATION;
David Benjamin3570d732015-06-29 00:28:17 -0400529 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_RENEGOTIATION);
David Benjamincd90f3a2015-05-21 01:37:55 -0400530 goto f_err;
531 }
532
533 /* Begin a new handshake. */
David Benjamin0d56f882015-12-19 17:05:56 -0500534 ssl->s3->total_renegotiations++;
535 ssl->state = SSL_ST_CONNECT;
536 i = ssl->handshake_func(ssl);
David Benjamincd90f3a2015-05-21 01:37:55 -0400537 if (i < 0) {
538 return i;
539 }
540 if (i == 0) {
David Benjamin3570d732015-06-29 00:28:17 -0400541 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
David Benjamincd90f3a2015-05-21 01:37:55 -0400542 return -1;
543 }
544
545 /* The handshake completed synchronously. Continue reading records. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800546 goto start;
547 }
David Benjaminb4188f02014-11-01 03:43:48 -0400548
David Benjamin86058a22015-02-22 13:07:21 -0500549 /* If an alert record, process one alert out of the record. Note that we allow
550 * a single record to contain multiple alerts. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800551 if (rr->type == SSL3_RT_ALERT) {
David Benjamin86058a22015-02-22 13:07:21 -0500552 /* Alerts may not be fragmented. */
553 if (rr->length < 2) {
554 al = SSL_AD_DECODE_ERROR;
David Benjamin3570d732015-06-29 00:28:17 -0400555 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_ALERT);
David Benjamin86058a22015-02-22 13:07:21 -0500556 goto f_err;
557 }
Adam Langley95c29f32014-06-20 12:00:00 -0700558
David Benjamin0d56f882015-12-19 17:05:56 -0500559 if (ssl->msg_callback) {
560 ssl->msg_callback(0, ssl->version, SSL3_RT_ALERT, rr->data, 2, ssl,
561 ssl->msg_callback_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800562 }
David Benjamin7fc01002015-12-06 15:48:22 -0500563 const uint8_t alert_level = rr->data[0];
564 const uint8_t alert_descr = rr->data[1];
David Benjamin86058a22015-02-22 13:07:21 -0500565 rr->length -= 2;
David Benjamin7fc01002015-12-06 15:48:22 -0500566 rr->data += 2;
Adam Langley95c29f32014-06-20 12:00:00 -0700567
David Benjamin0d56f882015-12-19 17:05:56 -0500568 if (ssl->info_callback != NULL) {
569 cb = ssl->info_callback;
570 } else if (ssl->ctx->info_callback != NULL) {
571 cb = ssl->ctx->info_callback;
Adam Langleyfcf25832014-12-18 17:42:32 -0800572 }
Adam Langley95c29f32014-06-20 12:00:00 -0700573
Adam Langleyfcf25832014-12-18 17:42:32 -0800574 if (cb != NULL) {
David Benjamin86058a22015-02-22 13:07:21 -0500575 uint16_t alert = (alert_level << 8) | alert_descr;
David Benjamin0d56f882015-12-19 17:05:56 -0500576 cb(ssl, SSL_CB_READ_ALERT, alert);
Adam Langleyfcf25832014-12-18 17:42:32 -0800577 }
Adam Langley95c29f32014-06-20 12:00:00 -0700578
David Benjamin86058a22015-02-22 13:07:21 -0500579 if (alert_level == SSL3_AL_WARNING) {
David Benjamin0d56f882015-12-19 17:05:56 -0500580 ssl->s3->warn_alert = alert_descr;
Adam Langleyfcf25832014-12-18 17:42:32 -0800581 if (alert_descr == SSL_AD_CLOSE_NOTIFY) {
David Benjamin0d56f882015-12-19 17:05:56 -0500582 ssl->shutdown |= SSL_RECEIVED_SHUTDOWN;
Adam Langleyfcf25832014-12-18 17:42:32 -0800583 return 0;
584 }
Adam Langley95c29f32014-06-20 12:00:00 -0700585
Adam Langleyfcf25832014-12-18 17:42:32 -0800586 /* This is a warning but we receive it if we requested renegotiation and
587 * the peer denied it. Terminate with a fatal alert because if
588 * application tried to renegotiatie it presumably had a good reason and
589 * expects it to succeed.
590 *
591 * In future we might have a renegotiation where we don't care if the
592 * peer refused it where we carry on. */
593 else if (alert_descr == SSL_AD_NO_RENEGOTIATION) {
594 al = SSL_AD_HANDSHAKE_FAILURE;
David Benjamin3570d732015-06-29 00:28:17 -0400595 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_RENEGOTIATION);
Adam Langleyfcf25832014-12-18 17:42:32 -0800596 goto f_err;
597 }
David Benjamin24f346d2015-06-06 03:28:08 -0400598
David Benjamin0d56f882015-12-19 17:05:56 -0500599 ssl->s3->warning_alert_count++;
600 if (ssl->s3->warning_alert_count > kMaxWarningAlerts) {
David Benjamin24f346d2015-06-06 03:28:08 -0400601 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400602 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_WARNING_ALERTS);
David Benjamin24f346d2015-06-06 03:28:08 -0400603 goto f_err;
604 }
David Benjamin86058a22015-02-22 13:07:21 -0500605 } else if (alert_level == SSL3_AL_FATAL) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800606 char tmp[16];
Adam Langley95c29f32014-06-20 12:00:00 -0700607
David Benjamin0d56f882015-12-19 17:05:56 -0500608 ssl->rwstate = SSL_NOTHING;
609 ssl->s3->fatal_alert = alert_descr;
David Benjamin3570d732015-06-29 00:28:17 -0400610 OPENSSL_PUT_ERROR(SSL, SSL_AD_REASON_OFFSET + alert_descr);
Adam Langleyfcf25832014-12-18 17:42:32 -0800611 BIO_snprintf(tmp, sizeof(tmp), "%d", alert_descr);
612 ERR_add_error_data(2, "SSL alert number ", tmp);
David Benjamin0d56f882015-12-19 17:05:56 -0500613 ssl->shutdown |= SSL_RECEIVED_SHUTDOWN;
614 SSL_CTX_remove_session(ssl->ctx, ssl->session);
Adam Langleyfcf25832014-12-18 17:42:32 -0800615 return 0;
616 } else {
617 al = SSL_AD_ILLEGAL_PARAMETER;
David Benjamin3570d732015-06-29 00:28:17 -0400618 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_ALERT_TYPE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800619 goto f_err;
620 }
Adam Langley95c29f32014-06-20 12:00:00 -0700621
Adam Langleyfcf25832014-12-18 17:42:32 -0800622 goto start;
623 }
Adam Langley95c29f32014-06-20 12:00:00 -0700624
David Benjamin0d56f882015-12-19 17:05:56 -0500625 if (ssl->shutdown & SSL_SENT_SHUTDOWN) {
David Benjaminaa9361b2015-08-29 22:33:16 -0400626 /* close_notify has been sent, so discard all records other than alerts. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800627 rr->length = 0;
David Benjaminaa9361b2015-08-29 22:33:16 -0400628 goto start;
Adam Langleyfcf25832014-12-18 17:42:32 -0800629 }
Adam Langley95c29f32014-06-20 12:00:00 -0700630
David Benjamine820df92015-02-08 16:06:54 -0500631 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400632 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_RECORD);
Adam Langley95c29f32014-06-20 12:00:00 -0700633
634f_err:
David Benjamin0d56f882015-12-19 17:05:56 -0500635 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
Adam Langley95c29f32014-06-20 12:00:00 -0700636err:
Adam Langleyfcf25832014-12-18 17:42:32 -0800637 return -1;
638}
Adam Langley95c29f32014-06-20 12:00:00 -0700639
David Benjamin0d56f882015-12-19 17:05:56 -0500640int ssl3_send_alert(SSL *ssl, int level, int desc) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800641 /* If a fatal one, remove from cache */
David Benjamin0d56f882015-12-19 17:05:56 -0500642 if (level == 2 && ssl->session != NULL) {
643 SSL_CTX_remove_session(ssl->ctx, ssl->session);
Adam Langleyfcf25832014-12-18 17:42:32 -0800644 }
Adam Langley95c29f32014-06-20 12:00:00 -0700645
David Benjamin0d56f882015-12-19 17:05:56 -0500646 ssl->s3->alert_dispatch = 1;
647 ssl->s3->send_alert[0] = level;
648 ssl->s3->send_alert[1] = desc;
649 if (!ssl_write_buffer_is_pending(ssl)) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400650 /* Nothing is being written out, so the alert may be dispatched
651 * immediately. */
David Benjamin0d56f882015-12-19 17:05:56 -0500652 return ssl->method->ssl_dispatch_alert(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800653 }
Adam Langley95c29f32014-06-20 12:00:00 -0700654
Adam Langleyfcf25832014-12-18 17:42:32 -0800655 /* else data is still being written out, we will get written some time in the
656 * future */
657 return -1;
658}
Adam Langley95c29f32014-06-20 12:00:00 -0700659
David Benjamin0d56f882015-12-19 17:05:56 -0500660int ssl3_dispatch_alert(SSL *ssl) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800661 int i, j;
David Benjamin82170242015-10-17 22:51:17 -0400662 void (*cb)(const SSL *ssl, int type, int value) = NULL;
Adam Langley95c29f32014-06-20 12:00:00 -0700663
David Benjamin0d56f882015-12-19 17:05:56 -0500664 ssl->s3->alert_dispatch = 0;
665 i = do_ssl3_write(ssl, SSL3_RT_ALERT, &ssl->s3->send_alert[0], 2);
Adam Langleyfcf25832014-12-18 17:42:32 -0800666 if (i <= 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500667 ssl->s3->alert_dispatch = 1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800668 } else {
669 /* Alert sent to BIO. If it is important, flush it now. If the message
670 * does not get sent due to non-blocking IO, we will not worry too much. */
David Benjamin0d56f882015-12-19 17:05:56 -0500671 if (ssl->s3->send_alert[0] == SSL3_AL_FATAL) {
672 BIO_flush(ssl->wbio);
Adam Langleyfcf25832014-12-18 17:42:32 -0800673 }
Adam Langley95c29f32014-06-20 12:00:00 -0700674
David Benjamin0d56f882015-12-19 17:05:56 -0500675 if (ssl->msg_callback) {
676 ssl->msg_callback(1, ssl->version, SSL3_RT_ALERT, ssl->s3->send_alert, 2,
677 ssl, ssl->msg_callback_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800678 }
679
David Benjamin0d56f882015-12-19 17:05:56 -0500680 if (ssl->info_callback != NULL) {
681 cb = ssl->info_callback;
682 } else if (ssl->ctx->info_callback != NULL) {
683 cb = ssl->ctx->info_callback;
Adam Langleyfcf25832014-12-18 17:42:32 -0800684 }
685
686 if (cb != NULL) {
David Benjamin0d56f882015-12-19 17:05:56 -0500687 j = (ssl->s3->send_alert[0] << 8) | ssl->s3->send_alert[1];
688 cb(ssl, SSL_CB_WRITE_ALERT, j);
Adam Langleyfcf25832014-12-18 17:42:32 -0800689 }
690 }
691
692 return i;
693}