diff options
Diffstat (limited to 'src/anoninode')
| -rw-r--r-- | src/anoninode/iouringanoninode.cil | 42 | ||||
| -rw-r--r-- | src/anoninode/kvmgmemanoninode.cil | 42 | ||||
| -rw-r--r-- | src/anoninode/perfeventanoninode.cil | 38 | ||||
| -rw-r--r-- | src/anoninode/secretmemanoninode.cil | 38 | ||||
| -rw-r--r-- | src/anoninode/uffdanoninode.cil | 38 |
5 files changed, 99 insertions, 99 deletions
diff --git a/src/anoninode/iouringanoninode.cil b/src/anoninode/iouringanoninode.cil index 246f712..8c0e23c 100644 --- a/src/anoninode/iouringanoninode.cil +++ b/src/anoninode/iouringanoninode.cil @@ -1,43 +1,43 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (block iouring - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .iouring.anon_inode.type (anon_inode))) + (call .iouring.anon_inode.type (anon_inode))) - (block template + (block template - (macro map_anon_inode_anon_inodes ((type ARG1)) - (allow ARG1 anon_inode (anon_inode (map)))) + (macro map_anon_inode_anon_inodes ((type ARG1)) + (allow ARG1 anon_inode (anon_inode (map)))) - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[io_uring]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[io_uring]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .iouring.anon_inode.base_template)))) + (blockinherit .iouring.anon_inode.base_template)))) (in anon_inode.unconfined diff --git a/src/anoninode/kvmgmemanoninode.cil b/src/anoninode/kvmgmemanoninode.cil index ef8ed90..13ecdb2 100644 --- a/src/anoninode/kvmgmemanoninode.cil +++ b/src/anoninode/kvmgmemanoninode.cil @@ -1,45 +1,45 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (in kvm (block gmem - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .kvm.gmem.anon_inode.type (anon_inode))) + (call .kvm.gmem.anon_inode.type (anon_inode))) - (block template + (block template - (macro map_anon_inode_anon_inodes ((type ARG1)) - (allow ARG1 anon_inode (anon_inode (map)))) + (macro map_anon_inode_anon_inodes ((type ARG1)) + (allow ARG1 anon_inode (anon_inode (map)))) - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[kvm-gmem]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[kvm-gmem]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .kvm.gmem.anon_inode.base_template))))) + (blockinherit .kvm.gmem.anon_inode.base_template))))) (in anon_inode.unconfined diff --git a/src/anoninode/perfeventanoninode.cil b/src/anoninode/perfeventanoninode.cil index dd3e9a0..2724967 100644 --- a/src/anoninode/perfeventanoninode.cil +++ b/src/anoninode/perfeventanoninode.cil @@ -1,40 +1,40 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (block perfevent - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .perfevent.anon_inode.type (anon_inode))) + (call .perfevent.anon_inode.type (anon_inode))) - (block template + (block template - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[perf_event]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[perf_event]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .perfevent.anon_inode.base_template)))) + (blockinherit .perfevent.anon_inode.base_template)))) (in anon_inode.unconfined diff --git a/src/anoninode/secretmemanoninode.cil b/src/anoninode/secretmemanoninode.cil index 5c41465..6dfa9c0 100644 --- a/src/anoninode/secretmemanoninode.cil +++ b/src/anoninode/secretmemanoninode.cil @@ -1,40 +1,40 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (block secretmem - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .secretmem.anon_inode.type (anon_inode))) + (call .secretmem.anon_inode.type (anon_inode))) - (block template + (block template - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[secretmem]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[secretmem]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .secretmem.anon_inode.base_template)))) + (blockinherit .secretmem.anon_inode.base_template)))) (in anon_inode.unconfined diff --git a/src/anoninode/uffdanoninode.cil b/src/anoninode/uffdanoninode.cil index 1e9de58..b77e80a 100644 --- a/src/anoninode/uffdanoninode.cil +++ b/src/anoninode/uffdanoninode.cil @@ -1,40 +1,40 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (block uffd - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .uffd.anon_inode.type (anon_inode))) + (call .uffd.anon_inode.type (anon_inode))) - (block template + (block template - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[userfaultfd]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[userfaultfd]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .uffd.anon_inode.base_template)))) + (blockinherit .uffd.anon_inode.base_template)))) (in anon_inode.unconfined |