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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

import ipv4;
import dns;
import vxlan;
import erspan3;
import eth;

let client = 192.168.238.112;
let server = 142.250.207.36;
let google = 8.8.8.8;

let er = erspan3::session(
  172.16.0.1,
  172.16.0.2,
  hwid: 7,
);

let vx = vxlan::session(
  10.0.0.1:12345,
  10.0.0.2/vxlan::DEFAULT_PORT,
);

er.encap(vx.encap(
  dns::host(
    client,
    "www.google.com",
    ns: google,
    server,
  )
));

let dns = ipv4::udp::flow(
  client/13749,
  google/53,
);

let req = dns.client_dgram(
  dns::hdr(
    id: 0x1234,
    flags: dns::flags(
      opcode: dns::opcode::QUERY,
      rd: 1,
    ),
    qdcount: 1,
  ),
  dns::question(
    qname: dns::name("www", "google", "com"),
    qtype: dns::qtype::A,
    qclass: dns::class::IN,
  )
);

let resp = dns.server_dgram(
  dns::hdr(
    id: 0x1234,
    flags: dns::flags(
      response: 1,
      opcode: dns::opcode::QUERY,
      ra: 1,
    ),
    qdcount: 1,
    ancount: 1,
  ),
  dns::question(
    qname: dns::name("www", "google", "com"),
    qtype: dns::qtype::A,
    qclass: dns::class::IN,
  ),
  dns::answer(
    aname: dns::name("www", "google", "com"),
    atype: dns::rtype::A,
    aclass: dns::class::IN,
    server,
  ),
);

er.encap(vx.encap(req));
er.encap(vx.encap(resp));