Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
34 files changed:
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+typealias integer { size = 8; align = 8; signed = false; base = hex; } := TYPE;
+
+trace {
+ major = 0;
+ minor = 1;
+ uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ uint8_t uuid[16];
+ };
+};
+
+/* Value 1024 is above the max value of TYPE. */
+event {
+ name = string;
+ fields := struct {
+ enum : TYPE {
+ VAL1,
+ VAL2,
+ VAL3 = 1024
+ } field;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: implicit type int, but undefined. */
+enum dummy {
+ x = 1024
+};
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: out of range */
+enum dummy : uint32_t {
+ x = -1
+};
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
+
+/* FAIL: out of range */
+enum dummy : uint8_t {
+ x = 1024
+};
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
+++ /dev/null
-/* CTF 1.8 */
-typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
-typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
-typealias integer { size = 8; align = 8; signed = false; base = hex; } := TYPE;
-
-trace {
- major = 0;
- minor = 1;
- uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- uint8_t uuid[16];
- };
-};
-
-/* Value 1024 is above the max value of TYPE. */
-event {
- name = string;
- fields := struct {
- enum : TYPE {
- VAL1,
- VAL2,
- VAL3 = 1024
- } field;
- };
-};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: base as a string. */
+typealias integer { size = 8; align = 8; signed = false; base = "decimal"; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: invalid base. */
+typealias integer { size = 8; align = 8; signed = false; base = orthogonal; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: encoding as a string. */
+typealias integer { size = 8; align = 8; signed = false; encoding = "ascii"; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: invalid encoding. */
+typealias integer { size = 8; align = 8; signed = false; encoding = true; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: missing size. */
+typealias integer { align = 8; signed = "false"; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: duplicate name */
+struct dummy {
+ uint32_t xxx;
+ uint32_t xxx;
+};
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: duplicate name. */
+struct a {
+ uint32_t xxx;
+};
+
+struct a {
+ uint32_t xxx;
+};
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: keyword as a field. */
+struct a {
+ uint32_t trace;
+};
+
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: type int, but undefined. */
+struct dummy {
+ int xxx;
+};
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: duplicate name. */
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: invalid kind. */
+typealias entier { size = 8; align = 8; signed = false; } := uint8_t;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+
+/* FAIL: name is a keyword. */
+typealias integer { size = 8; align = 8; signed = false; } := trace;
+
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: name is a keyword. */
-typealias integer { size = 8; align = 8; signed = false; } := trace;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: missing size. */
-typealias integer { align = 8; signed = "false"; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: invalid kind. */
-typealias entier { size = 8; align = 8; signed = false; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: base as a string. */
-typealias integer { size = 8; align = 8; signed = false; base = "decimal"; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: invalid base. */
-typealias integer { size = 8; align = 8; signed = false; base = orthogonal; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: invalid encoding. */
-typealias integer { size = 8; align = 8; signed = false; encoding = true; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: encoding as a string. */
-typealias integer { size = 8; align = 8; signed = false; encoding = "ascii"; } := uint8_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
-
-/* FAIL: out of range */
-enum dummy : uint8_t {
- x = 1024
-};
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: out of range */
-enum dummy : uint32_t {
- x = -1
-};
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: implicite type int, but undefined. */
-enum dummy {
- x = 1024
-};
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: type int, but undefined. */
-struct dummy {
- int xxx;
-};
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: duplicate name */
-struct dummy {
- uint32_t xxx;
- uint32_t xxx;
-};
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: duplicate name. */
-struct a {
- uint32_t xxx;
-};
-
-struct a {
- uint32_t xxx;
-};
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: duplicate name. */
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: keyword as a field. */
-struct a {
- uint32_t trace;
-};
-
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: keyword as a field. */
-struct a {
- uint32_t x;
-} align(-1);
-
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-
+++ /dev/null
-/* CTF 1.8 */
-
-typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
-
-/* FAIL: negative array. */
-typedef uint32_t name[-1];
-
-trace {
- major = 2;
- minor = 1;
- byte_order = le;
- packet.header := struct {
- uint32_t magic;
- };
-};
-
-