From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <gentoo-commits+bounces-907857-garchives=archives.gentoo.org@lists.gentoo.org> Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 94B93138C8E for <garchives@archives.gentoo.org>; Mon, 24 Oct 2016 15:46:14 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 48D04E0A9D; Mon, 24 Oct 2016 15:46:02 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id EE5C3E0A9D for <gentoo-commits@lists.gentoo.org>; Mon, 24 Oct 2016 15:45:56 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id BD0EE34166C for <gentoo-commits@lists.gentoo.org>; Mon, 24 Oct 2016 15:45:55 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 9CF7324AF for <gentoo-commits@lists.gentoo.org>; Mon, 24 Oct 2016 15:45:52 +0000 (UTC) From: "Sven Vermeulen" <swift@gentoo.org> To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sven Vermeulen" <swift@gentoo.org> Message-ID: <1475474792.31afb6134c5d0dca49042de96801d28601a905d3.swift@gentoo> Subject: [gentoo-commits] proj/hardened-refpolicy:swift commit in: policy/modules/contrib/ X-VCS-Repository: proj/hardened-refpolicy X-VCS-Files: policy/modules/contrib/mozilla.te policy/modules/contrib/pulseaudio.if X-VCS-Directories: policy/modules/contrib/ X-VCS-Committer: swift X-VCS-Committer-Name: Sven Vermeulen X-VCS-Revision: 31afb6134c5d0dca49042de96801d28601a905d3 X-VCS-Branch: swift Date: Mon, 24 Oct 2016 15:45:52 +0000 (UTC) Precedence: bulk List-Post: <mailto:gentoo-commits@lists.gentoo.org> List-Help: <mailto:gentoo-commits+help@lists.gentoo.org> List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org> List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org> List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org> X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 0739f697-4e47-42da-8a89-5a74f3c14963 X-Archives-Hash: d7d226a8fae2382a282378bbff05ee4d commit: 31afb6134c5d0dca49042de96801d28601a905d3 Author: Guido Trentalancia via refpolicy <refpolicy <AT> oss <DOT> tresys <DOT> com> AuthorDate: Sat Sep 10 16:26:46 2016 +0000 Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> CommitDate: Mon Oct 3 06:06:32 2016 +0000 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=31afb613 mozilla: let mozilla play audio Let mozilla play audio: - add new interfaces to the pulseaudio module; - let mozilla read alsa configuration files; - add further permissions to mozilla needed to use pulseaudio to play audio. Signed-off-by: Guido Trentalancia <guido <AT> trentalancia.net> policy/modules/contrib/mozilla.te | 9 +++++ policy/modules/contrib/pulseaudio.if | 77 ++++++++++++++++++++++++++++++++++++ 2 files changed, 86 insertions(+) diff --git a/policy/modules/contrib/mozilla.te b/policy/modules/contrib/mozilla.te index cd1aea3..ca45f5c 100644 --- a/policy/modules/contrib/mozilla.te +++ b/policy/modules/contrib/mozilla.te @@ -217,6 +217,11 @@ tunable_policy(`use_samba_home_dirs',` ') optional_policy(` + alsa_read_config(mozilla_t) + alsa_read_home_files(mozilla_t) +') + +optional_policy(` apache_read_user_scripts(mozilla_t) apache_read_user_content(mozilla_t) ') @@ -269,6 +274,8 @@ optional_policy(` optional_policy(` pulseaudio_run(mozilla_t, mozilla_roles) + pulseaudio_rw_tmpfs_files(mozilla_t) + pulseaudio_use_fds(mozilla_t) ') optional_policy(` @@ -493,6 +500,8 @@ optional_policy(` optional_policy(` pulseaudio_run(mozilla_plugin_t, mozilla_plugin_roles) + pulseaudio_rw_tmpfs_files(mozilla_plugin_t) + pulseaudio_use_fds(mozilla_plugin_t) ') optional_policy(` diff --git a/policy/modules/contrib/pulseaudio.if b/policy/modules/contrib/pulseaudio.if index f057680..11238f2 100644 --- a/policy/modules/contrib/pulseaudio.if +++ b/policy/modules/contrib/pulseaudio.if @@ -371,3 +371,80 @@ interface(`pulseaudio_client_domain',` pulseaudio_domtrans($1) pulseaudio_tmpfs_content($2) ') + +####################################### +## <summary> +## Read pulseaudio tmpfs files. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`pulseaudio_read_tmpfs_files',` + gen_require(` + type pulseaudio_tmpfs_t; + ') + + fs_search_tmpfs($1) + read_files_pattern($1, pulseaudio_tmpfs_t, pulseaudio_tmpfs_t) +') + +####################################### +## <summary> +## Read and write pulseaudio tmpfs +## files. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`pulseaudio_rw_tmpfs_files',` + gen_require(` + type pulseaudio_tmpfs_t; + ') + + fs_search_tmpfs($1) + rw_files_pattern($1, pulseaudio_tmpfs_t, pulseaudio_tmpfs_t) +') + +######################################## +## <summary> +## Use file descriptors for +## pulseaudio. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`pulseaudio_use_fds',` + gen_require(` + type pulseaudio_t; + ') + + allow $1 pulseaudio_t:fd use; +') + +######################################## +## <summary> +## Do not audit attempts to use the +## file descriptors for pulseaudio. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`pulseaudio_dontaudit_use_fds',` + gen_require(` + type pulseaudio_t; + ') + + dontaudit $1 pulseaudio_t:fd use; +')