From f136c1a5e5ce82f05e91038bcebc62037efda12b Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Wed, 23 Aug 2023 11:17:01 +0200 Subject: Tree-wide: various fixes and clean-ups Signed-off-by: Dominick Grift --- src/file/datafile/execfile.cil | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/file/datafile/execfile.cil') diff --git a/src/file/datafile/execfile.cil b/src/file/datafile/execfile.cil index e7926a2..36a66bc 100644 --- a/src/file/datafile/execfile.cil +++ b/src/file/datafile/execfile.cil @@ -20,6 +20,15 @@ (macro map_all_files ((type ARG1)) (allow ARG1 typeattr (file (map)))) + (macro subj_range_transition ((type ARG1)(levelrange ARG2)) + (rangetransition ARG1 typeattr process ARG2)) + + (macro subj_role_transition ((role ARG1)(role ARG2)) + (roletransition ARG1 typeattr process ARG2)) + + (macro subj_type_transition ((type ARG1)(type ARG2)) + (typetransition ARG1 typeattr process ARG2)) + (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) @@ -52,6 +61,12 @@ (macro map_file_files ((type ARG1)) (allow ARG1 file (file (map)))) + (macro subj_range_transition ((type ARG1)(levelrange ARG2)) + (rangetransition ARG1 file process ARG2)) + + (macro subj_role_transition ((role ARG1)(role ARG2)) + (roletransition ARG1 file process ARG2)) + (macro subj_type_transition ((type ARG1)(type ARG2)) (typetransition ARG1 file process ARG2)) -- cgit v1.2.3