|
|
30e4dae |
|
|
|
7934e6f |
policy_module(icecream,0.1.3)
|
|
|
30e4dae |
|
|
|
30e4dae |
########################################
|
|
|
30e4dae |
#
|
|
|
7934e6f |
# iceccd declarations
|
|
|
30e4dae |
#
|
|
|
30e4dae |
|
|
|
30e4dae |
type iceccd_t;
|
|
|
30e4dae |
type iceccd_exec_t;
|
|
|
30e4dae |
init_daemon_domain(iceccd_t, iceccd_exec_t)
|
|
|
30e4dae |
|
|
|
30e4dae |
type iceccd_log_t;
|
|
|
30e4dae |
logging_log_file(iceccd_log_t)
|
|
|
30e4dae |
|
|
|
30e4dae |
type iceccd_tmp_t;
|
|
|
30e4dae |
files_tmp_file(iceccd_tmp_t)
|
|
|
30e4dae |
|
|
|
d592b35 |
type iceccd_var_run_t;
|
|
|
d592b35 |
files_pid_file(iceccd_var_run_t)
|
|
|
d592b35 |
|
|
|
d592b35 |
type iceccd_cache_t;
|
|
|
d592b35 |
files_type(iceccd_cache_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# iceccd_createenv declarations
|
|
|
7934e6f |
#
|
|
|
7934e6f |
|
|
|
d592b35 |
type iceccd_createenv_t;
|
|
|
d592b35 |
type iceccd_createenv_exec_t;
|
|
|
7934e6f |
application_domain(iceccd_createenv_t, iceccd_createenv_exec_t)
|
|
|
d592b35 |
role system_r types iceccd_createenv_t;
|
|
|
30e4dae |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# icecc_scheduler declarations
|
|
|
7934e6f |
#
|
|
|
30e4dae |
|
|
|
d592b35 |
type icecc_scheduler_t;
|
|
|
d592b35 |
type icecc_scheduler_exec_t;
|
|
|
d592b35 |
init_daemon_domain(icecc_scheduler_t, icecc_scheduler_exec_t)
|
|
|
30e4dae |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# iceccd_untrusted declarations
|
|
|
7934e6f |
#
|
|
|
7934e6f |
|
|
|
7934e6f |
type iceccd_untrusted_t;
|
|
|
7934e6f |
domain_type(iceccd_untrusted_t);
|
|
|
7934e6f |
domain_entry_file(iceccd_untrusted_t, iceccd_cache_t)
|
|
|
7934e6f |
role system_r types iceccd_untrusted_t;
|
|
|
7934e6f |
|
|
|
7934e6f |
# port declarations. for separate module only.
|
|
|
30e4dae |
type iceccd_port_t;
|
|
|
30e4dae |
type icecc_scheduler_port_t;
|
|
|
30e4dae |
corenet_port(iceccd_port_t);
|
|
|
30e4dae |
corenet_port(icecc_scheduler_port_t);
|
|
|
30e4dae |
|
|
|
30e4dae |
########################################
|
|
|
30e4dae |
#
|
|
|
7934e6f |
# iceccd policy
|
|
|
30e4dae |
#
|
|
|
30e4dae |
|
|
|
7934e6f |
allow iceccd_t self:capability { chown dac_override fowner fsetid kill
|
|
|
7934e6f |
setgid setuid sys_chroot };
|
|
|
7934e6f |
allow iceccd_t self:fifo_file rw_fifo_file_perms;
|
|
|
30e4dae |
allow iceccd_t self:netlink_route_socket r_netlink_socket_perms;
|
|
|
7934e6f |
allow iceccd_t self:process { signal_perms setsched setrlimit };
|
|
|
30e4dae |
allow iceccd_t self:tcp_socket create_stream_socket_perms;
|
|
|
30e4dae |
allow iceccd_t self:udp_socket create_socket_perms;
|
|
|
30e4dae |
|
|
|
7934e6f |
dontaudit iceccd_t iceccd_untrusted_t:process { siginh rlimitinh
|
|
|
7934e6f |
noatsecure };
|
|
|
d592b35 |
|
|
|
7934e6f |
allow iceccd_t iceccd_untrusted_t:process signal;
|
|
|
30e4dae |
|
|
|
7934e6f |
domtrans_pattern(iceccd_t, iceccd_createenv_exec_t, iceccd_createenv_t)
|
|
|
7934e6f |
domtrans_pattern(iceccd_t, iceccd_cache_t, iceccd_untrusted_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
manage_files_pattern(iceccd_t, iceccd_log_t, iceccd_log_t)
|
|
|
7934e6f |
logging_log_filetrans(iceccd_t, iceccd_log_t, file)
|
|
|
7934e6f |
|
|
|
7934e6f |
manage_files_pattern(iceccd_t, iceccd_var_run_t, iceccd_var_run_t)
|
|
|
7934e6f |
files_pid_filetrans(iceccd_t, iceccd_var_run_t, file)
|
|
|
7934e6f |
|
|
|
7934e6f |
manage_dirs_pattern(iceccd_t, iceccd_cache_t, iceccd_cache_t)
|
|
|
7934e6f |
manage_files_pattern(iceccd_t, iceccd_cache_t, iceccd_cache_t)
|
|
|
7934e6f |
files_var_filetrans(iceccd_t, iceccd_cache_t, { dir file })
|
|
|
30e4dae |
|
|
|
30e4dae |
files_search_tmp(iceccd_t)
|
|
|
7934e6f |
manage_dirs_pattern(iceccd_t, iceccd_tmp_t, iceccd_tmp_t)
|
|
|
7934e6f |
manage_files_pattern(iceccd_t, iceccd_tmp_t, iceccd_tmp_t)
|
|
|
7934e6f |
files_tmp_filetrans(iceccd_t, iceccd_tmp_t, { dir file })
|
|
|
30e4dae |
|
|
|
d592b35 |
corenet_all_recvfrom_unlabeled(iceccd_t)
|
|
|
d592b35 |
corenet_all_recvfrom_netlabel(iceccd_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_generic_if(iceccd_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_generic_if(iceccd_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_generic_node(iceccd_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_generic_node(iceccd_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_all_ports(iceccd_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_all_ports(iceccd_t)
|
|
|
d592b35 |
corenet_tcp_bind_generic_node(iceccd_t)
|
|
|
d592b35 |
allow iceccd_t iceccd_port_t:tcp_socket { name_bind };
|
|
|
d592b35 |
allow iceccd_t icecc_scheduler_port_t:tcp_socket { name_connect };
|
|
|
d592b35 |
|
|
|
7934e6f |
corecmd_exec_bin(iceccd_t)
|
|
|
7934e6f |
corecmd_read_bin_symlinks(iceccd_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
#files_getattr_tmp_dirs(iceccd_t)
|
|
|
7934e6f |
files_read_etc_files(iceccd_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
fs_getattr_all_fs(iceccd_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
kernel_read_system_state(iceccd_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
sysnet_read_config(iceccd_t)
|
|
|
30e4dae |
|
|
|
7934e6f |
libs_use_ld_so(iceccd_t)
|
|
|
7934e6f |
libs_use_shared_libs(iceccd_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
miscfiles_read_localization(iceccd_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# iceccd_createenv policy
|
|
|
7934e6f |
#
|
|
|
30e4dae |
|
|
|
d592b35 |
allow iceccd_createenv_t self:fifo_file rw_fifo_file_perms;
|
|
|
d592b35 |
|
|
|
7934e6f |
dontaudit iceccd_createenv_t iceccd_tmp_t:file { execute };
|
|
|
d592b35 |
|
|
|
7934e6f |
allow iceccd_createenv_t iceccd_log_t:file { append };
|
|
|
d592b35 |
|
|
|
d592b35 |
manage_dirs_pattern(iceccd_createenv_t, iceccd_cache_t, iceccd_cache_t)
|
|
|
d592b35 |
manage_files_pattern(iceccd_createenv_t, iceccd_cache_t, iceccd_cache_t)
|
|
|
7934e6f |
# no files_var_filetrans, createenv does not create the cache dir itself
|
|
|
7934e6f |
|
|
|
7934e6f |
manage_dirs_pattern(iceccd_createenv_t, iceccd_tmp_t, iceccd_tmp_t)
|
|
|
7934e6f |
manage_files_pattern(iceccd_createenv_t, iceccd_tmp_t, iceccd_tmp_t)
|
|
|
7934e6f |
files_tmp_filetrans(iceccd_createenv_t, iceccd_tmp_t, { dir file })
|
|
|
d592b35 |
|
|
|
d592b35 |
corecmd_exec_bin(iceccd_createenv_t)
|
|
|
d592b35 |
corecmd_exec_shell(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
d592b35 |
dev_read_urand(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
files_read_etc_files(iceccd_createenv_t)
|
|
|
7934e6f |
files_read_usr_files(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
d592b35 |
kernel_read_system_state(iceccd_createenv_t)
|
|
|
d592b35 |
|
|
|
7934e6f |
libs_exec_ld_so(iceccd_createenv_t)
|
|
|
7934e6f |
libs_exec_lib_files(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
libs_domtrans_ldconfig(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
libs_use_ld_so(iceccd_createenv_t)
|
|
|
7934e6f |
libs_use_shared_libs(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
miscfiles_read_localization(iceccd_createenv_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
userdom_dontaudit_search_user_home_dirs(iceccd_createenv_t)
|
|
|
d592b35 |
|
|
|
d592b35 |
optional_policy(`
|
|
|
d592b35 |
nscd_socket_use(iceccd_createenv_t)
|
|
|
d592b35 |
')
|
|
|
d592b35 |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# iceccd_untrusted policy
|
|
|
7934e6f |
#
|
|
|
7934e6f |
|
|
|
7934e6f |
allow iceccd_untrusted_t self:fifo_file rw_fifo_file_perms;
|
|
|
7934e6f |
allow iceccd_untrusted_t self:process signal_perms;
|
|
|
7934e6f |
allow iceccd_untrusted_t iceccd_t:unix_stream_socket rw_stream_socket_perms;
|
|
|
7934e6f |
|
|
|
7934e6f |
manage_files_pattern(iceccd_untrusted_t, iceccd_cache_t, iceccd_cache_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
can_exec(iceccd_untrusted_t, iceccd_cache_t)
|
|
|
2e6f2a4 |
|
|
|
7934e6f |
########################################
|
|
|
7934e6f |
#
|
|
|
7934e6f |
# icecc_scheduler policy
|
|
|
7934e6f |
#
|
|
|
30e4dae |
|
|
|
d592b35 |
allow icecc_scheduler_t self:tcp_socket create_stream_socket_perms;
|
|
|
d592b35 |
allow icecc_scheduler_t self:udp_socket create_socket_perms;
|
|
|
d592b35 |
|
|
|
d592b35 |
corenet_all_recvfrom_unlabeled(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_all_recvfrom_netlabel(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_generic_if(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_generic_if(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_generic_node(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_generic_node(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_tcp_sendrecv_all_ports(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_udp_sendrecv_all_ports(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_tcp_bind_generic_node(icecc_scheduler_t)
|
|
|
d592b35 |
corenet_udp_bind_generic_node(icecc_scheduler_t)
|
|
|
d592b35 |
allow icecc_scheduler_t icecc_scheduler_port_t:tcp_socket { name_bind };
|
|
|
d592b35 |
allow icecc_scheduler_t icecc_scheduler_port_t:udp_socket { name_bind };
|
|
|
7934e6f |
|
|
|
7934e6f |
files_read_etc_files(icecc_scheduler_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
libs_use_ld_so(icecc_scheduler_t)
|
|
|
7934e6f |
libs_use_shared_libs(icecc_scheduler_t)
|
|
|
7934e6f |
|
|
|
7934e6f |
miscfiles_read_localization(icecc_scheduler_t)
|