aboutgitcodelistschat:MatrixIRC
diff options
context:
space:
mode:
authorAlice Frosi <afrosi@redhat.com>2023-08-24 15:36:01 +0200
committerAlice Frosi <afrosi@redhat.com>2023-08-24 15:36:01 +0200
commitcfcf3d3c399c037dd37cce9cf247f6683777697b (patch)
treea311d399f07bb02ebeaa56b4e3041c446fe3bd57
parent240eb94b44f9dc613a85911d4190df129372e9cc (diff)
downloadseitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar.gz
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar.bz2
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar.lz
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar.xz
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.tar.zst
seitan-cfcf3d3c399c037dd37cce9cf247f6683777697b.zip
demo: clean-up the directory
-rw-r--r--demo/.mknod.hjson.swpbin12288 -> 0 bytes
-rw-r--r--demo/bpfbin56 -> 0 bytes
-rw-r--r--demo/connect.hjson.license2
-rw-r--r--demo/connect1.hjson8
-rw-r--r--demo/mknod.bpbin72 -> 0 bytes
-rw-r--r--demo/mknod.hjson.bak33
-rw-r--r--demo/mknod_cont.hjson63
-rw-r--r--demo/read.hjson13
-rw-r--r--demo/socket.hjson14
9 files changed, 0 insertions, 133 deletions
diff --git a/demo/.mknod.hjson.swp b/demo/.mknod.hjson.swp
deleted file mode 100644
index 4ca49a8..0000000
--- a/demo/.mknod.hjson.swp
+++ /dev/null
Binary files differ
diff --git a/demo/bpf b/demo/bpf
deleted file mode 100644
index ad1fbf9..0000000
--- a/demo/bpf
+++ /dev/null
Binary files differ
diff --git a/demo/connect.hjson.license b/demo/connect.hjson.license
deleted file mode 100644
index d2abc50..0000000
--- a/demo/connect.hjson.license
+++ /dev/null
@@ -1,2 +0,0 @@
-SPDX-FileCopyrightText: 2023 Red Hat GmbH <sbrivio@redhat.com>
-SPDX-License-Identifier: GPL-2.0-or-later
diff --git a/demo/connect1.hjson b/demo/connect1.hjson
deleted file mode 100644
index 3469fc2..0000000
--- a/demo/connect1.hjson
+++ /dev/null
@@ -1,8 +0,0 @@
-[
- { /* fake connect syscall */
- "match": [
- { "connect": { "addr": { "family": "unix", "path": "/fake.sock" } } }
- ],
- "return": 0
- }
-]
diff --git a/demo/mknod.bp b/demo/mknod.bp
deleted file mode 100644
index 500cbce..0000000
--- a/demo/mknod.bp
+++ /dev/null
Binary files differ
diff --git a/demo/mknod.hjson.bak b/demo/mknod.hjson.bak
deleted file mode 100644
index 7055aee..0000000
--- a/demo/mknod.hjson.bak
+++ /dev/null
@@ -1,33 +0,0 @@
-[
- {
- "match": [ /* Giuseppe's example */
- { "mknodat":
- { "path": { "tag": "path" },
- "mode": { "tag": "mode" },
- "type": { "tag": "type" },
- "major": 1,
- "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
- }
- },
- { "mknod":
- { "path": { "tag": "path" },
- "mode": { "tag": "mode" },
- "type": { "tag": "type" },
- "major": 1,
- "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
- }
- }
- ],
- "call":
- { "mknod":
- { "path": { "tag": { "get": "path" } },
- "mode": { "tag": { "get": "mode" } },
- "type": { "tag": { "get": "type" } },
- "major": 1,
- "minor": { "tag": { "get": "minor" } }
- },
- "context": { "mnt": "caller" }
- },
- "return": { "value": 0 }
- }
-]
diff --git a/demo/mknod_cont.hjson b/demo/mknod_cont.hjson
deleted file mode 100644
index 71f41d0..0000000
--- a/demo/mknod_cont.hjson
+++ /dev/null
@@ -1,63 +0,0 @@
-[
- {
- "match": [
- { "mknodat":
- { "path": { "tag": "path" },
- "mode": { "tag": "mode" },
- "type": { "tag": "type" },
- "major": 1,
- "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
- }
- },
- { "mknod":
- { "path": { "tag": "path" },
- "mode": { "tag": "mode" },
- "type": { "tag": "type" },
- "major": 1,
- "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" }
- }
- }
- ],
- "call":
- { "mknod":
- { "path": { "tag": { "get": "path" } },
- "mode": { "tag": { "get": "mode" } },
- "type": { "tag": { "get": "type" } },
- "major": 1,
- "minor": { "tag": { "get": "minor" } }
- },
- "ret": "x",
- "context": { "user": "init", "mnt": "caller" }
- },
- "return": { "tag": "x" }
- }
-]
-
-/*
- * INTFLAGS, LONGFLAGS, U32FLAGS
- *
- * "field": { "in": [ "ipc", "mount", "uts" ] }
- * flags & set
- * !!(flags & (ipc | mount | ns))
- *
- * "field": { "all": [ "ipc", "mount", "uts" ] }
- * flags & set == set
- * flags & (ipc | mount | ns) == (ipc | mount | ns)
- *
- * "field": { "not": [ "ipc", "mount", "uts" ] }
- * !(flags & set)
- *
- * "field": { "ipc": false, "mount": true, "uts": false }
- * flags & set == set
- * !(flags & ipc) && (flags & mount) && !(flags & utc)
- *
- * "field": { "ipc" }
- * flags == ipc
- *
- * INTMASK
- * value = (target value & known values)
- *
- * INT, LONG, U32
- * "arg": { "in": [ 0, 1 ] }
- * arg == 0 || arg == 1
- */
diff --git a/demo/read.hjson b/demo/read.hjson
deleted file mode 100644
index 071ce3a..0000000
--- a/demo/read.hjson
+++ /dev/null
@@ -1,13 +0,0 @@
-[
- {
- "match": [
- { "read": { "path": "/tmp/abcd2", "buf": { "tag": "buf" }, "count": { "tag": "count" } } }
- ],
- "call": [
- { "open": { "path": "/tmp/abcd", "flags": "rdonly", "mode": 0 }, "ret": "new_fd" },
- { "read": { "fd": { "tag": { "get": "new_fd" } }, "buf": { "tag": { "set": "new" } }, "count": { "tag": { "get": "count" } } }, "ret": "n" }
- ],
- "write": { "src": "new", "dst": "buf", "count": "n" },
- "return": { "value": { "tag": "n" } }
- }
-]
diff --git a/demo/socket.hjson b/demo/socket.hjson
deleted file mode 100644
index c5ddfdb..0000000
--- a/demo/socket.hjson
+++ /dev/null
@@ -1,14 +0,0 @@
-[
- {
- "match": [
- { "socket": { "family": "unix" } }
- ],
- "return": {"continue": true }
- },
- {
- "match": [
- { "socket": {} }
- ],
- "return": {"error": -1, "value": 0 }
- }
-]