1e71b7053SJung-uk Kim /*
234252e89SJung-uk Kim * Copyright 2005-2022 The OpenSSL Project Authors. All Rights Reserved.
3e71b7053SJung-uk Kim *
4b077aed3SPierre Pronchery * Licensed under the Apache License 2.0 (the "License"). You may not use
5e71b7053SJung-uk Kim * this file except in compliance with the License. You can obtain a copy
6e71b7053SJung-uk Kim * in the file LICENSE in the source distribution or at
7e71b7053SJung-uk Kim * https://www.openssl.org/source/license.html
8e71b7053SJung-uk Kim */
9e71b7053SJung-uk Kim
10e71b7053SJung-uk Kim #include <limits.h>
11e71b7053SJung-uk Kim #include <string.h>
12e71b7053SJung-uk Kim #include <stdio.h>
1317f01e99SJung-uk Kim #include "../ssl_local.h"
1417f01e99SJung-uk Kim #include "statem_local.h"
15e71b7053SJung-uk Kim #include "internal/cryptlib.h"
16e71b7053SJung-uk Kim #include <openssl/buffer.h>
17e71b7053SJung-uk Kim #include <openssl/objects.h>
18e71b7053SJung-uk Kim #include <openssl/evp.h>
19e71b7053SJung-uk Kim #include <openssl/x509.h>
20e71b7053SJung-uk Kim
21e71b7053SJung-uk Kim #define RSMBLY_BITMASK_SIZE(msg_len) (((msg_len) + 7) / 8)
22e71b7053SJung-uk Kim
23e71b7053SJung-uk Kim #define RSMBLY_BITMASK_MARK(bitmask, start, end) { \
24e71b7053SJung-uk Kim if ((end) - (start) <= 8) { \
25e71b7053SJung-uk Kim long ii; \
26e71b7053SJung-uk Kim for (ii = (start); ii < (end); ii++) bitmask[((ii) >> 3)] |= (1 << ((ii) & 7)); \
27e71b7053SJung-uk Kim } else { \
28e71b7053SJung-uk Kim long ii; \
29e71b7053SJung-uk Kim bitmask[((start) >> 3)] |= bitmask_start_values[((start) & 7)]; \
30e71b7053SJung-uk Kim for (ii = (((start) >> 3) + 1); ii < ((((end) - 1)) >> 3); ii++) bitmask[ii] = 0xff; \
31e71b7053SJung-uk Kim bitmask[(((end) - 1) >> 3)] |= bitmask_end_values[((end) & 7)]; \
32e71b7053SJung-uk Kim } }
33e71b7053SJung-uk Kim
34e71b7053SJung-uk Kim #define RSMBLY_BITMASK_IS_COMPLETE(bitmask, msg_len, is_complete) { \
35e71b7053SJung-uk Kim long ii; \
36e71b7053SJung-uk Kim is_complete = 1; \
37e71b7053SJung-uk Kim if (bitmask[(((msg_len) - 1) >> 3)] != bitmask_end_values[((msg_len) & 7)]) is_complete = 0; \
38e71b7053SJung-uk Kim if (is_complete) for (ii = (((msg_len) - 1) >> 3) - 1; ii >= 0 ; ii--) \
39e71b7053SJung-uk Kim if (bitmask[ii] != 0xff) { is_complete = 0; break; } }
40e71b7053SJung-uk Kim
41e71b7053SJung-uk Kim static unsigned char bitmask_start_values[] =
42e71b7053SJung-uk Kim { 0xff, 0xfe, 0xfc, 0xf8, 0xf0, 0xe0, 0xc0, 0x80 };
43e71b7053SJung-uk Kim static unsigned char bitmask_end_values[] =
44e71b7053SJung-uk Kim { 0xff, 0x01, 0x03, 0x07, 0x0f, 0x1f, 0x3f, 0x7f };
45e71b7053SJung-uk Kim
46e71b7053SJung-uk Kim static void dtls1_fix_message_header(SSL *s, size_t frag_off,
47e71b7053SJung-uk Kim size_t frag_len);
48e71b7053SJung-uk Kim static unsigned char *dtls1_write_message_header(SSL *s, unsigned char *p);
49e71b7053SJung-uk Kim static void dtls1_set_message_header_int(SSL *s, unsigned char mt,
50e71b7053SJung-uk Kim size_t len,
51e71b7053SJung-uk Kim unsigned short seq_num,
52e71b7053SJung-uk Kim size_t frag_off,
53e71b7053SJung-uk Kim size_t frag_len);
54e71b7053SJung-uk Kim static int dtls_get_reassembled_message(SSL *s, int *errtype, size_t *len);
55e71b7053SJung-uk Kim
dtls1_hm_fragment_new(size_t frag_len,int reassembly)56e71b7053SJung-uk Kim static hm_fragment *dtls1_hm_fragment_new(size_t frag_len, int reassembly)
57e71b7053SJung-uk Kim {
58e71b7053SJung-uk Kim hm_fragment *frag = NULL;
59e71b7053SJung-uk Kim unsigned char *buf = NULL;
60e71b7053SJung-uk Kim unsigned char *bitmask = NULL;
61e71b7053SJung-uk Kim
62*e0c4386eSCy Schubert if ((frag = OPENSSL_zalloc(sizeof(*frag))) == NULL) {
63b077aed3SPierre Pronchery ERR_raise(ERR_LIB_SSL, ERR_R_MALLOC_FAILURE);
64e71b7053SJung-uk Kim return NULL;
65e71b7053SJung-uk Kim }
66e71b7053SJung-uk Kim
67e71b7053SJung-uk Kim if (frag_len) {
68e71b7053SJung-uk Kim if ((buf = OPENSSL_malloc(frag_len)) == NULL) {
69b077aed3SPierre Pronchery ERR_raise(ERR_LIB_SSL, ERR_R_MALLOC_FAILURE);
70e71b7053SJung-uk Kim OPENSSL_free(frag);
71e71b7053SJung-uk Kim return NULL;
72e71b7053SJung-uk Kim }
73e71b7053SJung-uk Kim }
74e71b7053SJung-uk Kim
75e71b7053SJung-uk Kim /* zero length fragment gets zero frag->fragment */
76e71b7053SJung-uk Kim frag->fragment = buf;
77e71b7053SJung-uk Kim
78e71b7053SJung-uk Kim /* Initialize reassembly bitmask if necessary */
79e71b7053SJung-uk Kim if (reassembly) {
80e71b7053SJung-uk Kim bitmask = OPENSSL_zalloc(RSMBLY_BITMASK_SIZE(frag_len));
81e71b7053SJung-uk Kim if (bitmask == NULL) {
82b077aed3SPierre Pronchery ERR_raise(ERR_LIB_SSL, ERR_R_MALLOC_FAILURE);
83e71b7053SJung-uk Kim OPENSSL_free(buf);
84e71b7053SJung-uk Kim OPENSSL_free(frag);
85e71b7053SJung-uk Kim return NULL;
86e71b7053SJung-uk Kim }
87e71b7053SJung-uk Kim }
88e71b7053SJung-uk Kim
89e71b7053SJung-uk Kim frag->reassembly = bitmask;
90e71b7053SJung-uk Kim
91e71b7053SJung-uk Kim return frag;
92e71b7053SJung-uk Kim }
93e71b7053SJung-uk Kim
dtls1_hm_fragment_free(hm_fragment * frag)94e71b7053SJung-uk Kim void dtls1_hm_fragment_free(hm_fragment *frag)
95e71b7053SJung-uk Kim {
96e71b7053SJung-uk Kim if (!frag)
97e71b7053SJung-uk Kim return;
98*e0c4386eSCy Schubert
99e71b7053SJung-uk Kim OPENSSL_free(frag->fragment);
100e71b7053SJung-uk Kim OPENSSL_free(frag->reassembly);
101e71b7053SJung-uk Kim OPENSSL_free(frag);
102e71b7053SJung-uk Kim }
103e71b7053SJung-uk Kim
104e71b7053SJung-uk Kim /*
105e71b7053SJung-uk Kim * send s->init_buf in records of type 'type' (SSL3_RT_HANDSHAKE or
106e71b7053SJung-uk Kim * SSL3_RT_CHANGE_CIPHER_SPEC)
107e71b7053SJung-uk Kim */
dtls1_do_write(SSL * s,int type)108e71b7053SJung-uk Kim int dtls1_do_write(SSL *s, int type)
109e71b7053SJung-uk Kim {
110e71b7053SJung-uk Kim int ret;
111e71b7053SJung-uk Kim size_t written;
112e71b7053SJung-uk Kim size_t curr_mtu;
113e71b7053SJung-uk Kim int retry = 1;
114e71b7053SJung-uk Kim size_t len, frag_off, mac_size, blocksize, used_len;
115e71b7053SJung-uk Kim
116e71b7053SJung-uk Kim if (!dtls1_query_mtu(s))
117e71b7053SJung-uk Kim return -1;
118e71b7053SJung-uk Kim
119e71b7053SJung-uk Kim if (s->d1->mtu < dtls1_min_mtu(s))
120e71b7053SJung-uk Kim /* should have something reasonable now */
121e71b7053SJung-uk Kim return -1;
122e71b7053SJung-uk Kim
123e71b7053SJung-uk Kim if (s->init_off == 0 && type == SSL3_RT_HANDSHAKE) {
124e71b7053SJung-uk Kim if (!ossl_assert(s->init_num ==
125e71b7053SJung-uk Kim s->d1->w_msg_hdr.msg_len + DTLS1_HM_HEADER_LENGTH))
126e71b7053SJung-uk Kim return -1;
127e71b7053SJung-uk Kim }
128e71b7053SJung-uk Kim
129e71b7053SJung-uk Kim if (s->write_hash) {
130e71b7053SJung-uk Kim if (s->enc_write_ctx
131b077aed3SPierre Pronchery && (EVP_CIPHER_get_flags(EVP_CIPHER_CTX_get0_cipher(s->enc_write_ctx)) &
132e71b7053SJung-uk Kim EVP_CIPH_FLAG_AEAD_CIPHER) != 0)
133e71b7053SJung-uk Kim mac_size = 0;
134e71b7053SJung-uk Kim else
135b077aed3SPierre Pronchery mac_size = EVP_MD_CTX_get_size(s->write_hash);
136e71b7053SJung-uk Kim } else
137e71b7053SJung-uk Kim mac_size = 0;
138e71b7053SJung-uk Kim
139e71b7053SJung-uk Kim if (s->enc_write_ctx &&
140b077aed3SPierre Pronchery (EVP_CIPHER_CTX_get_mode(s->enc_write_ctx) == EVP_CIPH_CBC_MODE))
141b077aed3SPierre Pronchery blocksize = 2 * EVP_CIPHER_CTX_get_block_size(s->enc_write_ctx);
142e71b7053SJung-uk Kim else
143e71b7053SJung-uk Kim blocksize = 0;
144e71b7053SJung-uk Kim
145e71b7053SJung-uk Kim frag_off = 0;
146e71b7053SJung-uk Kim s->rwstate = SSL_NOTHING;
147e71b7053SJung-uk Kim
148e71b7053SJung-uk Kim /* s->init_num shouldn't ever be < 0...but just in case */
149e71b7053SJung-uk Kim while (s->init_num > 0) {
150e71b7053SJung-uk Kim if (type == SSL3_RT_HANDSHAKE && s->init_off != 0) {
151e71b7053SJung-uk Kim /* We must be writing a fragment other than the first one */
152e71b7053SJung-uk Kim
153e71b7053SJung-uk Kim if (frag_off > 0) {
154e71b7053SJung-uk Kim /* This is the first attempt at writing out this fragment */
155e71b7053SJung-uk Kim
156e71b7053SJung-uk Kim if (s->init_off <= DTLS1_HM_HEADER_LENGTH) {
157e71b7053SJung-uk Kim /*
158e71b7053SJung-uk Kim * Each fragment that was already sent must at least have
159e71b7053SJung-uk Kim * contained the message header plus one other byte.
160e71b7053SJung-uk Kim * Therefore |init_off| must have progressed by at least
161e71b7053SJung-uk Kim * |DTLS1_HM_HEADER_LENGTH + 1| bytes. If not something went
162e71b7053SJung-uk Kim * wrong.
163e71b7053SJung-uk Kim */
164e71b7053SJung-uk Kim return -1;
165e71b7053SJung-uk Kim }
166e71b7053SJung-uk Kim
167e71b7053SJung-uk Kim /*
168e71b7053SJung-uk Kim * Adjust |init_off| and |init_num| to allow room for a new
169e71b7053SJung-uk Kim * message header for this fragment.
170e71b7053SJung-uk Kim */
171e71b7053SJung-uk Kim s->init_off -= DTLS1_HM_HEADER_LENGTH;
172e71b7053SJung-uk Kim s->init_num += DTLS1_HM_HEADER_LENGTH;
173e71b7053SJung-uk Kim } else {
174e71b7053SJung-uk Kim /*
175e71b7053SJung-uk Kim * We must have been called again after a retry so use the
176e71b7053SJung-uk Kim * fragment offset from our last attempt. We do not need
177e71b7053SJung-uk Kim * to adjust |init_off| and |init_num| as above, because
178e71b7053SJung-uk Kim * that should already have been done before the retry.
179e71b7053SJung-uk Kim */
180e71b7053SJung-uk Kim frag_off = s->d1->w_msg_hdr.frag_off;
181e71b7053SJung-uk Kim }
182e71b7053SJung-uk Kim }
183e71b7053SJung-uk Kim
184e71b7053SJung-uk Kim used_len = BIO_wpending(s->wbio) + DTLS1_RT_HEADER_LENGTH
185e71b7053SJung-uk Kim + mac_size + blocksize;
186e71b7053SJung-uk Kim if (s->d1->mtu > used_len)
187e71b7053SJung-uk Kim curr_mtu = s->d1->mtu - used_len;
188e71b7053SJung-uk Kim else
189e71b7053SJung-uk Kim curr_mtu = 0;
190e71b7053SJung-uk Kim
191e71b7053SJung-uk Kim if (curr_mtu <= DTLS1_HM_HEADER_LENGTH) {
192e71b7053SJung-uk Kim /*
193e71b7053SJung-uk Kim * grr.. we could get an error if MTU picked was wrong
194e71b7053SJung-uk Kim */
195e71b7053SJung-uk Kim ret = BIO_flush(s->wbio);
196e71b7053SJung-uk Kim if (ret <= 0) {
197e71b7053SJung-uk Kim s->rwstate = SSL_WRITING;
198e71b7053SJung-uk Kim return ret;
199e71b7053SJung-uk Kim }
200e71b7053SJung-uk Kim used_len = DTLS1_RT_HEADER_LENGTH + mac_size + blocksize;
201e71b7053SJung-uk Kim if (s->d1->mtu > used_len + DTLS1_HM_HEADER_LENGTH) {
202e71b7053SJung-uk Kim curr_mtu = s->d1->mtu - used_len;
203e71b7053SJung-uk Kim } else {
204e71b7053SJung-uk Kim /* Shouldn't happen */
205e71b7053SJung-uk Kim return -1;
206e71b7053SJung-uk Kim }
207e71b7053SJung-uk Kim }
208e71b7053SJung-uk Kim
209e71b7053SJung-uk Kim /*
210e71b7053SJung-uk Kim * We just checked that s->init_num > 0 so this cast should be safe
211e71b7053SJung-uk Kim */
212e71b7053SJung-uk Kim if (((unsigned int)s->init_num) > curr_mtu)
213e71b7053SJung-uk Kim len = curr_mtu;
214e71b7053SJung-uk Kim else
215e71b7053SJung-uk Kim len = s->init_num;
216e71b7053SJung-uk Kim
21734252e89SJung-uk Kim if (len > ssl_get_max_send_fragment(s))
21834252e89SJung-uk Kim len = ssl_get_max_send_fragment(s);
219e71b7053SJung-uk Kim
220e71b7053SJung-uk Kim /*
221e71b7053SJung-uk Kim * XDTLS: this function is too long. split out the CCS part
222e71b7053SJung-uk Kim */
223e71b7053SJung-uk Kim if (type == SSL3_RT_HANDSHAKE) {
224e71b7053SJung-uk Kim if (len < DTLS1_HM_HEADER_LENGTH) {
225e71b7053SJung-uk Kim /*
226e71b7053SJung-uk Kim * len is so small that we really can't do anything sensible
227e71b7053SJung-uk Kim * so fail
228e71b7053SJung-uk Kim */
229e71b7053SJung-uk Kim return -1;
230e71b7053SJung-uk Kim }
231e71b7053SJung-uk Kim dtls1_fix_message_header(s, frag_off, len - DTLS1_HM_HEADER_LENGTH);
232e71b7053SJung-uk Kim
233e71b7053SJung-uk Kim dtls1_write_message_header(s,
234e71b7053SJung-uk Kim (unsigned char *)&s->init_buf->
235e71b7053SJung-uk Kim data[s->init_off]);
236e71b7053SJung-uk Kim }
237e71b7053SJung-uk Kim
238e71b7053SJung-uk Kim ret = dtls1_write_bytes(s, type, &s->init_buf->data[s->init_off], len,
239e71b7053SJung-uk Kim &written);
24034252e89SJung-uk Kim if (ret <= 0) {
241e71b7053SJung-uk Kim /*
242e71b7053SJung-uk Kim * might need to update MTU here, but we don't know which
243e71b7053SJung-uk Kim * previous packet caused the failure -- so can't really
244e71b7053SJung-uk Kim * retransmit anything. continue as if everything is fine and
245e71b7053SJung-uk Kim * wait for an alert to handle the retransmit
246e71b7053SJung-uk Kim */
247e71b7053SJung-uk Kim if (retry && BIO_ctrl(SSL_get_wbio(s),
248e71b7053SJung-uk Kim BIO_CTRL_DGRAM_MTU_EXCEEDED, 0, NULL) > 0) {
249e71b7053SJung-uk Kim if (!(SSL_get_options(s) & SSL_OP_NO_QUERY_MTU)) {
250e71b7053SJung-uk Kim if (!dtls1_query_mtu(s))
251e71b7053SJung-uk Kim return -1;
252e71b7053SJung-uk Kim /* Have one more go */
253e71b7053SJung-uk Kim retry = 0;
254e71b7053SJung-uk Kim } else
255e71b7053SJung-uk Kim return -1;
256e71b7053SJung-uk Kim } else {
257e71b7053SJung-uk Kim return -1;
258e71b7053SJung-uk Kim }
259e71b7053SJung-uk Kim } else {
260e71b7053SJung-uk Kim
261e71b7053SJung-uk Kim /*
262e71b7053SJung-uk Kim * bad if this assert fails, only part of the handshake message
263e71b7053SJung-uk Kim * got sent. but why would this happen?
264e71b7053SJung-uk Kim */
265e71b7053SJung-uk Kim if (!ossl_assert(len == written))
266e71b7053SJung-uk Kim return -1;
267e71b7053SJung-uk Kim
268e71b7053SJung-uk Kim if (type == SSL3_RT_HANDSHAKE && !s->d1->retransmitting) {
269e71b7053SJung-uk Kim /*
270e71b7053SJung-uk Kim * should not be done for 'Hello Request's, but in that case
271e71b7053SJung-uk Kim * we'll ignore the result anyway
272e71b7053SJung-uk Kim */
273e71b7053SJung-uk Kim unsigned char *p =
274e71b7053SJung-uk Kim (unsigned char *)&s->init_buf->data[s->init_off];
275e71b7053SJung-uk Kim const struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
276e71b7053SJung-uk Kim size_t xlen;
277e71b7053SJung-uk Kim
278e71b7053SJung-uk Kim if (frag_off == 0 && s->version != DTLS1_BAD_VER) {
279e71b7053SJung-uk Kim /*
280e71b7053SJung-uk Kim * reconstruct message header is if it is being sent in
281e71b7053SJung-uk Kim * single fragment
282e71b7053SJung-uk Kim */
283e71b7053SJung-uk Kim *p++ = msg_hdr->type;
284e71b7053SJung-uk Kim l2n3(msg_hdr->msg_len, p);
285e71b7053SJung-uk Kim s2n(msg_hdr->seq, p);
286e71b7053SJung-uk Kim l2n3(0, p);
287e71b7053SJung-uk Kim l2n3(msg_hdr->msg_len, p);
288e71b7053SJung-uk Kim p -= DTLS1_HM_HEADER_LENGTH;
289e71b7053SJung-uk Kim xlen = written;
290e71b7053SJung-uk Kim } else {
291e71b7053SJung-uk Kim p += DTLS1_HM_HEADER_LENGTH;
292e71b7053SJung-uk Kim xlen = written - DTLS1_HM_HEADER_LENGTH;
293e71b7053SJung-uk Kim }
294e71b7053SJung-uk Kim
295e71b7053SJung-uk Kim if (!ssl3_finish_mac(s, p, xlen))
296e71b7053SJung-uk Kim return -1;
297e71b7053SJung-uk Kim }
298e71b7053SJung-uk Kim
299e71b7053SJung-uk Kim if (written == s->init_num) {
300e71b7053SJung-uk Kim if (s->msg_callback)
301e71b7053SJung-uk Kim s->msg_callback(1, s->version, type, s->init_buf->data,
302e71b7053SJung-uk Kim (size_t)(s->init_off + s->init_num), s,
303e71b7053SJung-uk Kim s->msg_callback_arg);
304e71b7053SJung-uk Kim
305e71b7053SJung-uk Kim s->init_off = 0; /* done writing this message */
306e71b7053SJung-uk Kim s->init_num = 0;
307e71b7053SJung-uk Kim
308e71b7053SJung-uk Kim return 1;
309e71b7053SJung-uk Kim }
310e71b7053SJung-uk Kim s->init_off += written;
311e71b7053SJung-uk Kim s->init_num -= written;
312e71b7053SJung-uk Kim written -= DTLS1_HM_HEADER_LENGTH;
313e71b7053SJung-uk Kim frag_off += written;
314e71b7053SJung-uk Kim
315e71b7053SJung-uk Kim /*
316e71b7053SJung-uk Kim * We save the fragment offset for the next fragment so we have it
317e71b7053SJung-uk Kim * available in case of an IO retry. We don't know the length of the
318e71b7053SJung-uk Kim * next fragment yet so just set that to 0 for now. It will be
319e71b7053SJung-uk Kim * updated again later.
320e71b7053SJung-uk Kim */
321e71b7053SJung-uk Kim dtls1_fix_message_header(s, frag_off, 0);
322e71b7053SJung-uk Kim }
323e71b7053SJung-uk Kim }
324e71b7053SJung-uk Kim return 0;
325e71b7053SJung-uk Kim }
326e71b7053SJung-uk Kim
dtls_get_message(SSL * s,int * mt)327b077aed3SPierre Pronchery int dtls_get_message(SSL *s, int *mt)
328e71b7053SJung-uk Kim {
329e71b7053SJung-uk Kim struct hm_header_st *msg_hdr;
330e71b7053SJung-uk Kim unsigned char *p;
331e71b7053SJung-uk Kim size_t msg_len;
332e71b7053SJung-uk Kim size_t tmplen;
333e71b7053SJung-uk Kim int errtype;
334e71b7053SJung-uk Kim
335e71b7053SJung-uk Kim msg_hdr = &s->d1->r_msg_hdr;
336e71b7053SJung-uk Kim memset(msg_hdr, 0, sizeof(*msg_hdr));
337e71b7053SJung-uk Kim
338e71b7053SJung-uk Kim again:
339e71b7053SJung-uk Kim if (!dtls_get_reassembled_message(s, &errtype, &tmplen)) {
340e71b7053SJung-uk Kim if (errtype == DTLS1_HM_BAD_FRAGMENT
341e71b7053SJung-uk Kim || errtype == DTLS1_HM_FRAGMENT_RETRY) {
342e71b7053SJung-uk Kim /* bad fragment received */
343e71b7053SJung-uk Kim goto again;
344e71b7053SJung-uk Kim }
345e71b7053SJung-uk Kim return 0;
346e71b7053SJung-uk Kim }
347e71b7053SJung-uk Kim
348b077aed3SPierre Pronchery *mt = s->s3.tmp.message_type;
349e71b7053SJung-uk Kim
350e71b7053SJung-uk Kim p = (unsigned char *)s->init_buf->data;
351e71b7053SJung-uk Kim
352e71b7053SJung-uk Kim if (*mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
353e71b7053SJung-uk Kim if (s->msg_callback) {
354e71b7053SJung-uk Kim s->msg_callback(0, s->version, SSL3_RT_CHANGE_CIPHER_SPEC,
355e71b7053SJung-uk Kim p, 1, s, s->msg_callback_arg);
356e71b7053SJung-uk Kim }
357e71b7053SJung-uk Kim /*
358e71b7053SJung-uk Kim * This isn't a real handshake message so skip the processing below.
359e71b7053SJung-uk Kim */
360e71b7053SJung-uk Kim return 1;
361e71b7053SJung-uk Kim }
362e71b7053SJung-uk Kim
363e71b7053SJung-uk Kim msg_len = msg_hdr->msg_len;
364e71b7053SJung-uk Kim
365e71b7053SJung-uk Kim /* reconstruct message header */
366e71b7053SJung-uk Kim *(p++) = msg_hdr->type;
367e71b7053SJung-uk Kim l2n3(msg_len, p);
368e71b7053SJung-uk Kim s2n(msg_hdr->seq, p);
369e71b7053SJung-uk Kim l2n3(0, p);
370e71b7053SJung-uk Kim l2n3(msg_len, p);
371e71b7053SJung-uk Kim
372e71b7053SJung-uk Kim memset(msg_hdr, 0, sizeof(*msg_hdr));
373e71b7053SJung-uk Kim
374e71b7053SJung-uk Kim s->d1->handshake_read_seq++;
375e71b7053SJung-uk Kim
376e71b7053SJung-uk Kim s->init_msg = s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
377e71b7053SJung-uk Kim
378e71b7053SJung-uk Kim return 1;
379e71b7053SJung-uk Kim }
380e71b7053SJung-uk Kim
381e71b7053SJung-uk Kim /*
382b077aed3SPierre Pronchery * Actually we already have the message body - but this is an opportunity for
383b077aed3SPierre Pronchery * DTLS to do any further processing it wants at the same point that TLS would
384b077aed3SPierre Pronchery * be asked for the message body.
385b077aed3SPierre Pronchery */
dtls_get_message_body(SSL * s,size_t * len)386b077aed3SPierre Pronchery int dtls_get_message_body(SSL *s, size_t *len)
387b077aed3SPierre Pronchery {
388b077aed3SPierre Pronchery unsigned char *msg = (unsigned char *)s->init_buf->data;
389b077aed3SPierre Pronchery size_t msg_len = s->init_num + DTLS1_HM_HEADER_LENGTH;
390b077aed3SPierre Pronchery
391b077aed3SPierre Pronchery if (s->s3.tmp.message_type == SSL3_MT_CHANGE_CIPHER_SPEC) {
392b077aed3SPierre Pronchery /* Nothing to be done */
393b077aed3SPierre Pronchery goto end;
394b077aed3SPierre Pronchery }
395b077aed3SPierre Pronchery /*
396b077aed3SPierre Pronchery * If receiving Finished, record MAC of prior handshake messages for
397b077aed3SPierre Pronchery * Finished verification.
398b077aed3SPierre Pronchery */
399b077aed3SPierre Pronchery if (*(s->init_buf->data) == SSL3_MT_FINISHED && !ssl3_take_mac(s)) {
400b077aed3SPierre Pronchery /* SSLfatal() already called */
401b077aed3SPierre Pronchery return 0;
402b077aed3SPierre Pronchery }
403b077aed3SPierre Pronchery
404b077aed3SPierre Pronchery if (s->version == DTLS1_BAD_VER) {
405b077aed3SPierre Pronchery msg += DTLS1_HM_HEADER_LENGTH;
406b077aed3SPierre Pronchery msg_len -= DTLS1_HM_HEADER_LENGTH;
407b077aed3SPierre Pronchery }
408b077aed3SPierre Pronchery
409b077aed3SPierre Pronchery if (!ssl3_finish_mac(s, msg, msg_len))
410b077aed3SPierre Pronchery return 0;
411b077aed3SPierre Pronchery
412b077aed3SPierre Pronchery if (s->msg_callback)
413b077aed3SPierre Pronchery s->msg_callback(0, s->version, SSL3_RT_HANDSHAKE,
414b077aed3SPierre Pronchery s->init_buf->data, s->init_num + DTLS1_HM_HEADER_LENGTH,
415b077aed3SPierre Pronchery s, s->msg_callback_arg);
416b077aed3SPierre Pronchery
417b077aed3SPierre Pronchery end:
418b077aed3SPierre Pronchery *len = s->init_num;
419b077aed3SPierre Pronchery return 1;
420b077aed3SPierre Pronchery }
421b077aed3SPierre Pronchery
422b077aed3SPierre Pronchery /*
423e71b7053SJung-uk Kim * dtls1_max_handshake_message_len returns the maximum number of bytes
424e71b7053SJung-uk Kim * permitted in a DTLS handshake message for |s|. The minimum is 16KB, but
425e71b7053SJung-uk Kim * may be greater if the maximum certificate list size requires it.
426e71b7053SJung-uk Kim */
dtls1_max_handshake_message_len(const SSL * s)427e71b7053SJung-uk Kim static size_t dtls1_max_handshake_message_len(const SSL *s)
428e71b7053SJung-uk Kim {
429e71b7053SJung-uk Kim size_t max_len = DTLS1_HM_HEADER_LENGTH + SSL3_RT_MAX_ENCRYPTED_LENGTH;
430e71b7053SJung-uk Kim if (max_len < s->max_cert_list)
431e71b7053SJung-uk Kim return s->max_cert_list;
432e71b7053SJung-uk Kim return max_len;
433e71b7053SJung-uk Kim }
434e71b7053SJung-uk Kim
dtls1_preprocess_fragment(SSL * s,struct hm_header_st * msg_hdr)435e71b7053SJung-uk Kim static int dtls1_preprocess_fragment(SSL *s, struct hm_header_st *msg_hdr)
436e71b7053SJung-uk Kim {
437e71b7053SJung-uk Kim size_t frag_off, frag_len, msg_len;
438e71b7053SJung-uk Kim
439e71b7053SJung-uk Kim msg_len = msg_hdr->msg_len;
440e71b7053SJung-uk Kim frag_off = msg_hdr->frag_off;
441e71b7053SJung-uk Kim frag_len = msg_hdr->frag_len;
442e71b7053SJung-uk Kim
443e71b7053SJung-uk Kim /* sanity checking */
444e71b7053SJung-uk Kim if ((frag_off + frag_len) > msg_len
445e71b7053SJung-uk Kim || msg_len > dtls1_max_handshake_message_len(s)) {
446b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_R_EXCESSIVE_MESSAGE_SIZE);
447e71b7053SJung-uk Kim return 0;
448e71b7053SJung-uk Kim }
449e71b7053SJung-uk Kim
450e71b7053SJung-uk Kim if (s->d1->r_msg_hdr.frag_off == 0) { /* first fragment */
451e71b7053SJung-uk Kim /*
452e71b7053SJung-uk Kim * msg_len is limited to 2^24, but is effectively checked against
453e71b7053SJung-uk Kim * dtls_max_handshake_message_len(s) above
454e71b7053SJung-uk Kim */
455e71b7053SJung-uk Kim if (!BUF_MEM_grow_clean(s->init_buf, msg_len + DTLS1_HM_HEADER_LENGTH)) {
456b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_INTERNAL_ERROR, ERR_R_BUF_LIB);
457e71b7053SJung-uk Kim return 0;
458e71b7053SJung-uk Kim }
459e71b7053SJung-uk Kim
460b077aed3SPierre Pronchery s->s3.tmp.message_size = msg_len;
461e71b7053SJung-uk Kim s->d1->r_msg_hdr.msg_len = msg_len;
462b077aed3SPierre Pronchery s->s3.tmp.message_type = msg_hdr->type;
463e71b7053SJung-uk Kim s->d1->r_msg_hdr.type = msg_hdr->type;
464e71b7053SJung-uk Kim s->d1->r_msg_hdr.seq = msg_hdr->seq;
465e71b7053SJung-uk Kim } else if (msg_len != s->d1->r_msg_hdr.msg_len) {
466e71b7053SJung-uk Kim /*
467e71b7053SJung-uk Kim * They must be playing with us! BTW, failure to enforce upper limit
468e71b7053SJung-uk Kim * would open possibility for buffer overrun.
469e71b7053SJung-uk Kim */
470b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_R_EXCESSIVE_MESSAGE_SIZE);
471e71b7053SJung-uk Kim return 0;
472e71b7053SJung-uk Kim }
473e71b7053SJung-uk Kim
474e71b7053SJung-uk Kim return 1;
475e71b7053SJung-uk Kim }
476e71b7053SJung-uk Kim
477e71b7053SJung-uk Kim /*
478e71b7053SJung-uk Kim * Returns 1 if there is a buffered fragment available, 0 if not, or -1 on a
479e71b7053SJung-uk Kim * fatal error.
480e71b7053SJung-uk Kim */
dtls1_retrieve_buffered_fragment(SSL * s,size_t * len)481e71b7053SJung-uk Kim static int dtls1_retrieve_buffered_fragment(SSL *s, size_t *len)
482e71b7053SJung-uk Kim {
483e71b7053SJung-uk Kim /*-
484e71b7053SJung-uk Kim * (0) check whether the desired fragment is available
485e71b7053SJung-uk Kim * if so:
486e71b7053SJung-uk Kim * (1) copy over the fragment to s->init_buf->data[]
487e71b7053SJung-uk Kim * (2) update s->init_num
488e71b7053SJung-uk Kim */
489e71b7053SJung-uk Kim pitem *item;
490b077aed3SPierre Pronchery piterator iter;
491e71b7053SJung-uk Kim hm_fragment *frag;
492e71b7053SJung-uk Kim int ret;
493b077aed3SPierre Pronchery int chretran = 0;
494e71b7053SJung-uk Kim
495b077aed3SPierre Pronchery iter = pqueue_iterator(s->d1->buffered_messages);
496e71b7053SJung-uk Kim do {
497b077aed3SPierre Pronchery item = pqueue_next(&iter);
498e71b7053SJung-uk Kim if (item == NULL)
499e71b7053SJung-uk Kim return 0;
500e71b7053SJung-uk Kim
501e71b7053SJung-uk Kim frag = (hm_fragment *)item->data;
502e71b7053SJung-uk Kim
503e71b7053SJung-uk Kim if (frag->msg_header.seq < s->d1->handshake_read_seq) {
504b077aed3SPierre Pronchery pitem *next;
505b077aed3SPierre Pronchery hm_fragment *nextfrag;
506b077aed3SPierre Pronchery
507b077aed3SPierre Pronchery if (!s->server
508b077aed3SPierre Pronchery || frag->msg_header.seq != 0
509b077aed3SPierre Pronchery || s->d1->handshake_read_seq != 1
510b077aed3SPierre Pronchery || s->statem.hand_state != DTLS_ST_SW_HELLO_VERIFY_REQUEST) {
511b077aed3SPierre Pronchery /*
512b077aed3SPierre Pronchery * This is a stale message that has been buffered so clear it.
513b077aed3SPierre Pronchery * It is safe to pop this message from the queue even though
514b077aed3SPierre Pronchery * we have an active iterator
515b077aed3SPierre Pronchery */
516e71b7053SJung-uk Kim pqueue_pop(s->d1->buffered_messages);
517e71b7053SJung-uk Kim dtls1_hm_fragment_free(frag);
518e71b7053SJung-uk Kim pitem_free(item);
519e71b7053SJung-uk Kim item = NULL;
520e71b7053SJung-uk Kim frag = NULL;
521b077aed3SPierre Pronchery } else {
522b077aed3SPierre Pronchery /*
523b077aed3SPierre Pronchery * We have fragments for a ClientHello without a cookie,
524b077aed3SPierre Pronchery * even though we have sent a HelloVerifyRequest. It is possible
525b077aed3SPierre Pronchery * that the HelloVerifyRequest got lost and this is a
526b077aed3SPierre Pronchery * retransmission of the original ClientHello
527b077aed3SPierre Pronchery */
528b077aed3SPierre Pronchery next = pqueue_next(&iter);
529b077aed3SPierre Pronchery if (next != NULL) {
530b077aed3SPierre Pronchery nextfrag = (hm_fragment *)next->data;
531b077aed3SPierre Pronchery if (nextfrag->msg_header.seq == s->d1->handshake_read_seq) {
532b077aed3SPierre Pronchery /*
533b077aed3SPierre Pronchery * We have fragments for both a ClientHello without
534b077aed3SPierre Pronchery * cookie and one with. Ditch the one without.
535b077aed3SPierre Pronchery */
536b077aed3SPierre Pronchery pqueue_pop(s->d1->buffered_messages);
537b077aed3SPierre Pronchery dtls1_hm_fragment_free(frag);
538b077aed3SPierre Pronchery pitem_free(item);
539b077aed3SPierre Pronchery item = next;
540b077aed3SPierre Pronchery frag = nextfrag;
541b077aed3SPierre Pronchery } else {
542b077aed3SPierre Pronchery chretran = 1;
543b077aed3SPierre Pronchery }
544b077aed3SPierre Pronchery } else {
545b077aed3SPierre Pronchery chretran = 1;
546b077aed3SPierre Pronchery }
547b077aed3SPierre Pronchery }
548e71b7053SJung-uk Kim }
549e71b7053SJung-uk Kim } while (item == NULL);
550e71b7053SJung-uk Kim
551e71b7053SJung-uk Kim /* Don't return if reassembly still in progress */
552e71b7053SJung-uk Kim if (frag->reassembly != NULL)
553e71b7053SJung-uk Kim return 0;
554e71b7053SJung-uk Kim
555b077aed3SPierre Pronchery if (s->d1->handshake_read_seq == frag->msg_header.seq || chretran) {
556e71b7053SJung-uk Kim size_t frag_len = frag->msg_header.frag_len;
557e71b7053SJung-uk Kim pqueue_pop(s->d1->buffered_messages);
558e71b7053SJung-uk Kim
559e71b7053SJung-uk Kim /* Calls SSLfatal() as required */
560e71b7053SJung-uk Kim ret = dtls1_preprocess_fragment(s, &frag->msg_header);
561e71b7053SJung-uk Kim
562e71b7053SJung-uk Kim if (ret && frag->msg_header.frag_len > 0) {
563e71b7053SJung-uk Kim unsigned char *p =
564e71b7053SJung-uk Kim (unsigned char *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
565e71b7053SJung-uk Kim memcpy(&p[frag->msg_header.frag_off], frag->fragment,
566e71b7053SJung-uk Kim frag->msg_header.frag_len);
567e71b7053SJung-uk Kim }
568e71b7053SJung-uk Kim
569e71b7053SJung-uk Kim dtls1_hm_fragment_free(frag);
570e71b7053SJung-uk Kim pitem_free(item);
571e71b7053SJung-uk Kim
572e71b7053SJung-uk Kim if (ret) {
573b077aed3SPierre Pronchery if (chretran) {
574b077aed3SPierre Pronchery /*
575b077aed3SPierre Pronchery * We got a new ClientHello with a message sequence of 0.
576b077aed3SPierre Pronchery * Reset the read/write sequences back to the beginning.
577b077aed3SPierre Pronchery * We process it like this is the first time we've seen a
578b077aed3SPierre Pronchery * ClientHello from the client.
579b077aed3SPierre Pronchery */
580b077aed3SPierre Pronchery s->d1->handshake_read_seq = 0;
581b077aed3SPierre Pronchery s->d1->next_handshake_write_seq = 0;
582b077aed3SPierre Pronchery }
583e71b7053SJung-uk Kim *len = frag_len;
584e71b7053SJung-uk Kim return 1;
585e71b7053SJung-uk Kim }
586e71b7053SJung-uk Kim
587e71b7053SJung-uk Kim /* Fatal error */
588e71b7053SJung-uk Kim s->init_num = 0;
589e71b7053SJung-uk Kim return -1;
590e71b7053SJung-uk Kim } else {
591e71b7053SJung-uk Kim return 0;
592e71b7053SJung-uk Kim }
593e71b7053SJung-uk Kim }
594e71b7053SJung-uk Kim
595e71b7053SJung-uk Kim static int
dtls1_reassemble_fragment(SSL * s,const struct hm_header_st * msg_hdr)596e71b7053SJung-uk Kim dtls1_reassemble_fragment(SSL *s, const struct hm_header_st *msg_hdr)
597e71b7053SJung-uk Kim {
598e71b7053SJung-uk Kim hm_fragment *frag = NULL;
599e71b7053SJung-uk Kim pitem *item = NULL;
600e71b7053SJung-uk Kim int i = -1, is_complete;
601e71b7053SJung-uk Kim unsigned char seq64be[8];
602e71b7053SJung-uk Kim size_t frag_len = msg_hdr->frag_len;
603e71b7053SJung-uk Kim size_t readbytes;
604e71b7053SJung-uk Kim
605e71b7053SJung-uk Kim if ((msg_hdr->frag_off + frag_len) > msg_hdr->msg_len ||
606e71b7053SJung-uk Kim msg_hdr->msg_len > dtls1_max_handshake_message_len(s))
607e71b7053SJung-uk Kim goto err;
608e71b7053SJung-uk Kim
609e71b7053SJung-uk Kim if (frag_len == 0) {
610e71b7053SJung-uk Kim return DTLS1_HM_FRAGMENT_RETRY;
611e71b7053SJung-uk Kim }
612e71b7053SJung-uk Kim
613e71b7053SJung-uk Kim /* Try to find item in queue */
614e71b7053SJung-uk Kim memset(seq64be, 0, sizeof(seq64be));
615e71b7053SJung-uk Kim seq64be[6] = (unsigned char)(msg_hdr->seq >> 8);
616e71b7053SJung-uk Kim seq64be[7] = (unsigned char)msg_hdr->seq;
617e71b7053SJung-uk Kim item = pqueue_find(s->d1->buffered_messages, seq64be);
618e71b7053SJung-uk Kim
619e71b7053SJung-uk Kim if (item == NULL) {
620e71b7053SJung-uk Kim frag = dtls1_hm_fragment_new(msg_hdr->msg_len, 1);
621e71b7053SJung-uk Kim if (frag == NULL)
622e71b7053SJung-uk Kim goto err;
623e71b7053SJung-uk Kim memcpy(&(frag->msg_header), msg_hdr, sizeof(*msg_hdr));
624e71b7053SJung-uk Kim frag->msg_header.frag_len = frag->msg_header.msg_len;
625e71b7053SJung-uk Kim frag->msg_header.frag_off = 0;
626e71b7053SJung-uk Kim } else {
627e71b7053SJung-uk Kim frag = (hm_fragment *)item->data;
628e71b7053SJung-uk Kim if (frag->msg_header.msg_len != msg_hdr->msg_len) {
629e71b7053SJung-uk Kim item = NULL;
630e71b7053SJung-uk Kim frag = NULL;
631e71b7053SJung-uk Kim goto err;
632e71b7053SJung-uk Kim }
633e71b7053SJung-uk Kim }
634e71b7053SJung-uk Kim
635e71b7053SJung-uk Kim /*
636e71b7053SJung-uk Kim * If message is already reassembled, this must be a retransmit and can
637e71b7053SJung-uk Kim * be dropped. In this case item != NULL and so frag does not need to be
638e71b7053SJung-uk Kim * freed.
639e71b7053SJung-uk Kim */
640e71b7053SJung-uk Kim if (frag->reassembly == NULL) {
641e71b7053SJung-uk Kim unsigned char devnull[256];
642e71b7053SJung-uk Kim
643e71b7053SJung-uk Kim while (frag_len) {
644e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, NULL,
645e71b7053SJung-uk Kim devnull,
646e71b7053SJung-uk Kim frag_len >
647e71b7053SJung-uk Kim sizeof(devnull) ? sizeof(devnull) :
648e71b7053SJung-uk Kim frag_len, 0, &readbytes);
649e71b7053SJung-uk Kim if (i <= 0)
650e71b7053SJung-uk Kim goto err;
651e71b7053SJung-uk Kim frag_len -= readbytes;
652e71b7053SJung-uk Kim }
653e71b7053SJung-uk Kim return DTLS1_HM_FRAGMENT_RETRY;
654e71b7053SJung-uk Kim }
655e71b7053SJung-uk Kim
656e71b7053SJung-uk Kim /* read the body of the fragment (header has already been read */
657e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, NULL,
658e71b7053SJung-uk Kim frag->fragment + msg_hdr->frag_off,
659e71b7053SJung-uk Kim frag_len, 0, &readbytes);
660e71b7053SJung-uk Kim if (i <= 0 || readbytes != frag_len)
661e71b7053SJung-uk Kim i = -1;
662e71b7053SJung-uk Kim if (i <= 0)
663e71b7053SJung-uk Kim goto err;
664e71b7053SJung-uk Kim
665e71b7053SJung-uk Kim RSMBLY_BITMASK_MARK(frag->reassembly, (long)msg_hdr->frag_off,
666e71b7053SJung-uk Kim (long)(msg_hdr->frag_off + frag_len));
667e71b7053SJung-uk Kim
668e71b7053SJung-uk Kim if (!ossl_assert(msg_hdr->msg_len > 0))
669e71b7053SJung-uk Kim goto err;
670e71b7053SJung-uk Kim RSMBLY_BITMASK_IS_COMPLETE(frag->reassembly, (long)msg_hdr->msg_len,
671e71b7053SJung-uk Kim is_complete);
672e71b7053SJung-uk Kim
673e71b7053SJung-uk Kim if (is_complete) {
674e71b7053SJung-uk Kim OPENSSL_free(frag->reassembly);
675e71b7053SJung-uk Kim frag->reassembly = NULL;
676e71b7053SJung-uk Kim }
677e71b7053SJung-uk Kim
678e71b7053SJung-uk Kim if (item == NULL) {
679e71b7053SJung-uk Kim item = pitem_new(seq64be, frag);
680e71b7053SJung-uk Kim if (item == NULL) {
681e71b7053SJung-uk Kim i = -1;
682e71b7053SJung-uk Kim goto err;
683e71b7053SJung-uk Kim }
684e71b7053SJung-uk Kim
685e71b7053SJung-uk Kim item = pqueue_insert(s->d1->buffered_messages, item);
686e71b7053SJung-uk Kim /*
687e71b7053SJung-uk Kim * pqueue_insert fails iff a duplicate item is inserted. However,
688e71b7053SJung-uk Kim * |item| cannot be a duplicate. If it were, |pqueue_find|, above,
689e71b7053SJung-uk Kim * would have returned it and control would never have reached this
690e71b7053SJung-uk Kim * branch.
691e71b7053SJung-uk Kim */
692e71b7053SJung-uk Kim if (!ossl_assert(item != NULL))
693e71b7053SJung-uk Kim goto err;
694e71b7053SJung-uk Kim }
695e71b7053SJung-uk Kim
696e71b7053SJung-uk Kim return DTLS1_HM_FRAGMENT_RETRY;
697e71b7053SJung-uk Kim
698e71b7053SJung-uk Kim err:
699e71b7053SJung-uk Kim if (item == NULL)
700e71b7053SJung-uk Kim dtls1_hm_fragment_free(frag);
701e71b7053SJung-uk Kim return -1;
702e71b7053SJung-uk Kim }
703e71b7053SJung-uk Kim
704e71b7053SJung-uk Kim static int
dtls1_process_out_of_seq_message(SSL * s,const struct hm_header_st * msg_hdr)705e71b7053SJung-uk Kim dtls1_process_out_of_seq_message(SSL *s, const struct hm_header_st *msg_hdr)
706e71b7053SJung-uk Kim {
707e71b7053SJung-uk Kim int i = -1;
708e71b7053SJung-uk Kim hm_fragment *frag = NULL;
709e71b7053SJung-uk Kim pitem *item = NULL;
710e71b7053SJung-uk Kim unsigned char seq64be[8];
711e71b7053SJung-uk Kim size_t frag_len = msg_hdr->frag_len;
712e71b7053SJung-uk Kim size_t readbytes;
713e71b7053SJung-uk Kim
714e71b7053SJung-uk Kim if ((msg_hdr->frag_off + frag_len) > msg_hdr->msg_len)
715e71b7053SJung-uk Kim goto err;
716e71b7053SJung-uk Kim
717e71b7053SJung-uk Kim /* Try to find item in queue, to prevent duplicate entries */
718e71b7053SJung-uk Kim memset(seq64be, 0, sizeof(seq64be));
719e71b7053SJung-uk Kim seq64be[6] = (unsigned char)(msg_hdr->seq >> 8);
720e71b7053SJung-uk Kim seq64be[7] = (unsigned char)msg_hdr->seq;
721e71b7053SJung-uk Kim item = pqueue_find(s->d1->buffered_messages, seq64be);
722e71b7053SJung-uk Kim
723e71b7053SJung-uk Kim /*
724e71b7053SJung-uk Kim * If we already have an entry and this one is a fragment, don't discard
725e71b7053SJung-uk Kim * it and rather try to reassemble it.
726e71b7053SJung-uk Kim */
727e71b7053SJung-uk Kim if (item != NULL && frag_len != msg_hdr->msg_len)
728e71b7053SJung-uk Kim item = NULL;
729e71b7053SJung-uk Kim
730e71b7053SJung-uk Kim /*
731e71b7053SJung-uk Kim * Discard the message if sequence number was already there, is too far
732e71b7053SJung-uk Kim * in the future, already in the queue or if we received a FINISHED
733e71b7053SJung-uk Kim * before the SERVER_HELLO, which then must be a stale retransmit.
734e71b7053SJung-uk Kim */
735e71b7053SJung-uk Kim if (msg_hdr->seq <= s->d1->handshake_read_seq ||
736e71b7053SJung-uk Kim msg_hdr->seq > s->d1->handshake_read_seq + 10 || item != NULL ||
737e71b7053SJung-uk Kim (s->d1->handshake_read_seq == 0 && msg_hdr->type == SSL3_MT_FINISHED)) {
738e71b7053SJung-uk Kim unsigned char devnull[256];
739e71b7053SJung-uk Kim
740e71b7053SJung-uk Kim while (frag_len) {
741e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, NULL,
742e71b7053SJung-uk Kim devnull,
743e71b7053SJung-uk Kim frag_len >
744e71b7053SJung-uk Kim sizeof(devnull) ? sizeof(devnull) :
745e71b7053SJung-uk Kim frag_len, 0, &readbytes);
746e71b7053SJung-uk Kim if (i <= 0)
747e71b7053SJung-uk Kim goto err;
748e71b7053SJung-uk Kim frag_len -= readbytes;
749e71b7053SJung-uk Kim }
750e71b7053SJung-uk Kim } else {
751e71b7053SJung-uk Kim if (frag_len != msg_hdr->msg_len) {
752e71b7053SJung-uk Kim return dtls1_reassemble_fragment(s, msg_hdr);
753e71b7053SJung-uk Kim }
754e71b7053SJung-uk Kim
755e71b7053SJung-uk Kim if (frag_len > dtls1_max_handshake_message_len(s))
756e71b7053SJung-uk Kim goto err;
757e71b7053SJung-uk Kim
758e71b7053SJung-uk Kim frag = dtls1_hm_fragment_new(frag_len, 0);
759e71b7053SJung-uk Kim if (frag == NULL)
760e71b7053SJung-uk Kim goto err;
761e71b7053SJung-uk Kim
762e71b7053SJung-uk Kim memcpy(&(frag->msg_header), msg_hdr, sizeof(*msg_hdr));
763e71b7053SJung-uk Kim
764e71b7053SJung-uk Kim if (frag_len) {
765e71b7053SJung-uk Kim /*
766e71b7053SJung-uk Kim * read the body of the fragment (header has already been read
767e71b7053SJung-uk Kim */
768e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, NULL,
769e71b7053SJung-uk Kim frag->fragment, frag_len, 0,
770e71b7053SJung-uk Kim &readbytes);
771e71b7053SJung-uk Kim if (i<=0 || readbytes != frag_len)
772e71b7053SJung-uk Kim i = -1;
773e71b7053SJung-uk Kim if (i <= 0)
774e71b7053SJung-uk Kim goto err;
775e71b7053SJung-uk Kim }
776e71b7053SJung-uk Kim
777e71b7053SJung-uk Kim item = pitem_new(seq64be, frag);
778e71b7053SJung-uk Kim if (item == NULL)
779e71b7053SJung-uk Kim goto err;
780e71b7053SJung-uk Kim
781e71b7053SJung-uk Kim item = pqueue_insert(s->d1->buffered_messages, item);
782e71b7053SJung-uk Kim /*
783e71b7053SJung-uk Kim * pqueue_insert fails iff a duplicate item is inserted. However,
784e71b7053SJung-uk Kim * |item| cannot be a duplicate. If it were, |pqueue_find|, above,
785e71b7053SJung-uk Kim * would have returned it. Then, either |frag_len| !=
786e71b7053SJung-uk Kim * |msg_hdr->msg_len| in which case |item| is set to NULL and it will
787e71b7053SJung-uk Kim * have been processed with |dtls1_reassemble_fragment|, above, or
788e71b7053SJung-uk Kim * the record will have been discarded.
789e71b7053SJung-uk Kim */
790e71b7053SJung-uk Kim if (!ossl_assert(item != NULL))
791e71b7053SJung-uk Kim goto err;
792e71b7053SJung-uk Kim }
793e71b7053SJung-uk Kim
794e71b7053SJung-uk Kim return DTLS1_HM_FRAGMENT_RETRY;
795e71b7053SJung-uk Kim
796e71b7053SJung-uk Kim err:
797e71b7053SJung-uk Kim if (item == NULL)
798e71b7053SJung-uk Kim dtls1_hm_fragment_free(frag);
799e71b7053SJung-uk Kim return 0;
800e71b7053SJung-uk Kim }
801e71b7053SJung-uk Kim
dtls_get_reassembled_message(SSL * s,int * errtype,size_t * len)802e71b7053SJung-uk Kim static int dtls_get_reassembled_message(SSL *s, int *errtype, size_t *len)
803e71b7053SJung-uk Kim {
804e71b7053SJung-uk Kim unsigned char wire[DTLS1_HM_HEADER_LENGTH];
805e71b7053SJung-uk Kim size_t mlen, frag_off, frag_len;
806e71b7053SJung-uk Kim int i, ret, recvd_type;
807e71b7053SJung-uk Kim struct hm_header_st msg_hdr;
808e71b7053SJung-uk Kim size_t readbytes;
809b077aed3SPierre Pronchery int chretran = 0;
810e71b7053SJung-uk Kim
811e71b7053SJung-uk Kim *errtype = 0;
812e71b7053SJung-uk Kim
813e71b7053SJung-uk Kim redo:
814e71b7053SJung-uk Kim /* see if we have the required fragment already */
815e71b7053SJung-uk Kim ret = dtls1_retrieve_buffered_fragment(s, &frag_len);
816e71b7053SJung-uk Kim if (ret < 0) {
817e71b7053SJung-uk Kim /* SSLfatal() already called */
818e71b7053SJung-uk Kim return 0;
819e71b7053SJung-uk Kim }
820e71b7053SJung-uk Kim if (ret > 0) {
821e71b7053SJung-uk Kim s->init_num = frag_len;
822e71b7053SJung-uk Kim *len = frag_len;
823e71b7053SJung-uk Kim return 1;
824e71b7053SJung-uk Kim }
825e71b7053SJung-uk Kim
826e71b7053SJung-uk Kim /* read handshake message header */
827e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, &recvd_type, wire,
828e71b7053SJung-uk Kim DTLS1_HM_HEADER_LENGTH, 0, &readbytes);
829e71b7053SJung-uk Kim if (i <= 0) { /* nbio, or an error */
830e71b7053SJung-uk Kim s->rwstate = SSL_READING;
831e71b7053SJung-uk Kim *len = 0;
832e71b7053SJung-uk Kim return 0;
833e71b7053SJung-uk Kim }
834e71b7053SJung-uk Kim if (recvd_type == SSL3_RT_CHANGE_CIPHER_SPEC) {
835e71b7053SJung-uk Kim if (wire[0] != SSL3_MT_CCS) {
836e71b7053SJung-uk Kim SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE,
837e71b7053SJung-uk Kim SSL_R_BAD_CHANGE_CIPHER_SPEC);
838e71b7053SJung-uk Kim goto f_err;
839e71b7053SJung-uk Kim }
840e71b7053SJung-uk Kim
841e71b7053SJung-uk Kim memcpy(s->init_buf->data, wire, readbytes);
842e71b7053SJung-uk Kim s->init_num = readbytes - 1;
843e71b7053SJung-uk Kim s->init_msg = s->init_buf->data + 1;
844b077aed3SPierre Pronchery s->s3.tmp.message_type = SSL3_MT_CHANGE_CIPHER_SPEC;
845b077aed3SPierre Pronchery s->s3.tmp.message_size = readbytes - 1;
846e71b7053SJung-uk Kim *len = readbytes - 1;
847e71b7053SJung-uk Kim return 1;
848e71b7053SJung-uk Kim }
849e71b7053SJung-uk Kim
850e71b7053SJung-uk Kim /* Handshake fails if message header is incomplete */
851e71b7053SJung-uk Kim if (readbytes != DTLS1_HM_HEADER_LENGTH) {
852b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_R_UNEXPECTED_MESSAGE);
853e71b7053SJung-uk Kim goto f_err;
854e71b7053SJung-uk Kim }
855e71b7053SJung-uk Kim
856e71b7053SJung-uk Kim /* parse the message fragment header */
857e71b7053SJung-uk Kim dtls1_get_message_header(wire, &msg_hdr);
858e71b7053SJung-uk Kim
859e71b7053SJung-uk Kim mlen = msg_hdr.msg_len;
860e71b7053SJung-uk Kim frag_off = msg_hdr.frag_off;
861e71b7053SJung-uk Kim frag_len = msg_hdr.frag_len;
862e71b7053SJung-uk Kim
863e71b7053SJung-uk Kim /*
864e71b7053SJung-uk Kim * We must have at least frag_len bytes left in the record to be read.
865e71b7053SJung-uk Kim * Fragments must not span records.
866e71b7053SJung-uk Kim */
867e71b7053SJung-uk Kim if (frag_len > RECORD_LAYER_get_rrec_length(&s->rlayer)) {
868b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_R_BAD_LENGTH);
869e71b7053SJung-uk Kim goto f_err;
870e71b7053SJung-uk Kim }
871e71b7053SJung-uk Kim
872e71b7053SJung-uk Kim /*
873e71b7053SJung-uk Kim * if this is a future (or stale) message it gets buffered
874e71b7053SJung-uk Kim * (or dropped)--no further processing at this time
875e71b7053SJung-uk Kim * While listening, we accept seq 1 (ClientHello with cookie)
876e71b7053SJung-uk Kim * although we're still expecting seq 0 (ClientHello)
877e71b7053SJung-uk Kim */
878e71b7053SJung-uk Kim if (msg_hdr.seq != s->d1->handshake_read_seq) {
879b077aed3SPierre Pronchery if (!s->server
880b077aed3SPierre Pronchery || msg_hdr.seq != 0
881b077aed3SPierre Pronchery || s->d1->handshake_read_seq != 1
882b077aed3SPierre Pronchery || wire[0] != SSL3_MT_CLIENT_HELLO
883b077aed3SPierre Pronchery || s->statem.hand_state != DTLS_ST_SW_HELLO_VERIFY_REQUEST) {
884e71b7053SJung-uk Kim *errtype = dtls1_process_out_of_seq_message(s, &msg_hdr);
885e71b7053SJung-uk Kim return 0;
886e71b7053SJung-uk Kim }
887b077aed3SPierre Pronchery /*
888b077aed3SPierre Pronchery * We received a ClientHello and sent back a HelloVerifyRequest. We
889b077aed3SPierre Pronchery * now seem to have received a retransmitted initial ClientHello. That
890b077aed3SPierre Pronchery * is allowed (possibly our HelloVerifyRequest got lost).
891b077aed3SPierre Pronchery */
892b077aed3SPierre Pronchery chretran = 1;
893b077aed3SPierre Pronchery }
894e71b7053SJung-uk Kim
895e71b7053SJung-uk Kim if (frag_len && frag_len < mlen) {
896e71b7053SJung-uk Kim *errtype = dtls1_reassemble_fragment(s, &msg_hdr);
897e71b7053SJung-uk Kim return 0;
898e71b7053SJung-uk Kim }
899e71b7053SJung-uk Kim
900e71b7053SJung-uk Kim if (!s->server
901e71b7053SJung-uk Kim && s->d1->r_msg_hdr.frag_off == 0
902e71b7053SJung-uk Kim && s->statem.hand_state != TLS_ST_OK
903e71b7053SJung-uk Kim && wire[0] == SSL3_MT_HELLO_REQUEST) {
904e71b7053SJung-uk Kim /*
905e71b7053SJung-uk Kim * The server may always send 'Hello Request' messages -- we are
906e71b7053SJung-uk Kim * doing a handshake anyway now, so ignore them if their format is
907e71b7053SJung-uk Kim * correct. Does not count for 'Finished' MAC.
908e71b7053SJung-uk Kim */
909e71b7053SJung-uk Kim if (wire[1] == 0 && wire[2] == 0 && wire[3] == 0) {
910e71b7053SJung-uk Kim if (s->msg_callback)
911e71b7053SJung-uk Kim s->msg_callback(0, s->version, SSL3_RT_HANDSHAKE,
912e71b7053SJung-uk Kim wire, DTLS1_HM_HEADER_LENGTH, s,
913e71b7053SJung-uk Kim s->msg_callback_arg);
914e71b7053SJung-uk Kim
915e71b7053SJung-uk Kim s->init_num = 0;
916e71b7053SJung-uk Kim goto redo;
917e71b7053SJung-uk Kim } else { /* Incorrectly formatted Hello request */
918e71b7053SJung-uk Kim
919b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_R_UNEXPECTED_MESSAGE);
920e71b7053SJung-uk Kim goto f_err;
921e71b7053SJung-uk Kim }
922e71b7053SJung-uk Kim }
923e71b7053SJung-uk Kim
924e71b7053SJung-uk Kim if (!dtls1_preprocess_fragment(s, &msg_hdr)) {
925e71b7053SJung-uk Kim /* SSLfatal() already called */
926e71b7053SJung-uk Kim goto f_err;
927e71b7053SJung-uk Kim }
928e71b7053SJung-uk Kim
929e71b7053SJung-uk Kim if (frag_len > 0) {
930e71b7053SJung-uk Kim unsigned char *p =
931e71b7053SJung-uk Kim (unsigned char *)s->init_buf->data + DTLS1_HM_HEADER_LENGTH;
932e71b7053SJung-uk Kim
933e71b7053SJung-uk Kim i = s->method->ssl_read_bytes(s, SSL3_RT_HANDSHAKE, NULL,
934e71b7053SJung-uk Kim &p[frag_off], frag_len, 0, &readbytes);
935e71b7053SJung-uk Kim
936e71b7053SJung-uk Kim /*
937e71b7053SJung-uk Kim * This shouldn't ever fail due to NBIO because we already checked
938e71b7053SJung-uk Kim * that we have enough data in the record
939e71b7053SJung-uk Kim */
940e71b7053SJung-uk Kim if (i <= 0) {
941e71b7053SJung-uk Kim s->rwstate = SSL_READING;
942e71b7053SJung-uk Kim *len = 0;
943e71b7053SJung-uk Kim return 0;
944e71b7053SJung-uk Kim }
945e71b7053SJung-uk Kim } else {
946e71b7053SJung-uk Kim readbytes = 0;
947e71b7053SJung-uk Kim }
948e71b7053SJung-uk Kim
949e71b7053SJung-uk Kim /*
950e71b7053SJung-uk Kim * XDTLS: an incorrectly formatted fragment should cause the handshake
951e71b7053SJung-uk Kim * to fail
952e71b7053SJung-uk Kim */
953e71b7053SJung-uk Kim if (readbytes != frag_len) {
954b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_R_BAD_LENGTH);
955e71b7053SJung-uk Kim goto f_err;
956e71b7053SJung-uk Kim }
957e71b7053SJung-uk Kim
958b077aed3SPierre Pronchery if (chretran) {
959b077aed3SPierre Pronchery /*
960b077aed3SPierre Pronchery * We got a new ClientHello with a message sequence of 0.
961b077aed3SPierre Pronchery * Reset the read/write sequences back to the beginning.
962b077aed3SPierre Pronchery * We process it like this is the first time we've seen a ClientHello
963b077aed3SPierre Pronchery * from the client.
964b077aed3SPierre Pronchery */
965b077aed3SPierre Pronchery s->d1->handshake_read_seq = 0;
966b077aed3SPierre Pronchery s->d1->next_handshake_write_seq = 0;
967b077aed3SPierre Pronchery }
968b077aed3SPierre Pronchery
969e71b7053SJung-uk Kim /*
970e71b7053SJung-uk Kim * Note that s->init_num is *not* used as current offset in
971e71b7053SJung-uk Kim * s->init_buf->data, but as a counter summing up fragments' lengths: as
972e71b7053SJung-uk Kim * soon as they sum up to handshake packet length, we assume we have got
973e71b7053SJung-uk Kim * all the fragments.
974e71b7053SJung-uk Kim */
975e71b7053SJung-uk Kim *len = s->init_num = frag_len;
976e71b7053SJung-uk Kim return 1;
977e71b7053SJung-uk Kim
978e71b7053SJung-uk Kim f_err:
979e71b7053SJung-uk Kim s->init_num = 0;
980e71b7053SJung-uk Kim *len = 0;
981e71b7053SJung-uk Kim return 0;
982e71b7053SJung-uk Kim }
983e71b7053SJung-uk Kim
984e71b7053SJung-uk Kim /*-
985e71b7053SJung-uk Kim * for these 2 messages, we need to
986e71b7053SJung-uk Kim * ssl->enc_read_ctx re-init
987e71b7053SJung-uk Kim * ssl->rlayer.read_sequence zero
988b077aed3SPierre Pronchery * ssl->s3.read_mac_secret re-init
989e71b7053SJung-uk Kim * ssl->session->read_sym_enc assign
990e71b7053SJung-uk Kim * ssl->session->read_compression assign
991e71b7053SJung-uk Kim * ssl->session->read_hash assign
992e71b7053SJung-uk Kim */
dtls_construct_change_cipher_spec(SSL * s,WPACKET * pkt)993e71b7053SJung-uk Kim int dtls_construct_change_cipher_spec(SSL *s, WPACKET *pkt)
994e71b7053SJung-uk Kim {
995e71b7053SJung-uk Kim if (s->version == DTLS1_BAD_VER) {
996e71b7053SJung-uk Kim s->d1->next_handshake_write_seq++;
997e71b7053SJung-uk Kim
998e71b7053SJung-uk Kim if (!WPACKET_put_bytes_u16(pkt, s->d1->handshake_write_seq)) {
999b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_INTERNAL_ERROR, ERR_R_INTERNAL_ERROR);
1000e71b7053SJung-uk Kim return 0;
1001e71b7053SJung-uk Kim }
1002e71b7053SJung-uk Kim }
1003e71b7053SJung-uk Kim
1004e71b7053SJung-uk Kim return 1;
1005e71b7053SJung-uk Kim }
1006e71b7053SJung-uk Kim
1007e71b7053SJung-uk Kim #ifndef OPENSSL_NO_SCTP
1008e71b7053SJung-uk Kim /*
1009e71b7053SJung-uk Kim * Wait for a dry event. Should only be called at a point in the handshake
1010e71b7053SJung-uk Kim * where we are not expecting any data from the peer except an alert.
1011e71b7053SJung-uk Kim */
dtls_wait_for_dry(SSL * s)1012e71b7053SJung-uk Kim WORK_STATE dtls_wait_for_dry(SSL *s)
1013e71b7053SJung-uk Kim {
1014e71b7053SJung-uk Kim int ret, errtype;
1015e71b7053SJung-uk Kim size_t len;
1016e71b7053SJung-uk Kim
1017e71b7053SJung-uk Kim /* read app data until dry event */
1018e71b7053SJung-uk Kim ret = BIO_dgram_sctp_wait_for_dry(SSL_get_wbio(s));
1019e71b7053SJung-uk Kim if (ret < 0) {
1020b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_INTERNAL_ERROR, ERR_R_INTERNAL_ERROR);
1021e71b7053SJung-uk Kim return WORK_ERROR;
1022e71b7053SJung-uk Kim }
1023e71b7053SJung-uk Kim
1024e71b7053SJung-uk Kim if (ret == 0) {
1025e71b7053SJung-uk Kim /*
1026e71b7053SJung-uk Kim * We're not expecting any more messages from the peer at this point -
1027e71b7053SJung-uk Kim * but we could get an alert. If an alert is waiting then we will never
1028e71b7053SJung-uk Kim * return successfully. Therefore we attempt to read a message. This
1029e71b7053SJung-uk Kim * should never succeed but will process any waiting alerts.
1030e71b7053SJung-uk Kim */
1031e71b7053SJung-uk Kim if (dtls_get_reassembled_message(s, &errtype, &len)) {
1032e71b7053SJung-uk Kim /* The call succeeded! This should never happen */
1033b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_R_UNEXPECTED_MESSAGE);
1034e71b7053SJung-uk Kim return WORK_ERROR;
1035e71b7053SJung-uk Kim }
1036e71b7053SJung-uk Kim
1037b077aed3SPierre Pronchery s->s3.in_read_app_data = 2;
1038e71b7053SJung-uk Kim s->rwstate = SSL_READING;
1039e71b7053SJung-uk Kim BIO_clear_retry_flags(SSL_get_rbio(s));
1040e71b7053SJung-uk Kim BIO_set_retry_read(SSL_get_rbio(s));
1041e71b7053SJung-uk Kim return WORK_MORE_A;
1042e71b7053SJung-uk Kim }
1043e71b7053SJung-uk Kim return WORK_FINISHED_CONTINUE;
1044e71b7053SJung-uk Kim }
1045e71b7053SJung-uk Kim #endif
1046e71b7053SJung-uk Kim
dtls1_read_failed(SSL * s,int code)1047e71b7053SJung-uk Kim int dtls1_read_failed(SSL *s, int code)
1048e71b7053SJung-uk Kim {
1049e71b7053SJung-uk Kim if (code > 0) {
1050b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_INTERNAL_ERROR, ERR_R_INTERNAL_ERROR);
1051e71b7053SJung-uk Kim return 0;
1052e71b7053SJung-uk Kim }
1053e71b7053SJung-uk Kim
1054e71b7053SJung-uk Kim if (!dtls1_is_timer_expired(s) || ossl_statem_in_error(s)) {
1055e71b7053SJung-uk Kim /*
1056e71b7053SJung-uk Kim * not a timeout, none of our business, let higher layers handle
1057e71b7053SJung-uk Kim * this. in fact it's probably an error
1058e71b7053SJung-uk Kim */
1059e71b7053SJung-uk Kim return code;
1060e71b7053SJung-uk Kim }
1061e71b7053SJung-uk Kim /* done, no need to send a retransmit */
1062e71b7053SJung-uk Kim if (!SSL_in_init(s))
1063e71b7053SJung-uk Kim {
1064e71b7053SJung-uk Kim BIO_set_flags(SSL_get_rbio(s), BIO_FLAGS_READ);
1065e71b7053SJung-uk Kim return code;
1066e71b7053SJung-uk Kim }
1067e71b7053SJung-uk Kim
1068e71b7053SJung-uk Kim return dtls1_handle_timeout(s);
1069e71b7053SJung-uk Kim }
1070e71b7053SJung-uk Kim
dtls1_get_queue_priority(unsigned short seq,int is_ccs)1071e71b7053SJung-uk Kim int dtls1_get_queue_priority(unsigned short seq, int is_ccs)
1072e71b7053SJung-uk Kim {
1073e71b7053SJung-uk Kim /*
1074e71b7053SJung-uk Kim * The index of the retransmission queue actually is the message sequence
1075e71b7053SJung-uk Kim * number, since the queue only contains messages of a single handshake.
1076e71b7053SJung-uk Kim * However, the ChangeCipherSpec has no message sequence number and so
1077e71b7053SJung-uk Kim * using only the sequence will result in the CCS and Finished having the
1078e71b7053SJung-uk Kim * same index. To prevent this, the sequence number is multiplied by 2.
1079e71b7053SJung-uk Kim * In case of a CCS 1 is subtracted. This does not only differ CSS and
1080e71b7053SJung-uk Kim * Finished, it also maintains the order of the index (important for
1081e71b7053SJung-uk Kim * priority queues) and fits in the unsigned short variable.
1082e71b7053SJung-uk Kim */
1083e71b7053SJung-uk Kim return seq * 2 - is_ccs;
1084e71b7053SJung-uk Kim }
1085e71b7053SJung-uk Kim
dtls1_retransmit_buffered_messages(SSL * s)1086e71b7053SJung-uk Kim int dtls1_retransmit_buffered_messages(SSL *s)
1087e71b7053SJung-uk Kim {
1088e71b7053SJung-uk Kim pqueue *sent = s->d1->sent_messages;
1089e71b7053SJung-uk Kim piterator iter;
1090e71b7053SJung-uk Kim pitem *item;
1091e71b7053SJung-uk Kim hm_fragment *frag;
1092e71b7053SJung-uk Kim int found = 0;
1093e71b7053SJung-uk Kim
1094e71b7053SJung-uk Kim iter = pqueue_iterator(sent);
1095e71b7053SJung-uk Kim
1096e71b7053SJung-uk Kim for (item = pqueue_next(&iter); item != NULL; item = pqueue_next(&iter)) {
1097e71b7053SJung-uk Kim frag = (hm_fragment *)item->data;
1098e71b7053SJung-uk Kim if (dtls1_retransmit_message(s, (unsigned short)
1099e71b7053SJung-uk Kim dtls1_get_queue_priority
1100e71b7053SJung-uk Kim (frag->msg_header.seq,
1101e71b7053SJung-uk Kim frag->msg_header.is_ccs), &found) <= 0)
1102e71b7053SJung-uk Kim return -1;
1103e71b7053SJung-uk Kim }
1104e71b7053SJung-uk Kim
1105e71b7053SJung-uk Kim return 1;
1106e71b7053SJung-uk Kim }
1107e71b7053SJung-uk Kim
dtls1_buffer_message(SSL * s,int is_ccs)1108e71b7053SJung-uk Kim int dtls1_buffer_message(SSL *s, int is_ccs)
1109e71b7053SJung-uk Kim {
1110e71b7053SJung-uk Kim pitem *item;
1111e71b7053SJung-uk Kim hm_fragment *frag;
1112e71b7053SJung-uk Kim unsigned char seq64be[8];
1113e71b7053SJung-uk Kim
1114e71b7053SJung-uk Kim /*
1115e71b7053SJung-uk Kim * this function is called immediately after a message has been
1116e71b7053SJung-uk Kim * serialized
1117e71b7053SJung-uk Kim */
1118e71b7053SJung-uk Kim if (!ossl_assert(s->init_off == 0))
1119e71b7053SJung-uk Kim return 0;
1120e71b7053SJung-uk Kim
1121e71b7053SJung-uk Kim frag = dtls1_hm_fragment_new(s->init_num, 0);
1122e71b7053SJung-uk Kim if (frag == NULL)
1123e71b7053SJung-uk Kim return 0;
1124e71b7053SJung-uk Kim
1125e71b7053SJung-uk Kim memcpy(frag->fragment, s->init_buf->data, s->init_num);
1126e71b7053SJung-uk Kim
1127e71b7053SJung-uk Kim if (is_ccs) {
1128e71b7053SJung-uk Kim /* For DTLS1_BAD_VER the header length is non-standard */
1129e71b7053SJung-uk Kim if (!ossl_assert(s->d1->w_msg_hdr.msg_len +
1130e71b7053SJung-uk Kim ((s->version ==
1131e71b7053SJung-uk Kim DTLS1_BAD_VER) ? 3 : DTLS1_CCS_HEADER_LENGTH)
1132b077aed3SPierre Pronchery == (unsigned int)s->init_num)) {
1133b077aed3SPierre Pronchery dtls1_hm_fragment_free(frag);
1134e71b7053SJung-uk Kim return 0;
1135b077aed3SPierre Pronchery }
1136e71b7053SJung-uk Kim } else {
1137e71b7053SJung-uk Kim if (!ossl_assert(s->d1->w_msg_hdr.msg_len +
1138b077aed3SPierre Pronchery DTLS1_HM_HEADER_LENGTH == (unsigned int)s->init_num)) {
1139b077aed3SPierre Pronchery dtls1_hm_fragment_free(frag);
1140e71b7053SJung-uk Kim return 0;
1141e71b7053SJung-uk Kim }
1142b077aed3SPierre Pronchery }
1143e71b7053SJung-uk Kim
1144e71b7053SJung-uk Kim frag->msg_header.msg_len = s->d1->w_msg_hdr.msg_len;
1145e71b7053SJung-uk Kim frag->msg_header.seq = s->d1->w_msg_hdr.seq;
1146e71b7053SJung-uk Kim frag->msg_header.type = s->d1->w_msg_hdr.type;
1147e71b7053SJung-uk Kim frag->msg_header.frag_off = 0;
1148e71b7053SJung-uk Kim frag->msg_header.frag_len = s->d1->w_msg_hdr.msg_len;
1149e71b7053SJung-uk Kim frag->msg_header.is_ccs = is_ccs;
1150e71b7053SJung-uk Kim
1151e71b7053SJung-uk Kim /* save current state */
1152e71b7053SJung-uk Kim frag->msg_header.saved_retransmit_state.enc_write_ctx = s->enc_write_ctx;
1153e71b7053SJung-uk Kim frag->msg_header.saved_retransmit_state.write_hash = s->write_hash;
1154e71b7053SJung-uk Kim frag->msg_header.saved_retransmit_state.compress = s->compress;
1155e71b7053SJung-uk Kim frag->msg_header.saved_retransmit_state.session = s->session;
1156e71b7053SJung-uk Kim frag->msg_header.saved_retransmit_state.epoch =
1157e71b7053SJung-uk Kim DTLS_RECORD_LAYER_get_w_epoch(&s->rlayer);
1158e71b7053SJung-uk Kim
1159e71b7053SJung-uk Kim memset(seq64be, 0, sizeof(seq64be));
1160e71b7053SJung-uk Kim seq64be[6] =
1161e71b7053SJung-uk Kim (unsigned
1162e71b7053SJung-uk Kim char)(dtls1_get_queue_priority(frag->msg_header.seq,
1163e71b7053SJung-uk Kim frag->msg_header.is_ccs) >> 8);
1164e71b7053SJung-uk Kim seq64be[7] =
1165e71b7053SJung-uk Kim (unsigned
1166e71b7053SJung-uk Kim char)(dtls1_get_queue_priority(frag->msg_header.seq,
1167e71b7053SJung-uk Kim frag->msg_header.is_ccs));
1168e71b7053SJung-uk Kim
1169e71b7053SJung-uk Kim item = pitem_new(seq64be, frag);
1170e71b7053SJung-uk Kim if (item == NULL) {
1171e71b7053SJung-uk Kim dtls1_hm_fragment_free(frag);
1172e71b7053SJung-uk Kim return 0;
1173e71b7053SJung-uk Kim }
1174e71b7053SJung-uk Kim
1175e71b7053SJung-uk Kim pqueue_insert(s->d1->sent_messages, item);
1176e71b7053SJung-uk Kim return 1;
1177e71b7053SJung-uk Kim }
1178e71b7053SJung-uk Kim
dtls1_retransmit_message(SSL * s,unsigned short seq,int * found)1179e71b7053SJung-uk Kim int dtls1_retransmit_message(SSL *s, unsigned short seq, int *found)
1180e71b7053SJung-uk Kim {
1181e71b7053SJung-uk Kim int ret;
1182e71b7053SJung-uk Kim /* XDTLS: for now assuming that read/writes are blocking */
1183e71b7053SJung-uk Kim pitem *item;
1184e71b7053SJung-uk Kim hm_fragment *frag;
1185e71b7053SJung-uk Kim unsigned long header_length;
1186e71b7053SJung-uk Kim unsigned char seq64be[8];
1187e71b7053SJung-uk Kim struct dtls1_retransmit_state saved_state;
1188e71b7053SJung-uk Kim
1189e71b7053SJung-uk Kim /* XDTLS: the requested message ought to be found, otherwise error */
1190e71b7053SJung-uk Kim memset(seq64be, 0, sizeof(seq64be));
1191e71b7053SJung-uk Kim seq64be[6] = (unsigned char)(seq >> 8);
1192e71b7053SJung-uk Kim seq64be[7] = (unsigned char)seq;
1193e71b7053SJung-uk Kim
1194e71b7053SJung-uk Kim item = pqueue_find(s->d1->sent_messages, seq64be);
1195e71b7053SJung-uk Kim if (item == NULL) {
1196b077aed3SPierre Pronchery SSLfatal(s, SSL_AD_INTERNAL_ERROR, ERR_R_INTERNAL_ERROR);
1197e71b7053SJung-uk Kim *found = 0;
1198e71b7053SJung-uk Kim return 0;
1199e71b7053SJung-uk Kim }
1200e71b7053SJung-uk Kim
1201e71b7053SJung-uk Kim *found = 1;
1202e71b7053SJung-uk Kim frag = (hm_fragment *)item->data;
1203e71b7053SJung-uk Kim
1204e71b7053SJung-uk Kim if (frag->msg_header.is_ccs)
1205e71b7053SJung-uk Kim header_length = DTLS1_CCS_HEADER_LENGTH;
1206e71b7053SJung-uk Kim else
1207e71b7053SJung-uk Kim header_length = DTLS1_HM_HEADER_LENGTH;
1208e71b7053SJung-uk Kim
1209e71b7053SJung-uk Kim memcpy(s->init_buf->data, frag->fragment,
1210e71b7053SJung-uk Kim frag->msg_header.msg_len + header_length);
1211e71b7053SJung-uk Kim s->init_num = frag->msg_header.msg_len + header_length;
1212e71b7053SJung-uk Kim
1213e71b7053SJung-uk Kim dtls1_set_message_header_int(s, frag->msg_header.type,
1214e71b7053SJung-uk Kim frag->msg_header.msg_len,
1215e71b7053SJung-uk Kim frag->msg_header.seq, 0,
1216e71b7053SJung-uk Kim frag->msg_header.frag_len);
1217e71b7053SJung-uk Kim
1218e71b7053SJung-uk Kim /* save current state */
1219e71b7053SJung-uk Kim saved_state.enc_write_ctx = s->enc_write_ctx;
1220e71b7053SJung-uk Kim saved_state.write_hash = s->write_hash;
1221e71b7053SJung-uk Kim saved_state.compress = s->compress;
1222e71b7053SJung-uk Kim saved_state.session = s->session;
1223e71b7053SJung-uk Kim saved_state.epoch = DTLS_RECORD_LAYER_get_w_epoch(&s->rlayer);
1224e71b7053SJung-uk Kim
1225e71b7053SJung-uk Kim s->d1->retransmitting = 1;
1226e71b7053SJung-uk Kim
1227e71b7053SJung-uk Kim /* restore state in which the message was originally sent */
1228e71b7053SJung-uk Kim s->enc_write_ctx = frag->msg_header.saved_retransmit_state.enc_write_ctx;
1229e71b7053SJung-uk Kim s->write_hash = frag->msg_header.saved_retransmit_state.write_hash;
1230e71b7053SJung-uk Kim s->compress = frag->msg_header.saved_retransmit_state.compress;
1231e71b7053SJung-uk Kim s->session = frag->msg_header.saved_retransmit_state.session;
1232e71b7053SJung-uk Kim DTLS_RECORD_LAYER_set_saved_w_epoch(&s->rlayer,
1233e71b7053SJung-uk Kim frag->msg_header.
1234e71b7053SJung-uk Kim saved_retransmit_state.epoch);
1235e71b7053SJung-uk Kim
1236e71b7053SJung-uk Kim ret = dtls1_do_write(s, frag->msg_header.is_ccs ?
1237e71b7053SJung-uk Kim SSL3_RT_CHANGE_CIPHER_SPEC : SSL3_RT_HANDSHAKE);
1238e71b7053SJung-uk Kim
1239e71b7053SJung-uk Kim /* restore current state */
1240e71b7053SJung-uk Kim s->enc_write_ctx = saved_state.enc_write_ctx;
1241e71b7053SJung-uk Kim s->write_hash = saved_state.write_hash;
1242e71b7053SJung-uk Kim s->compress = saved_state.compress;
1243e71b7053SJung-uk Kim s->session = saved_state.session;
1244e71b7053SJung-uk Kim DTLS_RECORD_LAYER_set_saved_w_epoch(&s->rlayer, saved_state.epoch);
1245e71b7053SJung-uk Kim
1246e71b7053SJung-uk Kim s->d1->retransmitting = 0;
1247e71b7053SJung-uk Kim
1248e71b7053SJung-uk Kim (void)BIO_flush(s->wbio);
1249e71b7053SJung-uk Kim return ret;
1250e71b7053SJung-uk Kim }
1251e71b7053SJung-uk Kim
dtls1_set_message_header(SSL * s,unsigned char mt,size_t len,size_t frag_off,size_t frag_len)1252e71b7053SJung-uk Kim void dtls1_set_message_header(SSL *s,
1253e71b7053SJung-uk Kim unsigned char mt, size_t len,
1254e71b7053SJung-uk Kim size_t frag_off, size_t frag_len)
1255e71b7053SJung-uk Kim {
1256e71b7053SJung-uk Kim if (frag_off == 0) {
1257e71b7053SJung-uk Kim s->d1->handshake_write_seq = s->d1->next_handshake_write_seq;
1258e71b7053SJung-uk Kim s->d1->next_handshake_write_seq++;
1259e71b7053SJung-uk Kim }
1260e71b7053SJung-uk Kim
1261e71b7053SJung-uk Kim dtls1_set_message_header_int(s, mt, len, s->d1->handshake_write_seq,
1262e71b7053SJung-uk Kim frag_off, frag_len);
1263e71b7053SJung-uk Kim }
1264e71b7053SJung-uk Kim
1265e71b7053SJung-uk Kim /* don't actually do the writing, wait till the MTU has been retrieved */
1266e71b7053SJung-uk Kim static void
dtls1_set_message_header_int(SSL * s,unsigned char mt,size_t len,unsigned short seq_num,size_t frag_off,size_t frag_len)1267e71b7053SJung-uk Kim dtls1_set_message_header_int(SSL *s, unsigned char mt,
1268e71b7053SJung-uk Kim size_t len, unsigned short seq_num,
1269e71b7053SJung-uk Kim size_t frag_off, size_t frag_len)
1270e71b7053SJung-uk Kim {
1271e71b7053SJung-uk Kim struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
1272e71b7053SJung-uk Kim
1273e71b7053SJung-uk Kim msg_hdr->type = mt;
1274e71b7053SJung-uk Kim msg_hdr->msg_len = len;
1275e71b7053SJung-uk Kim msg_hdr->seq = seq_num;
1276e71b7053SJung-uk Kim msg_hdr->frag_off = frag_off;
1277e71b7053SJung-uk Kim msg_hdr->frag_len = frag_len;
1278e71b7053SJung-uk Kim }
1279e71b7053SJung-uk Kim
1280e71b7053SJung-uk Kim static void
dtls1_fix_message_header(SSL * s,size_t frag_off,size_t frag_len)1281e71b7053SJung-uk Kim dtls1_fix_message_header(SSL *s, size_t frag_off, size_t frag_len)
1282e71b7053SJung-uk Kim {
1283e71b7053SJung-uk Kim struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
1284e71b7053SJung-uk Kim
1285e71b7053SJung-uk Kim msg_hdr->frag_off = frag_off;
1286e71b7053SJung-uk Kim msg_hdr->frag_len = frag_len;
1287e71b7053SJung-uk Kim }
1288e71b7053SJung-uk Kim
dtls1_write_message_header(SSL * s,unsigned char * p)1289e71b7053SJung-uk Kim static unsigned char *dtls1_write_message_header(SSL *s, unsigned char *p)
1290e71b7053SJung-uk Kim {
1291e71b7053SJung-uk Kim struct hm_header_st *msg_hdr = &s->d1->w_msg_hdr;
1292e71b7053SJung-uk Kim
1293e71b7053SJung-uk Kim *p++ = msg_hdr->type;
1294e71b7053SJung-uk Kim l2n3(msg_hdr->msg_len, p);
1295e71b7053SJung-uk Kim
1296e71b7053SJung-uk Kim s2n(msg_hdr->seq, p);
1297e71b7053SJung-uk Kim l2n3(msg_hdr->frag_off, p);
1298e71b7053SJung-uk Kim l2n3(msg_hdr->frag_len, p);
1299e71b7053SJung-uk Kim
1300e71b7053SJung-uk Kim return p;
1301e71b7053SJung-uk Kim }
1302e71b7053SJung-uk Kim
dtls1_get_message_header(unsigned char * data,struct hm_header_st * msg_hdr)1303e71b7053SJung-uk Kim void dtls1_get_message_header(unsigned char *data, struct hm_header_st *msg_hdr)
1304e71b7053SJung-uk Kim {
1305e71b7053SJung-uk Kim memset(msg_hdr, 0, sizeof(*msg_hdr));
1306e71b7053SJung-uk Kim msg_hdr->type = *(data++);
1307e71b7053SJung-uk Kim n2l3(data, msg_hdr->msg_len);
1308e71b7053SJung-uk Kim
1309e71b7053SJung-uk Kim n2s(data, msg_hdr->seq);
1310e71b7053SJung-uk Kim n2l3(data, msg_hdr->frag_off);
1311e71b7053SJung-uk Kim n2l3(data, msg_hdr->frag_len);
1312e71b7053SJung-uk Kim }
1313e71b7053SJung-uk Kim
dtls1_set_handshake_header(SSL * s,WPACKET * pkt,int htype)1314e71b7053SJung-uk Kim int dtls1_set_handshake_header(SSL *s, WPACKET *pkt, int htype)
1315e71b7053SJung-uk Kim {
1316e71b7053SJung-uk Kim unsigned char *header;
1317e71b7053SJung-uk Kim
1318e71b7053SJung-uk Kim if (htype == SSL3_MT_CHANGE_CIPHER_SPEC) {
1319e71b7053SJung-uk Kim s->d1->handshake_write_seq = s->d1->next_handshake_write_seq;
1320e71b7053SJung-uk Kim dtls1_set_message_header_int(s, SSL3_MT_CCS, 0,
1321e71b7053SJung-uk Kim s->d1->handshake_write_seq, 0, 0);
1322e71b7053SJung-uk Kim if (!WPACKET_put_bytes_u8(pkt, SSL3_MT_CCS))
1323e71b7053SJung-uk Kim return 0;
1324e71b7053SJung-uk Kim } else {
1325e71b7053SJung-uk Kim dtls1_set_message_header(s, htype, 0, 0, 0);
1326e71b7053SJung-uk Kim /*
1327e71b7053SJung-uk Kim * We allocate space at the start for the message header. This gets
1328e71b7053SJung-uk Kim * filled in later
1329e71b7053SJung-uk Kim */
1330e71b7053SJung-uk Kim if (!WPACKET_allocate_bytes(pkt, DTLS1_HM_HEADER_LENGTH, &header)
1331e71b7053SJung-uk Kim || !WPACKET_start_sub_packet(pkt))
1332e71b7053SJung-uk Kim return 0;
1333e71b7053SJung-uk Kim }
1334e71b7053SJung-uk Kim
1335e71b7053SJung-uk Kim return 1;
1336e71b7053SJung-uk Kim }
1337e71b7053SJung-uk Kim
dtls1_close_construct_packet(SSL * s,WPACKET * pkt,int htype)1338e71b7053SJung-uk Kim int dtls1_close_construct_packet(SSL *s, WPACKET *pkt, int htype)
1339e71b7053SJung-uk Kim {
1340e71b7053SJung-uk Kim size_t msglen;
1341e71b7053SJung-uk Kim
1342e71b7053SJung-uk Kim if ((htype != SSL3_MT_CHANGE_CIPHER_SPEC && !WPACKET_close(pkt))
1343e71b7053SJung-uk Kim || !WPACKET_get_length(pkt, &msglen)
1344e71b7053SJung-uk Kim || msglen > INT_MAX)
1345e71b7053SJung-uk Kim return 0;
1346e71b7053SJung-uk Kim
1347e71b7053SJung-uk Kim if (htype != SSL3_MT_CHANGE_CIPHER_SPEC) {
1348e71b7053SJung-uk Kim s->d1->w_msg_hdr.msg_len = msglen - DTLS1_HM_HEADER_LENGTH;
1349e71b7053SJung-uk Kim s->d1->w_msg_hdr.frag_len = msglen - DTLS1_HM_HEADER_LENGTH;
1350e71b7053SJung-uk Kim }
1351e71b7053SJung-uk Kim s->init_num = (int)msglen;
1352e71b7053SJung-uk Kim s->init_off = 0;
1353e71b7053SJung-uk Kim
1354e71b7053SJung-uk Kim if (htype != DTLS1_MT_HELLO_VERIFY_REQUEST) {
1355e71b7053SJung-uk Kim /* Buffer the message to handle re-xmits */
1356e71b7053SJung-uk Kim if (!dtls1_buffer_message(s, htype == SSL3_MT_CHANGE_CIPHER_SPEC
1357e71b7053SJung-uk Kim ? 1 : 0))
1358e71b7053SJung-uk Kim return 0;
1359e71b7053SJung-uk Kim }
1360e71b7053SJung-uk Kim
1361e71b7053SJung-uk Kim return 1;
1362e71b7053SJung-uk Kim }
1363