From 63e6cee90c58b3b60749c8e783eb06f98b622c22 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Thu, 21 Jul 2022 12:11:01 +0200 Subject: [PATCH] secilc/test: add disjoint attributes rule MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Christian Göttsche --- v4: rename to disjointattributes --- secilc/test/policy.cil | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/secilc/test/policy.cil b/secilc/test/policy.cil index e6b78618fa..b92d3e85eb 100644 --- a/secilc/test/policy.cil +++ b/secilc/test/policy.cil @@ -118,13 +118,17 @@ (typeattribute foo_type) (typeattribute bar_type) (typeattribute baz_type) + (typeattribute bad_type) (typeattribute not_bad_type) + (typeattribute empty_type) (typeattributeset exec_type (or bin_t kernel_t)) (typeattributeset foo_type (and exec_type kernel_t)) (typeattributeset bar_type (xor exec_type foo_type)) (typeattributeset baz_type (not bin_t)) (typeattributeset baz_type (and exec_type (and bar_type bin_t))) + (typeattributeset bad_type (bad_t)) (typeattributeset not_bad_type (not bad_t)) + (disjointattributes (bad_type not_bad_type empty_type)) (typealias sbin_t) (typealiasactual sbin_t bin_t) (typepermissive device_t)