Received-SPF: pass (google.com: best guess record for domain of selinux-refpolicy-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
From:   Chris PeBenito <pebenito@ieee.org>
Subject: Re: pulseaudio patch
To:     Russell Coker <russell@coker.com.au>,
        selinux-refpolicy@vger.kernel.org
References: <20200405084400.GC177560@xev>
Message-ID: <89a9f878-8e6d-644f-6a1d-e1355d882523@ieee.org>
Date:   Thu, 9 Apr 2020 09:39:46 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.6.0
MIME-Version: 1.0
In-Reply-To: <20200405084400.GC177560@xev>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: selinux-refpolicy-owner@vger.kernel.org
Precedence: bulk

On 4/5/20 4:44 AM, Russell Coker wrote:
> Patch for pulseaudio against latest GIT
> 
> Signed-off-by: Russell Coker <russell@coker.com.au>
> 
> 
> Index: refpolicy-2.20200209/policy/modules/apps/pulseaudio.te
> ===================================================================
> --- refpolicy-2.20200209.orig/policy/modules/apps/pulseaudio.te
> +++ refpolicy-2.20200209/policy/modules/apps/pulseaudio.te
> @@ -92,6 +92,8 @@ files_pid_filetrans(pulseaudio_t, pulsea
>   
>   manage_dirs_pattern(pulseaudio_t, pulseaudio_xdg_config_t, pulseaudio_xdg_config_t)
>   manage_files_pattern(pulseaudio_t, pulseaudio_xdg_config_t, pulseaudio_xdg_config_t)
> +allow pulseaudio_t pulseaudio_xdg_config_t:file map;
> +
>   xdg_config_filetrans(pulseaudio_t, pulseaudio_xdg_config_t, dir, "pulse")
>   
>   allow pulseaudio_t pulseaudio_client:process signull;
> @@ -146,7 +148,7 @@ miscfiles_read_localization(pulseaudio_t
>   
>   seutil_read_config(pulseaudio_t)
>   
> -userdom_read_user_tmpfs_files(pulseaudio_t)
> +userdom_rw_user_tmpfs_files(pulseaudio_t)
>   userdom_map_user_tmpfs_files(pulseaudio_t)
>   userdom_delete_user_tmpfs_files(pulseaudio_t)
>   userdom_search_user_home_dirs(pulseaudio_t)
> @@ -155,6 +157,7 @@ userdom_search_user_home_content(pulseau
>   userdom_manage_user_tmp_dirs(pulseaudio_t)
>   userdom_manage_user_tmp_files(pulseaudio_t)
>   userdom_manage_user_tmp_sockets(pulseaudio_t)
> +userdom_write_all_user_runtime_named_sockets(pulseaudio_t)

Does not exist in refpolicy.

>   tunable_policy(`pulseaudio_execmem',`
>   	allow pulseaudio_t self:process execmem;
> @@ -224,6 +227,13 @@ optional_policy(`
>   ')
>   
>   optional_policy(`
> +	# for /run/systemd/seats and /run/systemd/sessions
> +	systemd_read_logind_sessions_files(pulseaudio_t)
> +	# for /run/systemd/users/$PID
> +	systemd_read_logind_pids(pulseaudio_t)
> +')
> +
> +optional_policy(`
>   	udev_read_pid_files(pulseaudio_t)
>   	udev_read_state(pulseaudio_t)
>   	udev_read_db(pulseaudio_t)
> 

Merged, though I dropped the one call above which doesn't exist in refpolicy.


-- 
Chris PeBenito