Dan Walsh 3eaa99
## <summary>execmem domain</summary>
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Execute the execmem program in the execmem domain.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`execmem_exec',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type execmem_exec_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	can_exec($1, execmem_exec_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
#######################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	The role template for the execmem module.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <desc>
Dan Walsh 3eaa99
##	

Dan Walsh 3eaa99
##	This template creates a derived domains which are used
Dan Walsh 3eaa99
##	for execmem applications.
Dan Walsh 3eaa99
##	

Dan Walsh 3eaa99
## </desc>
Dan Walsh 3eaa99
## <param name="role_prefix">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	The prefix of the user domain (e.g., user
Dan Walsh 3eaa99
##	is the prefix for user_t).
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="user_role">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	The role associated with the user domain.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="user_domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	The type of the user domain.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
template(`execmem_role_template',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type execmem_exec_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	type $1_execmem_t;
Dan Walsh 3eaa99
	domain_type($1_execmem_t)
Dan Walsh 3eaa99
	domain_entry_file($1_execmem_t, execmem_exec_t)
Dan Walsh 3eaa99
	role $2 types $1_execmem_t;
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	userdom_unpriv_usertype($1, $1_execmem_t)
Dan Walsh 3eaa99
	userdom_manage_tmp_role($2, $1_execmem_t)
Dan Walsh 3eaa99
	userdom_manage_tmpfs_role($2, $1_execmem_t)
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	allow $1_execmem_t self:process { execmem execstack };
Dan Walsh 3eaa99
	allow $3 $1_execmem_t:process { getattr ptrace noatsecure signal_perms };
Dan Walsh 3eaa99
	domtrans_pattern($3, execmem_exec_t, $1_execmem_t)
Dan Walsh 3eaa99
ifdef(`hide_broken_symptoms', `
Dan Walsh 3eaa99
	dontaudit $1_execmem_t $3:socket_class_set { read write };
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
	files_execmod_tmp($1_execmem_t)
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	optional_policy(`
Dan Walsh 3eaa99
		chrome_role($2, $1_execmem_t)
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	optional_policy(`
Dan Walsh 3eaa99
		mozilla_execmod_user_home_files($1_execmem_t)
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	optional_policy(`
Dan Walsh 3eaa99
		nsplugin_rw_shm($1_execmem_t)
Dan Walsh 3eaa99
		nsplugin_rw_semaphores($1_execmem_t)
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	optional_policy(`
Dan Walsh 3eaa99
		xserver_role($2, $1_execmem_t)
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Execute a execmem_exec file
Dan Walsh 3eaa99
##	in the specified domain.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="target_domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	The type of the new process.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`execmem_domtrans',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type execmem_exec_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	domtrans_pattern($1, execmem_exec_t, $2)
Dan Walsh 3eaa99
')