Commit | Line | Data |
---|---|---|
b7beee1d | 1 | /* CTF 1.8 */ |
8b9d5b5e | 2 | |
a030d084 | 3 | typealias integer { size = 32; align = 32; signed = true; } := int; |
152a5771 | 4 | typealias integer { size = 32; align = 32; signed = false; } := uint; |
a030d084 MD |
5 | typealias integer { size = 64; align = 64; signed = true; } := long; |
6 | typealias integer { size = 64; align = 64; } := unsigned long; | |
5039b4cc | 7 | |
0fbb34a5 | 8 | enum name1 : int { |
8b9d5b5e MD |
9 | ZERO, |
10 | ONE, | |
11 | TWO, | |
12 | TEN = 10, | |
13 | ELEVEN, | |
14 | }; | |
15 | ||
0fbb34a5 | 16 | enum name2 : long { ONE, TWO }; |
8b9d5b5e | 17 | |
0fbb34a5 | 18 | enum name3 : unsigned long { ONE, TWO }; |
8b9d5b5e | 19 | |
0fbb34a5 | 20 | enum name4 : unsigned long { |
8b9d5b5e MD |
21 | string = 1 ... 2, |
22 | "other string" = 3...4, | |
23 | yet_another_string, /* will be assigned to end_value2 + 1 */ | |
24 | "some other string" = 10, | |
25 | }; | |
26 | ||
0fbb34a5 | 27 | enum name5 : long { "int" = 1, }; |
8b9d5b5e | 28 | |
6743829a MD |
29 | enum name6 { "int" = 1, }; |
30 | ||
8b9d5b5e MD |
31 | typealias floating_point { |
32 | exp_dig = 8; /* sizeof(float) * CHAR_BIT - FLT_MANT_DIG */ | |
33 | mant_dig = 24; /* FLT_MANT_DIG */ | |
34 | byte_order = native; | |
a030d084 | 35 | } := float; |
8b9d5b5e MD |
36 | |
37 | typealias integer { | |
38 | size = 32; | |
39 | align = 32; | |
5039b4cc | 40 | signed = false; |
a030d084 | 41 | } := struct page *; |
8b9d5b5e | 42 | |
f0751d06 MD |
43 | struct event_packet_header { |
44 | typealias integer { size = 32; align = 32; signed = false; } := uint32_t; | |
45 | typealias integer { size = 8; align = 8; signed = false; } := uint8_t; | |
46 | ||
47 | uint32_t magic; | |
b4c19c1e | 48 | uint8_t uuid[16]; |
f0751d06 MD |
49 | uint32_t stream_id; |
50 | }; | |
51 | ||
5039b4cc MD |
52 | trace { |
53 | major = 66; | |
54 | minor = 2; | |
98df1c9f | 55 | byte_order = le; |
5039b4cc | 56 | uuid = "1123fcea-706e-11e0-a38b-f3c28a683a3d"; |
f0751d06 | 57 | packet.header := struct event_packet_header; |
5039b4cc MD |
58 | }; |
59 | ||
8b9d5b5e | 60 | stream { |
a030d084 MD |
61 | typealias integer { size = 64; align = 64; signed = false; } := uint64_t; |
62 | typealias integer { size = 16; align = 16; signed = false; } := uint16_t; | |
63 | typealias integer { size = 32; align = 32; signed = true; } := int; | |
8b9d5b5e MD |
64 | typedef int pid_t; |
65 | ||
66 | id = 5; | |
67 | /* Type 1 - Few event IDs; Type 2 - Many event IDs. See section 6.2. */ | |
68 | event.header := struct { uint64_t timestamp; uint16_t id; }; | |
69 | event.context := struct { pid_t pid; }; | |
70 | }; | |
71 | ||
72 | struct example { | |
5039b4cc MD |
73 | /* TODO gcc bitfields not supported yet. */ |
74 | /* short a:12; | |
75 | short b:5; */ | |
8b9d5b5e MD |
76 | }; |
77 | ||
78 | struct name { | |
a030d084 MD |
79 | typealias integer { size = 64; align = 64; signed = false; } := uint64_t; |
80 | typealias integer { size = 32; align = 32; signed = false; } := uint32_t; | |
81 | typealias integer { size = 32; align = 32; signed = true; } := int32_t; | |
82 | typealias integer { size = 2; align = 8; signed = false; } := uint2_t; | |
83 | typealias integer { size = 16; align = 16; signed = true; } := short; | |
84 | typealias uint32_t := unsigned int; | |
8b9d5b5e | 85 | |
0fbb34a5 | 86 | enum : uint2_t { a, b, c, d } choice; |
8b9d5b5e MD |
87 | /* Unrelated fields can be added between the variant and its tag */ |
88 | int32_t somevalue; | |
89 | variant <choice> { | |
90 | uint32_t a; | |
91 | uint64_t b; | |
92 | short c; | |
93 | struct { | |
94 | unsigned int field1; | |
95 | uint64_t field2; | |
96 | } d; | |
97 | } s; | |
98 | }; | |
99 | ||
100 | typealias integer { | |
101 | size = 32; | |
102 | signed = false; | |
103 | align = 32; | |
a030d084 | 104 | } := uint32_t; |
8b9d5b5e | 105 | |
a030d084 | 106 | typealias string { encoding = UTF8; } := test; |
8b9d5b5e | 107 | |
8b9d5b5e | 108 | struct event_packet_context { |
a030d084 MD |
109 | typealias integer { size = 64; align = 64; signed = false; } := uint64_t; |
110 | typealias integer { size = 32; align = 32; signed = false; } := uint32_t; | |
111 | typealias integer { size = 16; align = 16; signed = false; } := uint16_t; | |
112 | typealias integer { size = 8; align = 8; signed = false; } := uint8_t; | |
8b9d5b5e MD |
113 | |
114 | uint64_t timestamp_begin; | |
115 | uint64_t timestamp_end; | |
116 | uint32_t checksum; | |
117 | uint32_t stream_packet_count; | |
118 | uint32_t events_discarded; | |
119 | uint32_t cpu_id; | |
120 | uint16_t content_size; | |
121 | uint16_t packet_size; | |
122 | uint8_t stream_packet_count_bits; /* Significant counter bits */ | |
123 | uint8_t compression_scheme; | |
124 | uint8_t encryption_scheme; | |
125 | uint8_t checksum_scheme; | |
126 | }; | |
127 | ||
128 | struct event_header_1 { | |
a030d084 MD |
129 | typealias integer { size = 64; align = 64; signed = false; } := uint64_t; |
130 | typealias integer { size = 32; align = 32; signed = false; } := uint32_t; | |
131 | typealias integer { size = 5; align = 1; signed = false; } := uint5_t; | |
132 | typealias integer { size = 27; align = 1; signed = false; } := uint27_t; | |
8b9d5b5e MD |
133 | |
134 | /* | |
135 | * id: range: 0 - 30. | |
136 | * id 31 is reserved to indicate an extended header. | |
137 | */ | |
0fbb34a5 | 138 | enum : uint5_t { compact = 0 ... 30, extended = 31 } id; |
8b9d5b5e MD |
139 | variant <id> { |
140 | struct { | |
141 | uint27_t timestamp; | |
142 | } compact; | |
143 | struct { | |
144 | uint32_t id; /* 32-bit event IDs */ | |
145 | uint64_t timestamp; /* 64-bit timestamps */ | |
146 | } extended; | |
147 | } v; | |
148 | }; | |
149 | ||
150 | struct event_header_2 { | |
a030d084 MD |
151 | typealias integer { size = 64; align = 64; signed = false; } := uint64_t; |
152 | typealias integer { size = 32; align = 32; signed = false; } := uint32_t; | |
153 | typealias integer { size = 16; align = 16; signed = false; } := uint16_t; | |
8b9d5b5e MD |
154 | |
155 | /* | |
156 | * id: range: 0 - 65534. | |
157 | * id 65535 is reserved to indicate an extended header. | |
158 | */ | |
0fbb34a5 | 159 | enum : uint16_t { compact = 0 ... 65534, extended = 65535 } id; |
8b9d5b5e MD |
160 | variant <id> { |
161 | struct { | |
162 | uint32_t timestamp; | |
163 | } compact; | |
164 | struct { | |
165 | uint32_t id; /* 32-bit event IDs */ | |
166 | uint64_t timestamp; /* 64-bit timestamps */ | |
167 | } extended; | |
168 | } v; | |
169 | }; | |
170 | ||
64b829c0 MD |
171 | typedef int rootscopetest; |
172 | ||
5039b4cc MD |
173 | /* parser level only: event { a.b.c.d.e = f.g.h->i->j; }; */ |
174 | ||
175 | event { | |
176 | name = test_event; | |
177 | id = 0; | |
178 | stream_id = 5; | |
179 | context := struct {}; | |
98df1c9f | 180 | fields := struct {}; |
5039b4cc | 181 | }; |
48a01768 | 182 | |
a030d084 | 183 | typealias integer { size = 32; align = 32; signed = false; } := unsigned long long *; |
152a5771 MD |
184 | |
185 | variant vardecl { | |
186 | int a; | |
187 | int b; | |
188 | }; | |
189 | ||
190 | event { | |
98df1c9f MD |
191 | typealias integer { size = 8; align = 8; signed = true; } := char; |
192 | typealias integer { size = 32; align = 32; signed = false; } := unsigned int; | |
193 | ||
152a5771 MD |
194 | name = test_event2; |
195 | id = 1; | |
196 | stream_id = 5; | |
98df1c9f | 197 | fields := struct { |
152a5771 MD |
198 | enum : char { a = 0, b = 1, } tag; |
199 | variant vardecl <tag> myvariant; | |
98df1c9f MD |
200 | unsigned int seqlen; |
201 | int myseq[seqlen]; | |
152a5771 MD |
202 | }; |
203 | }; | |
204 | ||
205 | typedef int myarray[10]; |