summaryrefslogtreecommitdiff
path: root/policychecker/rules.xsl
diff options
context:
space:
mode:
Diffstat (limited to 'policychecker/rules.xsl')
-rw-r--r--policychecker/rules.xsl8
1 files changed, 8 insertions, 0 deletions
diff --git a/policychecker/rules.xsl b/policychecker/rules.xsl
index 7f20b0f..bc306d9 100644
--- a/policychecker/rules.xsl
+++ b/policychecker/rules.xsl
@@ -64,6 +64,14 @@
<sch:let name="dest_name" value="@own_prefix"/>
<sch:assert test="//policy[@context='default']/deny[@own_prefix = $dest_name]">For each allow own_prefix you must add a deny own_prefix in default context.</sch:assert>
</sch:rule>
+ <sch:rule context="deny[@own]">
+ <sch:let name="dest_name" value="@own"/>
+ <sch:assert test="//policy/allow[@own = $dest_name] or //policy/check[@own = $dest_name]">"deny own" present, but no "allow own" or "check own" for that name.</sch:assert>
+ </sch:rule>
+ <sch:rule context="deny[@own_prefix]">
+ <sch:let name="dest_name" value="@own_prefix"/>
+ <sch:assert test="//policy/allow[@own_prefix = $dest_name] or //policy/check[@own_prefix = $dest_name]">"deny own_prefix" present, but no "allow own_prefix" or "check own_prefix" for that name.</sch:assert>
+ </sch:rule>
</sch:pattern>
<sch:pattern name="Unconstrained allow in default context (or mandatory)">