Chris PeBenito 2c2435
## <summary>Prelink ELF shared library mappings.</summary>
Chris PeBenito 2c2435
Chris PeBenito 2c2435
########################################
Chris PeBenito 2c2435
## <summary>
Chris PeBenito 2c2435
##	Execute the prelink program in the prelink domain.
Chris PeBenito 2c2435
## </summary>
Chris PeBenito 2c2435
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Dominick Grift 77e4b5
##	Domain allowed to transition.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2c2435
## </param>
Chris PeBenito 2c2435
#
Chris PeBenito 2c2435
interface(`prelink_domtrans',`
Chris PeBenito 2c2435
	gen_require(`
Chris PeBenito 2c2435
		type prelink_t, prelink_exec_t;
Chris PeBenito 2c2435
	')
Chris PeBenito 2c2435
Chris PeBenito 8021cb
	corecmd_search_bin($1)
Chris PeBenito c0868a
	domtrans_pattern($1, prelink_exec_t, prelink_t)
Chris PeBenito a9ef84
Chris PeBenito a9ef84
	ifdef(`hide_broken_symptoms', `
Chris PeBenito a9ef84
		dontaudit prelink_t $1:socket_class_set { read write };
Chris PeBenito a9ef84
		dontaudit prelink_t $1:fifo_file setattr;
Chris PeBenito a9ef84
	')
Chris PeBenito 2c2435
')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
########################################
Chris PeBenito 2c2435
## <summary>
Chris PeBenito 9fe1b5
##	Execute the prelink program in the current domain.
Chris PeBenito 9fe1b5
## </summary>
Chris PeBenito 9fe1b5
## <param name="domain">
Chris PeBenito 9fe1b5
##	<summary>
Chris PeBenito 9fe1b5
##	Domain allowed access.
Chris PeBenito 9fe1b5
##	</summary>
Chris PeBenito 9fe1b5
## </param>
Chris PeBenito 9fe1b5
#
Chris PeBenito 9fe1b5
interface(`prelink_exec',`
Chris PeBenito 9fe1b5
	gen_require(`
Chris PeBenito 9fe1b5
		type prelink_exec_t;
Chris PeBenito 9fe1b5
	')
Chris PeBenito 9fe1b5
Chris PeBenito 9fe1b5
	corecmd_search_bin($1)
Chris PeBenito 9fe1b5
	can_exec($1, prelink_exec_t)
Chris PeBenito 9fe1b5
')
Chris PeBenito 9fe1b5
Chris PeBenito 9fe1b5
########################################
Chris PeBenito 9fe1b5
## <summary>
Chris PeBenito 350b6a
##	Execute the prelink program in the prelink domain.
Chris PeBenito 350b6a
## </summary>
Chris PeBenito 350b6a
## <param name="domain">
Chris PeBenito 350b6a
##	<summary>
Dominick Grift 77e4b5
##	Domain allowed to transition.
Chris PeBenito 350b6a
##	</summary>
Chris PeBenito 350b6a
## </param>
Chris PeBenito 350b6a
## <param name="role">
Chris PeBenito 350b6a
##	<summary>
Chris PeBenito 350b6a
##	The role to allow the prelink domain.
Chris PeBenito 350b6a
##	</summary>
Chris PeBenito 350b6a
## </param>
Chris PeBenito 350b6a
## <rolecap/>
Chris PeBenito 350b6a
#
Chris PeBenito 350b6a
interface(`prelink_run',`
Chris PeBenito 350b6a
	gen_require(`
Chris PeBenito 350b6a
		type prelink_t;
Chris PeBenito 350b6a
	')
Chris PeBenito 350b6a
Chris PeBenito 350b6a
	prelink_domtrans($1)
Chris PeBenito 350b6a
	role $2 types prelink_t;
Chris PeBenito 350b6a
')
Chris PeBenito 350b6a
Chris PeBenito 350b6a
########################################
Chris PeBenito 350b6a
## <summary>
Chris PeBenito 2c2435
##	Make the specified file type prelinkable.
Chris PeBenito 2c2435
## </summary>
Chris PeBenito 2c2435
## <param name="file_type">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 2c2435
##	File type to be prelinked.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2c2435
## </param>
Chris PeBenito 2c2435
#
Chris PeBenito 2c2435
# cjp: added for misc non-entrypoint objects
Chris PeBenito 2c2435
interface(`prelink_object_file',`
Chris PeBenito 2c2435
	gen_require(`
Chris PeBenito 2c2435
		attribute prelink_object;
Chris PeBenito 2c2435
	')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
	typeattribute $1 prelink_object;
Chris PeBenito 2c2435
')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
########################################
Chris PeBenito 2c2435
## <summary>
Chris PeBenito 2c2435
##	Read the prelink cache.
Chris PeBenito 2c2435
## </summary>
Chris PeBenito 2c2435
## <param name="file_type">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 2c2435
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2c2435
## </param>
Chris PeBenito 2c2435
#
Chris PeBenito 2c2435
interface(`prelink_read_cache',`
Chris PeBenito 2c2435
	gen_require(`
Chris PeBenito 2c2435
		type prelink_cache_t;
Chris PeBenito 2c2435
	')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
	files_search_etc($1)
Chris PeBenito 82d277
	allow $1 prelink_cache_t:file read_file_perms;
Chris PeBenito 2c2435
')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
########################################
Chris PeBenito 2c2435
## <summary>
Chris PeBenito 2c2435
##	Delete the prelink cache.
Chris PeBenito 2c2435
## </summary>
Chris PeBenito 2c2435
## <param name="file_type">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 2c2435
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2c2435
## </param>
Chris PeBenito 2c2435
#
Chris PeBenito 2c2435
interface(`prelink_delete_cache',`
Chris PeBenito 2c2435
	gen_require(`
Chris PeBenito 2c2435
		type prelink_cache_t;
Chris PeBenito 2c2435
	')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
	allow $1 prelink_cache_t:file unlink;
Chris PeBenito e2b84e
	files_rw_etc_dirs($1)
Chris PeBenito 2c2435
')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
########################################
Chris PeBenito 2c2435
## <summary>
Chris PeBenito 2c2435
##	Create, read, write, and delete
Chris PeBenito 2c2435
##	prelink log files.
Chris PeBenito 2c2435
## </summary>
Chris PeBenito 2c2435
## <param name="file_type">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 2c2435
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2c2435
## </param>
Chris PeBenito 2c2435
#
Chris PeBenito 2c2435
interface(`prelink_manage_log',`
Chris PeBenito 2c2435
	gen_require(`
Chris PeBenito 2c2435
		type prelink_log_t;
Chris PeBenito 2c2435
	')
Chris PeBenito 2c2435
Chris PeBenito 2c2435
	logging_search_logs($1)
Chris PeBenito 0bfccd
	manage_files_pattern($1, prelink_log_t, prelink_log_t)
Chris PeBenito 2c2435
')
Chris PeBenito adea58
Chris PeBenito adea58
########################################
Chris PeBenito adea58
## <summary>
Chris PeBenito adea58
##	Create, read, write, and delete
Chris PeBenito adea58
##	prelink var_lib files.
Chris PeBenito adea58
## </summary>
Chris PeBenito adea58
## <param name="file_type">
Chris PeBenito adea58
##	<summary>
Chris PeBenito adea58
##	Domain allowed access.
Chris PeBenito adea58
##	</summary>
Chris PeBenito adea58
## </param>
Chris PeBenito adea58
#
Chris PeBenito adea58
interface(`prelink_manage_lib',`
Chris PeBenito adea58
	gen_require(`
Chris PeBenito adea58
		type prelink_var_lib_t;
Chris PeBenito adea58
	')
Chris PeBenito adea58
Chris PeBenito adea58
	files_search_var_lib($1)
Chris PeBenito adea58
	manage_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
Chris PeBenito adea58
')
Chris PeBenito 163ddf
Chris PeBenito 163ddf
########################################
Chris PeBenito 163ddf
## <summary>
Chris PeBenito 163ddf
##	Relabel from files in the /boot directory.
Chris PeBenito 163ddf
## </summary>
Chris PeBenito 163ddf
## <param name="domain">
Chris PeBenito 163ddf
##	<summary>
Chris PeBenito 163ddf
##	Domain allowed access.
Chris PeBenito 163ddf
##	</summary>
Chris PeBenito 163ddf
## </param>
Chris PeBenito 163ddf
#
Chris PeBenito 163ddf
interface(`prelink_relabelfrom_lib',`
Chris PeBenito 163ddf
	gen_require(`
Chris PeBenito 163ddf
		type prelink_var_lib_t;
Chris PeBenito 163ddf
	')
Chris PeBenito 163ddf
Chris PeBenito 163ddf
	files_search_var_lib($1)
Chris PeBenito 163ddf
	relabelfrom_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
Chris PeBenito 163ddf
')
Chris PeBenito 9fe1b5
Chris PeBenito 9fe1b5
########################################
Chris PeBenito 9fe1b5
## <summary>
Chris PeBenito 9fe1b5
##	Relabel from files in the /boot directory.
Chris PeBenito 9fe1b5
## </summary>
Chris PeBenito 9fe1b5
## <param name="domain">
Chris PeBenito 9fe1b5
##	<summary>
Chris PeBenito 9fe1b5
##	Domain allowed access.
Chris PeBenito 9fe1b5
##	</summary>
Chris PeBenito 9fe1b5
## </param>
Chris PeBenito 9fe1b5
#
Chris PeBenito 9fe1b5
interface(`prelink_relabel_lib',`
Chris PeBenito 9fe1b5
	gen_require(`
Chris PeBenito 9fe1b5
		type prelink_var_lib_t;
Chris PeBenito 9fe1b5
	')
Chris PeBenito 9fe1b5
Chris PeBenito 9fe1b5
	files_search_var_lib($1)
Chris PeBenito 9fe1b5
	relabel_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
Chris PeBenito 9fe1b5
')