From: Dominick Grift <dominick.grift@defensec.nl>
To: selinux@vger.kernel.org
Cc: Dominick Grift <dominick.grift@defensec.nl>
Subject: [PATCH v2] secilc/docs: document expandtypeattribute
Date: Thu, 30 Jul 2020 13:45:55 +0200 [thread overview]
Message-ID: <20200730114555.915996-1-dominick.grift@defensec.nl> (raw)
In-Reply-To: <20200730092305.896408-1-dominick.grift@defensec.nl>
This was added for Androids Treble in 2017.
I was unsure whether this belongs in type_statements or in conditional_statements.
Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>
---
v2: overriden is overridden
secilc/docs/cil_type_statements.md | 38 ++++++++++++++++++++++++++++++
1 file changed, 38 insertions(+)
diff --git a/secilc/docs/cil_type_statements.md b/secilc/docs/cil_type_statements.md
index f9dd3a76..24498755 100644
--- a/secilc/docs/cil_type_statements.md
+++ b/secilc/docs/cil_type_statements.md
@@ -213,6 +213,44 @@ This example is equivalent to `{ domain -kernel.process -ueventd.process -init.p
)
)
+expandtypeattribute
+----------------
+
+Allows expansion compiler defaults for one or more previously declared [`typeattribute`](cil_type_statements.md#typeattribute) identifiers to be overridden.
+
+**Statement definition:**
+
+ (expandtypeattribute typeattribute_id true|false)
+
+**Where:**
+
+<table>
+<colgroup>
+<col width="25%" />
+<col width="75%" />
+</colgroup>
+<tbody>
+<tr class="odd">
+<td align="left"><p><code>expandtypeattribute</code></p></td>
+<td align="left"><p>The <code>expandtypeattribute</code> keyword.</p></td>
+</tr>
+<tr class="even">
+<td align="left"><p><code>typeattribute_id</code></p></td>
+<td align="left"><p>One or more previously declared <code>typeattribute</code> identifiers.</p></td>
+</tr>
+<tr class="odd">
+<td align="left"><p><code>true | false</code></p></td>
+<td align="left"><p>Either true or false.</p></td>
+</tr>
+</tbody>
+</table>
+
+**Example:**
+
+This example will use the expandtypeattribute statement to forcibly expand a previously declared `domain` type attribute.
+
+ (expandtypeattribute domain true)
+
typebounds
----------
--
2.28.0.rc1
next prev parent reply other threads:[~2020-07-30 11:46 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-30 9:23 [PATCH] secilc/docs: document expandtypeattribute Dominick Grift
2020-07-30 11:45 ` Dominick Grift [this message]
2020-07-30 13:11 ` [PATCH v3] " Dominick Grift
2020-07-30 22:22 ` James Carter
2020-07-31 7:26 ` Dominick Grift
2020-07-31 19:50 ` James Carter
2020-07-31 20:12 ` Dominick Grift
2020-07-31 20:22 ` James Carter
2020-07-31 21:07 ` Dominick Grift
2020-08-02 12:34 ` [PATCH v4] " Dominick Grift
2020-08-03 20:56 ` James Carter
2020-08-04 7:18 ` Dominick Grift
2020-08-04 14:45 ` James Carter
2020-08-04 15:48 ` Dominick Grift
2020-08-04 20:23 ` James Carter
2020-08-04 20:29 ` Dominick Grift
2020-08-05 19:23 ` James Carter
2020-08-05 19:48 ` [PATCH v5] " Dominick Grift
2020-08-05 20:22 ` James Carter
2020-08-17 15:57 ` Stephen Smalley
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200730114555.915996-1-dominick.grift@defensec.nl \
--to=dominick.grift@defensec.nl \
--cc=selinux@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).