|
Dominick Grift |
c7fb51d |
## <summary>Policy for Mozilla and related web browsers.</summary>
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role access for mozilla.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="role">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## User domain for the role.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_role',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_t, mozilla_exec_t, mozilla_home_t;
|
|
Dominick Grift |
c7fb51d |
type mozilla_tmp_t, mozilla_tmpfs_t, mozilla_plugin_tmp_t;
|
|
Dominick Grift |
3cdf75e |
type mozilla_plugin_tmpfs_t, mozilla_plugin_home_t;
|
|
Sven Vermeulen |
6d2d425 |
attribute_role mozilla_roles;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
# Declarations
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
|
|
Sven Vermeulen |
6d2d425 |
roleattribute $1 mozilla_roles;
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
# Policy
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
domtrans_pattern($2, mozilla_exec_t, mozilla_t)
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_t:process { noatsecure siginh rlimitinh ptrace signal_perms };
|
|
Chris PeBenito |
9401ae1 |
ps_process_pattern($2, mozilla_t)
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow mozilla_t $2:process signull;
|
|
Dominick Grift |
c7fb51d |
allow mozilla_t $2:unix_stream_socket connectto;
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
allow $2 mozilla_t:fd use;
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_t:shm rw_shm_perms;
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
stream_connect_pattern($2, mozilla_tmpfs_t, mozilla_tmpfs_t, mozilla_t)
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
3cdf75e |
allow $2 { mozilla_home_t mozilla_plugin_home_t }:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
3cdf75e |
allow $2 { mozilla_home_t mozilla_plugin_home_t }:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_home_t:lnk_file { manage_lnk_file_perms relabel_lnk_file_perms };
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".galeon")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".mozilla")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".netscape")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".phoenix")
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
3cdf75e |
filetrans_pattern($2, mozilla_home_t, mozilla_plugin_home_t, dir, "plugins")
|
|
Dominick Grift |
3cdf75e |
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmp_t mozilla_plugin_tmp_t }:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmp_t mozilla_plugin_tmp_t }:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmp_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms };
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmpfs_t mozilla_plugin_tmpfs_t }:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmpfs_t mozilla_plugin_tmpfs_t }:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmpfs_t mozilla_plugin_tmpfs_t }:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_tmpfs_t mozilla_plugin_tmpfs_t }:sock_file { manage_sock_file_perms relabel_sock_file_perms };
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
optional_policy(`
|
|
Dominick Grift |
c7fb51d |
mozilla_dbus_chat($2)
|
|
Dominick Grift |
c7fb51d |
')
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role access for mozilla plugin.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## <param name="role">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role allowed access.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
## <param name="domain">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## User domain for the role.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
interface(`mozilla_role_plugin',`
|
|
Dominick Grift |
c7fb51d |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
type mozilla_plugin_tmp_t, mozilla_plugin_tmpfs_t, mozilla_plugin_rw_t;
|
|
Dominick Grift |
c7fb51d |
type mozilla_home_t;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
mozilla_run_plugin($2, $1)
|
|
Dominick Grift |
c7fb51d |
mozilla_run_plugin_config($2, $1)
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 { mozilla_plugin_t mozilla_plugin_config_t }:process { ptrace signal_perms };
|
|
Dominick Grift |
c7fb51d |
ps_process_pattern($2, { mozilla_plugin_t mozilla_plugin_config_t })
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_t:unix_stream_socket rw_socket_perms;
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_t:fd use;
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
stream_connect_pattern($2, mozilla_plugin_tmpfs_t, mozilla_plugin_tmpfs_t, mozilla_plugin_t)
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow mozilla_plugin_t $2:process signull;
|
|
Dominick Grift |
7015958 |
allow mozilla_plugin_t $2:unix_stream_socket { connectto rw_socket_perms };
|
|
Dominick Grift |
c7fb51d |
allow mozilla_plugin_t $2:unix_dgram_socket { sendto rw_socket_perms };
|
|
Dominick Grift |
c7fb51d |
allow mozilla_plugin_t $2:shm { rw_shm_perms destroy };
|
|
Dominick Grift |
c7fb51d |
allow mozilla_plugin_t $2:sem create_sem_perms;
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_home_t:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_home_t:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_home_t:lnk_file { manage_lnk_file_perms relabel_lnk_file_perms };
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".galeon")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".mozilla")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".netscape")
|
|
Dominick Grift |
c7fb51d |
userdom_user_home_dir_filetrans($2, mozilla_home_t, dir, ".phoenix")
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmp_t:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmp_t:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmp_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms };
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmpfs_t:dir { manage_dir_perms relabel_dir_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmpfs_t:file { manage_file_perms relabel_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmpfs_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms };
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_tmpfs_t:sock_file { manage_sock_file_perms relabel_sock_file_perms };
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_rw_t:dir list_dir_perms;
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_rw_t:file read_file_perms;
|
|
Dominick Grift |
c7fb51d |
allow $2 mozilla_plugin_rw_t:lnk_file read_lnk_file_perms;
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
can_exec($2, mozilla_plugin_rw_t)
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
optional_policy(`
|
|
Dominick Grift |
c7fb51d |
mozilla_dbus_chat_plugin($2)
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Read mozilla home directory content.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_read_user_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
userdom_search_user_home_dirs($1)
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_home_t:dir list_dir_perms;
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_home_t:file read_file_perms;
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_home_t:lnk_file read_lnk_file_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Write mozilla home directory files.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_write_user_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
userdom_search_user_home_dirs($1)
|
|
Dominick Grift |
c7fb51d |
write_files_pattern($1, mozilla_home_t, mozilla_home_t)
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Do not audit attempts to read and
|
|
Dominick Grift |
c7fb51d |
## write mozilla home directory files.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain to not audit.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_dontaudit_rw_user_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
dontaudit $1 mozilla_home_t:file rw_file_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Do not audit attempt to Create,
|
|
Dominick Grift |
c7fb51d |
## read, write, and delete mozilla
|
|
Dominick Grift |
c7fb51d |
## home directory content.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain to not audit.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_dontaudit_manage_user_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
dontaudit $1 mozilla_home_t:dir manage_dir_perms;
|
|
Chris PeBenito |
9401ae1 |
dontaudit $1 mozilla_home_t:file manage_file_perms;
|
|
Dominick Grift |
c7fb51d |
dontaudit $1 mozilla_home_t:lnk_file manage_lnk_file_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
3cdf75e |
## Execute mozilla home directory files. (Deprecated)
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_exec_user_home_files',`
|
|
Dominick Grift |
3cdf75e |
refpolicywarn(`$0($*) has been deprecated, use mozilla_exec_user_plugin_home_files() instead.')
|
|
Dominick Grift |
3cdf75e |
mozilla_exec_user_plugin_home_files($1)
|
|
Dominick Grift |
3cdf75e |
')
|
|
Dominick Grift |
3cdf75e |
|
|
Dominick Grift |
3cdf75e |
########################################
|
|
Dominick Grift |
3cdf75e |
## <summary>
|
|
Dominick Grift |
3cdf75e |
## Execute mozilla plugin home directory files.
|
|
Dominick Grift |
3cdf75e |
## </summary>
|
|
Dominick Grift |
3cdf75e |
## <param name="domain">
|
|
Dominick Grift |
3cdf75e |
## <summary>
|
|
Dominick Grift |
3cdf75e |
## Domain allowed access.
|
|
Dominick Grift |
3cdf75e |
## </summary>
|
|
Dominick Grift |
3cdf75e |
## </param>
|
|
Dominick Grift |
3cdf75e |
#
|
|
Dominick Grift |
3cdf75e |
interface(`mozilla_exec_user_plugin_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Dominick Grift |
3cdf75e |
type mozilla_home_t, mozilla_plugin_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
userdom_search_user_home_dirs($1)
|
|
Dominick Grift |
3cdf75e |
exec_files_pattern($1, { mozilla_home_t mozilla_plugin_home_t }, mozilla_plugin_home_t)
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Mozilla home directory file
|
|
Dominick Grift |
3cdf75e |
## text relocation. (Deprecated)
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_execmod_user_home_files',`
|
|
Dominick Grift |
3cdf75e |
refpolicywarn(`$0($*) has been deprecated, use mozilla_execmod_user_plugin_home_files() instead.')
|
|
Dominick Grift |
3cdf75e |
mozilla_execmod_user_plugin_home_files($1)
|
|
Dominick Grift |
3cdf75e |
')
|
|
Dominick Grift |
3cdf75e |
|
|
Dominick Grift |
3cdf75e |
########################################
|
|
Dominick Grift |
3cdf75e |
## <summary>
|
|
Dominick Grift |
3cdf75e |
## Mozilla plugin home directory file
|
|
Dominick Grift |
3cdf75e |
## text relocation.
|
|
Dominick Grift |
3cdf75e |
## </summary>
|
|
Dominick Grift |
3cdf75e |
## <param name="domain">
|
|
Dominick Grift |
3cdf75e |
## <summary>
|
|
Dominick Grift |
3cdf75e |
## Domain allowed access.
|
|
Dominick Grift |
3cdf75e |
## </summary>
|
|
Dominick Grift |
3cdf75e |
## </param>
|
|
Dominick Grift |
3cdf75e |
#
|
|
Dominick Grift |
3cdf75e |
interface(`mozilla_execmod_user_plugin_home_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Dominick Grift |
3cdf75e |
type mozilla_plugin_home_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
3cdf75e |
allow $1 mozilla_plugin_home_t:file execmod;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Run mozilla in the mozilla domain.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed to transition.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_domtrans',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_t, mozilla_exec_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
corecmd_search_bin($1)
|
|
Chris PeBenito |
9401ae1 |
domtrans_pattern($1, mozilla_exec_t, mozilla_t)
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Execute a domain transition to
|
|
Dominick Grift |
c7fb51d |
## run mozilla plugin.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed to transition.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_domtrans_plugin',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
type mozilla_plugin_t, mozilla_plugin_exec_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
corecmd_search_bin($1)
|
|
Chris PeBenito |
9401ae1 |
domtrans_pattern($1, mozilla_plugin_exec_t, mozilla_plugin_t)
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Execute mozilla plugin in the
|
|
Dominick Grift |
c7fb51d |
## mozilla plugin domain, and allow
|
|
Dominick Grift |
c7fb51d |
## the specified role the mozilla
|
|
Dominick Grift |
c7fb51d |
## plugin domain.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed to transition.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
## <param name="role">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_run_plugin',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
attribute_role mozilla_plugin_roles;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
mozilla_domtrans_plugin($1)
|
|
Dominick Grift |
c7fb51d |
roleattribute $2 mozilla_plugin_roles;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Execute a domain transition to
|
|
Dominick Grift |
c7fb51d |
## run mozilla plugin config.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## <param name="domain">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed to transition.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
interface(`mozilla_domtrans_plugin_config',`
|
|
Dominick Grift |
c7fb51d |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
type mozilla_plugin_config_t, mozilla_plugin_config_exec_t;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
corecmd_search_bin($1)
|
|
Dominick Grift |
c7fb51d |
domtrans_pattern($1, mozilla_plugin_config_exec_t, mozilla_plugin_config_t)
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Execute mozilla plugin config in
|
|
Dominick Grift |
c7fb51d |
## the mozilla plugin config domain,
|
|
Dominick Grift |
c7fb51d |
## and allow the specified role the
|
|
Dominick Grift |
c7fb51d |
## mozilla plugin config domain.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## <param name="domain">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed to transition.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
## <param name="role">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Role allowed access.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
interface(`mozilla_run_plugin_config',`
|
|
Dominick Grift |
c7fb51d |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
attribute_role mozilla_plugin_config_roles;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
mozilla_domtrans_plugin_config($1)
|
|
Dominick Grift |
c7fb51d |
roleattribute $2 mozilla_plugin_config_roles;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Send and receive messages from
|
|
Chris PeBenito |
9401ae1 |
## mozilla over dbus.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_dbus_chat',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_t;
|
|
Chris PeBenito |
9401ae1 |
class dbus send_msg;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_t:dbus send_msg;
|
|
Chris PeBenito |
9401ae1 |
allow mozilla_t $1:dbus send_msg;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Send and receive messages from
|
|
Dominick Grift |
c7fb51d |
## mozilla plugin over dbus.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## <param name="domain">
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed access.
|
|
Dominick Grift |
c7fb51d |
## </summary>
|
|
Dominick Grift |
c7fb51d |
## </param>
|
|
Dominick Grift |
c7fb51d |
#
|
|
Dominick Grift |
c7fb51d |
interface(`mozilla_dbus_chat_plugin',`
|
|
Dominick Grift |
c7fb51d |
gen_require(`
|
|
Dominick Grift |
c7fb51d |
type mozilla_plugin_t;
|
|
Dominick Grift |
c7fb51d |
class dbus send_msg;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
allow $1 mozilla_plugin_t:dbus send_msg;
|
|
Dominick Grift |
c7fb51d |
allow mozilla_plugin_t $1:dbus send_msg;
|
|
Dominick Grift |
c7fb51d |
')
|
|
Dominick Grift |
c7fb51d |
|
|
Dominick Grift |
c7fb51d |
########################################
|
|
Dominick Grift |
c7fb51d |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Read and write mozilla TCP sockets.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Chris PeBenito |
9401ae1 |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_rw_tcp_sockets',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_t:tcp_socket rw_socket_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Dominick Grift |
2e421da |
## <summary>
|
|
Dominick Grift |
2e421da |
## Create, read, write, and delete
|
|
Dominick Grift |
2e421da |
## mozilla plugin rw files.
|
|
Dominick Grift |
2e421da |
## </summary>
|
|
Dominick Grift |
2e421da |
## <param name="domain">
|
|
Dominick Grift |
2e421da |
## <summary>
|
|
Dominick Grift |
2e421da |
## Domain allowed access.
|
|
Dominick Grift |
2e421da |
## </summary>
|
|
Dominick Grift |
2e421da |
## </param>
|
|
Dominick Grift |
2e421da |
#
|
|
Dominick Grift |
2e421da |
interface(`mozilla_manage_plugin_rw_files',`
|
|
Dominick Grift |
2e421da |
gen_require(`
|
|
Dominick Grift |
2e421da |
type mozilla_plugin_rw_t;
|
|
Dominick Grift |
2e421da |
')
|
|
Dominick Grift |
2e421da |
|
|
Dominick Grift |
2e421da |
libs_search_lib($1)
|
|
Dominick Grift |
2e421da |
manage_files_pattern($1, mozilla_plugin_rw_t, mozilla_plugin_rw_t)
|
|
Dominick Grift |
2e421da |
')
|
|
Dominick Grift |
2e421da |
|
|
Dominick Grift |
2e421da |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Read mozilla_plugin tmpfs files.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_plugin_read_tmpfs_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_plugin_tmpfs_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
fs_search_tmpfs($1)
|
|
Chris PeBenito |
9401ae1 |
allow $1 mozilla_plugin_tmpfs_t:file read_file_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Chris PeBenito |
9401ae1 |
########################################
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Delete mozilla_plugin tmpfs files.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## <param name="domain">
|
|
Chris PeBenito |
9401ae1 |
## <summary>
|
|
Dominick Grift |
c7fb51d |
## Domain allowed access.
|
|
Chris PeBenito |
9401ae1 |
## </summary>
|
|
Chris PeBenito |
9401ae1 |
## </param>
|
|
Chris PeBenito |
9401ae1 |
#
|
|
Chris PeBenito |
9401ae1 |
interface(`mozilla_plugin_delete_tmpfs_files',`
|
|
Chris PeBenito |
9401ae1 |
gen_require(`
|
|
Chris PeBenito |
9401ae1 |
type mozilla_plugin_tmpfs_t;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Chris PeBenito |
9401ae1 |
|
|
Dominick Grift |
c7fb51d |
fs_search_tmpfs($1)
|
|
Dominick Grift |
c7fb51d |
allow $1 mozilla_plugin_tmpfs_t:file delete_file_perms;
|
|
Chris PeBenito |
9401ae1 |
')
|
|
Dominick Grift |
d071685 |
|
|
Dominick Grift |
d071685 |
########################################
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## Create, read, write, and delete
|
|
Dominick Grift |
d071685 |
## generic mozilla plugin home content.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## <param name="domain">
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## Domain allowed access.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## </param>
|
|
Dominick Grift |
d071685 |
#
|
|
Dominick Grift |
d071685 |
interface(`mozilla_manage_generic_plugin_home_content',`
|
|
Dominick Grift |
d071685 |
gen_require(`
|
|
Dominick Grift |
d071685 |
type mozilla_plugin_home_t;
|
|
Dominick Grift |
d071685 |
')
|
|
Dominick Grift |
d071685 |
|
|
Dominick Grift |
d071685 |
userdom_search_user_home_dirs($1)
|
|
Dominick Grift |
d071685 |
allow $1 mozilla_plugin_home_t:dir manage_dir_perms;
|
|
Dominick Grift |
d071685 |
allow $1 mozilla_plugin_home_t:file manage_file_perms;
|
|
Dominick Grift |
d071685 |
allow $1 mozilla_plugin_home_t:fifo_file manage_fifo_file_perms;
|
|
Dominick Grift |
d071685 |
allow $1 mozilla_plugin_home_t:lnk_file manage_lnk_file_perms;
|
|
Dominick Grift |
d071685 |
allow $1 mozilla_plugin_home_t:sock_file manage_sock_file_perms;
|
|
Dominick Grift |
d071685 |
')
|
|
Dominick Grift |
d071685 |
|
|
Dominick Grift |
d071685 |
########################################
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## Create objects in user home
|
|
Dominick Grift |
d071685 |
## directories with the generic mozilla
|
|
Dominick Grift |
d071685 |
## plugin home type.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## <param name="domain">
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## Domain allowed access.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## </param>
|
|
Dominick Grift |
d071685 |
## <param name="object_class">
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## Class of the object being created.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## </param>
|
|
Dominick Grift |
d071685 |
## <param name="name" optional="true">
|
|
Dominick Grift |
d071685 |
## <summary>
|
|
Dominick Grift |
d071685 |
## The name of the object being created.
|
|
Dominick Grift |
d071685 |
## </summary>
|
|
Dominick Grift |
d071685 |
## </param>
|
|
Dominick Grift |
d071685 |
#
|
|
Dominick Grift |
d071685 |
interface(`mozilla_home_filetrans_plugin_home',`
|
|
Dominick Grift |
d071685 |
gen_require(`
|
|
Dominick Grift |
d071685 |
type mozilla_plugin_home_t;
|
|
Dominick Grift |
d071685 |
')
|
|
Dominick Grift |
d071685 |
|
|
Dominick Grift |
d071685 |
userdom_user_home_dir_filetrans($1, mozilla_plugin_home_t, $2, $3)
|
|
Dominick Grift |
d071685 |
')
|