Import dssp5

Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>

1 files changed, 39 insertions, 0 deletions

diff --git a/src/net/portnet/reservedportnet.cil b/src/net/portnet/reservedportnet.cil
new file mode 100644
index 0000000..6ab315b
--- /dev/null
+++ b/src/net/portnet/reservedportnet.cil
@@ -0,0 +1,39 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block reserved
+
+  (portcon "dccp" (1 1023) port_context)
+  (portcon "sctp" (1 1023) port_context)
+  (portcon "tcp" (1 1023) port_context)
+  (portcon "udp" (1 1023) port_context)
+
+  (blockinherit .net.port.reserved.template))
+
+(in net.port
+
+    (block reserved
+
+      (macro type ((type ARG1))
+	     (typeattributeset typeattr ARG1))
+
+      (blockinherit .net.port.all_macro_template)
+
+      (typeattribute typeattr)
+
+      (call .net.port.type (typeattr))
+
+      (block base_template
+
+	(blockabstract base_template)
+
+	(blockinherit .net.port.base_template)
+
+	(call .net.port.reserved.type (port)))
+
+      (block template
+
+	(blockabstract template)
+
+	(blockinherit .net.port.macro_template)
+	(blockinherit .net.port.reserved.base_template))))