blob: a034c2984a08488aa5abc8945bc5b1505d0a9266 [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>
David Benjaminf0ae1702015-04-07 23:05:04 -0400113#include <string.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700114
115#include <openssl/buf.h>
116#include <openssl/err.h>
117#include <openssl/evp.h>
118#include <openssl/mem.h>
119#include <openssl/rand.h>
120
David Benjamin2ee94aa2015-04-07 22:38:30 -0400121#include "internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -0700122
Adam Langleyfcf25832014-12-18 17:42:32 -0800123
David Benjamin0d56f882015-12-19 17:05:56 -0500124static int do_ssl3_write(SSL *ssl, int type, const uint8_t *buf, unsigned len);
Adam Langley95c29f32014-06-20 12:00:00 -0700125
David Benjamin24f346d2015-06-06 03:28:08 -0400126/* kMaxWarningAlerts is the number of consecutive warning alerts that will be
127 * processed. */
128static const uint8_t kMaxWarningAlerts = 4;
129
David Benjaminb8d28cf2015-07-28 21:34:45 -0400130/* ssl3_get_record reads a new input record. On success, it places it in
131 * |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
132 * more data is needed. */
133static int ssl3_get_record(SSL *ssl) {
134 int ret;
Adam Langley95c29f32014-06-20 12:00:00 -0700135again:
David Benjamin8f731352016-03-10 01:15:15 -0500136 if (ssl->shutdown & SSL_RECEIVED_SHUTDOWN) {
137 if (ssl->s3->clean_shutdown) {
138 return 0;
139 }
140 OPENSSL_PUT_ERROR(SSL, SSL_R_PROTOCOL_IS_SHUTDOWN);
141 return -1;
142 }
143
David Benjaminb8d28cf2015-07-28 21:34:45 -0400144 /* Ensure the buffer is large enough to decrypt in-place. */
145 ret = ssl_read_buffer_extend_to(ssl, ssl_record_prefix_len(ssl));
146 if (ret <= 0) {
147 return ret;
148 }
149 assert(ssl_read_buffer_len(ssl) >= ssl_record_prefix_len(ssl));
Adam Langley95c29f32014-06-20 12:00:00 -0700150
David Benjaminb8d28cf2015-07-28 21:34:45 -0400151 uint8_t *out = ssl_read_buffer(ssl) + ssl_record_prefix_len(ssl);
152 size_t max_out = ssl_read_buffer_len(ssl) - ssl_record_prefix_len(ssl);
153 uint8_t type, alert;
154 size_t len, consumed;
155 switch (tls_open_record(ssl, &type, out, &len, &consumed, &alert, max_out,
156 ssl_read_buffer(ssl), ssl_read_buffer_len(ssl))) {
157 case ssl_open_record_success:
158 ssl_read_buffer_consume(ssl, consumed);
David Benjamin6a08da22015-05-08 22:58:12 -0400159
David Benjaminb8d28cf2015-07-28 21:34:45 -0400160 if (len > 0xffff) {
161 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
162 return -1;
163 }
Adam Langley95c29f32014-06-20 12:00:00 -0700164
David Benjaminb8d28cf2015-07-28 21:34:45 -0400165 SSL3_RECORD *rr = &ssl->s3->rrec;
166 rr->type = type;
167 rr->length = (uint16_t)len;
David Benjaminb8d28cf2015-07-28 21:34:45 -0400168 rr->data = out;
169 return 1;
Adam Langley95c29f32014-06-20 12:00:00 -0700170
David Benjaminb8d28cf2015-07-28 21:34:45 -0400171 case ssl_open_record_partial:
172 ret = ssl_read_buffer_extend_to(ssl, consumed);
173 if (ret <= 0) {
174 return ret;
175 }
176 goto again;
Adam Langley95c29f32014-06-20 12:00:00 -0700177
David Benjaminb8d28cf2015-07-28 21:34:45 -0400178 case ssl_open_record_discard:
179 ssl_read_buffer_consume(ssl, consumed);
180 goto again;
Adam Langley95c29f32014-06-20 12:00:00 -0700181
David Benjaminb8d28cf2015-07-28 21:34:45 -0400182 case ssl_open_record_error:
183 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
184 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800185 }
Adam Langley95c29f32014-06-20 12:00:00 -0700186
David Benjaminb8d28cf2015-07-28 21:34:45 -0400187 assert(0);
188 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
189 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800190}
Adam Langley95c29f32014-06-20 12:00:00 -0700191
David Benjaminc933a472015-05-30 16:14:58 -0400192int ssl3_write_app_data(SSL *ssl, const void *buf, int len) {
David Benjamind7ac1432016-03-10 00:41:25 -0500193 assert(!SSL_in_init(ssl) || SSL_in_false_start(ssl));
194
David Benjaminc933a472015-05-30 16:14:58 -0400195 return ssl3_write_bytes(ssl, SSL3_RT_APPLICATION_DATA, buf, len);
196}
197
Adam Langleyfcf25832014-12-18 17:42:32 -0800198/* Call this to write data in records of type |type|. It will return <= 0 if
199 * not all data has been sent or non-blocking IO. */
David Benjamin0d56f882015-12-19 17:05:56 -0500200int ssl3_write_bytes(SSL *ssl, int type, const void *buf_, int len) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800201 const uint8_t *buf = buf_;
David Benjamina8571592016-03-10 01:41:55 -0500202 unsigned tot, n, nw;
Adam Langley95c29f32014-06-20 12:00:00 -0700203
David Benjamin0d56f882015-12-19 17:05:56 -0500204 assert(ssl->s3->wnum <= INT_MAX);
205 tot = ssl->s3->wnum;
206 ssl->s3->wnum = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700207
Adam Langleyfcf25832014-12-18 17:42:32 -0800208 /* Ensure that if we end up with a smaller value of data to write out than
209 * the the original len from a write which didn't complete for non-blocking
210 * I/O and also somehow ended up avoiding the check for this in
211 * ssl3_write_pending/SSL_R_BAD_WRITE_RETRY as it must never be possible to
212 * end up with (len-tot) as a large number that will then promptly send
213 * beyond the end of the users buffer ... so we trap and report the error in
214 * a way the user will notice. */
215 if (len < 0 || (size_t)len < tot) {
David Benjamin3570d732015-06-29 00:28:17 -0400216 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_LENGTH);
Adam Langleyfcf25832014-12-18 17:42:32 -0800217 return -1;
218 }
Adam Langley9611cfc2014-06-20 12:00:00 -0700219
Adam Langleyfcf25832014-12-18 17:42:32 -0800220 n = (len - tot);
221 for (;;) {
222 /* max contains the maximum number of bytes that we can put into a
223 * record. */
David Benjamin0d56f882015-12-19 17:05:56 -0500224 unsigned max = ssl->max_send_fragment;
Adam Langleyfcf25832014-12-18 17:42:32 -0800225 if (n > max) {
226 nw = max;
227 } else {
228 nw = n;
229 }
Adam Langley95c29f32014-06-20 12:00:00 -0700230
David Benjamina8571592016-03-10 01:41:55 -0500231 int ret = do_ssl3_write(ssl, type, &buf[tot], nw);
232 if (ret <= 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500233 ssl->s3->wnum = tot;
David Benjamina8571592016-03-10 01:41:55 -0500234 return ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800235 }
Adam Langley95c29f32014-06-20 12:00:00 -0700236
David Benjamina8571592016-03-10 01:41:55 -0500237 if (ret == (int)n || (type == SSL3_RT_APPLICATION_DATA &&
238 (ssl->mode & SSL_MODE_ENABLE_PARTIAL_WRITE))) {
239 return tot + ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800240 }
Adam Langley95c29f32014-06-20 12:00:00 -0700241
David Benjamina8571592016-03-10 01:41:55 -0500242 n -= ret;
243 tot += ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800244 }
245}
Adam Langley95c29f32014-06-20 12:00:00 -0700246
David Benjamin0d56f882015-12-19 17:05:56 -0500247static int ssl3_write_pending(SSL *ssl, int type, const uint8_t *buf,
David Benjamin2e0901b2015-11-02 17:50:10 -0500248 unsigned int len) {
David Benjamin0d56f882015-12-19 17:05:56 -0500249 if (ssl->s3->wpend_tot > (int)len ||
250 (ssl->s3->wpend_buf != buf &&
251 !(ssl->mode & SSL_MODE_ACCEPT_MOVING_WRITE_BUFFER)) ||
252 ssl->s3->wpend_type != type) {
David Benjamin2e0901b2015-11-02 17:50:10 -0500253 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_WRITE_RETRY);
254 return -1;
255 }
256
David Benjamin0d56f882015-12-19 17:05:56 -0500257 int ret = ssl_write_buffer_flush(ssl);
David Benjamin2e0901b2015-11-02 17:50:10 -0500258 if (ret <= 0) {
259 return ret;
260 }
David Benjamin0d56f882015-12-19 17:05:56 -0500261 return ssl->s3->wpend_ret;
David Benjamin2e0901b2015-11-02 17:50:10 -0500262}
263
David Benjaminb8d28cf2015-07-28 21:34:45 -0400264/* do_ssl3_write writes an SSL record of the given type. */
David Benjamin0d56f882015-12-19 17:05:56 -0500265static int do_ssl3_write(SSL *ssl, int type, const uint8_t *buf, unsigned len) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400266 /* If there is still data from the previous record, flush it. */
David Benjamin0d56f882015-12-19 17:05:56 -0500267 if (ssl_write_buffer_is_pending(ssl)) {
268 return ssl3_write_pending(ssl, type, buf, len);
Adam Langleyfcf25832014-12-18 17:42:32 -0800269 }
Adam Langley95c29f32014-06-20 12:00:00 -0700270
Adam Langleyfcf25832014-12-18 17:42:32 -0800271 /* If we have an alert to send, lets send it */
David Benjamin0d56f882015-12-19 17:05:56 -0500272 if (ssl->s3->alert_dispatch) {
273 int ret = ssl->method->ssl_dispatch_alert(ssl);
David Benjamin9faafda2015-04-04 19:23:10 -0400274 if (ret <= 0) {
275 return ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800276 }
277 /* if it went, fall through and send more stuff */
278 }
Adam Langley95c29f32014-06-20 12:00:00 -0700279
David Benjaminb8d28cf2015-07-28 21:34:45 -0400280 if (len > SSL3_RT_MAX_PLAIN_LENGTH) {
281 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langleyfcf25832014-12-18 17:42:32 -0800282 return -1;
283 }
Adam Langleyc6c8ae82014-06-20 12:00:00 -0700284
Adam Langleyfcf25832014-12-18 17:42:32 -0800285 if (len == 0) {
286 return 0;
287 }
Adam Langley95c29f32014-06-20 12:00:00 -0700288
David Benjamin0d56f882015-12-19 17:05:56 -0500289 size_t max_out = len + ssl_max_seal_overhead(ssl);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400290 if (max_out < len) {
291 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
David Benjamin9faafda2015-04-04 19:23:10 -0400292 return -1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800293 }
David Benjaminb8d28cf2015-07-28 21:34:45 -0400294 uint8_t *out;
295 size_t ciphertext_len;
David Benjamin0d56f882015-12-19 17:05:56 -0500296 if (!ssl_write_buffer_init(ssl, &out, max_out) ||
297 !tls_seal_record(ssl, out, &ciphertext_len, max_out, type, buf, len)) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400298 return -1;
299 }
David Benjamin0d56f882015-12-19 17:05:56 -0500300 ssl_write_buffer_set_len(ssl, ciphertext_len);
Adam Langley95c29f32014-06-20 12:00:00 -0700301
Adam Langleyfcf25832014-12-18 17:42:32 -0800302 /* memorize arguments so that ssl3_write_pending can detect bad write retries
303 * later */
David Benjamin0d56f882015-12-19 17:05:56 -0500304 ssl->s3->wpend_tot = len;
305 ssl->s3->wpend_buf = buf;
306 ssl->s3->wpend_type = type;
307 ssl->s3->wpend_ret = len;
Adam Langleyfcf25832014-12-18 17:42:32 -0800308
309 /* we now just need to write the buffer */
David Benjamin0d56f882015-12-19 17:05:56 -0500310 return ssl3_write_pending(ssl, type, buf, len);
Adam Langleyfcf25832014-12-18 17:42:32 -0800311}
Adam Langley95c29f32014-06-20 12:00:00 -0700312
David Benjamina6022772015-05-30 16:22:10 -0400313int ssl3_read_app_data(SSL *ssl, uint8_t *buf, int len, int peek) {
David Benjaminc79845c2016-03-10 01:28:00 -0500314 assert(!SSL_in_init(ssl));
David Benjamina6022772015-05-30 16:22:10 -0400315 return ssl3_read_bytes(ssl, SSL3_RT_APPLICATION_DATA, buf, len, peek);
316}
317
David Benjamina41280d2015-11-26 02:16:49 -0500318int ssl3_read_change_cipher_spec(SSL *ssl) {
319 uint8_t byte;
320 int ret = ssl3_read_bytes(ssl, SSL3_RT_CHANGE_CIPHER_SPEC, &byte, 1 /* len */,
321 0 /* no peek */);
322 if (ret <= 0) {
323 return ret;
324 }
325 assert(ret == 1);
326
327 if (ssl->s3->rrec.length != 0 || byte != SSL3_MT_CCS) {
328 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_CHANGE_CIPHER_SPEC);
329 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
330 return -1;
331 }
332
333 if (ssl->msg_callback != NULL) {
334 ssl->msg_callback(0, ssl->version, SSL3_RT_CHANGE_CIPHER_SPEC, &byte, 1,
335 ssl, ssl->msg_callback_arg);
336 }
337
338 return 1;
339}
340
David Benjamina6022772015-05-30 16:22:10 -0400341void ssl3_read_close_notify(SSL *ssl) {
342 ssl3_read_bytes(ssl, 0, NULL, 0, 0);
343}
344
David Benjamin1d5ef3b2015-10-12 19:54:18 -0400345static int ssl3_can_renegotiate(SSL *ssl) {
346 switch (ssl->renegotiate_mode) {
347 case ssl_renegotiate_never:
348 return 0;
349 case ssl_renegotiate_once:
350 return ssl->s3->total_renegotiations == 0;
351 case ssl_renegotiate_freely:
352 return 1;
Adam Langley27a0d082015-11-03 13:34:10 -0800353 case ssl_renegotiate_ignore:
354 return 1;
David Benjamin1d5ef3b2015-10-12 19:54:18 -0400355 }
356
357 assert(0);
358 return 0;
359}
360
Adam Langley95c29f32014-06-20 12:00:00 -0700361/* Return up to 'len' payload bytes received in 'type' records.
362 * 'type' is one of the following:
363 *
364 * - SSL3_RT_HANDSHAKE (when ssl3_get_message calls us)
David Benjamina41280d2015-11-26 02:16:49 -0500365 * - SSL3_RT_CHANGE_CIPHER_SPEC (when ssl3_read_change_cipher_spec calls us)
366 * - SSL3_RT_APPLICATION_DATA (when ssl3_read_app_data calls us)
Adam Langley95c29f32014-06-20 12:00:00 -0700367 * - 0 (during a shutdown, no data has to be returned)
368 *
369 * If we don't have stored data to work from, read a SSL/TLS record first
370 * (possibly multiple records if we still don't have anything to return).
371 *
372 * This function must handle any surprises the peer may have for us, such as
David Benjamina41280d2015-11-26 02:16:49 -0500373 * Alert records (e.g. close_notify) or renegotiation requests. */
David Benjamin0d56f882015-12-19 17:05:56 -0500374int ssl3_read_bytes(SSL *ssl, int type, uint8_t *buf, int len, int peek) {
David Benjamin86058a22015-02-22 13:07:21 -0500375 int al, i, ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800376 unsigned int n;
377 SSL3_RECORD *rr;
David Benjamin82170242015-10-17 22:51:17 -0400378 void (*cb)(const SSL *ssl, int type, int value) = NULL;
Adam Langley95c29f32014-06-20 12:00:00 -0700379
David Benjamina41280d2015-11-26 02:16:49 -0500380 if ((type && type != SSL3_RT_APPLICATION_DATA && type != SSL3_RT_HANDSHAKE &&
381 type != SSL3_RT_CHANGE_CIPHER_SPEC) ||
Adam Langleyfcf25832014-12-18 17:42:32 -0800382 (peek && type != SSL3_RT_APPLICATION_DATA)) {
David Benjamin3570d732015-06-29 00:28:17 -0400383 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langleyfcf25832014-12-18 17:42:32 -0800384 return -1;
385 }
Adam Langley95c29f32014-06-20 12:00:00 -0700386
Adam Langley95c29f32014-06-20 12:00:00 -0700387start:
David Benjamin0d56f882015-12-19 17:05:56 -0500388 /* ssl->s3->rrec.type - is the type of record
389 * ssl->s3->rrec.data - data
390 * ssl->s3->rrec.off - offset into 'data' for next read
391 * ssl->s3->rrec.length - number of bytes. */
392 rr = &ssl->s3->rrec;
Adam Langley95c29f32014-06-20 12:00:00 -0700393
Adam Langleyfcf25832014-12-18 17:42:32 -0800394 /* get new packet if necessary */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400395 if (rr->length == 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500396 ret = ssl3_get_record(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800397 if (ret <= 0) {
398 return ret;
399 }
400 }
Adam Langley95c29f32014-06-20 12:00:00 -0700401
Adam Langleyfcf25832014-12-18 17:42:32 -0800402 /* we now have a packet which can be read and processed */
Adam Langley95c29f32014-06-20 12:00:00 -0700403
David Benjaminee0b02a2015-08-22 11:35:40 -0400404 if (type != 0 && type == rr->type) {
David Benjamin0d56f882015-12-19 17:05:56 -0500405 ssl->s3->warning_alert_count = 0;
David Benjamin24f346d2015-06-06 03:28:08 -0400406
David Benjamina41280d2015-11-26 02:16:49 -0500407 /* Make sure that we are not getting application data when we are doing a
408 * handshake for the first time. */
David Benjamin0d56f882015-12-19 17:05:56 -0500409 if (SSL_in_init(ssl) && type == SSL3_RT_APPLICATION_DATA &&
David Benjamin79978df2015-12-25 15:56:49 -0500410 ssl->s3->aead_read_ctx == NULL) {
David Benjaminb8a56f12014-12-23 11:41:02 -0500411 /* TODO(davidben): Is this check redundant with the handshake_func
412 * check? */
Adam Langleyfcf25832014-12-18 17:42:32 -0800413 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400414 OPENSSL_PUT_ERROR(SSL, SSL_R_APP_DATA_IN_HANDSHAKE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800415 goto f_err;
416 }
Adam Langley95c29f32014-06-20 12:00:00 -0700417
David Benjamin4cf369b2015-08-22 01:35:43 -0400418 /* Discard empty records. */
419 if (rr->length == 0) {
420 goto start;
421 }
422
Adam Langleyfcf25832014-12-18 17:42:32 -0800423 if (len <= 0) {
424 return len;
425 }
Adam Langley95c29f32014-06-20 12:00:00 -0700426
Adam Langleyfcf25832014-12-18 17:42:32 -0800427 if ((unsigned int)len > rr->length) {
428 n = rr->length;
429 } else {
430 n = (unsigned int)len;
431 }
Adam Langley95c29f32014-06-20 12:00:00 -0700432
David Benjamin7fc01002015-12-06 15:48:22 -0500433 memcpy(buf, rr->data, n);
Adam Langleyfcf25832014-12-18 17:42:32 -0800434 if (!peek) {
435 rr->length -= n;
David Benjamin7fc01002015-12-06 15:48:22 -0500436 rr->data += n;
Adam Langleyfcf25832014-12-18 17:42:32 -0800437 if (rr->length == 0) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400438 /* The record has been consumed, so we may now clear the buffer. */
David Benjamin0d56f882015-12-19 17:05:56 -0500439 ssl_read_buffer_discard(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800440 }
441 }
442
443 return n;
444 }
Adam Langley95c29f32014-06-20 12:00:00 -0700445
David Benjamin44d3eed2015-05-21 01:29:55 -0400446 /* Process unexpected records. */
Alex Chernyakhovsky4cd8c432014-11-01 19:39:08 -0400447
David Benjamina41280d2015-11-26 02:16:49 -0500448 if (type == SSL3_RT_APPLICATION_DATA && rr->type == SSL3_RT_HANDSHAKE) {
David Benjaminb16346b2015-04-08 19:16:58 -0400449 /* If peer renegotiations are disabled, all out-of-order handshake records
David Benjamin44d3eed2015-05-21 01:29:55 -0400450 * are fatal. Renegotiations as a server are never supported. */
David Benjamin0d56f882015-12-19 17:05:56 -0500451 if (ssl->server || !ssl3_can_renegotiate(ssl)) {
David Benjaminb16346b2015-04-08 19:16:58 -0400452 al = SSL_AD_NO_RENEGOTIATION;
David Benjamin3570d732015-06-29 00:28:17 -0400453 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_RENEGOTIATION);
David Benjaminb16346b2015-04-08 19:16:58 -0400454 goto f_err;
455 }
456
David Benjamin8fd5c232015-11-26 01:39:53 -0500457 /* This must be a HelloRequest, possibly fragmented over multiple records.
458 * Consume data from the handshake protocol until it is complete. */
459 static const uint8_t kHelloRequest[] = {SSL3_MT_HELLO_REQUEST, 0, 0, 0};
David Benjamin0d56f882015-12-19 17:05:56 -0500460 while (ssl->s3->hello_request_len < sizeof(kHelloRequest)) {
David Benjamin8fd5c232015-11-26 01:39:53 -0500461 if (rr->length == 0) {
462 /* Get a new record. */
463 goto start;
464 }
David Benjamin0d56f882015-12-19 17:05:56 -0500465 if (rr->data[0] != kHelloRequest[ssl->s3->hello_request_len]) {
David Benjamin8fd5c232015-11-26 01:39:53 -0500466 al = SSL_AD_DECODE_ERROR;
467 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_HELLO_REQUEST);
468 goto f_err;
469 }
David Benjamin7fc01002015-12-06 15:48:22 -0500470 rr->data++;
David Benjamin8fd5c232015-11-26 01:39:53 -0500471 rr->length--;
David Benjamin0d56f882015-12-19 17:05:56 -0500472 ssl->s3->hello_request_len++;
Adam Langleyfcf25832014-12-18 17:42:32 -0800473 }
David Benjamin0d56f882015-12-19 17:05:56 -0500474 ssl->s3->hello_request_len = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700475
David Benjamin0d56f882015-12-19 17:05:56 -0500476 if (ssl->msg_callback) {
477 ssl->msg_callback(0, ssl->version, SSL3_RT_HANDSHAKE, kHelloRequest,
478 sizeof(kHelloRequest), ssl, ssl->msg_callback_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800479 }
Adam Langley95c29f32014-06-20 12:00:00 -0700480
David Benjamin0d56f882015-12-19 17:05:56 -0500481 if (!SSL_is_init_finished(ssl) || !ssl->s3->initial_handshake_complete) {
David Benjamincd90f3a2015-05-21 01:37:55 -0400482 /* This cannot happen. If a handshake is in progress, |type| must be
483 * |SSL3_RT_HANDSHAKE|. */
484 assert(0);
David Benjamin3570d732015-06-29 00:28:17 -0400485 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamincd90f3a2015-05-21 01:37:55 -0400486 goto err;
Adam Langleyfcf25832014-12-18 17:42:32 -0800487 }
David Benjamincd90f3a2015-05-21 01:37:55 -0400488
David Benjamin0d56f882015-12-19 17:05:56 -0500489 if (ssl->renegotiate_mode == ssl_renegotiate_ignore) {
Adam Langley27a0d082015-11-03 13:34:10 -0800490 goto start;
491 }
492
David Benjamincd90f3a2015-05-21 01:37:55 -0400493 /* Renegotiation is only supported at quiescent points in the application
494 * protocol, namely in HTTPS, just before reading the HTTP response. Require
495 * the record-layer be idle and avoid complexities of sending a handshake
496 * record while an application_data record is being written. */
David Benjamin0d56f882015-12-19 17:05:56 -0500497 if (ssl_write_buffer_is_pending(ssl)) {
David Benjamincd90f3a2015-05-21 01:37:55 -0400498 al = SSL_AD_NO_RENEGOTIATION;
David Benjamin3570d732015-06-29 00:28:17 -0400499 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_RENEGOTIATION);
David Benjamincd90f3a2015-05-21 01:37:55 -0400500 goto f_err;
501 }
502
503 /* Begin a new handshake. */
David Benjamin0d56f882015-12-19 17:05:56 -0500504 ssl->s3->total_renegotiations++;
505 ssl->state = SSL_ST_CONNECT;
506 i = ssl->handshake_func(ssl);
David Benjamincd90f3a2015-05-21 01:37:55 -0400507 if (i < 0) {
508 return i;
509 }
510 if (i == 0) {
David Benjamin3570d732015-06-29 00:28:17 -0400511 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
David Benjamincd90f3a2015-05-21 01:37:55 -0400512 return -1;
513 }
514
515 /* The handshake completed synchronously. Continue reading records. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800516 goto start;
517 }
David Benjaminb4188f02014-11-01 03:43:48 -0400518
David Benjamin0d3a8c62016-03-11 22:25:18 -0500519 /* If an alert record, process the alert. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800520 if (rr->type == SSL3_RT_ALERT) {
David Benjamin0d3a8c62016-03-11 22:25:18 -0500521 /* Alerts records may not contain fragmented or multiple alerts. */
522 if (rr->length != 2) {
David Benjamin86058a22015-02-22 13:07:21 -0500523 al = SSL_AD_DECODE_ERROR;
David Benjamin3570d732015-06-29 00:28:17 -0400524 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_ALERT);
David Benjamin86058a22015-02-22 13:07:21 -0500525 goto f_err;
526 }
Adam Langley95c29f32014-06-20 12:00:00 -0700527
David Benjamin0d56f882015-12-19 17:05:56 -0500528 if (ssl->msg_callback) {
529 ssl->msg_callback(0, ssl->version, SSL3_RT_ALERT, rr->data, 2, ssl,
530 ssl->msg_callback_arg);
Adam Langleyfcf25832014-12-18 17:42:32 -0800531 }
David Benjamin7fc01002015-12-06 15:48:22 -0500532 const uint8_t alert_level = rr->data[0];
533 const uint8_t alert_descr = rr->data[1];
David Benjamin86058a22015-02-22 13:07:21 -0500534 rr->length -= 2;
David Benjamin7fc01002015-12-06 15:48:22 -0500535 rr->data += 2;
Adam Langley95c29f32014-06-20 12:00:00 -0700536
David Benjamin0d56f882015-12-19 17:05:56 -0500537 if (ssl->info_callback != NULL) {
538 cb = ssl->info_callback;
539 } else if (ssl->ctx->info_callback != NULL) {
540 cb = ssl->ctx->info_callback;
Adam Langleyfcf25832014-12-18 17:42:32 -0800541 }
Adam Langley95c29f32014-06-20 12:00:00 -0700542
Adam Langleyfcf25832014-12-18 17:42:32 -0800543 if (cb != NULL) {
David Benjamin86058a22015-02-22 13:07:21 -0500544 uint16_t alert = (alert_level << 8) | alert_descr;
David Benjamin0d56f882015-12-19 17:05:56 -0500545 cb(ssl, SSL_CB_READ_ALERT, alert);
Adam Langleyfcf25832014-12-18 17:42:32 -0800546 }
Adam Langley95c29f32014-06-20 12:00:00 -0700547
David Benjamin86058a22015-02-22 13:07:21 -0500548 if (alert_level == SSL3_AL_WARNING) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800549 if (alert_descr == SSL_AD_CLOSE_NOTIFY) {
David Benjamin282511d2016-03-10 00:23:55 -0500550 ssl->s3->clean_shutdown = 1;
David Benjamin0d56f882015-12-19 17:05:56 -0500551 ssl->shutdown |= SSL_RECEIVED_SHUTDOWN;
Adam Langleyfcf25832014-12-18 17:42:32 -0800552 return 0;
553 }
Adam Langley95c29f32014-06-20 12:00:00 -0700554
David Benjamin0d56f882015-12-19 17:05:56 -0500555 ssl->s3->warning_alert_count++;
556 if (ssl->s3->warning_alert_count > kMaxWarningAlerts) {
David Benjamin24f346d2015-06-06 03:28:08 -0400557 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400558 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_WARNING_ALERTS);
David Benjamin24f346d2015-06-06 03:28:08 -0400559 goto f_err;
560 }
David Benjamin86058a22015-02-22 13:07:21 -0500561 } else if (alert_level == SSL3_AL_FATAL) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800562 char tmp[16];
Adam Langley95c29f32014-06-20 12:00:00 -0700563
David Benjamin3570d732015-06-29 00:28:17 -0400564 OPENSSL_PUT_ERROR(SSL, SSL_AD_REASON_OFFSET + alert_descr);
Adam Langleyfcf25832014-12-18 17:42:32 -0800565 BIO_snprintf(tmp, sizeof(tmp), "%d", alert_descr);
566 ERR_add_error_data(2, "SSL alert number ", tmp);
David Benjamin0d56f882015-12-19 17:05:56 -0500567 ssl->shutdown |= SSL_RECEIVED_SHUTDOWN;
568 SSL_CTX_remove_session(ssl->ctx, ssl->session);
Adam Langleyfcf25832014-12-18 17:42:32 -0800569 return 0;
570 } else {
571 al = SSL_AD_ILLEGAL_PARAMETER;
David Benjamin3570d732015-06-29 00:28:17 -0400572 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_ALERT_TYPE);
Adam Langleyfcf25832014-12-18 17:42:32 -0800573 goto f_err;
574 }
Adam Langley95c29f32014-06-20 12:00:00 -0700575
Adam Langleyfcf25832014-12-18 17:42:32 -0800576 goto start;
577 }
Adam Langley95c29f32014-06-20 12:00:00 -0700578
David Benjamin0d56f882015-12-19 17:05:56 -0500579 if (ssl->shutdown & SSL_SENT_SHUTDOWN) {
David Benjaminaa9361b2015-08-29 22:33:16 -0400580 /* close_notify has been sent, so discard all records other than alerts. */
Adam Langleyfcf25832014-12-18 17:42:32 -0800581 rr->length = 0;
David Benjaminaa9361b2015-08-29 22:33:16 -0400582 goto start;
Adam Langleyfcf25832014-12-18 17:42:32 -0800583 }
Adam Langley95c29f32014-06-20 12:00:00 -0700584
David Benjamine820df92015-02-08 16:06:54 -0500585 al = SSL_AD_UNEXPECTED_MESSAGE;
David Benjamin3570d732015-06-29 00:28:17 -0400586 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_RECORD);
Adam Langley95c29f32014-06-20 12:00:00 -0700587
588f_err:
David Benjamin0d56f882015-12-19 17:05:56 -0500589 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
Adam Langley95c29f32014-06-20 12:00:00 -0700590err:
Adam Langleyfcf25832014-12-18 17:42:32 -0800591 return -1;
592}
Adam Langley95c29f32014-06-20 12:00:00 -0700593
David Benjamin0d56f882015-12-19 17:05:56 -0500594int ssl3_send_alert(SSL *ssl, int level, int desc) {
Adam Langleyfcf25832014-12-18 17:42:32 -0800595 /* If a fatal one, remove from cache */
David Benjamin0d56f882015-12-19 17:05:56 -0500596 if (level == 2 && ssl->session != NULL) {
597 SSL_CTX_remove_session(ssl->ctx, ssl->session);
Adam Langleyfcf25832014-12-18 17:42:32 -0800598 }
Adam Langley95c29f32014-06-20 12:00:00 -0700599
David Benjamin0d56f882015-12-19 17:05:56 -0500600 ssl->s3->alert_dispatch = 1;
601 ssl->s3->send_alert[0] = level;
602 ssl->s3->send_alert[1] = desc;
603 if (!ssl_write_buffer_is_pending(ssl)) {
David Benjaminb8d28cf2015-07-28 21:34:45 -0400604 /* Nothing is being written out, so the alert may be dispatched
605 * immediately. */
David Benjamin0d56f882015-12-19 17:05:56 -0500606 return ssl->method->ssl_dispatch_alert(ssl);
Adam Langleyfcf25832014-12-18 17:42:32 -0800607 }
Adam Langley95c29f32014-06-20 12:00:00 -0700608
Adam Langleyfcf25832014-12-18 17:42:32 -0800609 /* else data is still being written out, we will get written some time in the
610 * future */
611 return -1;
612}
Adam Langley95c29f32014-06-20 12:00:00 -0700613
David Benjamin0d56f882015-12-19 17:05:56 -0500614int ssl3_dispatch_alert(SSL *ssl) {
David Benjamin0d56f882015-12-19 17:05:56 -0500615 ssl->s3->alert_dispatch = 0;
David Benjamina8571592016-03-10 01:41:55 -0500616 int ret = do_ssl3_write(ssl, SSL3_RT_ALERT, &ssl->s3->send_alert[0], 2);
617 if (ret <= 0) {
David Benjamin0d56f882015-12-19 17:05:56 -0500618 ssl->s3->alert_dispatch = 1;
David Benjamina8571592016-03-10 01:41:55 -0500619 return ret;
Adam Langleyfcf25832014-12-18 17:42:32 -0800620 }
621
David Benjamina8571592016-03-10 01:41:55 -0500622 /* If the alert is fatal, flush the BIO now. */
623 if (ssl->s3->send_alert[0] == SSL3_AL_FATAL) {
624 BIO_flush(ssl->wbio);
625 }
626
627 if (ssl->msg_callback != NULL) {
628 ssl->msg_callback(1 /* write */, ssl->version, SSL3_RT_ALERT,
629 ssl->s3->send_alert, 2, ssl, ssl->msg_callback_arg);
630 }
631
632 void (*cb)(const SSL *ssl, int type, int value) = NULL;
633 if (ssl->info_callback != NULL) {
634 cb = ssl->info_callback;
635 } else if (ssl->ctx->info_callback != NULL) {
636 cb = ssl->ctx->info_callback;
637 }
638
639 if (cb != NULL) {
640 int alert = (ssl->s3->send_alert[0] << 8) | ssl->s3->send_alert[1];
641 cb(ssl, SSL_CB_WRITE_ALERT, alert);
642 }
643
644 return 1;
Adam Langleyfcf25832014-12-18 17:42:32 -0800645}