bmx 0.0.2

Binary modeling expressions
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

;; -*- scheme -*-

(root Ipv4Option
  (fields
   (copied u1)
   (class u2)
   (number u5)
   (length u8)
   (data (array (- length 1) u8))))

(root IpPacket
  (fields
   (version (u 4))))

(branch IpPacket.V4
  (condition (= version 4))
  (fields
   (ihl u4) ; minimum value is 5
   (dscp u6)
   (ecn u2)
   (total-length u16)
   (id u16)
   (flags u3)
   (fragment-offset u13)
   (ttl u8)
   (protocol u8)
   (header-checksum u16)
   (source-address u32)
   (destination-address u32)
   (options (array (- ihl 5) Ipv4Option))))

(branch IpPacket.V4.Icmp
  (condition (= protocol 1))
  (fields
   (type u8)
   (code u8)
   (checksum u16)))

(root (IcmpV4EchoData ihl total-length)
  (fields
   (identifier u16)
   (sequence-number u16)
   (data (array (- total-length (* (+ ihl 2) 4)) u8))))

(branch IpPacket.V4.Icmp.Echo
  (condition (and (= type 8) (= code 0)))
  (implies (IcmpV4EchoData ihl total-length)))

(branch IpPacket.V4.Icmp.EchoReply
  (condition (and (= type 0) (= code 0)))
  (implies (IcmpV4EchoData ihl total-length)))

(branch IpPacket.V4.Unknown
  (condition #t)
  (fields
   (payload (array (- total-length (* ihl 4)) u8))))

;; Local Variables:
;; eval: (put 'branch 'scheme-indent-function 1)
;; eval: (put 'enum 'scheme-indent-function 1)
;; End: