dimpl 0.7.3

DTLS 1.2/1.3 implementation (Sans‑IO, Sync)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

use nom::Err;
use nom::IResult;
use nom::error::{Error, ErrorKind};
use nom::number::complete::be_u16;

/// Parse the DTLS 1.3 Cookie extension body.
///
/// RFC 8446 defines the extension payload as `cookie<1..2^16-1>`,
/// so the extension body is a u16 length followed by exactly that many bytes.
pub(crate) fn parse_cookie_extension(input: &[u8]) -> IResult<&[u8], &[u8]> {
    if input.len() < 2 {
        return Err(Err::Failure(Error::new(input, ErrorKind::LengthValue)));
    }

    let (rest, cookie_len) = be_u16(input)?;
    if cookie_len == 0 || rest.len() != cookie_len as usize {
        return Err(Err::Failure(Error::new(input, ErrorKind::LengthValue)));
    }

    Ok((&[], rest))
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn malformed_cookie_vectors_are_rejected() {
        for input in [
            &[][..],
            &[0x00],
            &[0x00, 0x00],
            &[0x00, 0x02, 0xAA],
            &[0x00, 0x01, 0xAA, 0xBB],
        ] {
            let result = parse_cookie_extension(input);
            assert!(
                matches!(
                    result,
                    Err(nom::Err::Failure(error))
                        if error.code == nom::error::ErrorKind::LengthValue
                ),
                "malformed cookie vector should fail with LengthValue: {input:02x?}"
            );
        }
    }

    #[test]
    fn valid_cookie_vector_is_accepted() {
        let (rest, cookie) = parse_cookie_extension(&[0x00, 0x02, 0xAA, 0xBB]).unwrap();
        assert!(rest.is_empty());
        assert_eq!(cookie, &[0xAA, 0xBB]);
    }
}