formats/ctf/metadata/ctf-test/succeed/ctf-test.txt

   1 /* CTF 1.8 */
   2
   3 typealias integer { size = 32; align = 32; signed = true; } := int;
   4 typealias integer { size = 32; align = 32; signed = false; } := uint;
   5 typealias integer { size = 64; align = 64; signed = true; } := long;
   6 typealias integer { size = 64; align = 64; } := unsigned long;
   7
   8 enum name1 : int {
   9   ZERO,
  10   ONE,
  11   TWO,
  12   TEN = 10,
  13   ELEVEN,
  14 };
  15
  16 enum name2 : long { ONE, TWO };
  17
  18 enum name3 : unsigned long { ONE, TWO };
  19
  20 enum name4 : unsigned long {
  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
  27 enum name5 : long { "int" = 1, };
  28
  29 enum name6 { "int" = 1, };
  30
  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;
  35 } := float;
  36
  37 typealias integer {
  38   size = 32;
  39   align = 32;
  40   signed = false;
  41 } := struct page *;
  42
  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;
  48   uint8_t  uuid[16];
  49   uint32_t stream_id;
  50 };
  51
  52 trace {
  53         major = 66;
  54         minor = 2;
  55         byte_order = le;
  56         uuid = "1123fcea-706e-11e0-a38b-f3c28a683a3d";
  57         packet.header := struct event_packet_header;
  58 };
  59
  60 stream {
  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;
  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 {
  73   /* TODO gcc bitfields not supported yet. */
  74   /* short a:12;
  75   short b:5; */
  76 };
  77
  78 struct name {
  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;
  85
  86   enum : uint2_t { a, b, c, d } choice;
  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;
 104 } := uint32_t;
 105
 106 typealias string { encoding = UTF8; } := test;
 107
 108 struct event_packet_context {
 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;
 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 {
 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;
 133
 134   /*
 135    * id: range: 0 - 30.
 136    * id 31 is reserved to indicate an extended header.
 137    */
 138   enum : uint5_t { compact = 0 ... 30, extended = 31 } id;
 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 {
 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;
 154
 155   /*
 156    * id: range: 0 - 65534.
 157    * id 65535 is reserved to indicate an extended header.
 158    */
 159   enum : uint16_t { compact = 0 ... 65534, extended = 65535 } id;
 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
 171 typedef int rootscopetest;
 172
 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 {};
 180         fields := struct {};
 181 };
 182
 183 typealias integer { size = 32; align = 32; signed = false; } := unsigned long long *;
 184
 185 variant vardecl {
 186         int a;
 187         int b;
 188 };
 189
 190 event {
 191         typealias integer { size = 8; align = 8; signed = true; } := char;
 192         typealias integer { size = 32; align = 32; signed = false; } := unsigned int;
 193
 194         name = test_event2;
 195         id = 1;
 196         stream_id = 5;
 197         fields := struct {
 198                 enum : char { a = 0, b = 1, } tag;
 199                 variant vardecl <tag> myvariant;
 200                 unsigned int seqlen;
 201                 int myseq[seqlen];
 202         };
 203 };
 204
 205 typedef int myarray[10];