diff options
Diffstat (limited to 'policy/modules/contrib/systemtap.if')
| -rw-r--r-- | policy/modules/contrib/systemtap.if | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/policy/modules/contrib/systemtap.if b/policy/modules/contrib/systemtap.if deleted file mode 100644 index c755e2d93..000000000 --- a/policy/modules/contrib/systemtap.if +++ /dev/null @@ -1,45 +0,0 @@ -## <summary>instrumentation system for Linux.</summary> - -######################################## -## <summary> -## All of the rules required to -## administrate an stapserver environment. -## </summary> -## <param name="domain"> -## <summary> -## Domain allowed access. -## </summary> -## </param> -## <param name="role"> -## <summary> -## Role allowed access. -## </summary> -## </param> -## <rolecap/> -# -interface(`stapserver_admin',` - gen_require(` - type stapserver_t, stapserver_conf_t, stapserver_log_t; - type stap_server_var_run_t, stapserver_initrc_exec_t, stapserver_var_lib_t; - ') - - allow $1 stapserver_t:process { ptrace signal_perms }; - ps_process_pattern($1, stapserver_t) - - init_labeled_script_domtrans($1, stapserver_initrc_exec_t) - domain_system_change_exemption($1) - role_transition $2 stapserver_initrc_exec_t system_r; - allow $2 system_r; - - files_search_etc($1) - admin_pattern($1, stapserver_conf_t) - - files_search_var_lib($1) - admin_pattern($1, stapserver_var_lib_t) - - logging_search_logs($1) - admin_pattern($1, stapserver_log_t) - - files_search_pids($1) - admin_pattern($1, stapserver_var_run_t) -') |