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

import ipv4;
import text;

let client = 192.168.9.10;
let server = 10.10.10.10;

let tcp = ipv4::tcp::flow(
  client/22301,
  server/80,
);

tcp.open();

let a = tcp.client_message(
  send_ack: false,
  text::crlflines(
    "POST /r1.php HTTP/1.1",
    "User-Agent: Internet Exploder",
    "Content-Length: 20",
    "Host: www.google.com",
    text::CRLF,
  ),
);

let b = tcp.client_message(
  send_ack: false,
  text::crlflines(
    "is this HTTP/1.1",
    text::CRLF,
  ),
);

let c = tcp.client_message(
  send_ack: false,
  text::crlflines(
    "POST /r2.php HTTP/1.1",
    "User-Agent: Internet Exploder",
    "Content-Length: 20",
    "Host: www.google.com",
    text::CRLF,
  ),
);

let d = tcp.client_message(
  send_ack: false,
  text::crlflines(
    "this is HTTP/1.1",
    text::CRLF,
  ),
);

d;
c;
b;
a;

tcp.server_ack();
tcp.server_close();