frameassembly 1.1.1

Deterministic network packet crafting DSL and compiler synthesizing nanosecond-accurate PCAPNG captures across 81 L2-L7 protocols (Ethernet, VLAN, MPLS, ARP, IPv4, IPv6, ICMP, BGP, OSPF, WireGuard, IPsec, TCP, UDP, SCTP, DNS, HTTP/2, gRPC, TLS, QUIC, SNMPv3 USM, Modbus, DNP3, S7comm, OPC UA).
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

//! Layer 4 transport-layer protocol and header modifier parsers for FrameAssembly.
//!
//! This module coordinates syntactic combinators for Layer 4 transport protocols and shared
//! transport modifiers, including Transmission Control Protocol (`TCP`), User Datagram Protocol
//! (`UDP`), and Stream Control Transmission Protocol (`SCTP`). It also parses universal transport
//! overrides such as source port (`SRCPORT`), destination port (`DSTPORT`), sequence and
//! acknowledgment numbers (`SEQ`, `ACKNUM`), and explicit transport selection (`TRANSPORT`).

use winnow::ModalResult as PResult;
use winnow::combinator::{alt, cut_err};
use winnow::prelude::*;

use crate::ast::*;
use crate::lexer::Token;
use crate::parser::{ParsedField, Stream, parse_u16, parse_u32, tag};

/// Stream Control Transmission Protocol parser.
pub(crate) mod sctp;
/// Transmission Control Protocol parser.
pub(crate) mod tcp;
/// User Datagram Protocol parser.
pub(crate) mod udp;

pub(crate) use sctp::*;
pub(crate) use tcp::*;
pub(crate) use udp::*;

/// Parses a Layer 4 protocol or modifier field from a token stream.
pub(crate) fn parse_l4_field<'i, 'a>(input: &mut Stream<'i, 'a>) -> PResult<ParsedField<'a>> {
    alt((
        parse_tcp_field,
        parse_udp_field,
        parse_sctp_field,
        alt((
            (tag(Token::SrcPort), cut_err(parse_u16))
                .map(|((_, s), v)| ParsedField::SrcPort(v, (s.start, s.end - s.start))),
            (tag(Token::DstPort), cut_err(parse_u16))
                .map(|((_, s), v)| ParsedField::DstPort(v, (s.start, s.end - s.start))),
            (
                tag(Token::Transport),
                cut_err(alt((
                    tag(Token::Tcp).value(TransportProto::Tcp),
                    tag(Token::Udp).value(TransportProto::Udp),
                ))),
            )
                .map(|((_, s), v)| ParsedField::Transport(v, (s.start, s.end - s.start))),
            (tag(Token::Seq), cut_err(parse_u32))
                .map(|((_, s), v)| ParsedField::Seq(v, (s.start, s.end - s.start))),
            (tag(Token::AckNum), cut_err(parse_u32))
                .map(|((_, s), v)| ParsedField::AckNum(v, (s.start, s.end - s.start))),
        )),
    ))
    .parse_next(input)
}