Chris PeBenito e181fe
# Copyright (C) 2005 Tresys Technology, LLC
Chris PeBenito e181fe
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_system_role_change(role,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_system_role_change',`
Chris PeBenito b4cd15
requires_block_template(kernel_system_role_change_depend,$2)
Chris PeBenito b4cd15
allow $1 system_r;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_system_role_change_depend',`
Chris PeBenito b4cd15
role system_r;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_system_role_transition(role,entrypoint,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_system_role_transition',`
Chris PeBenito b4cd15
requires_block_template(kernel_system_role_transition_depend,$2)
Chris PeBenito b4cd15
allow $1 system_r;
Chris PeBenito b4cd15
role_transition $1 $2 system_r;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_system_role_change_depend',`
Chris PeBenito b4cd15
role system_r;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_share_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_share_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_share_state_depend,$2)
Chris PeBenito b4cd15
allow kernel_t $1:process share;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_share_state_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class process share;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito ee5772
# kernel_use_file_descriptors(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito ee5772
define(`kernel_use_file_descriptors',`
Chris PeBenito ee5772
requires_block_template(kernel_use_file_descriptors_depend,$2)
Chris PeBenito b4cd15
allow $1 kernel_t:fd use;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito ee5772
define(`kernel_use_file_descriptors_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito a2d824
class fd use;
Chris PeBenito a2d824
')
Chris PeBenito a2d824
Chris PeBenito a2d824
########################################
Chris PeBenito a2d824
#
Chris PeBenito a2d824
# kernel_ignore_use_file_descriptors(domain,[`optional'])
Chris PeBenito a2d824
#
Chris PeBenito a2d824
define(`kernel_ignore_use_file_descriptors',`
Chris PeBenito a2d824
requires_block_template(kernel_ignore_use_file_descriptors_depend,$2)
Chris PeBenito a2d824
dontaudit $1 kernel_t:fd use;
Chris PeBenito a2d824
')
Chris PeBenito a2d824
Chris PeBenito a2d824
define(`kernel_ignore_use_file_descriptors_depend',`
Chris PeBenito a2d824
type kernel_t;
Chris PeBenito b4cd15
class fd use;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_make_root_filesystem_mountpoint(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_make_root_filesystem_mountpoint',`
Chris PeBenito b4cd15
requires_block_template(kernel_make_root_filesystem_mountpoint_depend,$2)
Chris PeBenito b4cd15
allow kernel_t $1:dir mounton;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_make_root_filesystem_mountpoint_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class dir mounton;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_load_module(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_load_module',`
Chris PeBenito b4cd15
requires_block_template(kernel_load_module_depend,$2)
Chris PeBenito b4cd15
allow $1 self:capability sys_module;
Chris PeBenito b4cd15
typeattribute $1 can_load_kernmodule;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_load_module_depend',`
Chris PeBenito b4cd15
attribute can_load_kernmodule;
Chris PeBenito b4cd15
class capability sys_module;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_kill_unlabeled_process(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_kill_unlabeled_process',`
Chris PeBenito b4cd15
requires_block_template(kernel_kill_unlabeled_process_depend,$2)
Chris PeBenito b4cd15
allow $1 unlabeled_t:process sigkill;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_kill_unlabeled_process_depend',`
Chris PeBenito b4cd15
type unlabeled_t;
Chris PeBenito b4cd15
class process sigkill;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_relabel_unlabeled_object(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_relabel_unlabeled_object',`
Chris PeBenito b4cd15
requires_block_template(kernel_relabel_unlabeled_object_depend,$2)
Chris PeBenito ee5772
allow $1 unlabeled_t:{ dir file lnk_file fifo_file sock_file chr_file blk_file } { getattr relabelfrom };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_relabel_unlabeled_object_depend',`
Chris PeBenito b4cd15
type unlabeled_t;
Chris PeBenito ee5772
class dir { getattr relabelfrom };
Chris PeBenito ee5772
class file { getattr relabelfrom };
Chris PeBenito ee5772
class lnk_file { getattr relabelfrom };
Chris PeBenito ee5772
class fifo_file { getattr relabelfrom };
Chris PeBenito ee5772
class sock_file { getattr relabelfrom };
Chris PeBenito ee5772
class chr_file { getattr relabelfrom };
Chris PeBenito ee5772
class blk_file { getattr relabelfrom };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_get_selinux_enforcement_mode(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_get_selinux_enforcement_mode',`
Chris PeBenito b4cd15
requires_block_template(kernel_get_selinux_enforcement_mode_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_get_selinux_enforcement_mode_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_set_selinux_enforcement_mode(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_set_selinux_enforcement_mode',`
Chris PeBenito b4cd15
requires_block_template(kernel_set_selinux_enforcement_mode_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security setenforce;
Chris PeBenito b4cd15
auditallow $1 security_t:security setenforce;
Chris PeBenito b4cd15
typeattribute $1 can_setenforce;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_set_selinux_enforcement_mode_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
attribute can_setenforce;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security setenforce;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_load_selinux_policy(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_load_selinux_policy',`
Chris PeBenito b4cd15
requires_block_template(kernel_load_selinux_policy_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security load_policy;
Chris PeBenito b4cd15
auditallow $1 security_t:security load_policy;
Chris PeBenito b4cd15
typeattribute $1 can_load_policy;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_load_selinux_policy_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
attribute can_load_policy;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security load_policy;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_set_selinux_boolean(domain,[booltype],[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_set_selinux_boolean',`
Chris PeBenito b4cd15
requires_block_template(kernel_set_selinux_boolean_depend,$3)
Chris PeBenito b4cd15
ifelse(`$2',`',`
Chris PeBenito b4cd15
allow $1 security_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
',`
Chris PeBenito b4cd15
allow $1 $2:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 $2:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
allow $1 security_t:dir search;
Chris PeBenito b4cd15
allow $1 security_t:security setbool;
Chris PeBenito b4cd15
auditallow $1 security_t:security setbool;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_set_selinux_boolean_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security setbool;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_setsecparam(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito 960373
define(`kernel_setsecparam',`
Chris PeBenito b4cd15
requires_block_template(kernel_setsecparam_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security setsecparam;
Chris PeBenito b4cd15
auditallow $1 security_t:security setsecparam;
Chris PeBenito b4cd15
typeattribute $1 can_setsecparam;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_setsecparam_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
attribute can_setsecparam;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security setsecparam;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_validate_selinux_context(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_validate_selinux_context',`
Chris PeBenito b4cd15
requires_block_template(kernel_validate_selinux_context_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security check_context;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_validate_selinux_context_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security check_context;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_compute_selinux_av(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_compute_selinux_av',`
Chris PeBenito b4cd15
requires_block_template(kernel_compute_selinux_av_depend)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security compute_av;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_compute_selinux_av_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security compute_av;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_compute_selinux_create(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_compute_create',`
Chris PeBenito b4cd15
requires_block_template(kernel_compute_create_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security compute_create;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_compute_create_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security compute_create;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_compute_relabel(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_compute_relabel',`
Chris PeBenito b4cd15
requires_block_template(kernel_compute_relabel_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security compute_relabel;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_compute_relabel_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security compute_relabel;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_compute_reachable_user_contexts(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_compute_reachable_user_contexts',`
Chris PeBenito b4cd15
requires_block_template(kernel_compute_reachable_user_contexts_depend,$2)
Chris PeBenito b4cd15
allow $1 security_t:dir { read search getattr };
Chris PeBenito b4cd15
allow $1 security_t:file { getattr read write };
Chris PeBenito b4cd15
allow $1 security_t:security compute_user;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_compute_reachable_user_contexts_depend',`
Chris PeBenito b4cd15
type security_t;
Chris PeBenito b4cd15
class dir { read search getattr };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class security compute_user;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_ring_buffer(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_ring_buffer',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_ring_buffer_depend,$2)
Chris PeBenito b4cd15
allow $1 kernel_t:system syslog_read;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_read_ring_buffer_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class system syslog_read;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_change_ring_buffer_level(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_change_ring_buffer_level',`
Chris PeBenito b4cd15
requires_block_template(kernel_change_ring_buffer_level_depend,$2)
Chris PeBenito b4cd15
allow $1 kernel_t:system syslog_console;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_change_ring_buffer_level_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class system syslog_console;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_clear_ring_buffer(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_clear_ring_buffer',`
Chris PeBenito b4cd15
requires_block_template(kernel_clear_ring_buffer_depend,$2)
Chris PeBenito b4cd15
allow $1 kernel_t:system syslog_mod;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_clear_ring_buffer_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class system syslog_mod;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_get_sysvipc_info(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_get_sysvipc_info',`
Chris PeBenito b4cd15
requires_block_template(kernel_get_sysvipc_info_depend,$2)
Chris PeBenito b4cd15
allow $1 kernel_t:system ipc_info;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_get_sysvipc_info_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class system ipc_info;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_get_selinuxfs_mount_point(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_get_selinuxfs_mount_point',`
Chris PeBenito b4cd15
requires_block_template(kernel_get_selinuxfs_mount_point_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 proc_t:lnk_file read;
Chris PeBenito b4cd15
allow $1 self:dir search;
Chris PeBenito b4cd15
allow $1 self:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_get_selinuxfs_mount_point_depend',`
Chris PeBenito b4cd15
type proc_t;
Chris PeBenito b4cd15
class dir search;
Chris PeBenito b4cd15
class lnk_file read;
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_system_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_system_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_system_state_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 proc_t:{ lnk_file file } { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_system_state_depend',`
Chris PeBenito b4cd15
type proc_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_software_raid_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_software_raid_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_software_raid_state_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 proc_mdstat_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_software_raid_state_depend',`
Chris PeBenito b4cd15
type proc_t, proc_mdstat_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito a266e3
# kernel_get_core_interface_attributes(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito a266e3
define(`kernel_get_core_interface_attributes',`
Chris PeBenito a266e3
requires_block_template(kernel_get_core_interface_attributes_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 proc_kcore_t:file getattr;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito a266e3
ifdef(`kernel_get_core_interface_attributes_depend',`
Chris PeBenito b4cd15
type proc_t, proc_kcore_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file getattr;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito a266e3
# kernel_read_messages(domain,[`optional'])
Chris PeBenito a266e3
#
Chris PeBenito a266e3
define(`kernel_read_messages',`
Chris PeBenito a266e3
requires_block_template(kernel_read_messages_depend,$2)
Chris PeBenito a266e3
allow $1 proc_t:dir search;
Chris PeBenito a266e3
allow $1 proc_kmsg_t:file { getattr read };
Chris PeBenito a266e3
typeattribute $1 can_receive_kernel_messages;
Chris PeBenito a266e3
')
Chris PeBenito a266e3
Chris PeBenito a266e3
define(`kernel_read_messages_depend',`
Chris PeBenito a266e3
attribute can_receive_kernel_messages;
Chris PeBenito a266e3
type proc_kmsg_t, proc_t;
Chris PeBenito a266e3
class dir search;
Chris PeBenito a266e3
class file { getattr read };
Chris PeBenito a266e3
')
Chris PeBenito a266e3
Chris PeBenito a266e3
########################################
Chris PeBenito a266e3
#
Chris PeBenito a266e3
# kernel_get_message_interface_attributes(domain,[`optional'])
Chris PeBenito a266e3
#
Chris PeBenito a266e3
define(`kernel_get_message_interface_attributes',`
Chris PeBenito a266e3
requires_block_template(kernel_get_message_interface_attributes_depend,$2)
Chris PeBenito a266e3
allow $1 proc_t:dir search;
Chris PeBenito a266e3
allow $1 proc_kmsg_t:file getattr;
Chris PeBenito a266e3
')
Chris PeBenito a266e3
Chris PeBenito a266e3
define(`kernel_get_message_interface_attributes_depend',`
Chris PeBenito a266e3
type proc_kmsg_t, proc_t;
Chris PeBenito a266e3
class dir search;
Chris PeBenito a266e3
class file getattr;
Chris PeBenito a266e3
')
Chris PeBenito a266e3
Chris PeBenito a266e3
########################################
Chris PeBenito a266e3
#
Chris PeBenito b4cd15
# kernel_read_network_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_network_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_network_state_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 proc_net_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 proc_net_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_network_state_depend',`
Chris PeBenito b4cd15
type proc_t, proc_net_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_device_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_device_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_device_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b58606
allow $1 sysctl_dev_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_dev_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_device_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_dev_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_device_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_device_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_device_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_dev_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_device_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_dev_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_virtual_memory_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_virtual_memory_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_virtual_memory_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_vm_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_virtual_memory_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_vm_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_virtual_memory_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_virtual_memory_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_virtual_memory_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_vm_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_virtual_memory_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_vm_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_network_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_network_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_network_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_network_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_net_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_network_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_network_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_network_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_network_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_net_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_unix_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_unix_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_unix_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_unix_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_net_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_net_t, sysctl_net_unix_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_unix_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_unix_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_unix_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_net_unix_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_net_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_net_t, sysctl_net_unix_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_hotplug_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_hotplug_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_hotplug_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_hotplug_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_hotplug_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t, sysctl_hotplug_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_hotplug_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_hotplug_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_hotplug_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_hotplug_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_hotplug_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t, sysctl_hotplug_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_modprobe_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_modprobe_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_modprobe_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_modprobe_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_modprobe_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t, sysctl_modprobe_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_modprobe_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_modprobe_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_modprobe_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_modprobe_t:file { getattr read  write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_modprobe_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t, sysctl_modprobe_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_kernel_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_kernel_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_kernel_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_kernel_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_kernel_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_kernel_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_kernel_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_kernel_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_kernel_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_kernel_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_filesystem_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_filesystem_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_filesystem_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_fs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_fs_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_filesystem_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_fs_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_filesystem_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_filesystem_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_filesystem_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_fs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_fs_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_filesystem_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_t, sysctl_fs_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_irq_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_irq_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_irq_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_irq_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_irq_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_irq_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_irq_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_irq_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_irq_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_irq_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_irq_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_irq_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_irq_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, sysctl_irq_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_rpc_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_rpc_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_rpc_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 proc_net_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_rpc_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_rpc_t:file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_rpc_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, proc_net_t, sysctl_rpc_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_rpc_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_rpc_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_rpc_sysctl_depend,$2)
Chris PeBenito b4cd15
allow $1 proc_t:dir search;
Chris PeBenito b4cd15
allow $1 proc_net_t:dir search;
Chris PeBenito b4cd15
allow $1 sysctl_rpc_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysctl_rpc_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_rpc_sysctl_depend',`
Chris PeBenito b4cd15
type proc_t, proc_net_t, sysctl_rpc_t;
Chris PeBenito b4cd15
class dir { search getattr read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_all_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_all_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_all_sysctl_depend,$2)
Chris PeBenito b4cd15
kernel_read_device_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_virtual_memory_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_network_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_unix_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_hotplug_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_modprobe_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_kernel_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_filesystem_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_irq_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_read_rpc_sysctl($1,optional)
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_read_all_sysctl_depend',`
Chris PeBenito b4cd15
kernel_read_device_sysctl_depend
Chris PeBenito b4cd15
kernel_read_virtual_memory_sysctl_depend
Chris PeBenito b4cd15
kernel_read_network_sysctl_depend
Chris PeBenito b4cd15
kernel_read_unix_sysctl_depend
Chris PeBenito b4cd15
kernel_read_hotplug_sysctl_depend
Chris PeBenito b4cd15
kernel_read_modprobe_sysctl_depend
Chris PeBenito b4cd15
kernel_read_kernel_sysctl_depend
Chris PeBenito b4cd15
kernel_read_filesystem_sysctl_depend
Chris PeBenito b4cd15
kernel_read_irq_sysctl_depend
Chris PeBenito b4cd15
kernel_read_rpc_sysctl_depend
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_all_sysctl(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_all_sysctl',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_all_sysctl_depend,$2)
Chris PeBenito b4cd15
kernel_modify_device_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_virtual_memory_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_network_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_unix_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_hotplug_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_modprobe_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_kernel_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_filesystem_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_irq_sysctl($1,optional)
Chris PeBenito b4cd15
kernel_modify_rpc_sysctl($1,optional)
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
ifdef(`kernel_modify_all_sysctl_depend',`
Chris PeBenito b4cd15
kernel_modify_device_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_virtual_memory_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_network_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_unix_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_hotplug_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_modprobe_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_kernel_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_filesystem_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_irq_sysctl_depend
Chris PeBenito b4cd15
kernel_modify_rpc_sysctl_depend
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_hardware_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_hardware_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_hardware_state_depend,$2)
Chris PeBenito b4cd15
allow $1 sysfs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysfs_t:{ file lnk_file } { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_read_hardware_state_depend',`
Chris PeBenito b4cd15
type sysfs_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_hardware_config_option(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_hardware_config_option',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_hardware_config_option_depend,$2)
Chris PeBenito b4cd15
allow $1 sysfs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 sysfs_t:lnk_file { getattr read };
Chris PeBenito b4cd15
allow $1 sysfs_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_modify_hardware_config_option_depend',`
Chris PeBenito b4cd15
type sysfs_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_list_usb_hardware(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_list_usb_hardware',`
Chris PeBenito b4cd15
requires_block_template(kernel_list_usb_hardware_depend,$2)
Chris PeBenito b4cd15
allow $1 usbfs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 usbfs_t:lnk_file { getattr read };
Chris PeBenito b4cd15
allow $1 usbfs_t:file getattr;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_list_usb_hardware_depend',`
Chris PeBenito b4cd15
type usbfs_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
class file getattr;
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_usb_hardware_state(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_usb_hardware_state',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_usb_hardware_state_depend,$2)
Chris PeBenito b4cd15
allow $1 usbfs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 usbfs_t:{ file lnk_file } { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_read_usb_hardware_state_depend',`
Chris PeBenito b4cd15
type usbfs_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
class file { getattr read };
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_modify_usb_hardware_config_option(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_modify_usb_hardware_config_option',`
Chris PeBenito b4cd15
requires_block_template(kernel_modify_usb_hardware_config_option_depend,$2)
Chris PeBenito b4cd15
allow $1 usbfs_t:dir { getattr search read };
Chris PeBenito b4cd15
allow $1 usbfs_t:lnk_file { getattr read };
Chris PeBenito b4cd15
allow $1 usbfs_t:file { getattr read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_modify_usb_hardware_config_option_depend',`
Chris PeBenito b4cd15
type usbfs_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
class file { getattr read write };
Chris PeBenito b4cd15
class lnk_file { getattr read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
###################################################################
Chris PeBenito b4cd15
#                                                                 #
Chris PeBenito b4cd15
# These interfaces are reversed, to decouple the base module from #
Chris PeBenito b4cd15
# the programs that the kernel runs, such as init and insmod, so  #
Chris PeBenito b4cd15
# the base module is self-contained.  These styles of interfaces  #
Chris PeBenito b4cd15
# should not be used anywhere else.                               #
Chris PeBenito b4cd15
#                                                                 #
Chris PeBenito b4cd15
###################################################################
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_transition_from(domain,entrypoint,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_transition_from',`
Chris PeBenito b4cd15
requires_block_template(kernel_transition_from_depend,$3)
Chris PeBenito b4cd15
allow kernel_t $2:file { getattr read execute };
Chris PeBenito b4cd15
allow kernel_t $1:process transition;
Chris PeBenito b4cd15
type_transition kernel_t $2:process $1;
Chris PeBenito b4cd15
dontaudit kernel_t $1:process { noatsecure siginh rlimitinh };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_transition_from_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class file { getattr read execute };
Chris PeBenito b4cd15
class process transition;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_sigchld_from(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_sigchld_from',`
Chris PeBenito b4cd15
requires_block_template(kernel_sigchld_from_depend,$2)
Chris PeBenito b4cd15
allow kernel_t $1:process sigchld;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_sigchld_from_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class process sigchld;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_unlabeled_sigchld_from(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_unlabeled_sigchld_from',`
Chris PeBenito b4cd15
requires_block_template(kernel_unlabeled_sigchld_from_depend,$2)
Chris PeBenito b4cd15
allow unlabeled_t $1:process sigchld;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_unlabeled_sigchld_from_depend',`
Chris PeBenito b4cd15
type unlabeled_t;
Chris PeBenito b4cd15
class process sigchld;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# kernel_read_directory_from(domain,[`optional'])
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
define(`kernel_read_directory_from',`
Chris PeBenito b4cd15
requires_block_template(kernel_read_directory_from_depend,$2)
Chris PeBenito b4cd15
allow kernel_t $1:dir { getattr search read };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
define(`kernel_read_directory_from_depend',`
Chris PeBenito b4cd15
type kernel_t;
Chris PeBenito b4cd15
class dir { getattr search read };
Chris PeBenito b4cd15
')