/usr/share/selinux/ubuntu/include/apps/mplayer.if is in selinux-policy-ubuntu-dev 0.2.20091117-0ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 | ## <summary>Mplayer media player and encoder</summary>
########################################
## <summary>
## Role access for mplayer
## </summary>
## <param name="role">
## <summary>
## Role allowed access
## </summary>
## </param>
## <param name="domain">
## <summary>
## User domain for the role
## </summary>
## </param>
#
interface(`mplayer_role',`
gen_require(`
type mencoder_t, mencoder_exec_t;
type mplayer_t, mplayer_exec_t;
type mplayer_home_t;
')
role $1 types { mencoder_t mplayer_t };
# domain transition
domtrans_pattern($2, mencoder_exec_t, mencoder_t)
# Allow the user domain to signal/ps.
ps_process_pattern($2, mencoder_t)
allow $2 mencoder_t:process signal_perms;
# Home access
manage_dirs_pattern($2, mplayer_home_t, mplayer_home_t)
manage_files_pattern($2, mplayer_home_t, mplayer_home_t)
manage_lnk_files_pattern($2, mplayer_home_t, mplayer_home_t)
relabel_dirs_pattern($2, mplayer_home_t, mplayer_home_t)
relabel_files_pattern($2, mplayer_home_t, mplayer_home_t)
relabel_lnk_files_pattern($2, mplayer_home_t, mplayer_home_t)
# domain transition
domtrans_pattern($2, mplayer_exec_t, mplayer_t)
# Allow the user domain to signal/ps.
ps_process_pattern($2, mplayer_t)
allow $2 mplayer_t:process signal_perms;
')
########################################
## <summary>
## Run mplayer in mplayer domain.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`mplayer_domtrans',`
gen_require(`
type mplayer_t, mplayer_exec_t;
')
domtrans_pattern($1, mplayer_exec_t, mplayer_t)
')
########################################
## <summary>
## Execute mplayer in the caller domain.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
#
interface(`mplayer_exec',`
gen_require(`
type mplayer_exec_t;
')
can_exec($1, mplayer_exec_t)
')
########################################
## <summary>
## Read mplayer per user homedir
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`mplayer_read_user_home_files',`
gen_require(`
type mplayer_home_t;
')
read_files_pattern($1, mplayer_home_t, mplayer_home_t)
userdom_search_user_home_dirs($1)
')
|