diff options
Diffstat (limited to 'src/anoninode/secretmemanoninode.cil')
-rw-r--r-- | src/anoninode/secretmemanoninode.cil | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/anoninode/secretmemanoninode.cil b/src/anoninode/secretmemanoninode.cil new file mode 100644 index 0000000..57b45bf --- /dev/null +++ b/src/anoninode/secretmemanoninode.cil @@ -0,0 +1,41 @@ +;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-License-Identifier: Unlicense + +(block secretmem + + (blockinherit anon_inode.template) + + (block anon_inode + + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) + + (typeattribute typeattr) + + (blockinherit .anon_inode.all_macro_template_anon_inodes) + + (call .anon_inode.type (typeattr)) + + (block base_template + + (blockabstract base_template) + + (blockinherit .anon_inode.base_template) + + (call .secretmem.anon_inode.type (anon_inode))) + + (block template + + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[secretmem]"))) + + (blockabstract template) + + (blockinherit .anon_inode.macro_template_anon_inodes) + + (blockinherit .secretmem.anon_inode.base_template)))) + +(in anon_inode.unconfined + + (call .secretmem.self_type_transition_anon_inode (typeattr))) |