soth-mitm 0.2.1

Rust intercepting proxy crate with deterministic handler/event contracts for SOTH.
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135

fn machine_name(machine: FlowProtocolMachine) -> &'static str {
    match machine {
        FlowProtocolMachine::Unknown => "unknown",
        FlowProtocolMachine::Tunnel => "tunnel",
        FlowProtocolMachine::Http1 => "http1",
        FlowProtocolMachine::Http2 => "http2",
        FlowProtocolMachine::StreamableHttp => "streamable_http",
        FlowProtocolMachine::WebSocket => "websocket",
        FlowProtocolMachine::Sse => "sse",
    }
}

#[test]
fn flow_state_machine_allows_connect_to_close_lifecycle() {
    let s1 = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        FlowLifecycleState::Accepted,
        EventType::ConnectReceived,
    )
    .expect("connect");
    let s2 = next_flow_state_for_machine(FlowProtocolMachine::Unknown, s1, EventType::ConnectDecision)
        .expect("decision");
    let s3 = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        s2,
        EventType::TlsHandshakeStarted,
    )
    .expect("tls started");
    let s4 = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        s3,
        EventType::TlsHandshakeSucceeded,
    )
    .expect("tls ok");
    let s5 = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        s4,
        EventType::RequestHeaders,
    )
    .expect("active");
    let s6 = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        s5,
        EventType::StreamClosed,
    )
    .expect("closed");
    assert_eq!(s6, FlowLifecycleState::Closed);
}

#[test]
fn flow_state_machine_rejects_policy_decision_before_connect_parse() {
    let invalid = next_flow_state_for_machine(
        FlowProtocolMachine::Unknown,
        FlowLifecycleState::Accepted,
        EventType::ConnectDecision,
    );
    assert!(invalid.is_none(), "connect_decision must follow connect");
}

#[test]
fn protocol_machine_infers_from_protocol_and_h3_event() {
    assert_eq!(
        machine_name(protocol_machine_from_event(
            ApplicationProtocol::Http1,
            EventType::RequestHeaders
        )),
        "http1"
    );
    assert_eq!(
        machine_name(protocol_machine_from_event(
            ApplicationProtocol::Tunnel,
            EventType::Http3Passthrough
        )),
        "streamable_http"
    );
}

#[test]
fn protocol_machine_promotes_from_tunnel_once() {
    let promoted =
        resolve_protocol_machine(FlowProtocolMachine::Tunnel, FlowProtocolMachine::Http2);
    assert_eq!(promoted, FlowProtocolMachine::Http2);

    let sticky = resolve_protocol_machine(promoted, FlowProtocolMachine::Http1);
    assert_eq!(sticky, FlowProtocolMachine::Http2);
}

#[test]
fn http2_machine_rejects_websocket_events() {
    let next = next_flow_state_for_machine(
        FlowProtocolMachine::Http2,
        FlowLifecycleState::ProtocolActive,
        EventType::WebSocketFrame,
    );
    assert!(
        next.is_none(),
        "http2 machine should reject websocket frame events"
    );
}

#[test]
fn invalid_transition_terminalizes_without_panic_and_allows_close() {
    use crate::types::FlowId;
    let tracker = FlowStateTracker::default();
    let flow_id = FlowId(91);

    assert_eq!(
        tracker.on_event(
            flow_id,
            ApplicationProtocol::Tunnel,
            EventType::ConnectReceived
        ),
        1
    );
    assert_eq!(
        tracker.on_event(flow_id, ApplicationProtocol::Http1, EventType::RequestHeaders),
        2
    );

    let snapshot = tracker
        .debug_snapshot(flow_id)
        .expect("flow entry should still exist before close");
    assert_eq!(snapshot.0, FlowLifecycleState::StreamClosing);
    assert_eq!(snapshot.1, FlowProtocolMachine::Http1);
    assert_eq!(snapshot.2, 1);

    assert_eq!(
        tracker.on_event(flow_id, ApplicationProtocol::Tunnel, EventType::StreamClosed),
        3
    );
    assert!(
        tracker.debug_snapshot(flow_id).is_none(),
        "flow entry must be evicted after close"
    );
}