From 02613a41240086cb50cb38d99fe7ffdd97b7f4f5 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Wed, 12 Dec 2018 13:14:26 +0100
Subject: sys/linux: add basic tipc test

---
 sys/linux/test/tipc | 3 +++
 sys/linux/vnet.txt  | 5 +++++
 2 files changed, 8 insertions(+)
 create mode 100644 sys/linux/test/tipc

(limited to 'sys')

diff --git a/sys/linux/test/tipc b/sys/linux/test/tipc
new file mode 100644
index 000000000..24e4ec749
--- /dev/null
+++ b/sys/linux/test/tipc
@@ -0,0 +1,3 @@
+r0 = socket$nl_generic(0x10, 0x3, 0x10)
+r1 = syz_genetlink_get_family_id$tipc2(&(0x7f0000000000)='TIPCv2\x00')
+sendmsg$TIPC_NL_BEARER_ENABLE(r0, &AUTO={0x0, 0x0, &AUTO={&AUTO={AUTO, r1, 0x1, 0x123, 0x234, {0x3, 0x0, 0x0}, [@TIPC_NLA_BEARER={AUTO, AUTO, [@TIPC_NLA_BEARER_NAME={AUTO, AUTO, @udp='udp:syz0'}, @TIPC_NLA_BEARER_UDP_OPTS={AUTO, AUTO, {{AUTO, AUTO, @in={AUTO, 0x4e20, @loopback=AUTO}}, {AUTO, AUTO, @in={AUTO, 0x4e20, @loopback=AUTO}}}}]}]}, AUTO}, 0x1, 0x0, 0x0, 0x0}, 0x0)
diff --git a/sys/linux/vnet.txt b/sys/linux/vnet.txt
index 155770b63..8bb8d5e7f 100644
--- a/sys/linux/vnet.txt
+++ b/sys/linux/vnet.txt
@@ -1359,6 +1359,11 @@ mpls_payload [
 # http://tipc.sourceforge.net/protocol.html
 # http://tipc.sourceforge.net/protocol.html#anchor50
 
+# TODO: describe more TIPC packets, the current description is far from being complete.
+# But first we need to ensure that syzkaller manages to enable TIPC receiving,
+# because currently it always crashes kernel earlier.
+# Also, do we need to nest TIPC packets in UDP for UDP media?
+
 include <uapi/linux/tipc.h>
 include <net/tipc/msg.h>
 
-- 
cgit mrf-deployment