blob: 5edc93fe827959f8362f10aad76f6cea996131de [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/*
2 * DTLS implementation written by Nagendra Modadugu
3 * (nagendra@cs.stanford.edu) for the OpenSSL project 2005.
4 */
5/* ====================================================================
6 * Copyright (c) 1998-2005 The OpenSSL Project. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
24 *
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * openssl-core@openssl.org.
29 *
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
33 *
34 * 6. Redistributions of any form whatsoever must retain the following
35 * acknowledgment:
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
38 *
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
52 *
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com).
56 *
57 */
58/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
59 * All rights reserved.
60 *
61 * This package is an SSL implementation written
62 * by Eric Young (eay@cryptsoft.com).
63 * The implementation was written so as to conform with Netscapes SSL.
64 *
65 * This library is free for commercial and non-commercial use as long as
66 * the following conditions are aheared to. The following conditions
67 * apply to all code found in this distribution, be it the RC4, RSA,
68 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
69 * included with this distribution is covered by the same copyright terms
70 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
71 *
72 * Copyright remains Eric Young's, and as such any Copyright notices in
73 * the code are not to be removed.
74 * If this package is used in a product, Eric Young should be given attribution
75 * as the author of the parts of the library used.
76 * This can be in the form of a textual message at program startup or
77 * in documentation (online or textual) provided with the package.
78 *
79 * Redistribution and use in source and binary forms, with or without
80 * modification, are permitted provided that the following conditions
81 * are met:
82 * 1. Redistributions of source code must retain the copyright
83 * notice, this list of conditions and the following disclaimer.
84 * 2. Redistributions in binary form must reproduce the above copyright
85 * notice, this list of conditions and the following disclaimer in the
86 * documentation and/or other materials provided with the distribution.
87 * 3. All advertising materials mentioning features or use of this software
88 * must display the following acknowledgement:
89 * "This product includes cryptographic software written by
90 * Eric Young (eay@cryptsoft.com)"
91 * The word 'cryptographic' can be left out if the rouines from the library
92 * being used are not cryptographic related :-).
93 * 4. If you include any Windows specific code (or a derivative thereof) from
94 * the apps directory (application code) you must include an acknowledgement:
95 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
96 *
97 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
98 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
99 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
100 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
101 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
102 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
103 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
104 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
105 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
106 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
107 * SUCH DAMAGE.
108 *
109 * The licence and distribution terms for any publically available version or
110 * derivative of this code cannot be changed. i.e. this code cannot simply be
111 * copied and put under another distribution licence
112 * [including the GNU Public Licence.] */
113
114#include <assert.h>
115#include <limits.h>
116#include <stdio.h>
117#include <string.h>
118
119#include <openssl/buf.h>
120#include <openssl/err.h>
121#include <openssl/evp.h>
122#include <openssl/mem.h>
123#include <openssl/obj.h>
124#include <openssl/rand.h>
125#include <openssl/x509.h>
126
127#include "ssl_locl.h"
128
129#define RSMBLY_BITMASK_SIZE(msg_len) (((msg_len) + 7) / 8)
130
Adam Langley71d8a082014-12-13 16:28:18 -0800131#define RSMBLY_BITMASK_MARK(bitmask, start, end) \
132 { \
133 if ((end) - (start) <= 8) { \
134 long ii; \
135 for (ii = (start); ii < (end); ii++) \
136 bitmask[((ii) >> 3)] |= (1 << ((ii)&7)); \
137 } else { \
138 long ii; \
139 bitmask[((start) >> 3)] |= bitmask_start_values[((start)&7)]; \
140 for (ii = (((start) >> 3) + 1); ii < ((((end)-1)) >> 3); ii++) \
141 bitmask[ii] = 0xff; \
142 bitmask[(((end)-1) >> 3)] |= bitmask_end_values[((end)&7)]; \
143 } \
144 }
Adam Langley95c29f32014-06-20 12:00:00 -0700145
Adam Langley71d8a082014-12-13 16:28:18 -0800146#define RSMBLY_BITMASK_IS_COMPLETE(bitmask, msg_len, is_complete) \
147 { \
148 long ii; \
149 assert((msg_len) > 0); \
150 is_complete = 1; \
151 if (bitmask[(((msg_len)-1) >> 3)] != bitmask_end_values[((msg_len)&7)]) \
152 is_complete = 0; \
153 if (is_complete) \
154 for (ii = (((msg_len)-1) >> 3) - 1; ii >= 0; ii--) \
155 if (bitmask[ii] != 0xff) { \
156 is_complete = 0; \
157 break; \
158 } \
159 }
Adam Langley95c29f32014-06-20 12:00:00 -0700160
Adam Langley71d8a082014-12-13 16:28:18 -0800161static const uint8_t bitmask_start_values[] = {0xff, 0xfe, 0xfc, 0xf8,
162 0xf0, 0xe0, 0xc0, 0x80};
163static const uint8_t bitmask_end_values[] = {0xff, 0x01, 0x03, 0x07,
164 0x0f, 0x1f, 0x3f, 0x7f};
Adam Langley95c29f32014-06-20 12:00:00 -0700165
David Benjamina18b6712015-01-11 19:31:22 -0500166/* TODO(davidben): 28 comes from the size of IP + UDP header. Is this reasonable
167 * for these values? Notably, why is kMinMTU a function of the transport
168 * protocol's overhead rather than, say, what's needed to hold a minimally-sized
169 * handshake fragment plus protocol overhead. */
Adam Langley95c29f32014-06-20 12:00:00 -0700170
David Benjamina18b6712015-01-11 19:31:22 -0500171/* kMinMTU is the minimum acceptable MTU value. */
172static const unsigned int kMinMTU = 256 - 28;
173
174/* kDefaultMTU is the default MTU value to use if neither the user nor
175 * the underlying BIO supplies one. */
176static const unsigned int kDefaultMTU = 1500 - 28;
177
Adam Langley71d8a082014-12-13 16:28:18 -0800178static void dtls1_fix_message_header(SSL *s, unsigned long frag_off,
179 unsigned long frag_len);
180static unsigned char *dtls1_write_message_header(SSL *s, unsigned char *p);
Adam Langley71d8a082014-12-13 16:28:18 -0800181static long dtls1_get_message_fragment(SSL *s, int stn, long max, int *ok);
Adam Langley95c29f32014-06-20 12:00:00 -0700182
Adam Langley71d8a082014-12-13 16:28:18 -0800183static hm_fragment *dtls1_hm_fragment_new(unsigned long frag_len,
184 int reassembly) {
185 hm_fragment *frag = NULL;
186 unsigned char *buf = NULL;
187 unsigned char *bitmask = NULL;
Adam Langley95c29f32014-06-20 12:00:00 -0700188
Adam Langley71d8a082014-12-13 16:28:18 -0800189 frag = (hm_fragment *)OPENSSL_malloc(sizeof(hm_fragment));
190 if (frag == NULL) {
191 return NULL;
192 }
Adam Langley95c29f32014-06-20 12:00:00 -0700193
Adam Langley71d8a082014-12-13 16:28:18 -0800194 if (frag_len) {
195 buf = (unsigned char *)OPENSSL_malloc(frag_len);
196 if (buf == NULL) {
197 OPENSSL_free(frag);
198 return NULL;
199 }
200 }
Adam Langley95c29f32014-06-20 12:00:00 -0700201
Adam Langley71d8a082014-12-13 16:28:18 -0800202 /* zero length fragment gets zero frag->fragment */
203 frag->fragment = buf;
Adam Langley95c29f32014-06-20 12:00:00 -0700204
Adam Langley71d8a082014-12-13 16:28:18 -0800205 /* Initialize reassembly bitmask if necessary */
206 if (reassembly) {
207 bitmask = (unsigned char *)OPENSSL_malloc(RSMBLY_BITMASK_SIZE(frag_len));
208 if (bitmask == NULL) {
209 if (buf != NULL) {
210 OPENSSL_free(buf);
211 }
212 OPENSSL_free(frag);
213 return NULL;
214 }
215 memset(bitmask, 0, RSMBLY_BITMASK_SIZE(frag_len));
216 }
Adam Langley95c29f32014-06-20 12:00:00 -0700217
Adam Langley71d8a082014-12-13 16:28:18 -0800218 frag->reassembly = bitmask;
Adam Langley95c29f32014-06-20 12:00:00 -0700219
Adam Langley71d8a082014-12-13 16:28:18 -0800220 return frag;
221}
Adam Langley95c29f32014-06-20 12:00:00 -0700222
Adam Langley71d8a082014-12-13 16:28:18 -0800223void dtls1_hm_fragment_free(hm_fragment *frag) {
224 if (frag->msg_header.is_ccs) {
David Benjamine95d20d2014-12-23 11:16:01 -0500225 /* TODO(davidben): Simplify aead_write_ctx ownership, probably by just
226 * forbidding DTLS renego. */
227 SSL_AEAD_CTX *aead_write_ctx =
228 frag->msg_header.saved_retransmit_state.aead_write_ctx;
229 if (aead_write_ctx) {
230 EVP_AEAD_CTX_cleanup(&aead_write_ctx->ctx);
231 OPENSSL_free(aead_write_ctx);
232 }
Adam Langley71d8a082014-12-13 16:28:18 -0800233 }
234 if (frag->fragment) {
235 OPENSSL_free(frag->fragment);
236 }
237 if (frag->reassembly) {
238 OPENSSL_free(frag->reassembly);
239 }
240 OPENSSL_free(frag);
241}
Adam Langley95c29f32014-06-20 12:00:00 -0700242
Adam Langley71d8a082014-12-13 16:28:18 -0800243/* send s->init_buf in records of type 'type' (SSL3_RT_HANDSHAKE or
244 * SSL3_RT_CHANGE_CIPHER_SPEC) */
David Benjamine4824e82014-12-14 19:44:34 -0500245int dtls1_do_write(SSL *s, int type) {
Adam Langley71d8a082014-12-13 16:28:18 -0800246 int ret;
247 int curr_mtu;
David Benjamine95d20d2014-12-23 11:16:01 -0500248 unsigned int len, frag_off;
249 size_t max_overhead = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700250
Adam Langley71d8a082014-12-13 16:28:18 -0800251 /* AHA! Figure out the MTU, and stick to the right size */
252 if (s->d1->mtu < dtls1_min_mtu() &&
253 !(SSL_get_options(s) & SSL_OP_NO_QUERY_MTU)) {
David Benjamin80cee912015-01-11 19:36:58 -0500254 long mtu = BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_QUERY_MTU, 0, NULL);
255 if (mtu >= 0 && mtu <= (1 << 30) && (unsigned)mtu >= dtls1_min_mtu()) {
256 s->d1->mtu = (unsigned)mtu;
257 } else {
David Benjamina18b6712015-01-11 19:31:22 -0500258 s->d1->mtu = kDefaultMTU;
Adam Langley71d8a082014-12-13 16:28:18 -0800259 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SET_MTU, s->d1->mtu, NULL);
260 }
261 }
Adam Langley95c29f32014-06-20 12:00:00 -0700262
Adam Langley71d8a082014-12-13 16:28:18 -0800263 /* should have something reasonable now */
264 assert(s->d1->mtu >= dtls1_min_mtu());
Adam Langley95c29f32014-06-20 12:00:00 -0700265
Adam Langley71d8a082014-12-13 16:28:18 -0800266 if (s->init_off == 0 && type == SSL3_RT_HANDSHAKE) {
267 assert(s->init_num ==
268 (int)s->d1->w_msg_hdr.msg_len + DTLS1_HM_HEADER_LENGTH);
269 }
Adam Langley95c29f32014-06-20 12:00:00 -0700270
David Benjamine95d20d2014-12-23 11:16:01 -0500271 /* Determine the maximum overhead of the current cipher. */
272 if (s->aead_write_ctx != NULL) {
273 max_overhead = EVP_AEAD_max_overhead(s->aead_write_ctx->ctx.aead);
274 if (s->aead_write_ctx->variable_nonce_included_in_record) {
275 max_overhead += s->aead_write_ctx->variable_nonce_len;
276 }
Adam Langley71d8a082014-12-13 16:28:18 -0800277 }
Adam Langley95c29f32014-06-20 12:00:00 -0700278
Adam Langley71d8a082014-12-13 16:28:18 -0800279 frag_off = 0;
280 while (s->init_num) {
David Benjamin17a5f852015-01-11 19:46:52 -0500281 /* Account for data in the buffering BIO; multiple records may be packed
282 * into a single packet during the handshake.
283 *
284 * TODO(davidben): This is buggy; if the MTU is larger than the buffer size,
285 * the large record will be split across two packets. Moreover, in that
286 * case, the |dtls1_write_bytes| call may not return synchronously. This
287 * will break on retry as the |s->init_off| and |s->init_num| adjustment
288 * will run a second time. */
Adam Langley71d8a082014-12-13 16:28:18 -0800289 curr_mtu = s->d1->mtu - BIO_wpending(SSL_get_wbio(s)) -
David Benjamine95d20d2014-12-23 11:16:01 -0500290 DTLS1_RT_HEADER_LENGTH - max_overhead;
Adam Langley95c29f32014-06-20 12:00:00 -0700291
Adam Langley71d8a082014-12-13 16:28:18 -0800292 if (curr_mtu <= DTLS1_HM_HEADER_LENGTH) {
David Benjamin17a5f852015-01-11 19:46:52 -0500293 /* Flush the buffer and continue with a fresh packet.
294 *
295 * TODO(davidben): If |BIO_flush| is not synchronous and requires multiple
296 * calls to |dtls1_do_write|, |frag_off| will be wrong. */
Adam Langley71d8a082014-12-13 16:28:18 -0800297 ret = BIO_flush(SSL_get_wbio(s));
298 if (ret <= 0) {
299 return ret;
300 }
David Benjamin17a5f852015-01-11 19:46:52 -0500301 assert(BIO_wpending(SSL_get_wbio(s)) == 0);
David Benjamine95d20d2014-12-23 11:16:01 -0500302 curr_mtu = s->d1->mtu - DTLS1_RT_HEADER_LENGTH - max_overhead;
Adam Langley71d8a082014-12-13 16:28:18 -0800303 }
Adam Langley95c29f32014-06-20 12:00:00 -0700304
Adam Langley71d8a082014-12-13 16:28:18 -0800305 /* XDTLS: this function is too long. split out the CCS part */
306 if (type == SSL3_RT_HANDSHAKE) {
David Benjamin5a3cc032015-01-11 19:25:32 -0500307 /* If this isn't the first fragment, reserve space to prepend a new
308 * fragment header. This will override the body of a previous fragment. */
Adam Langley71d8a082014-12-13 16:28:18 -0800309 if (s->init_off != 0) {
310 assert(s->init_off > DTLS1_HM_HEADER_LENGTH);
311 s->init_off -= DTLS1_HM_HEADER_LENGTH;
312 s->init_num += DTLS1_HM_HEADER_LENGTH;
Adam Langley71d8a082014-12-13 16:28:18 -0800313 }
Adam Langley95c29f32014-06-20 12:00:00 -0700314
David Benjamind9778fb2015-01-11 17:24:51 -0500315 if (curr_mtu <= DTLS1_HM_HEADER_LENGTH) {
316 /* To make forward progress, the MTU must, at minimum, fit the handshake
317 * header and one byte of handshake body. */
318 OPENSSL_PUT_ERROR(SSL, dtls1_do_write, SSL_R_MTU_TOO_SMALL);
319 return -1;
320 }
Adam Langley95c29f32014-06-20 12:00:00 -0700321
David Benjamind9778fb2015-01-11 17:24:51 -0500322 if (s->init_num > curr_mtu) {
323 len = curr_mtu;
324 } else {
325 len = s->init_num;
326 }
327 assert(len >= DTLS1_HM_HEADER_LENGTH);
328
329 dtls1_fix_message_header(s, frag_off, len - DTLS1_HM_HEADER_LENGTH);
Adam Langley71d8a082014-12-13 16:28:18 -0800330 dtls1_write_message_header(
331 s, (uint8_t *)&s->init_buf->data[s->init_off]);
David Benjamind9778fb2015-01-11 17:24:51 -0500332 } else {
333 assert(type == SSL3_RT_CHANGE_CIPHER_SPEC);
334 /* ChangeCipherSpec cannot be fragmented. */
335 if (s->init_num > curr_mtu) {
336 OPENSSL_PUT_ERROR(SSL, dtls1_do_write, SSL_R_MTU_TOO_SMALL);
337 return -1;
338 }
339 len = s->init_num;
Adam Langley71d8a082014-12-13 16:28:18 -0800340 }
Adam Langley95c29f32014-06-20 12:00:00 -0700341
Adam Langley71d8a082014-12-13 16:28:18 -0800342 ret = dtls1_write_bytes(s, type, &s->init_buf->data[s->init_off], len);
343 if (ret < 0) {
David Benjamin5a3cc032015-01-11 19:25:32 -0500344 return -1;
Adam Langley71d8a082014-12-13 16:28:18 -0800345 }
David Benjamin5a3cc032015-01-11 19:25:32 -0500346
347 /* bad if this assert fails, only part of the handshake message got sent.
348 * But why would this happen? */
349 assert(len == (unsigned int)ret);
350
351 if (ret == s->init_num) {
352 if (s->msg_callback) {
353 s->msg_callback(1, s->version, type, s->init_buf->data,
354 (size_t)(s->init_off + s->init_num), s,
355 s->msg_callback_arg);
356 }
357
358 s->init_off = 0; /* done writing this message */
359 s->init_num = 0;
360
361 return 1;
362 }
363 s->init_off += ret;
364 s->init_num -= ret;
365 frag_off += (ret -= DTLS1_HM_HEADER_LENGTH);
Adam Langley71d8a082014-12-13 16:28:18 -0800366 }
367
368 return 0;
369}
Adam Langley95c29f32014-06-20 12:00:00 -0700370
371
Adam Langley71d8a082014-12-13 16:28:18 -0800372/* Obtain handshake message of message type 'mt' (any if mt == -1), maximum
373 * acceptable body length 'max'. Read an entire handshake message. Handshake
374 * messages arrive in fragments. */
375long dtls1_get_message(SSL *s, int st1, int stn, int mt, long max,
376 int hash_message, int *ok) {
377 int i, al;
378 struct hm_header_st *msg_hdr;
379 uint8_t *p;
380 unsigned long msg_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700381
Adam Langley71d8a082014-12-13 16:28:18 -0800382 /* s3->tmp is used to store messages that are unexpected, caused
383 * by the absence of an optional handshake message */
384 if (s->s3->tmp.reuse_message) {
385 /* A SSL_GET_MESSAGE_DONT_HASH_MESSAGE call cannot be combined
386 * with reuse_message; the SSL_GET_MESSAGE_DONT_HASH_MESSAGE
387 * would have to have been applied to the previous call. */
388 assert(hash_message != SSL_GET_MESSAGE_DONT_HASH_MESSAGE);
389 s->s3->tmp.reuse_message = 0;
390 if (mt >= 0 && s->s3->tmp.message_type != mt) {
391 al = SSL_AD_UNEXPECTED_MESSAGE;
392 OPENSSL_PUT_ERROR(SSL, dtls1_get_message, SSL_R_UNEXPECTED_MESSAGE);
393 goto f_err;
394 }
395 *ok = 1;
396 s->init_msg = (uint8_t *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
397 s->init_num = (int)s->s3->tmp.message_size;
398 return s->init_num;
399 }
Adam Langley95c29f32014-06-20 12:00:00 -0700400
Adam Langley71d8a082014-12-13 16:28:18 -0800401 msg_hdr = &s->d1->r_msg_hdr;
402 memset(msg_hdr, 0x00, sizeof(struct hm_header_st));
Adam Langley95c29f32014-06-20 12:00:00 -0700403
404again:
Adam Langley71d8a082014-12-13 16:28:18 -0800405 i = dtls1_get_message_fragment(s, stn, max, ok);
406 if (i == DTLS1_HM_BAD_FRAGMENT ||
407 i == DTLS1_HM_FRAGMENT_RETRY) {
408 /* bad fragment received */
409 goto again;
410 } else if (i <= 0 && !*ok) {
411 return i;
412 }
Adam Langley95c29f32014-06-20 12:00:00 -0700413
Adam Langley71d8a082014-12-13 16:28:18 -0800414 p = (uint8_t *)s->init_buf->data;
415 msg_len = msg_hdr->msg_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700416
Adam Langley71d8a082014-12-13 16:28:18 -0800417 /* reconstruct message header */
418 *(p++) = msg_hdr->type;
419 l2n3(msg_len, p);
420 s2n(msg_hdr->seq, p);
421 l2n3(0, p);
422 l2n3(msg_len, p);
423 p -= DTLS1_HM_HEADER_LENGTH;
424 msg_len += DTLS1_HM_HEADER_LENGTH;
Adam Langley95c29f32014-06-20 12:00:00 -0700425
Adam Langley71d8a082014-12-13 16:28:18 -0800426 s->init_msg = (uint8_t *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
David Benjamin590cbe92014-08-25 21:34:56 -0400427
Adam Langley71d8a082014-12-13 16:28:18 -0800428 if (hash_message != SSL_GET_MESSAGE_DONT_HASH_MESSAGE) {
429 ssl3_hash_current_message(s);
430 }
431 if (s->msg_callback) {
432 s->msg_callback(0, s->version, SSL3_RT_HANDSHAKE, p, msg_len, s,
433 s->msg_callback_arg);
434 }
Adam Langley95c29f32014-06-20 12:00:00 -0700435
Adam Langley71d8a082014-12-13 16:28:18 -0800436 memset(msg_hdr, 0x00, sizeof(struct hm_header_st));
Adam Langley95c29f32014-06-20 12:00:00 -0700437
Adam Langley71d8a082014-12-13 16:28:18 -0800438 s->d1->handshake_read_seq++;
Adam Langley95c29f32014-06-20 12:00:00 -0700439
Adam Langley71d8a082014-12-13 16:28:18 -0800440 return s->init_num;
Adam Langley95c29f32014-06-20 12:00:00 -0700441
442f_err:
Adam Langley71d8a082014-12-13 16:28:18 -0800443 ssl3_send_alert(s, SSL3_AL_FATAL, al);
444 *ok = 0;
445 return -1;
446}
447
448static int dtls1_preprocess_fragment(SSL *s, struct hm_header_st *msg_hdr,
449 int max) {
450 size_t frag_off, frag_len, msg_len;
451
452 msg_len = msg_hdr->msg_len;
453 frag_off = msg_hdr->frag_off;
454 frag_len = msg_hdr->frag_len;
455
456 /* sanity checking */
457 if ((frag_off + frag_len) > msg_len) {
458 OPENSSL_PUT_ERROR(SSL, dtls1_preprocess_fragment,
459 SSL_R_EXCESSIVE_MESSAGE_SIZE);
460 return SSL_AD_ILLEGAL_PARAMETER;
461 }
462
463 if ((frag_off + frag_len) > (unsigned long)max) {
464 OPENSSL_PUT_ERROR(SSL, dtls1_preprocess_fragment,
465 SSL_R_EXCESSIVE_MESSAGE_SIZE);
466 return SSL_AD_ILLEGAL_PARAMETER;
467 }
468
469 if (s->d1->r_msg_hdr.frag_off == 0) {
470 /* first fragment */
471 /* msg_len is limited to 2^24, but is effectively checked
472 * against max above */
473 if (!BUF_MEM_grow_clean(s->init_buf, msg_len + DTLS1_HM_HEADER_LENGTH)) {
474 OPENSSL_PUT_ERROR(SSL, dtls1_preprocess_fragment, ERR_R_BUF_LIB);
475 return SSL_AD_INTERNAL_ERROR;
476 }
477
478 s->s3->tmp.message_size = msg_len;
479 s->d1->r_msg_hdr.msg_len = msg_len;
480 s->s3->tmp.message_type = msg_hdr->type;
481 s->d1->r_msg_hdr.type = msg_hdr->type;
482 s->d1->r_msg_hdr.seq = msg_hdr->seq;
483 } else if (msg_len != s->d1->r_msg_hdr.msg_len) {
484 /* They must be playing with us! BTW, failure to enforce
485 * upper limit would open possibility for buffer overrun. */
486 OPENSSL_PUT_ERROR(SSL, dtls1_preprocess_fragment,
487 SSL_R_EXCESSIVE_MESSAGE_SIZE);
488 return SSL_AD_ILLEGAL_PARAMETER;
489 }
490
491 return 0; /* no error */
492}
Adam Langley95c29f32014-06-20 12:00:00 -0700493
494
Adam Langley71d8a082014-12-13 16:28:18 -0800495static int dtls1_retrieve_buffered_fragment(SSL *s, long max, int *ok) {
496 /* (0) check whether the desired fragment is available
497 * if so:
498 * (1) copy over the fragment to s->init_buf->data[]
499 * (2) update s->init_num */
500 pitem *item;
501 hm_fragment *frag;
502 int al;
503 unsigned long frag_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700504
Adam Langley71d8a082014-12-13 16:28:18 -0800505 *ok = 0;
506 item = pqueue_peek(s->d1->buffered_messages);
507 if (item == NULL) {
508 return 0;
509 }
Adam Langley95c29f32014-06-20 12:00:00 -0700510
Adam Langley71d8a082014-12-13 16:28:18 -0800511 frag = (hm_fragment *)item->data;
Adam Langley95c29f32014-06-20 12:00:00 -0700512
Adam Langley71d8a082014-12-13 16:28:18 -0800513 /* Don't return if reassembly still in progress */
514 if (frag->reassembly != NULL) {
515 return 0;
516 }
Adam Langley95c29f32014-06-20 12:00:00 -0700517
Adam Langley71d8a082014-12-13 16:28:18 -0800518 if (s->d1->handshake_read_seq != frag->msg_header.seq) {
519 return 0;
520 }
Adam Langley95c29f32014-06-20 12:00:00 -0700521
Adam Langley71d8a082014-12-13 16:28:18 -0800522 frag_len = frag->msg_header.frag_len;
523 pqueue_pop(s->d1->buffered_messages);
Adam Langley95c29f32014-06-20 12:00:00 -0700524
Adam Langley71d8a082014-12-13 16:28:18 -0800525 al = dtls1_preprocess_fragment(s, &frag->msg_header, max);
Adam Langley95c29f32014-06-20 12:00:00 -0700526
Adam Langley71d8a082014-12-13 16:28:18 -0800527 if (al == 0) {
528 /* no alert */
529 uint8_t *p = (uint8_t *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
530 memcpy(&p[frag->msg_header.frag_off], frag->fragment,
531 frag->msg_header.frag_len);
532 }
Adam Langley95c29f32014-06-20 12:00:00 -0700533
Adam Langley71d8a082014-12-13 16:28:18 -0800534 dtls1_hm_fragment_free(frag);
535 pitem_free(item);
Adam Langley95c29f32014-06-20 12:00:00 -0700536
Adam Langley71d8a082014-12-13 16:28:18 -0800537 if (al == 0) {
538 *ok = 1;
539 return frag_len;
540 }
Adam Langley95c29f32014-06-20 12:00:00 -0700541
Adam Langley71d8a082014-12-13 16:28:18 -0800542 ssl3_send_alert(s, SSL3_AL_FATAL, al);
543 s->init_num = 0;
544 *ok = 0;
545 return -1;
546}
Adam Langley95c29f32014-06-20 12:00:00 -0700547
Matt Caswell2306fe52014-06-06 14:25:52 -0700548/* dtls1_max_handshake_message_len returns the maximum number of bytes
549 * permitted in a DTLS handshake message for |s|. The minimum is 16KB, but may
550 * be greater if the maximum certificate list size requires it. */
Adam Langley71d8a082014-12-13 16:28:18 -0800551static unsigned long dtls1_max_handshake_message_len(const SSL *s) {
552 unsigned long max_len = DTLS1_HM_HEADER_LENGTH + SSL3_RT_MAX_ENCRYPTED_LENGTH;
553 if (max_len < (unsigned long)s->max_cert_list) {
554 return s->max_cert_list;
555 }
556 return max_len;
557}
Adam Langley95c29f32014-06-20 12:00:00 -0700558
Adam Langley71d8a082014-12-13 16:28:18 -0800559static int dtls1_reassemble_fragment(SSL *s, const struct hm_header_st *msg_hdr,
560 int *ok) {
561 hm_fragment *frag = NULL;
562 pitem *item = NULL;
563 int i = -1, is_complete;
564 uint8_t seq64be[8];
565 unsigned long frag_len = msg_hdr->frag_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700566
Adam Langley71d8a082014-12-13 16:28:18 -0800567 if ((msg_hdr->frag_off + frag_len) > msg_hdr->msg_len ||
568 msg_hdr->msg_len > dtls1_max_handshake_message_len(s)) {
569 goto err;
570 }
Adam Langley95c29f32014-06-20 12:00:00 -0700571
Adam Langley71d8a082014-12-13 16:28:18 -0800572 if (frag_len == 0) {
573 return DTLS1_HM_FRAGMENT_RETRY;
574 }
Adam Langleye951ff42014-06-06 14:30:33 -0700575
Adam Langley71d8a082014-12-13 16:28:18 -0800576 /* Try to find item in queue */
577 memset(seq64be, 0, sizeof(seq64be));
578 seq64be[6] = (uint8_t)(msg_hdr->seq >> 8);
579 seq64be[7] = (uint8_t)msg_hdr->seq;
580 item = pqueue_find(s->d1->buffered_messages, seq64be);
Adam Langley95c29f32014-06-20 12:00:00 -0700581
Adam Langley71d8a082014-12-13 16:28:18 -0800582 if (item == NULL) {
583 frag = dtls1_hm_fragment_new(msg_hdr->msg_len, 1);
584 if (frag == NULL) {
585 goto err;
586 }
587 memcpy(&(frag->msg_header), msg_hdr, sizeof(*msg_hdr));
588 frag->msg_header.frag_len = frag->msg_header.msg_len;
589 frag->msg_header.frag_off = 0;
590 } else {
591 frag = (hm_fragment *)item->data;
592 if (frag->msg_header.msg_len != msg_hdr->msg_len) {
593 item = NULL;
594 frag = NULL;
595 goto err;
596 }
597 }
Adam Langleybed22142014-06-20 12:00:00 -0700598
Adam Langley71d8a082014-12-13 16:28:18 -0800599 /* If message is already reassembled, this must be a
600 * retransmit and can be dropped. In this case item != NULL and so frag
601 * does not need to be freed. */
602 if (frag->reassembly == NULL) {
603 uint8_t devnull[256];
Adam Langley95c29f32014-06-20 12:00:00 -0700604
Adam Langley71d8a082014-12-13 16:28:18 -0800605 assert(item != NULL);
606 while (frag_len) {
607 i = s->method->ssl_read_bytes(
608 s, SSL3_RT_HANDSHAKE, devnull,
609 frag_len > sizeof(devnull) ? sizeof(devnull) : frag_len, 0);
610 if (i <= 0) {
611 goto err;
612 }
613 frag_len -= i;
614 }
615 return DTLS1_HM_FRAGMENT_RETRY;
616 }
Adam Langley95c29f32014-06-20 12:00:00 -0700617
Adam Langley71d8a082014-12-13 16:28:18 -0800618 /* read the body of the fragment (header has already been read */
619 i = s->method->ssl_read_bytes(
620 s, SSL3_RT_HANDSHAKE, frag->fragment + msg_hdr->frag_off, frag_len, 0);
621 if ((unsigned long)i != frag_len) {
622 i = -1;
623 }
624 if (i <= 0) {
625 goto err;
626 }
Adam Langley95c29f32014-06-20 12:00:00 -0700627
Adam Langley71d8a082014-12-13 16:28:18 -0800628 RSMBLY_BITMASK_MARK(frag->reassembly, (long)msg_hdr->frag_off,
629 (long)(msg_hdr->frag_off + frag_len));
Adam Langley95c29f32014-06-20 12:00:00 -0700630
Adam Langley71d8a082014-12-13 16:28:18 -0800631 RSMBLY_BITMASK_IS_COMPLETE(frag->reassembly, (long)msg_hdr->msg_len,
632 is_complete);
Adam Langley95c29f32014-06-20 12:00:00 -0700633
Adam Langley71d8a082014-12-13 16:28:18 -0800634 if (is_complete) {
635 OPENSSL_free(frag->reassembly);
636 frag->reassembly = NULL;
637 }
Adam Langley95c29f32014-06-20 12:00:00 -0700638
Adam Langley71d8a082014-12-13 16:28:18 -0800639 if (item == NULL) {
640 item = pitem_new(seq64be, frag);
641 if (item == NULL) {
642 i = -1;
643 goto err;
644 }
Adam Langley95c29f32014-06-20 12:00:00 -0700645
Adam Langley71d8a082014-12-13 16:28:18 -0800646 item = pqueue_insert(s->d1->buffered_messages, item);
647 /* pqueue_insert fails iff a duplicate item is inserted.
648 * However, |item| cannot be a duplicate. If it were,
649 * |pqueue_find|, above, would have returned it and control
650 * would never have reached this branch. */
651 assert(item != NULL);
652 }
Adam Langley95c29f32014-06-20 12:00:00 -0700653
Adam Langley71d8a082014-12-13 16:28:18 -0800654 return DTLS1_HM_FRAGMENT_RETRY;
Adam Langley95c29f32014-06-20 12:00:00 -0700655
656err:
Adam Langley71d8a082014-12-13 16:28:18 -0800657 if (frag != NULL && item == NULL) {
658 dtls1_hm_fragment_free(frag);
659 }
660 *ok = 0;
661 return i;
662}
Adam Langley95c29f32014-06-20 12:00:00 -0700663
Adam Langley71d8a082014-12-13 16:28:18 -0800664static int dtls1_process_out_of_seq_message(SSL *s,
665 const struct hm_header_st *msg_hdr,
666 int *ok) {
667 int i = -1;
668 hm_fragment *frag = NULL;
669 pitem *item = NULL;
670 uint8_t seq64be[8];
671 unsigned long frag_len = msg_hdr->frag_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700672
Adam Langley71d8a082014-12-13 16:28:18 -0800673 if ((msg_hdr->frag_off + frag_len) > msg_hdr->msg_len) {
674 goto err;
675 }
Adam Langley95c29f32014-06-20 12:00:00 -0700676
Adam Langley71d8a082014-12-13 16:28:18 -0800677 /* Try to find item in queue, to prevent duplicate entries */
678 memset(seq64be, 0, sizeof(seq64be));
679 seq64be[6] = (uint8_t)(msg_hdr->seq >> 8);
680 seq64be[7] = (uint8_t)msg_hdr->seq;
681 item = pqueue_find(s->d1->buffered_messages, seq64be);
Adam Langley95c29f32014-06-20 12:00:00 -0700682
Adam Langley71d8a082014-12-13 16:28:18 -0800683 /* If we already have an entry and this one is a fragment,
684 * don't discard it and rather try to reassemble it. */
685 if (item != NULL && frag_len != msg_hdr->msg_len) {
686 item = NULL;
687 }
Adam Langley95c29f32014-06-20 12:00:00 -0700688
Adam Langley71d8a082014-12-13 16:28:18 -0800689 /* Discard the message if sequence number was already there, is
690 * too far in the future, already in the queue or if we received
691 * a FINISHED before the SERVER_HELLO, which then must be a stale
692 * retransmit. */
693 if (msg_hdr->seq <= s->d1->handshake_read_seq ||
694 msg_hdr->seq > s->d1->handshake_read_seq + 10 || item != NULL ||
695 (s->d1->handshake_read_seq == 0 && msg_hdr->type == SSL3_MT_FINISHED)) {
696 uint8_t devnull[256];
Adam Langley95c29f32014-06-20 12:00:00 -0700697
Adam Langley71d8a082014-12-13 16:28:18 -0800698 while (frag_len) {
699 i = s->method->ssl_read_bytes(
700 s, SSL3_RT_HANDSHAKE, devnull,
701 frag_len > sizeof(devnull) ? sizeof(devnull) : frag_len, 0);
702 if (i <= 0) {
703 goto err;
704 }
705 frag_len -= i;
706 }
707 } else {
708 if (frag_len != msg_hdr->msg_len) {
709 return dtls1_reassemble_fragment(s, msg_hdr, ok);
710 }
Adam Langley95c29f32014-06-20 12:00:00 -0700711
Adam Langley71d8a082014-12-13 16:28:18 -0800712 if (frag_len > dtls1_max_handshake_message_len(s)) {
713 goto err;
714 }
Adam Langley95c29f32014-06-20 12:00:00 -0700715
Adam Langley71d8a082014-12-13 16:28:18 -0800716 frag = dtls1_hm_fragment_new(frag_len, 0);
717 if (frag == NULL) {
718 goto err;
719 }
Matt Caswell2306fe52014-06-06 14:25:52 -0700720
Adam Langley71d8a082014-12-13 16:28:18 -0800721 memcpy(&(frag->msg_header), msg_hdr, sizeof(*msg_hdr));
Adam Langley95c29f32014-06-20 12:00:00 -0700722
Adam Langley71d8a082014-12-13 16:28:18 -0800723 if (frag_len) {
724 /* read the body of the fragment (header has already been read */
725 i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, frag->fragment,
726 frag_len, 0);
727 if ((unsigned long)i != frag_len) {
728 i = -1;
729 }
730 if (i <= 0) {
731 goto err;
732 }
733 }
Adam Langley95c29f32014-06-20 12:00:00 -0700734
Adam Langley71d8a082014-12-13 16:28:18 -0800735 item = pitem_new(seq64be, frag);
736 if (item == NULL) {
737 goto err;
738 }
Adam Langley95c29f32014-06-20 12:00:00 -0700739
Adam Langley71d8a082014-12-13 16:28:18 -0800740 item = pqueue_insert(s->d1->buffered_messages, item);
741 /* pqueue_insert fails iff a duplicate item is inserted.
742 * However, |item| cannot be a duplicate. If it were,
743 * |pqueue_find|, above, would have returned it. Then, either
744 * |frag_len| != |msg_hdr->msg_len| in which case |item| is set
745 * to NULL and it will have been processed with
746 * |dtls1_reassemble_fragment|, above, or the record will have
747 * been discarded. */
748 assert(item != NULL);
749 }
Adam Langley95c29f32014-06-20 12:00:00 -0700750
Adam Langley71d8a082014-12-13 16:28:18 -0800751 return DTLS1_HM_FRAGMENT_RETRY;
Adam Langley95c29f32014-06-20 12:00:00 -0700752
753err:
Adam Langley71d8a082014-12-13 16:28:18 -0800754 if (frag != NULL && item == NULL) {
755 dtls1_hm_fragment_free(frag);
756 }
757 *ok = 0;
758 return i;
759}
Adam Langley95c29f32014-06-20 12:00:00 -0700760
761
Adam Langley71d8a082014-12-13 16:28:18 -0800762static long dtls1_get_message_fragment(SSL *s, int stn, long max, int *ok) {
763 uint8_t wire[DTLS1_HM_HEADER_LENGTH];
764 unsigned long len, frag_off, frag_len;
765 int i, al;
766 struct hm_header_st msg_hdr;
Adam Langley95c29f32014-06-20 12:00:00 -0700767
Adam Langley71d8a082014-12-13 16:28:18 -0800768redo:
769 /* see if we have the required fragment already */
770 if ((frag_len = dtls1_retrieve_buffered_fragment(s, max, ok)) || *ok) {
771 if (*ok) {
772 s->init_num = frag_len;
773 }
774 return frag_len;
775 }
Adam Langley95c29f32014-06-20 12:00:00 -0700776
Adam Langley71d8a082014-12-13 16:28:18 -0800777 /* read handshake message header */
778 i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, wire,
779 DTLS1_HM_HEADER_LENGTH, 0);
780 if (i <= 0) {
781 /* nbio, or an error */
782 s->rwstate = SSL_READING;
783 *ok = 0;
784 return i;
785 }
Adam Langley95c29f32014-06-20 12:00:00 -0700786
Adam Langley71d8a082014-12-13 16:28:18 -0800787 /* Handshake fails if message header is incomplete */
788 if (i != DTLS1_HM_HEADER_LENGTH) {
789 al = SSL_AD_UNEXPECTED_MESSAGE;
790 OPENSSL_PUT_ERROR(SSL, dtls1_get_message_fragment,
791 SSL_R_UNEXPECTED_MESSAGE);
792 goto f_err;
793 }
Adam Langley95c29f32014-06-20 12:00:00 -0700794
Adam Langley71d8a082014-12-13 16:28:18 -0800795 /* parse the message fragment header */
796 dtls1_get_message_header(wire, &msg_hdr);
Adam Langley95c29f32014-06-20 12:00:00 -0700797
Adam Langley71d8a082014-12-13 16:28:18 -0800798 /* if this is a future (or stale) message it gets buffered
799 * (or dropped)--no further processing at this time. */
800 if (msg_hdr.seq != s->d1->handshake_read_seq) {
801 return dtls1_process_out_of_seq_message(s, &msg_hdr, ok);
802 }
Adam Langley95c29f32014-06-20 12:00:00 -0700803
Adam Langley71d8a082014-12-13 16:28:18 -0800804 len = msg_hdr.msg_len;
805 frag_off = msg_hdr.frag_off;
806 frag_len = msg_hdr.frag_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700807
Adam Langley71d8a082014-12-13 16:28:18 -0800808 if (frag_len && frag_len < len) {
809 return dtls1_reassemble_fragment(s, &msg_hdr, ok);
810 }
Adam Langley95c29f32014-06-20 12:00:00 -0700811
Adam Langley71d8a082014-12-13 16:28:18 -0800812 if (!s->server && s->d1->r_msg_hdr.frag_off == 0 &&
813 wire[0] == SSL3_MT_HELLO_REQUEST) {
814 /* The server may always send 'Hello Request' messages --
815 * we are doing a handshake anyway now, so ignore them
816 * if their format is correct. Does not count for
817 * 'Finished' MAC. */
818 if (wire[1] == 0 && wire[2] == 0 && wire[3] == 0) {
819 if (s->msg_callback) {
820 s->msg_callback(0, s->version, SSL3_RT_HANDSHAKE, wire,
821 DTLS1_HM_HEADER_LENGTH, s, s->msg_callback_arg);
822 }
Adam Langley95c29f32014-06-20 12:00:00 -0700823
Adam Langley71d8a082014-12-13 16:28:18 -0800824 s->init_num = 0;
825 goto redo;
826 } else {
827 /* Incorrectly formated Hello request */
828 al = SSL_AD_UNEXPECTED_MESSAGE;
829 OPENSSL_PUT_ERROR(SSL, dtls1_get_message_fragment,
830 SSL_R_UNEXPECTED_MESSAGE);
831 goto f_err;
832 }
833 }
Adam Langley95c29f32014-06-20 12:00:00 -0700834
Adam Langley71d8a082014-12-13 16:28:18 -0800835 if ((al = dtls1_preprocess_fragment(s, &msg_hdr, max))) {
836 goto f_err;
837 }
Adam Langley95c29f32014-06-20 12:00:00 -0700838
Adam Langley71d8a082014-12-13 16:28:18 -0800839 /* XDTLS: ressurect this when restart is in place */
840 s->state = stn;
Adam Langley95c29f32014-06-20 12:00:00 -0700841
Adam Langley71d8a082014-12-13 16:28:18 -0800842 if (frag_len > 0) {
843 uint8_t *p = (uint8_t *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
Adam Langley95c29f32014-06-20 12:00:00 -0700844
Adam Langley71d8a082014-12-13 16:28:18 -0800845 i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, &p[frag_off], frag_len,
846 0);
847 /* XDTLS: fix this--message fragments cannot span multiple packets */
848 if (i <= 0) {
849 s->rwstate = SSL_READING;
850 *ok = 0;
851 return i;
852 }
853 } else {
854 i = 0;
855 }
Adam Langley95c29f32014-06-20 12:00:00 -0700856
Adam Langley71d8a082014-12-13 16:28:18 -0800857 /* XDTLS: an incorrectly formatted fragment should cause the
858 * handshake to fail */
859 if (i != (int)frag_len) {
860 al = SSL3_AD_ILLEGAL_PARAMETER;
861 OPENSSL_PUT_ERROR(SSL, dtls1_get_message_fragment,
862 SSL3_AD_ILLEGAL_PARAMETER);
863 goto f_err;
864 }
865
866 *ok = 1;
867
868 /* Note that s->init_num is *not* used as current offset in
869 * s->init_buf->data, but as a counter summing up fragments'
870 * lengths: as soon as they sum up to handshake packet
871 * length, we assume we have got all the fragments. */
872 s->init_num = frag_len;
873 return frag_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700874
875f_err:
Adam Langley71d8a082014-12-13 16:28:18 -0800876 ssl3_send_alert(s, SSL3_AL_FATAL, al);
877 s->init_num = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700878
Adam Langley71d8a082014-12-13 16:28:18 -0800879 *ok = 0;
880 return -1;
881}
Adam Langley95c29f32014-06-20 12:00:00 -0700882
883/* for these 2 messages, we need to
884 * ssl->enc_read_ctx re-init
885 * ssl->s3->read_sequence zero
886 * ssl->s3->read_mac_secret re-init
887 * ssl->session->read_sym_enc assign
888 * ssl->session->read_compression assign
Adam Langley71d8a082014-12-13 16:28:18 -0800889 * ssl->session->read_hash assign */
890int dtls1_send_change_cipher_spec(SSL *s, int a, int b) {
891 uint8_t *p;
Adam Langley95c29f32014-06-20 12:00:00 -0700892
Adam Langley71d8a082014-12-13 16:28:18 -0800893 if (s->state == a) {
894 p = (uint8_t *)s->init_buf->data;
895 *p++ = SSL3_MT_CCS;
896 s->d1->handshake_write_seq = s->d1->next_handshake_write_seq;
897 s->init_num = DTLS1_CCS_HEADER_LENGTH;
Adam Langley95c29f32014-06-20 12:00:00 -0700898
Adam Langley71d8a082014-12-13 16:28:18 -0800899 s->init_off = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700900
David Benjamin16d031a2014-12-14 18:52:44 -0500901 dtls1_set_message_header(s, SSL3_MT_CCS, 0, s->d1->handshake_write_seq, 0,
902 0);
Adam Langley95c29f32014-06-20 12:00:00 -0700903
Adam Langley71d8a082014-12-13 16:28:18 -0800904 /* buffer the message to handle re-xmits */
905 dtls1_buffer_message(s, 1);
Adam Langley95c29f32014-06-20 12:00:00 -0700906
Adam Langley71d8a082014-12-13 16:28:18 -0800907 s->state = b;
908 }
Adam Langley95c29f32014-06-20 12:00:00 -0700909
Adam Langley71d8a082014-12-13 16:28:18 -0800910 /* SSL3_ST_CW_CHANGE_B */
David Benjamine4824e82014-12-14 19:44:34 -0500911 return dtls1_do_write(s, SSL3_RT_CHANGE_CIPHER_SPEC);
Adam Langley71d8a082014-12-13 16:28:18 -0800912}
Adam Langley95c29f32014-06-20 12:00:00 -0700913
Adam Langley71d8a082014-12-13 16:28:18 -0800914int dtls1_read_failed(SSL *s, int code) {
915 if (code > 0) {
916 fprintf(stderr, "invalid state reached %s:%d", __FILE__, __LINE__);
917 return 1;
918 }
Adam Langley95c29f32014-06-20 12:00:00 -0700919
Adam Langley71d8a082014-12-13 16:28:18 -0800920 if (!dtls1_is_timer_expired(s)) {
921 /* not a timeout, none of our business, let higher layers handle this. In
922 * fact, it's probably an error */
923 return code;
924 }
Adam Langley95c29f32014-06-20 12:00:00 -0700925
Adam Langley71d8a082014-12-13 16:28:18 -0800926 if (!SSL_in_init(s)) {
927 /* done, no need to send a retransmit */
928 BIO_set_flags(SSL_get_rbio(s), BIO_FLAGS_READ);
929 return code;
930 }
Adam Langley95c29f32014-06-20 12:00:00 -0700931
Adam Langley71d8a082014-12-13 16:28:18 -0800932 return dtls1_handle_timeout(s);
933}
Adam Langley95c29f32014-06-20 12:00:00 -0700934
Adam Langley71d8a082014-12-13 16:28:18 -0800935int dtls1_get_queue_priority(unsigned short seq, int is_ccs) {
936 /* The index of the retransmission queue actually is the message sequence
937 * number, since the queue only contains messages of a single handshake.
938 * However, the ChangeCipherSpec has no message sequence number and so using
939 * only the sequence will result in the CCS and Finished having the same
940 * index. To prevent this, the sequence number is multiplied by 2. In case of
941 * a CCS 1 is subtracted. This does not only differ CSS and Finished, it also
942 * maintains the order of the index (important for priority queues) and fits
943 * in the unsigned short variable. */
944 return seq * 2 - is_ccs;
945}
Adam Langley95c29f32014-06-20 12:00:00 -0700946
Adam Langley71d8a082014-12-13 16:28:18 -0800947int dtls1_retransmit_buffered_messages(SSL *s) {
948 pqueue sent = s->d1->sent_messages;
949 piterator iter;
950 pitem *item;
951 hm_fragment *frag;
952 int found = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700953
Adam Langley71d8a082014-12-13 16:28:18 -0800954 iter = pqueue_iterator(sent);
Adam Langley95c29f32014-06-20 12:00:00 -0700955
Adam Langley71d8a082014-12-13 16:28:18 -0800956 for (item = pqueue_next(&iter); item != NULL; item = pqueue_next(&iter)) {
957 frag = (hm_fragment *)item->data;
958 if (dtls1_retransmit_message(
959 s, (unsigned short)dtls1_get_queue_priority(
960 frag->msg_header.seq, frag->msg_header.is_ccs),
961 0, &found) <= 0 &&
962 found) {
963 fprintf(stderr, "dtls1_retransmit_message() failed\n");
964 return -1;
965 }
966 }
Adam Langley95c29f32014-06-20 12:00:00 -0700967
Adam Langley71d8a082014-12-13 16:28:18 -0800968 return 1;
969}
Adam Langley95c29f32014-06-20 12:00:00 -0700970
Adam Langley71d8a082014-12-13 16:28:18 -0800971int dtls1_buffer_message(SSL *s, int is_ccs) {
972 pitem *item;
973 hm_fragment *frag;
974 uint8_t seq64be[8];
Adam Langley95c29f32014-06-20 12:00:00 -0700975
Adam Langley71d8a082014-12-13 16:28:18 -0800976 /* this function is called immediately after a message has
977 * been serialized */
978 assert(s->init_off == 0);
Adam Langley95c29f32014-06-20 12:00:00 -0700979
Adam Langley71d8a082014-12-13 16:28:18 -0800980 frag = dtls1_hm_fragment_new(s->init_num, 0);
981 if (!frag) {
982 return 0;
983 }
Adam Langley95c29f32014-06-20 12:00:00 -0700984
Adam Langley71d8a082014-12-13 16:28:18 -0800985 memcpy(frag->fragment, s->init_buf->data, s->init_num);
Adam Langley95c29f32014-06-20 12:00:00 -0700986
Adam Langley71d8a082014-12-13 16:28:18 -0800987 if (is_ccs) {
988 assert(s->d1->w_msg_hdr.msg_len + DTLS1_CCS_HEADER_LENGTH ==
989 (unsigned int)s->init_num);
990 } else {
991 assert(s->d1->w_msg_hdr.msg_len + DTLS1_HM_HEADER_LENGTH ==
992 (unsigned int)s->init_num);
993 }
Adam Langley95c29f32014-06-20 12:00:00 -0700994
Adam Langley71d8a082014-12-13 16:28:18 -0800995 frag->msg_header.msg_len = s->d1->w_msg_hdr.msg_len;
996 frag->msg_header.seq = s->d1->w_msg_hdr.seq;
997 frag->msg_header.type = s->d1->w_msg_hdr.type;
998 frag->msg_header.frag_off = 0;
999 frag->msg_header.frag_len = s->d1->w_msg_hdr.msg_len;
1000 frag->msg_header.is_ccs = is_ccs;
Adam Langley95c29f32014-06-20 12:00:00 -07001001
Adam Langley71d8a082014-12-13 16:28:18 -08001002 /* save current state*/
David Benjamine95d20d2014-12-23 11:16:01 -05001003 frag->msg_header.saved_retransmit_state.aead_write_ctx = s->aead_write_ctx;
Adam Langley71d8a082014-12-13 16:28:18 -08001004 frag->msg_header.saved_retransmit_state.session = s->session;
1005 frag->msg_header.saved_retransmit_state.epoch = s->d1->w_epoch;
Adam Langley95c29f32014-06-20 12:00:00 -07001006
Adam Langley71d8a082014-12-13 16:28:18 -08001007 memset(seq64be, 0, sizeof(seq64be));
1008 seq64be[6] = (uint8_t)(
1009 dtls1_get_queue_priority(frag->msg_header.seq, frag->msg_header.is_ccs) >>
1010 8);
1011 seq64be[7] = (uint8_t)(
1012 dtls1_get_queue_priority(frag->msg_header.seq, frag->msg_header.is_ccs));
Adam Langley95c29f32014-06-20 12:00:00 -07001013
Adam Langley71d8a082014-12-13 16:28:18 -08001014 item = pitem_new(seq64be, frag);
1015 if (item == NULL) {
1016 dtls1_hm_fragment_free(frag);
1017 return 0;
1018 }
Adam Langley95c29f32014-06-20 12:00:00 -07001019
Adam Langley71d8a082014-12-13 16:28:18 -08001020 pqueue_insert(s->d1->sent_messages, item);
1021 return 1;
1022}
Adam Langley95c29f32014-06-20 12:00:00 -07001023
Adam Langley71d8a082014-12-13 16:28:18 -08001024int dtls1_retransmit_message(SSL *s, unsigned short seq, unsigned long frag_off,
1025 int *found) {
1026 int ret;
1027 /* XDTLS: for now assuming that read/writes are blocking */
1028 pitem *item;
1029 hm_fragment *frag;
1030 unsigned long header_length;
1031 uint8_t seq64be[8];
1032 struct dtls1_retransmit_state saved_state;
1033 uint8_t save_write_sequence[8];
Adam Langley95c29f32014-06-20 12:00:00 -07001034
Adam Langley71d8a082014-12-13 16:28:18 -08001035 /* assert(s->init_num == 0);
1036 assert(s->init_off == 0); */
Adam Langley95c29f32014-06-20 12:00:00 -07001037
Adam Langley71d8a082014-12-13 16:28:18 -08001038 /* XDTLS: the requested message ought to be found, otherwise error */
1039 memset(seq64be, 0, sizeof(seq64be));
1040 seq64be[6] = (uint8_t)(seq >> 8);
1041 seq64be[7] = (uint8_t)seq;
Adam Langley95c29f32014-06-20 12:00:00 -07001042
Adam Langley71d8a082014-12-13 16:28:18 -08001043 item = pqueue_find(s->d1->sent_messages, seq64be);
1044 if (item == NULL) {
1045 fprintf(stderr, "retransmit: message %d non-existant\n", seq);
1046 *found = 0;
1047 return 0;
1048 }
Adam Langley95c29f32014-06-20 12:00:00 -07001049
Adam Langley71d8a082014-12-13 16:28:18 -08001050 *found = 1;
1051 frag = (hm_fragment *)item->data;
Adam Langley95c29f32014-06-20 12:00:00 -07001052
Adam Langley71d8a082014-12-13 16:28:18 -08001053 if (frag->msg_header.is_ccs) {
1054 header_length = DTLS1_CCS_HEADER_LENGTH;
1055 } else {
1056 header_length = DTLS1_HM_HEADER_LENGTH;
1057 }
Adam Langley95c29f32014-06-20 12:00:00 -07001058
Adam Langley71d8a082014-12-13 16:28:18 -08001059 memcpy(s->init_buf->data, frag->fragment,
1060 frag->msg_header.msg_len + header_length);
1061 s->init_num = frag->msg_header.msg_len + header_length;
Adam Langley95c29f32014-06-20 12:00:00 -07001062
David Benjamin16d031a2014-12-14 18:52:44 -05001063 dtls1_set_message_header(s, frag->msg_header.type,
1064 frag->msg_header.msg_len, frag->msg_header.seq,
1065 0, frag->msg_header.frag_len);
Adam Langley95c29f32014-06-20 12:00:00 -07001066
Adam Langley71d8a082014-12-13 16:28:18 -08001067 /* save current state */
David Benjamine95d20d2014-12-23 11:16:01 -05001068 saved_state.aead_write_ctx = s->aead_write_ctx;
Adam Langley71d8a082014-12-13 16:28:18 -08001069 saved_state.session = s->session;
1070 saved_state.epoch = s->d1->w_epoch;
Adam Langley95c29f32014-06-20 12:00:00 -07001071
Adam Langley71d8a082014-12-13 16:28:18 -08001072 /* restore state in which the message was originally sent */
David Benjamine95d20d2014-12-23 11:16:01 -05001073 s->aead_write_ctx = frag->msg_header.saved_retransmit_state.aead_write_ctx;
Adam Langley71d8a082014-12-13 16:28:18 -08001074 s->session = frag->msg_header.saved_retransmit_state.session;
1075 s->d1->w_epoch = frag->msg_header.saved_retransmit_state.epoch;
1076
1077 if (frag->msg_header.saved_retransmit_state.epoch == saved_state.epoch - 1) {
1078 memcpy(save_write_sequence, s->s3->write_sequence,
1079 sizeof(s->s3->write_sequence));
1080 memcpy(s->s3->write_sequence, s->d1->last_write_sequence,
1081 sizeof(s->s3->write_sequence));
1082 }
1083
1084 ret = dtls1_do_write(s, frag->msg_header.is_ccs ? SSL3_RT_CHANGE_CIPHER_SPEC
David Benjamine4824e82014-12-14 19:44:34 -05001085 : SSL3_RT_HANDSHAKE);
Adam Langley71d8a082014-12-13 16:28:18 -08001086
1087 /* restore current state */
David Benjamine95d20d2014-12-23 11:16:01 -05001088 s->aead_write_ctx = saved_state.aead_write_ctx;
Adam Langley71d8a082014-12-13 16:28:18 -08001089 s->session = saved_state.session;
1090 s->d1->w_epoch = saved_state.epoch;
1091
1092 if (frag->msg_header.saved_retransmit_state.epoch == saved_state.epoch - 1) {
1093 memcpy(s->d1->last_write_sequence, s->s3->write_sequence,
1094 sizeof(s->s3->write_sequence));
1095 memcpy(s->s3->write_sequence, save_write_sequence,
1096 sizeof(s->s3->write_sequence));
1097 }
1098
Adam Langley71d8a082014-12-13 16:28:18 -08001099 (void)BIO_flush(SSL_get_wbio(s));
1100 return ret;
1101}
Adam Langley95c29f32014-06-20 12:00:00 -07001102
1103/* call this function when the buffered messages are no longer needed */
Adam Langley71d8a082014-12-13 16:28:18 -08001104void dtls1_clear_record_buffer(SSL *s) {
1105 pitem *item;
Adam Langley95c29f32014-06-20 12:00:00 -07001106
Adam Langley71d8a082014-12-13 16:28:18 -08001107 for (item = pqueue_pop(s->d1->sent_messages); item != NULL;
1108 item = pqueue_pop(s->d1->sent_messages)) {
1109 dtls1_hm_fragment_free((hm_fragment *)item->data);
1110 pitem_free(item);
1111 }
1112}
Adam Langley95c29f32014-06-20 12:00:00 -07001113
Adam Langley95c29f32014-06-20 12:00:00 -07001114/* don't actually do the writing, wait till the MTU has been retrieved */
David Benjamin16d031a2014-12-14 18:52:44 -05001115void dtls1_set_message_header(SSL *s, uint8_t mt, unsigned long len,
1116 unsigned short seq_num, unsigned long frag_off,
1117 unsigned long frag_len) {
Adam Langley71d8a082014-12-13 16:28:18 -08001118 struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
Adam Langley95c29f32014-06-20 12:00:00 -07001119
Adam Langley71d8a082014-12-13 16:28:18 -08001120 msg_hdr->type = mt;
1121 msg_hdr->msg_len = len;
1122 msg_hdr->seq = seq_num;
1123 msg_hdr->frag_off = frag_off;
1124 msg_hdr->frag_len = frag_len;
1125}
Adam Langley95c29f32014-06-20 12:00:00 -07001126
Adam Langley71d8a082014-12-13 16:28:18 -08001127static void dtls1_fix_message_header(SSL *s, unsigned long frag_off,
1128 unsigned long frag_len) {
1129 struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
Adam Langley95c29f32014-06-20 12:00:00 -07001130
Adam Langley71d8a082014-12-13 16:28:18 -08001131 msg_hdr->frag_off = frag_off;
1132 msg_hdr->frag_len = frag_len;
1133}
Adam Langley95c29f32014-06-20 12:00:00 -07001134
Adam Langley71d8a082014-12-13 16:28:18 -08001135static uint8_t *dtls1_write_message_header(SSL *s, uint8_t *p) {
1136 struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
Adam Langley95c29f32014-06-20 12:00:00 -07001137
Adam Langley71d8a082014-12-13 16:28:18 -08001138 *p++ = msg_hdr->type;
1139 l2n3(msg_hdr->msg_len, p);
Adam Langley95c29f32014-06-20 12:00:00 -07001140
Adam Langley71d8a082014-12-13 16:28:18 -08001141 s2n(msg_hdr->seq, p);
1142 l2n3(msg_hdr->frag_off, p);
1143 l2n3(msg_hdr->frag_len, p);
Adam Langley95c29f32014-06-20 12:00:00 -07001144
Adam Langley71d8a082014-12-13 16:28:18 -08001145 return p;
1146}
Adam Langley95c29f32014-06-20 12:00:00 -07001147
Adam Langley71d8a082014-12-13 16:28:18 -08001148unsigned int dtls1_min_mtu(void) {
David Benjamina18b6712015-01-11 19:31:22 -05001149 return kMinMTU;
Adam Langley71d8a082014-12-13 16:28:18 -08001150}
Adam Langley95c29f32014-06-20 12:00:00 -07001151
Adam Langley71d8a082014-12-13 16:28:18 -08001152void dtls1_get_message_header(uint8_t *data,
1153 struct hm_header_st *msg_hdr) {
1154 memset(msg_hdr, 0x00, sizeof(struct hm_header_st));
1155 msg_hdr->type = *(data++);
1156 n2l3(data, msg_hdr->msg_len);
Adam Langley95c29f32014-06-20 12:00:00 -07001157
Adam Langley71d8a082014-12-13 16:28:18 -08001158 n2s(data, msg_hdr->seq);
1159 n2l3(data, msg_hdr->frag_off);
1160 n2l3(data, msg_hdr->frag_len);
1161}
Adam Langley95c29f32014-06-20 12:00:00 -07001162
Adam Langley71d8a082014-12-13 16:28:18 -08001163void dtls1_get_ccs_header(uint8_t *data, struct ccs_header_st *ccs_hdr) {
1164 memset(ccs_hdr, 0x00, sizeof(struct ccs_header_st));
Adam Langley95c29f32014-06-20 12:00:00 -07001165
Adam Langley71d8a082014-12-13 16:28:18 -08001166 ccs_hdr->type = *(data++);
1167}
Adam Langley95c29f32014-06-20 12:00:00 -07001168
Adam Langley71d8a082014-12-13 16:28:18 -08001169int dtls1_shutdown(SSL *s) {
1170 int ret;
1171 ret = ssl3_shutdown(s);
1172 return ret;
1173}