xref: /freebsd/crypto/openssl/ssl/record/dtls1_bitmap.c (revision b077aed33b7b6aefca7b17ddb250cf521f938613)
1e71b7053SJung-uk Kim /*
2e71b7053SJung-uk Kim  * Copyright 2005-2016 The OpenSSL Project Authors. All Rights Reserved.
3e71b7053SJung-uk Kim  *
4*b077aed3SPierre 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 
1017f01e99SJung-uk Kim #include "../ssl_local.h"
1117f01e99SJung-uk Kim #include "record_local.h"
12e71b7053SJung-uk Kim 
13e71b7053SJung-uk Kim /* mod 128 saturating subtract of two 64-bit values in big-endian order */
satsub64be(const unsigned char * v1,const unsigned char * v2)14e71b7053SJung-uk Kim static int satsub64be(const unsigned char *v1, const unsigned char *v2)
15e71b7053SJung-uk Kim {
16e71b7053SJung-uk Kim     int64_t ret;
17e71b7053SJung-uk Kim     uint64_t l1, l2;
18e71b7053SJung-uk Kim 
19e71b7053SJung-uk Kim     n2l8(v1, l1);
20e71b7053SJung-uk Kim     n2l8(v2, l2);
21e71b7053SJung-uk Kim 
22e71b7053SJung-uk Kim     ret = l1 - l2;
23e71b7053SJung-uk Kim 
24e71b7053SJung-uk Kim     /* We do not permit wrap-around */
25e71b7053SJung-uk Kim     if (l1 > l2 && ret < 0)
26e71b7053SJung-uk Kim         return 128;
27e71b7053SJung-uk Kim     else if (l2 > l1 && ret > 0)
28e71b7053SJung-uk Kim         return -128;
29e71b7053SJung-uk Kim 
30e71b7053SJung-uk Kim     if (ret > 128)
31e71b7053SJung-uk Kim         return 128;
32e71b7053SJung-uk Kim     else if (ret < -128)
33e71b7053SJung-uk Kim         return -128;
34e71b7053SJung-uk Kim     else
35e71b7053SJung-uk Kim         return (int)ret;
36e71b7053SJung-uk Kim }
37e71b7053SJung-uk Kim 
dtls1_record_replay_check(SSL * s,DTLS1_BITMAP * bitmap)38e71b7053SJung-uk Kim int dtls1_record_replay_check(SSL *s, DTLS1_BITMAP *bitmap)
39e71b7053SJung-uk Kim {
40e71b7053SJung-uk Kim     int cmp;
41e71b7053SJung-uk Kim     unsigned int shift;
42e71b7053SJung-uk Kim     const unsigned char *seq = s->rlayer.read_sequence;
43e71b7053SJung-uk Kim 
44e71b7053SJung-uk Kim     cmp = satsub64be(seq, bitmap->max_seq_num);
45e71b7053SJung-uk Kim     if (cmp > 0) {
46e71b7053SJung-uk Kim         SSL3_RECORD_set_seq_num(RECORD_LAYER_get_rrec(&s->rlayer), seq);
47e71b7053SJung-uk Kim         return 1;               /* this record in new */
48e71b7053SJung-uk Kim     }
49e71b7053SJung-uk Kim     shift = -cmp;
50e71b7053SJung-uk Kim     if (shift >= sizeof(bitmap->map) * 8)
51e71b7053SJung-uk Kim         return 0;               /* stale, outside the window */
52e71b7053SJung-uk Kim     else if (bitmap->map & (1UL << shift))
53e71b7053SJung-uk Kim         return 0;               /* record previously received */
54e71b7053SJung-uk Kim 
55e71b7053SJung-uk Kim     SSL3_RECORD_set_seq_num(RECORD_LAYER_get_rrec(&s->rlayer), seq);
56e71b7053SJung-uk Kim     return 1;
57e71b7053SJung-uk Kim }
58e71b7053SJung-uk Kim 
dtls1_record_bitmap_update(SSL * s,DTLS1_BITMAP * bitmap)59e71b7053SJung-uk Kim void dtls1_record_bitmap_update(SSL *s, DTLS1_BITMAP *bitmap)
60e71b7053SJung-uk Kim {
61e71b7053SJung-uk Kim     int cmp;
62e71b7053SJung-uk Kim     unsigned int shift;
63e71b7053SJung-uk Kim     const unsigned char *seq = RECORD_LAYER_get_read_sequence(&s->rlayer);
64e71b7053SJung-uk Kim 
65e71b7053SJung-uk Kim     cmp = satsub64be(seq, bitmap->max_seq_num);
66e71b7053SJung-uk Kim     if (cmp > 0) {
67e71b7053SJung-uk Kim         shift = cmp;
68e71b7053SJung-uk Kim         if (shift < sizeof(bitmap->map) * 8)
69e71b7053SJung-uk Kim             bitmap->map <<= shift, bitmap->map |= 1UL;
70e71b7053SJung-uk Kim         else
71e71b7053SJung-uk Kim             bitmap->map = 1UL;
72e71b7053SJung-uk Kim         memcpy(bitmap->max_seq_num, seq, SEQ_NUM_SIZE);
73e71b7053SJung-uk Kim     } else {
74e71b7053SJung-uk Kim         shift = -cmp;
75e71b7053SJung-uk Kim         if (shift < sizeof(bitmap->map) * 8)
76e71b7053SJung-uk Kim             bitmap->map |= 1UL << shift;
77e71b7053SJung-uk Kim     }
78e71b7053SJung-uk Kim }
79