|
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>
|
|
Chris PeBenito |
2c2435 |
## Domain allowed access.
|
|
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 |
2c2435 |
corecmd_search_sbin($1)
|
|
Chris PeBenito |
2c2435 |
domain_auto_trans($1, prelink_exec_t, prelink_t)
|
|
Chris PeBenito |
2c2435 |
|
|
Chris PeBenito |
2c2435 |
allow $1 prelink_t:fd use;
|
|
Chris PeBenito |
2c2435 |
allow prelink_t $1:fd use;
|
|
Chris PeBenito |
2c2435 |
allow prelink_t $1:fifo_file rw_file_perms;
|
|
Chris PeBenito |
2c2435 |
allow prelink_t $1:process sigchld;
|
|
Chris PeBenito |
2c2435 |
')
|
|
Chris PeBenito |
2c2435 |
|
|
Chris PeBenito |
2c2435 |
########################################
|
|
Chris PeBenito |
2c2435 |
## <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 |
2c2435 |
allow $1 prelink_cache_t:file { getattr read };
|
|
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 |
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 |
2c2435 |
allow $1 prelink_log_t:dir rw_dir_perms;
|
|
Chris PeBenito |
2c2435 |
allow $1 prelink_log_t:file create_file_perms;
|
|
Chris PeBenito |
2c2435 |
')
|