src/net/ibnet.cil


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(in net

    (call ib.unconfined.type (unconfined.typeattr))

    (block ib

      (block unconfined

	(macro type ((type ARG1))
	       (typeattributeset typeattr ARG1))

	(typeattribute typeattr))))