Gecko [ 122.154.134.11 ]

Name	Size	Permission
ada.if	836 B	-rw-r--r--
authbind.if	487 B	-rw-r--r--
awstats.if	976 B	-rw-r--r--
calamaris.if	498 B	-rw-r--r--
cdrecord.if	747 B	-rw-r--r--
chrome.if	2.96 KB	-rw-r--r--
cpufreqselector.if	59 B	-rw-r--r--
ethereal.if	2.11 KB	-rw-r--r--
evolution.if	3.85 KB	-rw-r--r--
execmem.if	2.68 KB	-rw-r--r--
firewallgui.if	449 B	-rw-r--r--
games.if	1020 B	-rw-r--r--
gift.if	1.08 KB	-rw-r--r--
gitosis.if	1.76 KB	-rw-r--r--
gnome.if	11.33 KB	-rw-r--r--
gpg.if	4.44 KB	-rw-r--r--
irc.if	1.4 KB	-rw-r--r--
java.if	4.46 KB	-rw-r--r--
kdumpgui.if	50 B	-rw-r--r--
livecd.if	2.3 KB	-rw-r--r--
loadkeys.if	1.34 KB	-rw-r--r--
lockdev.if	709 B	-rw-r--r--
mediawiki.if	999 B	-rw-r--r--
mono.if	2.85 KB	-rw-r--r--
mozilla.if	8.52 KB	-rw-r--r--
mplayer.if	2.94 KB	-rw-r--r--
namespace.if	1010 B	-rw-r--r--
nsplugin.if	10.4 KB	-rw-r--r--
openoffice.if	2.74 KB	-rw-r--r--
podsleuth.if	986 B	-rw-r--r--
ptchown.if	929 B	-rw-r--r--
pulseaudio.if	5.88 KB	-rw-r--r--
qemu.if	7.19 KB	-rw-r--r--
rssh.if	1.54 KB	-rw-r--r--
sambagui.if	50 B	-rw-r--r--
sandbox.if	8.02 KB	-rw-r--r--
screen.if	5.5 KB	-rw-r--r--
seunshare.if	1.26 KB	-rw-r--r--
slocate.if	875 B	-rw-r--r--
telepathy.if	4.57 KB	-rw-r--r--
thunderbird.if	1.72 KB	-rw-r--r--
tvtime.if	1.02 KB	-rw-r--r--
uml.if	2.94 KB	-rw-r--r--
userhelper.if	8.11 KB	-rw-r--r--
usernetctl.if	1.22 KB	-rw-r--r--
vmware.if	1.97 KB	-rw-r--r--
webalizer.if	958 B	-rw-r--r--
wine.if	3.6 KB	-rw-r--r--
wireshark.if	1.36 KB	-rw-r--r--
wm.if	1.98 KB	-rw-r--r--
xscreensaver.if	633 B	-rw-r--r--
yam.if	1.22 KB	-rw-r--r--

Code Editor : mozilla.if

## <summary>Policy for Mozilla and related web browsers</summary>

