resynth 0.4.0

A packet synthesis language
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

import ipv4;
import tls;
import io;

let tls = ipv4::tcp::flow(
  192.168.238.112:13749,
  109.107.38.8:443,
);

tls.open();

let clhello = io::bufio(
  tls::client_hello(
    ciphers: tls::ciphers(
      tls::cipher::ECDHE_ECDSA_WITH_AES_256_GCM_SHA384,
      tls::cipher::ECDHE_RSA_WITH_AES_256_GCM_SHA384,
      tls::cipher::ECDHE_ECDSA_WITH_CHACHA20_POLY1305_SHA256,
      tls::cipher::ECDHE_RSA_WITH_CHACHA20_POLY1305_SHA256,
      tls::cipher::ECDHE_ECDSA_WITH_AES_256_CCM,
      tls::cipher::ECDHE_ECDSA_WITH_AES_128_GCM_SHA256,
      tls::cipher::ECDHE_RSA_WITH_AES_128_GCM_SHA256,
    ),
    version: tls::version::TLS_1_2,
    tls::sni("test.local", "test"),
  ),
);

tls.client_message(
  send_ack: false,
  tls::message(
    version: tls::version::TLS_1_0,
    content: tls::content::HANDSHAKE,
    clhello.read(10),
  )
);

tls.client_message(
  tls::message(
    version: tls::version::TLS_1_0,
    content: tls::content::HANDSHAKE,
    clhello.read_all(),
  )
);

tls.server_message(
  tls::message(
    version: tls::version::TLS_1_2,
    content: tls::content::HANDSHAKE,
    tls::server_hello(
      version: tls::version::TLS_1_2,
      cipher: tls::cipher::ECDHE_ECDSA_WITH_AES_256_GCM_SHA384,
      compression: 0x00,
    )
  ),
  tls::message(
    version: tls::version::TLS_1_2,
    content: tls::content::HANDSHAKE,
    tls::certificates(
      io::file("examples/rsa4096.x509.cert.der"),
    )
  )
);