[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] pickles: add pickles for PCAP, UUID and RedoxFS
|
From: |
Mohammad-Reza Nabipoor |
|
Subject: |
[PATCH] pickles: add pickles for PCAP, UUID and RedoxFS |
|
Date: |
Wed, 16 Nov 2022 00:00:28 +0100 |
2022-11-15 Mohammad-Reza Nabipoor <mnabipoor@gnu.org>
* pickles/uuid.pk: New pickle.
* pickles/redoxfs.pk: Likewise.
* pickles/pcap.pk: Likewise.
* testsuite/poke.pickles/uuid-test.pk: New test.
* testsuite/poke.pickles/pcap-test.pk: Likewise.
* testsuite/poke.pickles/redoxfs-test.pk: Likewise.
* pickles/Makefile.am (dist_pickles_DATA): Update.
* testsuite/Makefile.am (EXTRA_DIST): Likewise.
---
Hello Jose,
A bunch of new pickles :)
I wrote them in the past and was available through pokology,
now I tested them and are ready for the upstream :D
Regards,
Mohammad-Reza
ChangeLog | 11 +
pickles/Makefile.am | 3 +-
pickles/pcap.pk | 88 ++++++++
pickles/redoxfs.pk | 276 +++++++++++++++++++++++++
pickles/uuid.pk | 45 ++++
testsuite/Makefile.am | 3 +
testsuite/poke.pickles/pcap-test.pk | 228 ++++++++++++++++++++
testsuite/poke.pickles/redoxfs-test.pk | 31 +++
testsuite/poke.pickles/uuid-test.pk | 85 ++++++++
9 files changed, 769 insertions(+), 1 deletion(-)
create mode 100644 pickles/pcap.pk
create mode 100644 pickles/redoxfs.pk
create mode 100644 pickles/uuid.pk
create mode 100644 testsuite/poke.pickles/pcap-test.pk
create mode 100644 testsuite/poke.pickles/redoxfs-test.pk
create mode 100644 testsuite/poke.pickles/uuid-test.pk
diff --git a/ChangeLog b/ChangeLog
index ec5ce257..1f253d26 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
+2022-11-15 Mohammad-Reza Nabipoor <mnabipoor@gnu.org>
+
+ * pickles/uuid.pk: New pickle.
+ * pickles/redoxfs.pk: Likewise.
+ * pickles/pcap.pk: Likewise.
+ * testsuite/poke.pickles/uuid-test.pk: New test.
+ * testsuite/poke.pickles/pcap-test.pk: Likewise.
+ * testsuite/poke.pickles/redoxfs-test.pk: Likewise.
+ * pickles/Makefile.am (dist_pickles_DATA): Update.
+ * testsuite/Makefile.am (EXTRA_DIST): Likewise.
+
2022-11-13 Jose E. Marchesi <jemarch@gnu.org>
* libpoke/pvm.jitter: Change `map' instruction to not raise
diff --git a/pickles/Makefile.am b/pickles/Makefile.am
index e8ff1df5..226621d1 100644
--- a/pickles/Makefile.am
+++ b/pickles/Makefile.am
@@ -25,4 +25,5 @@ dist_pickles_DATA = elf-common.pk elf-64.pk elf-32.pk elf.pk
ctf.pk ctf-dump.pk
mcr.pk dwarf-expr.pk dwarf-info.pk id3v2.pk jffs2.pk
asn1-ber.pk \
openpgp.pk search.pk riscv.pk coff.pk coff-i386.pk
coff-aarch64.pk \
pe.pk pe-amd64.pk pe-arm.pk pe-arm64.pk pe-i386.pk
pe-ia64.pk \
- pe-m32r.pk pe-mips.pk pe-ppc.pk pe-sh3.pk pe-riscv.pk
pe-debug.pk
+ pe-m32r.pk pe-mips.pk pe-ppc.pk pe-sh3.pk pe-riscv.pk
pe-debug.pk \
+ uuid.pk redoxfs.pk pcap.pk
diff --git a/pickles/pcap.pk b/pickles/pcap.pk
new file mode 100644
index 00000000..45b8cd22
--- /dev/null
+++ b/pickles/pcap.pk
@@ -0,0 +1,88 @@
+/* pcap.pk - Pickle for libpcap capture file format. */
+
+/* Copyright (C) 2022 The poke authors. */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+/* https://wiki.wireshark.org/Development/LibpcapFileFormat */
+
+/* Global Header */
+type PCAP_Header =
+ struct
+ {
+ uint<8>[4] magic :
+ get_endian == ENDIAN_BIG ? magic in [[0xa1UB, 0xb2UB, 0xc3UB, 0xd4UB],
+ [0xa1UB, 0xb2UB, 0x3cUB, 0xd4UB]]
+ : magic in [[0xd4UB, 0xc3UB, 0xb2UB, 0xa1UB],
+ [0xd4UB, 0x3cUB, 0xb2UB, 0xa1UB]];
+
+ uint16 version_major == 2;
+ uint16 version_minor == 4;
+ int32 thiszone; /* GMT to local correction */
+ uint32 sigfigs; /* accuracy of timestamps */
+ uint32 snaplen; /* max length of captured packets, in octets */
+ uint32 network; /* data link type */
+
+ /* Nano-second resolution file? */
+ method is_nsec_p = int:
+ {
+ return magic in [
+ [0xa1UB, 0xb2UB, 0x3cUB, 0xd4UB],
+ [0xd4UB, 0x3cUB, 0xb2UB, 0xa1UB],
+ ];
+ }
+ };
+
+/* Packet (Record) Header */
+type PCAP_PacketHeader =
+ struct /* (int nsec_p) */
+ {
+ uint32 ts_sec; /* timestamp seconds */
+ uint32 ts_usec; /* microseconds (or nanoseconds if `nsec_p`) */
+ offset<uint32,B> incl_len : /* number of octets of packet saved in file */
+ incl_len > 0#B;
+ offset<uint32,B> orig_len : /* actual length of packet */
+ incl_len <= orig_len;
+
+ method is_sliced_p = int:
+ {
+ return incl_len != orig_len;
+ }
+ };
+
+type PCAP_Packet =
+ struct
+ {
+ PCAP_PacketHeader header;
+
+ var body_offset = OFFSET;
+ var body_length = header.incl_len;
+
+ byte[0] @ body_offset + body_length; /* End-of-packet marker */
+
+ method get_body_offset = offset<uint32,B>: { return body_offset; }
+ method get_body_length = offset<uint32,B>: { return body_length; }
+ method get_body = byte[]:
+ {
+ return byte[body_length] @ body_offset;
+ }
+ };
+
+type PCAP =
+ struct
+ {
+ PCAP_Header header;
+ PCAP_Packet[] packets;
+ };
diff --git a/pickles/redoxfs.pk b/pickles/redoxfs.pk
new file mode 100644
index 00000000..94380888
--- /dev/null
+++ b/pickles/redoxfs.pk
@@ -0,0 +1,276 @@
+/* redoxfs.pk - RedoxFS file system of Redox OS. */
+
+/* Copyright (C) 2020 The poke authors */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+/* RedoxFS
+ * File-system of RedoxOS (a Unix-like operating system written in Rust)
+ *
+ * The file-system has a header (type `RedoxFS_Header`). Header has a
+ * pointer to root node. Nodes are represented by type `RedoxFS_Node`.
+ * Data is stored in `extents` of each node. Extents are represented
+ * by type `RedoxFS_Extents`. Each node has 238 extents. If a node needs
+ * more extents, it will use the extents of the `next` node.
+ * Each node can be a file or directory or symlink.
+ * Extents of file nodes are point to the actual data. And extents of
+ * directory nodes are point to child nodes.
+ *
+ * https://gitlab.redox-os.org/redox-os/redoxfs/
+ */
+
+/* set_endian(ENDIAN_LITTLE); */
+
+load time;
+load uuid;
+
+/* Block size */
+unit RedoxFS_BLKSZ = 4096UL * 8; /* `4096*8` bits */
+
+type RedoxFS_Extent =
+ struct
+ {
+ offset<uint64,RedoxFS_BLKSZ> block;
+ offset<uint64,B> length;
+
+ method is_empty_p = int:
+ {
+ return block == 0#B && length == 0#B; /* CHKME block ?= 0#B */
+ }
+ method get_data = uint8[]:
+ {
+ return uint8[length] @ block;
+ }
+ };
+
+type RedoxFS_Time =
+ struct
+ {
+ uint64 sec;
+ uint32 nsec;
+ };
+
+var RedoxFS_MODE_TYPE = 0xF000UH,
+ RedoxFS_MODE_FILE = 0x8000UH,
+ RedoxFS_MODE_DIR = 0x4000UH,
+ RedoxFS_MODE_SYMLINK = 0xA000UH;
+
+var RedoxFS_MODE_PERM = 0x0FFFUH,
+ RedoxFS_MODE_EXEC = 0o1UH,
+ RedoxFS_MODE_WRITE = 0o2UH,
+ RedoxFS_MODE_READ = 0o4UH;
+
+/* Callback for extent visitor */
+type RedoxFS_EVisitor = (RedoxFS_Extent) void;
+
+/* A file/folder node */
+type RedoxFS_Node =
+ struct
+ {
+ uint16 mode;
+ uint32 uid;
+ uint32 gid;
+ RedoxFS_Time ctime;
+ RedoxFS_Time mtime;
+ RedoxFS_Time atime;
+ uint8[226] name;
+ offset<uint64,RedoxFS_BLKSZ> parent;
+ offset<uint64,RedoxFS_BLKSZ> next;
+ RedoxFS_Extent[#RedoxFS_BLKSZ - 288#B] extents;
+
+ method is_file_p = int:
+ {
+ return (mode & RedoxFS_MODE_FILE) == RedoxFS_MODE_FILE;
+ }
+ method is_dir_p = int:
+ {
+ return (mode & RedoxFS_MODE_DIR) == RedoxFS_MODE_DIR;
+ }
+ method is_symlink_p = int:
+ {
+ return (mode & RedoxFS_MODE_SYMLINK) == RedoxFS_MODE_SYMLINK;
+ }
+ method get_name = string:
+ {
+ return catos (name);
+ }
+ method visit_extents = (RedoxFS_EVisitor v) uint64:
+ {
+ var c = 0; /* counter */
+
+ for (e in extents where !e.is_empty_p)
+ {
+ ++c;
+ v (e);
+ }
+ return c;
+ }
+ /* Node pretty-printer
+ *
+ * Prints the contents of a `RedoxFS_Node` in a readable fashion.
+ * To increase readability, prints the non-empty extents before
+ * the other fields.
+ */
+ method _print = void:
+ {
+ print ("#<\n extents = [\n");
+
+ var f = 0UL; /* first */
+ var l = extents'length; /* last */
+
+ while (f != l) {
+ var e = extents[f];
+
+ if (!e.is_empty_p)
+ printf (" .[%u64d]=%v\n", f, e);
+ ++f;
+ }
+
+ var mtype =
+ is_symlink_p ? "FILE | SYM"
+ : is_dir_p ? "DIR"
+ : is_file_p ? "FILE"
+ : "?"; /* This is for zero blocks */
+
+ printf (
+ " ],\n mode=%s | %u12o,\n uid=%u32d,\n gid=%u32d,\n ctime=%v (",
+ mtype, mode & RedoxFS_MODE_PERM, uid, gid, ctime);
+ ptime (ctime.sec);
+ printf ("),\n mtime=%v (", mtime);
+ ptime (mtime.sec);
+ printf ("),\n atime=%v (", atime);
+ ptime (atime.sec);
+ printf ("),\n name=%s,\n", get_name);
+ printf (" parent=%v,\n next=%v,\n>\n", parent, next);
+ }
+ };
+
+/* Visit all extents of a node, including the nodes pointed to by `next`
+ * field.
+ *
+ * Note that this function cannot be implemented as a method of
+ * `RedoxFS_Node`; because we need to map the `RedoxFS_Node` and we cannot
+ * map an incomplete type.
+ */
+fun redoxfs_visit_extents = (RedoxFS_Node n, RedoxFS_EVisitor v) uint64:
+ {
+ var counter = n.visit_extents (v);
+
+ while (n.next != 0#B)
+ {
+ n = RedoxFS_Node @ n.next;
+ counter += n.visit_extents (v);
+ }
+ return counter;
+ }
+
+type RedoxFS_Header =
+ struct
+ {
+ string signature = "RedoxFS";
+ uint64 version = 4UL;
+
+ /* Disk ID, a 128-bit unique identifier */
+ UUID uuid;
+
+ offset<uint64,B> size;
+
+ offset<uint64,RedoxFS_BLKSZ> root; /* Block of root node */
+ offset<uint64,RedoxFS_BLKSZ> free; /* Block of free space node */
+
+ /* Padding */
+ uint8[#RedoxFS_BLKSZ - 56#B];
+
+ method _print = void:
+ {
+ printf "#<\n signature=%s,\n version=%u64d,\n uuid=%v,\n \
+size=%v,\n root=%v,\n free=%v\n>", signature, version, uuid, size, root,
free;
+ }
+ };
+
+assert (#RedoxFS_Node == #RedoxFS_BLKSZ);
+assert ((RedoxFS_Header {})'size == #RedoxFS_BLKSZ);
+
+/* Callback for file-system walker
+ *
+ * FTYPE 'f' for files, 'd' for directories, 's' for symlinks
+ * NAME Name of the entity
+ * PATH Path of the parent directory
+ * ES Array of extents corresponding to the entity
+ */
+type RedoxFS_Visitor = (char /*ftype*/,
+ string /*name*/,
+ string /*path*/,
+ RedoxFS_Extent[] /*es*/)void;
+
+type RedoxFS_Filesystem =
+ struct
+ {
+ RedoxFS_Header header;
+ RedoxFS_Node root @ header.root;
+
+ /* File-system walker
+ *
+ * `redoxfs_walk` traverses the file-system hierarchy and call the visitor
+ * callback function for each entity (file, directory or symlink).
+ */
+ method walk = (RedoxFS_Visitor v, RedoxFS_Node n = root) void:
+ {
+ fun nothing = (RedoxFS_Extent e) void: {};
+ fun filev = (RedoxFS_Node n, string curdir) void:
+ {
+ /* TODO(mnabipoor) Measure performance of array construction */
+ var es_count = redoxfs_visit_extents (n, nothing);
+ var es = RedoxFS_Extent[es_count] ();
+ var i = 0UL;
+ fun cp = (RedoxFS_Extent e) void: { es[i++] = e; };
+
+ redoxfs_visit_extents (n, cp);
+ v('f', n.get_name, curdir, es);
+ }
+ fun visit = (RedoxFS_Node n, string curdir) void:
+ {
+ if (n.is_symlink_p)
+ v('s', catos (n.extents[0].get_data), curdir, RedoxFS_Extent[]
());
+ else if (n.is_dir_p)
+ {
+ var name = n.get_name;
+ var path = (curdir == "/" ? "" : curdir) + "/" + name;
+ var es_count = redoxfs_visit_extents (n, nothing);
+ var es = RedoxFS_Extent[es_count] ();
+ var i = 0UL;
+ fun ev = (RedoxFS_Extent e) void:
+ {
+ es[i++] = e;
+ visit (RedoxFS_Node @ e.block, path);
+ };
+
+ redoxfs_visit_extents (n, ev);
+ v('d', name, curdir, es);
+ }
+ else if (n.is_file_p)
+ filev (n, curdir);
+ }
+ var nxt = n.next;
+
+ visit (n, "/");
+ while (nxt != 0#B)
+ {
+ n = RedoxFS_Node @ nxt;
+ nxt = n.next;
+ visit (n, "/");
+ }
+ }
+ };
diff --git a/pickles/uuid.pk b/pickles/uuid.pk
new file mode 100644
index 00000000..618c7e65
--- /dev/null
+++ b/pickles/uuid.pk
@@ -0,0 +1,45 @@
+/* uuid.pk - Universally Unique IDentifier (UUID) as defined by RFC4122. */
+
+/* Copyright (C) 2021-2022 The poke authors. */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+/* A Universally Unique IDentifier also known as GUIDs (Globally Unique
+ * IDentifier).
+ * A UUID is 128 bits long, and requires no central registration process.
+ *
+ * Ref: https://www.rfc-editor.org/rfc/rfc4122
+ */
+
+type UUID =
+ struct
+ {
+ big uint<32> time_low;
+ big uint<16> time_mid;
+ uint<4> version : version <= 5;
+ big uint<12> time_hi;
+ uint<2> reserved == 0b10; // variant
+ big uint<14> clock_seq;
+ big uint<48> node;
+
+ computed int<60> time;
+
+ method get_time = int<60>:
+ { return time_hi ::: time_mid ::: time_low; }
+ method set_time = (int<60> t) void:
+ { time_hi ::: time_mid ::: time_low = t; }
+ };
+
+assert (UUID {}'size == 128#b);
diff --git a/testsuite/Makefile.am b/testsuite/Makefile.am
index dcba512d..2265c330 100644
--- a/testsuite/Makefile.am
+++ b/testsuite/Makefile.am
@@ -606,6 +606,9 @@ EXTRA_DIST = \
poke.pickles/id3v1-test.pk \
poke.pickles/rgb24-test.pk \
poke.pickles/elf-test.pk \
+ poke.pickles/uuid-test.pk \
+ poke.pickles/redoxfs-test.pk \
+ poke.pickles/pcap-test.pk \
poke.pkl/pkl.exp \
poke.pkl/postincr-1.pk \
poke.pkl/postincr-2.pk \
diff --git a/testsuite/poke.pickles/pcap-test.pk
b/testsuite/poke.pickles/pcap-test.pk
new file mode 100644
index 00000000..332898ea
--- /dev/null
+++ b/testsuite/poke.pickles/pcap-test.pk
@@ -0,0 +1,228 @@
+/* pcap-test.pk - Tests for the PCAP pickle. */
+
+/* Copyright (C) 2022 The poke authors. */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+load pktest;
+load pcap;
+
+/* Data is a subset of `dns.cap' extracted from
+ https://wiki.wireshark.org/SampleCaptures */
+
+var DNS_DATA = [
+ 0xd4UB, 0xc3UB, 0xb2UB, 0xa1UB, 0x02UB, 0x00UB, 0x04UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB,
+ 0xffUB, 0xffUB, 0x00UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x00UB,
+ 0xb2UB, 0x67UB, 0x4aUB, 0x42UB, 0xaeUB, 0x91UB, 0x07UB, 0x00UB,
+ 0x46UB, 0x00UB, 0x00UB, 0x00UB, 0x46UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x00UB, 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB,
+ 0x00UB, 0x38UB, 0x00UB, 0x00UB, 0x40UB, 0x00UB, 0x40UB, 0x11UB,
+ 0x65UB, 0x47UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB, 0xc0UB, 0xa8UB,
+ 0xaaUB, 0x14UB, 0x80UB, 0x1bUB, 0x00UB, 0x35UB, 0x00UB, 0x24UB,
+ 0x85UB, 0xedUB, 0x10UB, 0x32UB, 0x01UB, 0x00UB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x67UB,
+ 0x6fUB, 0x6fUB, 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB,
+ 0x6dUB, 0x00UB, 0x00UB, 0x10UB, 0x00UB, 0x01UB, 0xb2UB, 0x67UB,
+ 0x4aUB, 0x42UB, 0xc0UB, 0x93UB, 0x07UB, 0x00UB, 0x62UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x62UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB,
+ 0x41UB, 0x8cUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB, 0x00UB, 0x54UB,
+ 0xcbUB, 0xecUB, 0x00UB, 0x00UB, 0x80UB, 0x11UB, 0x99UB, 0x3eUB,
+ 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB,
+ 0x00UB, 0x35UB, 0x80UB, 0x1bUB, 0x00UB, 0x40UB, 0xc7UB, 0x25UB,
+ 0x10UB, 0x32UB, 0x81UB, 0x80UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x67UB, 0x6fUB, 0x6fUB,
+ 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB, 0x6dUB, 0x00UB,
+ 0x00UB, 0x10UB, 0x00UB, 0x01UB, 0xc0UB, 0x0cUB, 0x00UB, 0x10UB,
+ 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x01UB, 0x0eUB, 0x00UB, 0x10UB,
+ 0x0fUB, 0x76UB, 0x3dUB, 0x73UB, 0x70UB, 0x66UB, 0x31UB, 0x20UB,
+ 0x70UB, 0x74UB, 0x72UB, 0x20UB, 0x3fUB, 0x61UB, 0x6cUB, 0x6cUB,
+ 0xb6UB, 0x67UB, 0x4aUB, 0x42UB, 0x14UB, 0xa6UB, 0x07UB, 0x00UB,
+ 0x46UB, 0x00UB, 0x00UB, 0x00UB, 0x46UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x00UB, 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB,
+ 0x00UB, 0x38UB, 0x00UB, 0x00UB, 0x40UB, 0x00UB, 0x40UB, 0x11UB,
+ 0x65UB, 0x47UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB, 0xc0UB, 0xa8UB,
+ 0xaaUB, 0x14UB, 0x80UB, 0x1bUB, 0x00UB, 0x35UB, 0x00UB, 0x24UB,
+ 0x9eUB, 0xb0UB, 0xf7UB, 0x6fUB, 0x01UB, 0x00UB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x67UB,
+ 0x6fUB, 0x6fUB, 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB,
+ 0x6dUB, 0x00UB, 0x00UB, 0x0fUB, 0x00UB, 0x01UB, 0xb7UB, 0x67UB,
+ 0x4aUB, 0x42UB, 0x59UB, 0x16UB, 0x05UB, 0x00UB, 0x2aUB, 0x01UB,
+ 0x00UB, 0x00UB, 0x2aUB, 0x01UB, 0x00UB, 0x00UB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB,
+ 0x41UB, 0x8cUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB, 0x01UB, 0x1cUB,
+ 0xccUB, 0xbbUB, 0x00UB, 0x00UB, 0x80UB, 0x11UB, 0x97UB, 0xa7UB,
+ 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB,
+ 0x00UB, 0x35UB, 0x80UB, 0x1bUB, 0x01UB, 0x08UB, 0xd6UB, 0xf3UB,
+ 0xf7UB, 0x6fUB, 0x81UB, 0x80UB, 0x00UB, 0x01UB, 0x00UB, 0x06UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x06UB, 0x67UB, 0x6fUB, 0x6fUB,
+ 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB, 0x6dUB, 0x00UB,
+ 0x00UB, 0x0fUB, 0x00UB, 0x01UB, 0xc0UB, 0x0cUB, 0x00UB, 0x0fUB,
+ 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x02UB, 0x28UB, 0x00UB, 0x0aUB,
+ 0x00UB, 0x28UB, 0x05UB, 0x73UB, 0x6dUB, 0x74UB, 0x70UB, 0x34UB,
+ 0xc0UB, 0x0cUB, 0xc0UB, 0x0cUB, 0x00UB, 0x0fUB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x02UB, 0x28UB, 0x00UB, 0x0aUB, 0x00UB, 0x0aUB,
+ 0x05UB, 0x73UB, 0x6dUB, 0x74UB, 0x70UB, 0x35UB, 0xc0UB, 0x0cUB,
+ 0xc0UB, 0x0cUB, 0x00UB, 0x0fUB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x28UB, 0x00UB, 0x0aUB, 0x00UB, 0x0aUB, 0x05UB, 0x73UB,
+ 0x6dUB, 0x74UB, 0x70UB, 0x36UB, 0xc0UB, 0x0cUB, 0xc0UB, 0x0cUB,
+ 0x00UB, 0x0fUB, 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x02UB, 0x28UB,
+ 0x00UB, 0x0aUB, 0x00UB, 0x0aUB, 0x05UB, 0x73UB, 0x6dUB, 0x74UB,
+ 0x70UB, 0x31UB, 0xc0UB, 0x0cUB, 0xc0UB, 0x0cUB, 0x00UB, 0x0fUB,
+ 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x02UB, 0x28UB, 0x00UB, 0x0aUB,
+ 0x00UB, 0x0aUB, 0x05UB, 0x73UB, 0x6dUB, 0x74UB, 0x70UB, 0x32UB,
+ 0xc0UB, 0x0cUB, 0xc0UB, 0x0cUB, 0x00UB, 0x0fUB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x02UB, 0x28UB, 0x00UB, 0x0aUB, 0x00UB, 0x28UB,
+ 0x05UB, 0x73UB, 0x6dUB, 0x74UB, 0x70UB, 0x33UB, 0xc0UB, 0x0cUB,
+ 0xc0UB, 0x2aUB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0xd8UB, 0xefUB, 0x25UB, 0x1aUB,
+ 0xc0UB, 0x40UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0x40UB, 0xe9UB, 0xa7UB, 0x19UB,
+ 0xc0UB, 0x56UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0x42UB, 0x66UB, 0x09UB, 0x19UB,
+ 0xc0UB, 0x6cUB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0xd8UB, 0xefUB, 0x39UB, 0x19UB,
+ 0xc0UB, 0x82UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0xd8UB, 0xefUB, 0x25UB, 0x19UB,
+ 0xc0UB, 0x98UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x02UB, 0x58UB, 0x00UB, 0x04UB, 0xd8UB, 0xefUB, 0x39UB, 0x1aUB,
+ 0xbfUB, 0x67UB, 0x4aUB, 0x42UB, 0x8fUB, 0xc7UB, 0x04UB, 0x00UB,
+ 0x46UB, 0x00UB, 0x00UB, 0x00UB, 0x46UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x00UB, 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB,
+ 0x00UB, 0x38UB, 0x00UB, 0x00UB, 0x40UB, 0x00UB, 0x40UB, 0x11UB,
+ 0x65UB, 0x47UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB, 0xc0UB, 0xa8UB,
+ 0xaaUB, 0x14UB, 0x80UB, 0x1bUB, 0x00UB, 0x35UB, 0x00UB, 0x24UB,
+ 0x4cUB, 0x71UB, 0x49UB, 0xa1UB, 0x01UB, 0x00UB, 0x00UB, 0x01UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x67UB,
+ 0x6fUB, 0x6fUB, 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB,
+ 0x6dUB, 0x00UB, 0x00UB, 0x1dUB, 0x00UB, 0x01UB, 0xbfUB, 0x67UB,
+ 0x4aUB, 0x42UB, 0x9fUB, 0xe6UB, 0x06UB, 0x00UB, 0x46UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x46UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0xe0UB,
+ 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB,
+ 0x41UB, 0x8cUB, 0x08UB, 0x00UB, 0x45UB, 0x00UB, 0x00UB, 0x38UB,
+ 0xccUB, 0xcdUB, 0x00UB, 0x00UB, 0x80UB, 0x11UB, 0x98UB, 0x79UB,
+ 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB,
+ 0x00UB, 0x35UB, 0x80UB, 0x1bUB, 0x00UB, 0x24UB, 0xcbUB, 0xf0UB,
+ 0x49UB, 0xa1UB, 0x81UB, 0x80UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x06UB, 0x67UB, 0x6fUB, 0x6fUB,
+ 0x67UB, 0x6cUB, 0x65UB, 0x03UB, 0x63UB, 0x6fUB, 0x6dUB, 0x00UB,
+ 0x00UB, 0x1dUB, 0x00UB, 0x01UB, 0xc7UB, 0x67UB, 0x4aUB, 0x42UB,
+ 0x69UB, 0xe5UB, 0x04UB, 0x00UB, 0x55UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x55UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB,
+ 0x41UB, 0x8cUB, 0x00UB, 0xe0UB, 0x18UB, 0xb1UB, 0x0cUB, 0xadUB,
+ 0x08UB, 0x00UB, 0x45UB, 0x00UB, 0x00UB, 0x47UB, 0x00UB, 0x00UB,
+ 0x40UB, 0x00UB, 0x40UB, 0x11UB, 0x65UB, 0x38UB, 0xc0UB, 0xa8UB,
+ 0xaaUB, 0x08UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0x80UB, 0x1bUB,
+ 0x00UB, 0x35UB, 0x00UB, 0x33UB, 0x17UB, 0xc2UB, 0x9bUB, 0xbbUB,
+ 0x01UB, 0x00UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x03UB, 0x31UB, 0x30UB, 0x34UB, 0x01UB, 0x39UB,
+ 0x03UB, 0x31UB, 0x39UB, 0x32UB, 0x02UB, 0x36UB, 0x36UB, 0x07UB,
+ 0x69UB, 0x6eUB, 0x2dUB, 0x61UB, 0x64UB, 0x64UB, 0x72UB, 0x04UB,
+ 0x61UB, 0x72UB, 0x70UB, 0x61UB, 0x00UB, 0x00UB, 0x0cUB, 0x00UB,
+ 0x01UB, 0xc7UB, 0x67UB, 0x4aUB, 0x42UB, 0x63UB, 0xe7UB, 0x04UB,
+ 0x00UB, 0x81UB, 0x00UB, 0x00UB, 0x00UB, 0x81UB, 0x00UB, 0x00UB,
+ 0x00UB, 0x00UB, 0xe0UB, 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x00UB,
+ 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB, 0x08UB, 0x00UB, 0x45UB,
+ 0x00UB, 0x00UB, 0x73UB, 0xcdUB, 0x1bUB, 0x00UB, 0x00UB, 0x80UB,
+ 0x11UB, 0x97UB, 0xf0UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0xc0UB,
+ 0xa8UB, 0xaaUB, 0x08UB, 0x00UB, 0x35UB, 0x80UB, 0x1bUB, 0x00UB,
+ 0x5fUB, 0x82UB, 0xb5UB, 0x9bUB, 0xbbUB, 0x81UB, 0x80UB, 0x00UB,
+ 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x03UB,
+ 0x31UB, 0x30UB, 0x34UB, 0x01UB, 0x39UB, 0x03UB, 0x31UB, 0x39UB,
+ 0x32UB, 0x02UB, 0x36UB, 0x36UB, 0x07UB, 0x69UB, 0x6eUB, 0x2dUB,
+ 0x61UB, 0x64UB, 0x64UB, 0x72UB, 0x04UB, 0x61UB, 0x72UB, 0x70UB,
+ 0x61UB, 0x00UB, 0x00UB, 0x0cUB, 0x00UB, 0x01UB, 0xc0UB, 0x0cUB,
+ 0x00UB, 0x0cUB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x51UB, 0x25UB,
+ 0x00UB, 0x20UB, 0x0cUB, 0x36UB, 0x36UB, 0x2dUB, 0x31UB, 0x39UB,
+ 0x32UB, 0x2dUB, 0x39UB, 0x2dUB, 0x31UB, 0x30UB, 0x34UB, 0x03UB,
+ 0x67UB, 0x65UB, 0x6eUB, 0x09UB, 0x74UB, 0x77UB, 0x74UB, 0x65UB,
+ 0x6cUB, 0x65UB, 0x63UB, 0x6fUB, 0x6dUB, 0x03UB, 0x6eUB, 0x65UB,
+ 0x74UB, 0x00UB, 0x0eUB, 0x68UB, 0x4aUB, 0x42UB, 0x7fUB, 0x77UB,
+ 0x0aUB, 0x00UB, 0x4aUB, 0x00UB, 0x00UB, 0x00UB, 0x4aUB, 0x00UB,
+ 0x00UB, 0x00UB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB,
+ 0x00UB, 0xe0UB, 0x18UB, 0xb1UB, 0x0cUB, 0xadUB, 0x08UB, 0x00UB,
+ 0x45UB, 0x00UB, 0x00UB, 0x3cUB, 0x00UB, 0x00UB, 0x40UB, 0x00UB,
+ 0x40UB, 0x11UB, 0x65UB, 0x43UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB,
+ 0xc0UB, 0xa8UB, 0xaaUB, 0x14UB, 0x80UB, 0x1bUB, 0x00UB, 0x35UB,
+ 0x00UB, 0x28UB, 0xafUB, 0x61UB, 0x75UB, 0xc0UB, 0x01UB, 0x00UB,
+ 0x00UB, 0x01UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0x00UB,
+ 0x03UB, 0x77UB, 0x77UB, 0x77UB, 0x06UB, 0x6eUB, 0x65UB, 0x74UB,
+ 0x62UB, 0x73UB, 0x64UB, 0x03UB, 0x6fUB, 0x72UB, 0x67UB, 0x00UB,
+ 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x0eUB, 0x68UB, 0x4aUB, 0x42UB,
+ 0x8eUB, 0x36UB, 0x0bUB, 0x00UB, 0x5aUB, 0x00UB, 0x00UB, 0x00UB,
+ 0x5aUB, 0x00UB, 0x00UB, 0x00UB, 0x00UB, 0xe0UB, 0x18UB, 0xb1UB,
+ 0x0cUB, 0xadUB, 0x00UB, 0xc0UB, 0x9fUB, 0x32UB, 0x41UB, 0x8cUB,
+ 0x08UB, 0x00UB, 0x45UB, 0x00UB, 0x00UB, 0x4cUB, 0xcfUB, 0xf9UB,
+ 0x00UB, 0x00UB, 0x80UB, 0x11UB, 0x95UB, 0x39UB, 0xc0UB, 0xa8UB,
+ 0xaaUB, 0x14UB, 0xc0UB, 0xa8UB, 0xaaUB, 0x08UB, 0x00UB, 0x35UB,
+ 0x80UB, 0x1bUB, 0x00UB, 0x38UB, 0xa3UB, 0x17UB, 0x75UB, 0xc0UB,
+ 0x81UB, 0x80UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x00UB,
+ 0x00UB, 0x00UB, 0x03UB, 0x77UB, 0x77UB, 0x77UB, 0x06UB, 0x6eUB,
+ 0x65UB, 0x74UB, 0x62UB, 0x73UB, 0x64UB, 0x03UB, 0x6fUB, 0x72UB,
+ 0x67UB, 0x00UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0xc0UB, 0x0cUB,
+ 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x00UB, 0x01UB, 0x40UB, 0xefUB,
+ 0x00UB, 0x04UB, 0xccUB, 0x98UB, 0xbeUB, 0x0cUB,
+];
+
+var tests = [
+ PkTest {
+ name = "Decode DNS sample in little endian mode",
+ func = lambda (string name) void:
+ {
+ with_temp_ios
+ :endian ENDIAN_LITTLE
+ :do lambda void:
+ {
+ byte[] @ 0#B = DNS_DATA;
+
+ var pcap = PCAP @ 0#B,
+ hdr = pcap.header,
+ packets = pcap.packets;
+
+ assert (hdr.magic == [0xd4UB, 0xc3UB, 0xb2UB, 0xa1UB]);
+ assert (hdr.snaplen == 65535);
+ assert (packets'length == 10);
+ };
+ },
+ },
+ PkTest {
+ name = "Decode DNS sample in big endian mode",
+ func = lambda (string name) void:
+ {
+ with_temp_ios
+ :endian ENDIAN_BIG
+ :do lambda void:
+ {
+ byte[] @ 0#B = DNS_DATA;
+
+ try PCAP @ 0#B;
+ catch (Exception ex)
+ {
+ assert (ex.code == EC_constraint);
+ assert (ex.msg[39:] == "PCAP_Header.magic");
+ return;
+ }
+ assert (0, "Unreachable reached!");
+ };
+ },
+ },
+];
+
+var ok = pktest_run (tests);
+exit (ok ? 0 : 1);
diff --git a/testsuite/poke.pickles/redoxfs-test.pk
b/testsuite/poke.pickles/redoxfs-test.pk
new file mode 100644
index 00000000..8eead199
--- /dev/null
+++ b/testsuite/poke.pickles/redoxfs-test.pk
@@ -0,0 +1,31 @@
+/* redoxfs-test.pk - Tests for the redoxfs pickle. */
+
+/* Copyright (C) 2022 The poke authors. */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+load pktest;
+load redoxfs;
+
+var tests = [
+ PkTest {
+ name = "successful load",
+ func = lambda (string name) void:
+ {},
+ },
+];
+
+var ok = pktest_run (tests);
+exit (ok ? 0 : 1);
diff --git a/testsuite/poke.pickles/uuid-test.pk
b/testsuite/poke.pickles/uuid-test.pk
new file mode 100644
index 00000000..e8427d4f
--- /dev/null
+++ b/testsuite/poke.pickles/uuid-test.pk
@@ -0,0 +1,85 @@
+/* uuid-test.pk - Tests for the UUID pickle. */
+
+/* Copyright (C) 2022 The poke authors. */
+
+/* This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+load pktest;
+load uuid;
+
+// b183fa14-6477-11ed-81ce-0242ac120002
+var DATA_UUIDv1_1 = [
+ 0xb1UB, 0x83UB, 0xfaUB, 0x14UB, 0x64UB, 0x77UB, 0x11UB, 0xedUB,
+ 0x81UB, 0xceUB, 0x02UB, 0x42UB, 0xacUB, 0x12UB, 0x00UB, 0x02UB,
+];
+
+assert (DATA_UUIDv1_1'size == 128#b);
+
+var tests = [
+ PkTest {
+ name = "UUID version 1 (check both endians)",
+ func = lambda (string name) void:
+ {
+ with_temp_ios
+ :endian ENDIAN_BIG
+ :do lambda void:
+ {
+ byte[128#b] @ 0#B = DATA_UUIDv1_1;
+
+ var uuid = UUID @ 0#B;
+
+ assert (uuid.version == 1);
+
+ assert (uuid.time_low == 0xb183fa14U);
+ assert (uuid.time_mid == 0x6477UH);
+ assert (uuid.time_hi == 0x1ed);
+
+ // Seconds since 15 Oct. 1582 times 100
+ // 2022-11-14 23:54:36.045570.0 UTC
+ assert (uuid.time == 0x1ed6477b183fa14);
+ assert (uuid.time == 138877628760455700);
+
+ assert (uuid.clock_seq == 462);
+ assert (uuid.node == 0x02_42_ac_12_00_02);
+ };
+
+ with_temp_ios
+ :endian ENDIAN_LITTLE
+ :do lambda void:
+ {
+ byte[128#b] @ 0#B = DATA_UUIDv1_1;
+
+ var uuid = UUID @ 0#B;
+
+ assert (uuid.version == 1);
+
+ assert (uuid.time_low == 0xb183fa14U);
+ assert (uuid.time_mid == 0x6477UH);
+ assert (uuid.time_hi == 0x1ed);
+
+ // Seconds since 15 Oct. 1582 times 100
+ // 2022-11-14 23:54:36.045570.0 UTC
+ assert (uuid.time == 0x1ed6477b183fa14);
+ assert (uuid.time == 138877628760455700);
+
+ assert (uuid.clock_seq == 462);
+ assert (uuid.node == 0x02_42_ac_12_00_02);
+ };
+ },
+ },
+];
+
+var ok = pktest_run (tests);
+exit (ok ? 0 : 1);
--
2.38.1
- [PATCH] pickles: add pickles for PCAP, UUID and RedoxFS,
Mohammad-Reza Nabipoor <=