From 0c187b6ff97f91c41dab65a6426dc61f77305cdf Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Sun, 20 Aug 2023 15:44:41 +0200 Subject: Import dssp5 Signed-off-by: Dominick Grift --- src/anoninode/secretmemanoninode.cil | 41 ++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 src/anoninode/secretmemanoninode.cil (limited to 'src/anoninode/secretmemanoninode.cil') 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 +;; 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))) -- cgit v1.2.3