src/net.cil


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

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

(block net

  (block unconfined

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

    (typeattribute typeattr)))

(in unconfined

    (call .net.unconfined.type (typeattr)))