Gentoo Archives: gentoo-commits

From: Jason Zaman <perfinion@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/
Date: Mon, 03 Oct 2016 06:21:22
Message-Id: 1475474792.227d4173a648167242aef6f7243eda3788c88304.perfinion@gentoo
1 commit: 227d4173a648167242aef6f7243eda3788c88304
2 Author: Chris PeBenito <pebenito <AT> ieee <DOT> org>
3 AuthorDate: Sun Sep 11 13:01:55 2016 +0000
4 Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
5 CommitDate: Mon Oct 3 06:06:32 2016 +0000
6 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=227d4173
7
8 pulseaudio: Move interface definitions.
9
10 policy/modules/contrib/pulseaudio.if | 76 ++++++++++++++++++------------------
11 1 file changed, 38 insertions(+), 38 deletions(-)
12
13 diff --git a/policy/modules/contrib/pulseaudio.if b/policy/modules/contrib/pulseaudio.if
14 index 11238f2..af0f950 100644
15 --- a/policy/modules/contrib/pulseaudio.if
16 +++ b/policy/modules/contrib/pulseaudio.if
17 @@ -146,6 +146,44 @@ interface(`pulseaudio_signull',`
18 allow $1 pulseaudio_t:process signull;
19 ')
20
21 +########################################
22 +## <summary>
23 +## Use file descriptors for
24 +## pulseaudio.
25 +## </summary>
26 +## <param name="domain">
27 +## <summary>
28 +## Domain allowed access.
29 +## </summary>
30 +## </param>
31 +#
32 +interface(`pulseaudio_use_fds',`
33 + gen_require(`
34 + type pulseaudio_t;
35 + ')
36 +
37 + allow $1 pulseaudio_t:fd use;
38 +')
39 +
40 +########################################
41 +## <summary>
42 +## Do not audit attempts to use the
43 +## file descriptors for pulseaudio.
44 +## </summary>
45 +## <param name="domain">
46 +## <summary>
47 +## Domain allowed access.
48 +## </summary>
49 +## </param>
50 +#
51 +interface(`pulseaudio_dontaudit_use_fds',`
52 + gen_require(`
53 + type pulseaudio_t;
54 + ')
55 +
56 + dontaudit $1 pulseaudio_t:fd use;
57 +')
58 +
59 #####################################
60 ## <summary>
61 ## Connect to pulseaudio with a unix
62 @@ -410,41 +448,3 @@ interface(`pulseaudio_rw_tmpfs_files',`
63 fs_search_tmpfs($1)
64 rw_files_pattern($1, pulseaudio_tmpfs_t, pulseaudio_tmpfs_t)
65 ')
66 -
67 -########################################
68 -## <summary>
69 -## Use file descriptors for
70 -## pulseaudio.
71 -## </summary>
72 -## <param name="domain">
73 -## <summary>
74 -## Domain allowed access.
75 -## </summary>
76 -## </param>
77 -#
78 -interface(`pulseaudio_use_fds',`
79 - gen_require(`
80 - type pulseaudio_t;
81 - ')
82 -
83 - allow $1 pulseaudio_t:fd use;
84 -')
85 -
86 -########################################
87 -## <summary>
88 -## Do not audit attempts to use the
89 -## file descriptors for pulseaudio.
90 -## </summary>
91 -## <param name="domain">
92 -## <summary>
93 -## Domain allowed access.
94 -## </summary>
95 -## </param>
96 -#
97 -interface(`pulseaudio_dontaudit_use_fds',`
98 - gen_require(`
99 - type pulseaudio_t;
100 - ')
101 -
102 - dontaudit $1 pulseaudio_t:fd use;
103 -')