338 lines
6.5 KiB
Plaintext
338 lines
6.5 KiB
Plaintext
## <summary>Policy for kernel module utilities</summary>
|
|
|
|
######################################
|
|
## <summary>
|
|
## Getattr the dependencies of kernel modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_getattr_module_deps',`
|
|
gen_require(`
|
|
type modules_dep_t;
|
|
')
|
|
|
|
getattr_files_pattern($1, modules_object_t, modules_dep_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Read the dependencies of kernel modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_read_module_deps',`
|
|
gen_require(`
|
|
type modules_dep_t;
|
|
')
|
|
|
|
files_list_kernel_modules($1)
|
|
allow $1 modules_dep_t:file read_file_perms;
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Read the configuration options used when
|
|
## loading modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
## <rolecap/>
|
|
#
|
|
interface(`modutils_read_module_config',`
|
|
gen_require(`
|
|
type modules_conf_t;
|
|
')
|
|
|
|
# This file type can be in /etc or
|
|
# /lib(64)?/modules
|
|
files_search_etc($1)
|
|
files_search_boot($1)
|
|
|
|
read_files_pattern($1, modules_conf_t, modules_conf_t)
|
|
read_lnk_files_pattern($1, modules_conf_t, modules_conf_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Rename a file with the configuration options used when
|
|
## loading modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_rename_module_config',`
|
|
gen_require(`
|
|
type modules_conf_t;
|
|
')
|
|
|
|
rename_files_pattern($1, modules_conf_t, modules_conf_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Unlink a file with the configuration options used when
|
|
## loading modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_delete_module_config',`
|
|
gen_require(`
|
|
type modules_conf_t;
|
|
')
|
|
|
|
delete_files_pattern($1, modules_conf_t, modules_conf_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Manage files with the configuration options used when
|
|
## loading modules.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_manage_module_config',`
|
|
gen_require(`
|
|
type modules_conf_t;
|
|
')
|
|
|
|
manage_files_pattern($1, modules_conf_t, modules_conf_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Unconditionally execute insmod in the insmod domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
# cjp: this is added for pppd, due to nested
|
|
# conditionals not working.
|
|
interface(`modutils_domtrans_insmod_uncond',`
|
|
gen_require(`
|
|
type insmod_t, insmod_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
domtrans_pattern($1, insmod_exec_t, insmod_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute insmod in the insmod domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_domtrans_insmod',`
|
|
gen_require(`
|
|
bool secure_mode_insmod;
|
|
')
|
|
|
|
if (!secure_mode_insmod) {
|
|
modutils_domtrans_insmod_uncond($1)
|
|
}
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute insmod in the insmod domain, and
|
|
## allow the specified role the insmod domain,
|
|
## and use the caller's terminal. Has a sigchld
|
|
## backchannel.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
## <param name="role">
|
|
## <summary>
|
|
## Role allowed access.
|
|
## </summary>
|
|
## </param>
|
|
## <rolecap/>
|
|
#
|
|
interface(`modutils_run_insmod',`
|
|
gen_require(`
|
|
type insmod_t;
|
|
')
|
|
|
|
modutils_domtrans_insmod($1)
|
|
role $2 types insmod_t;
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute insmod in the caller domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_exec_insmod',`
|
|
gen_require(`
|
|
type insmod_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
can_exec($1, insmod_exec_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute depmod in the depmod domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_domtrans_depmod',`
|
|
gen_require(`
|
|
type depmod_t, depmod_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
domtrans_pattern($1, depmod_exec_t, depmod_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute depmod in the depmod domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
## <param name="role">
|
|
## <summary>
|
|
## Role allowed access.
|
|
## </summary>
|
|
## </param>
|
|
## <rolecap/>
|
|
#
|
|
interface(`modutils_run_depmod',`
|
|
gen_require(`
|
|
type depmod_t, insmod_t;
|
|
')
|
|
|
|
modutils_domtrans_depmod($1)
|
|
role $2 types depmod_t;
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute depmod in the caller domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_exec_depmod',`
|
|
gen_require(`
|
|
type depmod_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
can_exec($1, depmod_exec_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute depmod in the depmod domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_domtrans_update_mods',`
|
|
gen_require(`
|
|
type update_modules_t, update_modules_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
domtrans_pattern($1, update_modules_exec_t, update_modules_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute update_modules in the update_modules domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
## <param name="role">
|
|
## <summary>
|
|
## Role allowed access.
|
|
## </summary>
|
|
## </param>
|
|
## <rolecap/>
|
|
#
|
|
interface(`modutils_run_update_mods',`
|
|
gen_require(`
|
|
type update_modules_t;
|
|
')
|
|
|
|
modutils_domtrans_update_mods($1)
|
|
role $2 types update_modules_t;
|
|
|
|
modutils_run_insmod(update_modules_t, $2)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute update_modules in the caller domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`modutils_exec_update_mods',`
|
|
gen_require(`
|
|
type update_modules_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
can_exec($1, update_modules_exec_t)
|
|
')
|