## <summary>Mplayer media player and encoder</summary>

#######################################

## <summary>

##	The per role template for the mplayer module.

## </summary>

## <desc>

##	

##	This template creates a derived domains which are used

##	for mplayer media player.

##	

##	

##	This template is invoked automatically for each user, and

##	generally does not need to be invoked directly

##	by policy writers.

##	

## </desc>

## <param name="userdomain_prefix">

##	<summary>

##	The prefix of the user domain (e.g., user

##	is the prefix for user_t).

##	</summary>

## </param>

## <param name="user_domain">

##	<summary>

##	The type of the user domain.

##	</summary>

## </param>

## <param name="user_role">

##	<summary>

##	The role associated with the user domain.

##	</summary>

## </param>

#

template(`mplayer_per_role_template',`

	gen_require(`

		type mencoder_exec_t, mplayer_exec_t;

	')

	########################################

	#

	# Declarations

	#

	type $1_mencoder_t;

	application_domain($1_mencoder_t,mencoder_exec_t)

	role $3 types $1_mencoder_t;

	type $1_mplayer_t;

	application_domain($1_mplayer_t,mplayer_exec_t)

	role $3 types $1_mplayer_t;

	type $1_mplayer_home_t alias $1_mplayer_rw_t;

	files_poly_member($1_mplayer_home_t)

	userdom_user_home_content($1,$1_mplayer_home_t)

	type $1_mplayer_tmpfs_t;

	files_tmpfs_file($1_mplayer_tmpfs_t)

	########################################

	#

	# mencoder local policy

	#

	manage_dirs_pattern($1_mencoder_t,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_files_pattern($1_mencoder_t,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_lnk_files_pattern($1_mencoder_t,$1_mplayer_home_t,$1_mplayer_home_t)

	# Read global config

	allow $1_mencoder_t mplayer_etc_t:dir list_dir_perms;

	read_files_pattern($1_mencoder_t,mplayer_etc_t,mplayer_etc_t)

	read_lnk_files_pattern($1_mencoder_t,mplayer_etc_t,mplayer_etc_t)

	# domain transition

	domtrans_pattern($2, mencoder_exec_t, $1_mencoder_t)

	# Allow the user domain to signal/ps.

	ps_process_pattern($2,$1_mencoder_t,$1_mencoder_t)

	allow $2 $1_mencoder_t:process signal_perms;

	# Read /proc files and directories

	# Necessary for /proc/meminfo, /proc/cpuinfo, etc..

	kernel_read_system_state($1_mencoder_t)

	# Sysctl on kernel version 

	kernel_read_kernel_sysctls($1_mencoder_t)

	# Required for win32 binary loader 

	dev_rwx_zero($1_mencoder_t)

	# Access to DVD/CD/V4L

	dev_read_video_dev($1_mencoder_t)

	# Read data in /usr/share (fonts, icons..)

	files_read_usr_files($1_mencoder_t)

	files_read_usr_symlinks($1_mencoder_t)

	fs_search_auto_mountpoints($1_mencoder_t)

	# Access to DVD/CD/V4L

	storage_raw_read_removable_device($1_mencoder_t)

	libs_use_ld_so($1_mencoder_t)

	libs_use_shared_libs($1_mencoder_t)

	miscfiles_read_localization($1_mencoder_t)

	userdom_use_user_terminals($1,$1_mencoder_t)

	# Handle removable media, /tmp, and /home

	userdom_list_user_tmp($1,$1_mencoder_t)

	userdom_read_user_tmp_files($1,$1_mencoder_t)

	userdom_read_user_tmp_symlinks($1,$1_mencoder_t)

	userdom_read_user_home_content_files($1,$1_mencoder_t)

	userdom_read_user_home_content_symlinks($1,$1_mencoder_t)

	# Read content to encode

	ifdef(`enable_mls',`',`

		fs_search_removable($1_mencoder_t)

		fs_read_removable_files($1_mencoder_t)

		fs_read_removable_symlinks($1_mencoder_t)

	')

	tunable_policy(`allow_execmem',`

		allow $1_mencoder_t self:process execmem;

	')

	tunable_policy(`allow_execmod',`

		dev_execmod_zero($1_mencoder_t)

	')

	tunable_policy(`allow_mplayer_execstack',`

		allow $1_mencoder_t self:process { execmem execstack };

	')

	tunable_policy(`use_nfs_home_dirs',`

		fs_manage_nfs_dirs($1_mencoder_t)

		fs_manage_nfs_files($1_mencoder_t)

		fs_manage_nfs_symlinks($1_mencoder_t)

	')

	tunable_policy(`use_samba_home_dirs',`

		fs_manage_cifs_dirs($1_mencoder_t)

		fs_manage_cifs_files($1_mencoder_t)

		fs_manage_cifs_symlinks($1_mencoder_t)

	')

	# Read content to encode

	tunable_policy(`use_nfs_home_dirs',`

		fs_list_auto_mountpoints($1_mencoder_t)

		files_list_home($1_mencoder_t)

		fs_read_nfs_files($1_mencoder_t)

		fs_read_nfs_symlinks($1_mencoder_t)

	',`

		files_dontaudit_list_home($1_mencoder_t)

		fs_dontaudit_list_auto_mountpoints($1_mencoder_t)

		fs_dontaudit_read_nfs_files($1_mencoder_t)

		fs_dontaudit_list_nfs($1_mencoder_t)

	')

	tunable_policy(`use_samba_home_dirs',`

		fs_list_auto_mountpoints($1_mencoder_t)

		files_list_home($1_mencoder_t)

		fs_read_cifs_files($1_mencoder_t)

		fs_read_cifs_symlinks($1_mencoder_t)

	',`

		files_dontaudit_list_home($1_mencoder_t)

		fs_dontaudit_list_auto_mountpoints($1_mencoder_t)

		fs_dontaudit_read_cifs_files($1_mencoder_t)

		fs_dontaudit_list_cifs($1_mencoder_t)

	')

	tunable_policy(`read_default_t',`

		files_list_default($1_mencoder_t)

		files_read_default_files($1_mencoder_t)

		files_read_default_symlinks($1_mencoder_t)

	',`

		files_dontaudit_read_default_files($1_mencoder_t)

		files_dontaudit_list_default($1_mencoder_t)

	')

	tunable_policy(`read_untrusted_content',`

		files_list_tmp($1_mencoder_t)

		files_list_home($1_mencoder_t)

		userdom_list_user_untrusted_content($1,$1_mencoder_t)

		userdom_read_user_untrusted_content_files($1,$1_mencoder_t)

		userdom_read_user_untrusted_content_symlinks($1,$1_mencoder_t)

		userdom_list_user_tmp_untrusted_content($1,$1_mencoder_t)

		userdom_read_user_tmp_untrusted_content_files($1,$1_mencoder_t)

		userdom_read_user_tmp_untrusted_content_symlinks($1,$1_mencoder_t)

	',`

		files_dontaudit_list_tmp($1_mencoder_t)

		files_dontaudit_list_home($1_mencoder_t)

		userdom_dontaudit_list_user_home_dirs($1,$1_mencoder_t)

		userdom_dontaudit_list_user_untrusted_content($1,$1_mencoder_t)

		userdom_dontaudit_read_user_untrusted_content_files($1,$1_mencoder_t)

		userdom_dontaudit_list_user_tmp_untrusted_content($1,$1_mencoder_t)

		userdom_dontaudit_read_user_tmp_untrusted_content_files($1,$1_mencoder_t)

	')

	tunable_policy(`write_untrusted_content',`

		userdom_manage_user_untrusted_content_files($1, $1_mplayer_t)

	')

	# Save encoded files

	tunable_policy(`write_untrusted_content && use_nfs_home_dirs',`

		files_search_home($1_mencoder_t)

		fs_search_auto_mountpoints($1_mencoder_t)

		fs_manage_nfs_dirs($1_mencoder_t)

		fs_manage_nfs_files($1_mencoder_t)

		fs_manage_nfs_symlinks($1_mencoder_t)

	',`

		fs_dontaudit_list_auto_mountpoints($1_mencoder_t)

		fs_dontaudit_manage_nfs_dirs($1_mencoder_t)

		fs_dontaudit_manage_nfs_files($1_mencoder_t)

	')

	tunable_policy(`write_untrusted_content && use_samba_home_dirs',`

		files_search_home($1_mencoder_t)

		fs_search_auto_mountpoints($1_mencoder_t)

		fs_manage_cifs_dirs($1_mencoder_t)

		fs_manage_cifs_files($1_mencoder_t)

		fs_manage_cifs_symlinks($1_mencoder_t)

	',`

		fs_dontaudit_list_auto_mountpoints($1_mencoder_t)

		fs_dontaudit_manage_cifs_dirs($1_mencoder_t)

		fs_dontaudit_manage_cifs_files($1_mencoder_t)

	')

	tunable_policy(`write_untrusted_content',`

		files_search_home($1_mencoder_t)

		files_tmp_filetrans($1_mencoder_t,$1_untrusted_content_tmp_t,file)

		files_tmp_filetrans($1_mencoder_t,$1_untrusted_content_tmp_t,dir)

		userdom_manage_user_untrusted_content_files($1,$1_mencoder_t,file)

		userdom_manage_user_untrusted_content_files($1,$1_mencoder_t,dir)

	',`

		files_dontaudit_list_home($1_mencoder_t)

		files_dontaudit_list_tmp($1_mencoder_t)

		userdom_dontaudit_list_user_home_dirs($1,$1_mencoder_t)

		userdom_dontaudit_manage_user_tmp_files($1,$1_mencoder_t)

		userdom_dontaudit_manage_user_home_content_dirs($1,$1_mencoder_t)

	')

	########################################

	#

	# mplayer local policy

	#

	allow $1_mplayer_t self:process { signal_perms getsched };

	allow $1_mplayer_t self:fifo_file rw_fifo_file_perms;

 	allow $1_mplayer_t self:sem create_sem_perms;

	manage_dirs_pattern($1_mplayer_t,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_files_pattern($1_mplayer_t,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_lnk_files_pattern($1_mplayer_t,$1_mplayer_home_t,$1_mplayer_home_t)

	userdom_search_user_home_dirs($1,$1_mplayer_t)

	manage_files_pattern($1_mplayer_t,$1_mplayer_tmpfs_t,$1_mplayer_tmpfs_t)

	manage_lnk_files_pattern($1_mplayer_t,$1_mplayer_tmpfs_t,$1_mplayer_tmpfs_t)

	manage_fifo_files_pattern($1_mplayer_t,$1_mplayer_tmpfs_t,$1_mplayer_tmpfs_t)

	manage_sock_files_pattern($1_mplayer_t,$1_mplayer_tmpfs_t,$1_mplayer_tmpfs_t)

	fs_tmpfs_filetrans($1_mplayer_t,$1_mplayer_tmpfs_t,{ dir file lnk_file sock_file fifo_file })

	# Read global config

	allow $1_mplayer_t mplayer_etc_t:dir list_dir_perms;

	read_files_pattern($1_mplayer_t,mplayer_etc_t,mplayer_etc_t)

	read_lnk_files_pattern($1_mplayer_t,mplayer_etc_t,mplayer_etc_t)

	# Home access

	manage_dirs_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_files_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	manage_lnk_files_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	relabel_dirs_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	relabel_files_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	relabel_lnk_files_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

	# domain transition

	domtrans_pattern($2, mplayer_exec_t, $1_mplayer_t)

	# Allow the user domain to signal/ps.

	ps_process_pattern($2,$1_mplayer_t)

	allow $2 $1_mplayer_t:process signal_perms;

	kernel_dontaudit_list_unlabeled($1_mplayer_t)

	kernel_dontaudit_getattr_unlabeled_files($1_mplayer_t)

	kernel_dontaudit_read_unlabeled_files($1_mplayer_t)

	# Necessary for /proc/meminfo, /proc/cpuinfo, etc..

	kernel_read_system_state($1_mplayer_t)

	# Sysctl on kernel version 

	kernel_read_kernel_sysctls($1_mplayer_t)

	# Run bash/sed (??) 

	corecmd_exec_bin($1_mplayer_t)

	corecmd_exec_shell($1_mplayer_t)

	# Required for win32 binary loader 

	dev_rwx_zero($1_mplayer_t)

	# Access to DVD/CD/V4L

	dev_read_video_dev($1_mplayer_t)

	# Audio, alsa.conf

	dev_read_sound_mixer($1_mplayer_t)

	dev_write_sound_mixer($1_mplayer_t)

	# RTC clock 

	dev_read_realtime_clock($1_mplayer_t)

	# Access to DVD/CD/V4L

	storage_raw_read_removable_device($1_mplayer_t)

	files_read_etc_files($1_mplayer_t)

	files_dontaudit_list_non_security($1_mplayer_t)

	files_dontaudit_getattr_non_security_files($1_mplayer_t)

	files_read_non_security_files($1_mplayer_t)

	# Unfortunately the ancient file dialog starts in /

	files_list_home($1_mplayer_t)

	# Read /etc/mtab

	files_read_etc_runtime_files($1_mplayer_t)

	# Read data in /usr/share (fonts, icons..)

	files_read_usr_files($1_mplayer_t)

	files_read_usr_symlinks($1_mplayer_t)

	fs_dontaudit_getattr_all_fs($1_mplayer_t)

	fs_search_auto_mountpoints($1_mplayer_t)

	fs_list_inotifyfs($1_mplayer_t)

	libs_use_ld_so($1_mplayer_t)

	libs_use_shared_libs($1_mplayer_t)

	miscfiles_read_localization($1_mplayer_t)

	miscfiles_read_fonts($1_mplayer_t)

	userdom_use_user_terminals($1,$1_mplayer_t)

	# Read media files

	userdom_list_user_tmp($1,$1_mplayer_t)

	userdom_read_user_tmp_files($1,$1_mplayer_t)

	userdom_read_user_tmp_symlinks($1,$1_mplayer_t)

	userdom_read_user_home_content_files($1,$1_mplayer_t)

	userdom_read_user_home_content_symlinks($1,$1_mplayer_t)

	xserver_user_client_template($1,$1_mplayer_t,$1_mplayer_tmpfs_t)

	# Read songs

	ifdef(`enable_mls',`',`

		fs_search_removable($1_mplayer_t)

		fs_read_removable_files($1_mplayer_t)

		fs_read_removable_symlinks($1_mplayer_t)

	')

	tunable_policy(`allow_execmem',`

		allow $1_mplayer_t self:process execmem;

	')

	tunable_policy(`allow_execmod',`

		dev_execmod_zero($1_mplayer_t)

	')

	tunable_policy(`allow_mplayer_execstack',`

		allow $1_mplayer_t self:process { execmem execstack };

	')

	tunable_policy(`use_nfs_home_dirs',`

		fs_manage_nfs_dirs($1_mplayer_t)

		fs_manage_nfs_files($1_mplayer_t)

		fs_manage_nfs_symlinks($1_mplayer_t)

	')

	tunable_policy(`use_samba_home_dirs',`

		fs_manage_cifs_dirs($1_mplayer_t)

		fs_manage_cifs_files($1_mplayer_t)

		fs_manage_cifs_symlinks($1_mplayer_t)

	')

	# Legacy domain issues

	tunable_policy(`allow_mplayer_execstack',`

		allow $1_mplayer_t $1_mplayer_tmpfs_t:file execute;

	')

	# Read songs

	tunable_policy(`use_nfs_home_dirs',`

		fs_list_auto_mountpoints($1_mplayer_t)

		files_list_home($1_mplayer_t)

		fs_read_nfs_files($1_mplayer_t)

		fs_read_nfs_symlinks($1_mplayer_t)

	',`

		files_dontaudit_list_home($1_mplayer_t)

		fs_dontaudit_list_auto_mountpoints($1_mplayer_t)

		fs_dontaudit_read_nfs_files($1_mplayer_t)

		fs_dontaudit_list_nfs($1_mplayer_t)

	')

	tunable_policy(`use_samba_home_dirs',`

		fs_list_auto_mountpoints($1_mplayer_t)

		files_list_home($1_mplayer_t)

		fs_read_cifs_files($1_mplayer_t)

		fs_read_cifs_symlinks($1_mplayer_t)

	',`

		files_dontaudit_list_home($1_mplayer_t)

		fs_dontaudit_list_auto_mountpoints($1_mplayer_t)

		fs_dontaudit_read_cifs_files($1_mplayer_t)

		fs_dontaudit_list_cifs($1_mplayer_t)

	')

	tunable_policy(`read_default_t',`

		files_list_default($1_mplayer_t)

		files_read_default_files($1_mplayer_t)

		files_read_default_symlinks($1_mplayer_t)

	',`

		files_dontaudit_read_default_files($1_mplayer_t)

		files_dontaudit_list_default($1_mplayer_t)

	')

	tunable_policy(`read_untrusted_content',`

		files_list_tmp($1_mplayer_t)

		files_list_home($1_mplayer_t)

		userdom_list_user_untrusted_content($1,$1_mplayer_t)

		userdom_read_user_untrusted_content_files($1,$1_mplayer_t)

		userdom_read_user_untrusted_content_symlinks($1,$1_mplayer_t)

		userdom_list_user_tmp_untrusted_content($1,$1_mplayer_t)

		userdom_read_user_tmp_untrusted_content_files($1,$1_mplayer_t)

		userdom_read_user_tmp_untrusted_content_symlinks($1,$1_mplayer_t)

	',`

		files_dontaudit_list_tmp($1_mplayer_t)

		files_dontaudit_list_home($1_mplayer_t)

		userdom_dontaudit_list_user_home_dirs($1,$1_mplayer_t)

		userdom_dontaudit_list_user_untrusted_content($1,$1_mplayer_t)

		userdom_dontaudit_read_user_untrusted_content_files($1,$1_mplayer_t)

		userdom_dontaudit_list_user_tmp_untrusted_content($1,$1_mplayer_t)

		userdom_dontaudit_read_user_tmp_untrusted_content_files($1,$1_mplayer_t)

	')

	optional_policy(`

		alsa_read_rw_config($1_mplayer_t)

	')

	optional_policy(`

		nscd_socket_use($1_mplayer_t)

	')

')

########################################

## <summary>

##	Run mplayer in mplayer domain.

## </summary>

## <desc>

##	

##	Run mplayer in mplayer domain.

##	

##	

##	This is a templated interface, and should only

##	be called from a per-userdomain template.

##	

## </desc>

## <param name="userdomain_prefix">

##	<summary>

##	The prefix of the user domain (e.g., user

##	is the prefix for user_t).

##	</summary>

## </param>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

template(`mplayer_domtrans_user_mplayer',`

	gen_require(`

		type $1_mplayer_t, mplayer_exec_t;

	')

	domtrans_pattern($2, mplayer_exec_t,$1_mplayer_t)

')

########################################

## <summary>

##	Read mplayer per user homedir

## </summary>

## <desc>

##	

##	Read mplayer per user homedir

##	

##	

##	This is a templated interface, and should only

##	be called from a per-userdomain template.

##	

## </desc>

## <param name="userdomain_prefix">

##	<summary>

##	The prefix of the user domain (e.g., user

##	is the prefix for user_t).

##	</summary>

## </param>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

template(`mplayer_read_user_home_files',`

	gen_require(`

		type $1_mplayer_home_t;

	')

	read_files_pattern($2,$1_mplayer_home_t,$1_mplayer_home_t)

')