summaryrefslogtreecommitdiff
path: root/src/net/ibnet.cil
blob: 9bef42268c7ce0b50fc8b3cb49f024e9d7f38706 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
;; SPDX-FileCopyrightText: M-BM-) 2025 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))))