########################################
## <summary>
##	Role access for mozilla
## </summary>
## <param name="role">
##	<summary>
##	Role allowed access
##	</summary>
## </param>
## <param name="domain">
##	<summary>
##	User domain for the role
##	</summary>
## </param>
#
interface(`mozilla_role',`
	gen_require(`
		type mozilla_t, mozilla_exec_t, mozilla_home_t;
	')

role $1 types mozilla_t;

domain_auto_trans($2, mozilla_exec_t, mozilla_t)
	# Unrestricted inheritance from the caller.
	allow $2 mozilla_t:process { noatsecure siginh rlimitinh };
	allow mozilla_t $2:fd use;
	allow mozilla_t $2:process { sigchld signull };
	allow mozilla_t $2:unix_stream_socket connectto;

# Allow the user domain to signal/ps.
	ps_process_pattern($2, mozilla_t)
	allow $2 mozilla_t:process signal_perms;

allow $2 mozilla_t:fd use;
	allow $2 mozilla_t:shm { associate getattr };
	allow $2 mozilla_t:shm { unix_read unix_write };
	allow $2 mozilla_t:unix_stream_socket connectto;

# X access, Home files
	manage_dirs_pattern($2, mozilla_home_t, mozilla_home_t)
	manage_files_pattern($2, mozilla_home_t, mozilla_home_t)
	manage_lnk_files_pattern($2, mozilla_home_t, mozilla_home_t)
	relabel_dirs_pattern($2, mozilla_home_t, mozilla_home_t)
	relabel_files_pattern($2, mozilla_home_t, mozilla_home_t)
	relabel_lnk_files_pattern($2, mozilla_home_t, mozilla_home_t)
	
	mozilla_run_plugin(mozilla_t, $1)
	mozilla_dbus_chat($2)

userdom_manage_tmp_role($1, mozilla_t)

optional_policy(`
		nsplugin_role($1, mozilla_t)
	')

optional_policy(`
		pulseaudio_role($1, mozilla_t)
	')
')

########################################
## <summary>
##	Read mozilla home directory content
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_read_user_home_files',`
	gen_require(`
		type mozilla_home_t;
	')

allow $1 mozilla_home_t:dir list_dir_perms;
	allow $1 mozilla_home_t:file read_file_perms;
	allow $1 mozilla_home_t:lnk_file read_lnk_file_perms;
	userdom_search_user_home_dirs($1)
')

########################################
## <summary>
##	Write mozilla home directory content
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_write_user_home_files',`
	gen_require(`
		type mozilla_home_t;
	')

write_files_pattern($1, mozilla_home_t, mozilla_home_t)
	userdom_search_user_home_dirs($1)
')

########################################
## <summary>
##	Dontaudit attempts to read/write mozilla home directory content
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_dontaudit_rw_user_home_files',`
	gen_require(`
		type mozilla_home_t;
	')

dontaudit $1 mozilla_home_t:file rw_inherited_file_perms;
')

########################################
## <summary>
##	Dontaudit attempts to write mozilla home directory content
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_dontaudit_manage_user_home_files',`
	gen_require(`
		type mozilla_home_t;
	')

dontaudit $1 mozilla_home_t:dir manage_dir_perms;
	dontaudit $1 mozilla_home_t:file manage_file_perms;
')

########################################
## <summary>
##	Run mozilla in the mozilla domain.
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_domtrans',`
	gen_require(`
		type mozilla_t, mozilla_exec_t;
	')

domtrans_pattern($1, mozilla_exec_t, mozilla_t)
')

########################################
## <summary>
##	Send and receive messages from
##	mozilla over dbus.
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_dbus_chat',`
	gen_require(`
		type mozilla_t;
		class dbus send_msg;
	')

allow $1 mozilla_t:dbus send_msg;
	allow mozilla_t $1:dbus send_msg;
')

########################################
## <summary>
##	Write mozilla home directory content
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
interface(`mozilla_execmod_user_home_files',`
	gen_require(`
		type mozilla_home_t;
	')

allow $1 mozilla_home_t:file execmod;
')

########################################
## <summary>
##	Execute mozilla_exec_t 
##	in the specified domain.
## </summary>
## <desc>
##	<p>
##	Execute a mozilla_exec_t
##	in the specified domain.  
##	</p>
##	<p>
##	No interprocess communication (signals, pipes,
##	etc.) is provided by this interface since
##	the domains are not owned by this module.
##	</p>
## </desc>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
## <param name="target_domain">
##	<summary>
##	The type of the new process.
##	</summary>
## </param>
#
interface(`mozilla_exec_domtrans',`
	gen_require(`
		type mozilla_exec_t;
	')

allow $2 mozilla_exec_t:file entrypoint;
	domtrans_pattern($1, mozilla_exec_t, $2)
')

#######################################
## <summary>
##  Execute a domain transition to run mozilla_plugin.
## </summary>
## <param name="domain">
## <summary>
##  Domain allowed access.
## </summary>
## </param>
#
interface(`mozilla_domtrans_plugin',`
    gen_require(`
        type mozilla_plugin_t, mozilla_plugin_exec_t;
        class dbus send_msg;
    ')

domtrans_pattern($1, mozilla_plugin_exec_t, mozilla_plugin_t)
    allow mozilla_plugin_t $1:process signull;
    allow $1 mozilla_plugin_t:unix_stream_socket { connectto rw_socket_perms };
    allow $1 mozilla_plugin_t:fd use;

allow mozilla_plugin_t $1:unix_stream_socket rw_socket_perms;
    allow mozilla_plugin_t $1:shm { rw_shm_perms destroy };
    allow mozilla_plugin_t $1:sem create_sem_perms;

ps_process_pattern($1, mozilla_plugin_t)
    allow $1 mozilla_plugin_t:process { ptrace signal_perms };
')

#######################################
## <summary>
##  Execute mozilla_plugin in the mozilla_plugin domain, and
##  allow the specified role the mozilla_plugin domain.
## </summary>
## <param name="domain">
##  <summary>
##  Domain allowed access
##  </summary>
## </param>
## <param name="role">
##  <summary>
##  The role to be allowed the mozilla_plugin domain.
##  </summary>
## </param>
#
interface(`mozilla_run_plugin',`
    gen_require(`
        type mozilla_plugin_t;
    ')

mozilla_domtrans_plugin($1)
    role $2 types mozilla_plugin_t;
')

######################################
## <summary>
##  Execute qemu unconfined programs in the role.
## </summary>
## <param name="role">
##  <summary>
##  The role to allow the mozilla_plugin domain.
##  </summary>
## </param>
## <rolecap/>
#
interface(`mozilla_role_plugin',`
    gen_require(`
        type mozilla_plugin_t;
    ')

role $1 types mozilla_plugin_t;
')

#######################################
## <summary>
##  read/write mozilla per user tcp_socket
## </summary>
## <param name="domain">
##  <summary>
##  Domain allowed access.
##  </summary>
## </param>
#
interface(`mozilla_rw_tcp_sockets',`
    gen_require(`
        type mozilla_t;
    ')

allow $1 mozilla_t:tcp_socket rw_socket_perms;
')

######################################
## <summary>
##  Read mozilla_plugin tmpfs files
## </summary>
## <param name="domain">
##  <summary>
##  Domain allowed access
##  </summary>
## </param>
#
interface(`mozilla_plugin_read_tmpfs_files',`
    gen_require(`
        type mozilla_plugin_tmpfs_t;
    ')

allow $1 mozilla_plugin_tmpfs_t:file read_file_perms;
')

#######################################
## <summary>
##  Delete mozilla_plugin tmpfs files
## </summary>
## <param name="domain">
##  <summary>
##  Domain allowed access
##  </summary>
## </param>
#
interface(`mozilla_plugin_delete_tmpfs_files',`
    gen_require(`
        type mozilla_plugin_tmpfs_t;
    ')

allow $1 mozilla_plugin_tmpfs_t:file delete_file_perms;
')

#######################################
## <summary>
##  Dontaudit read/write to a mozilla_plugin leaks
## </summary>
## <param name="domain">
##  <summary>
##  Domain to not audit.
##  </summary>
## </param>
#
interface(`mozilla_plugin_dontaudit_leaks',`
    gen_require(`
        type mozilla_plugin_t;
    ')

dontaudit $1 mozilla_plugin_t:unix_stream_socket { read write };
')

#######################################
## <summary>
##  Execute mozilla home directory content.
## </summary>
## <param name="domain">
##  <summary>
##  Domain allowed access.
##  </summary>
## </param>
#
interface(`mozilla_exec_user_home_files',`
    gen_require(`
        type mozilla_home_t;
    ')

can_exec($1, mozilla_home_t)
')

${this.title}

Code Editor : mozilla.if