# Copyright (C) 2005 Tresys Technology, LLC

########################################

#

# kernel_share_state(domain)

#

define(`kernel_share_state',`

requires_block_template(`$0'_depend)

allow kernel_t $1:process share;

')

define(`kernel_share_state_depend',`

type kernel_t;

class process share;

')

########################################

#

# kernel_use_file_descriptors(domain)

#

define(`kernel_use_file_descriptors',`

requires_block_template(`$0'_depend)

allow $1 kernel_t:fd use;

')

define(`kernel_use_file_descriptors_depend',`

type kernel_t;

class fd use;

')

########################################

#

# kernel_ignore_use_file_descriptors(domain)

#

define(`kernel_ignore_use_file_descriptors',`

requires_block_template(`$0'_depend)

dontaudit $1 kernel_t:fd use;

')

define(`kernel_ignore_use_file_descriptors_depend',`

type kernel_t;

class fd use;

')

########################################

#

# kernel_make_root_filesystem_mountpoint(domain)

#

define(`kernel_make_root_filesystem_mountpoint',`

requires_block_template(`$0'_depend)

allow kernel_t $1:dir mounton;

')

define(`kernel_make_root_filesystem_mountpoint_depend',`

type kernel_t;

class dir mounton;

')

########################################

#

# kernel_make_process_identity_change_constraint_exception(domain)

#

define(`kernel_make_process_identity_change_constraint_exception',`

requires_block_template(`$0'_depend)

typeattribute $1 can_change_process_identity;

')

define(`kernel_make_process_identity_change_constraint_exception_depend',`

attribute can_change_process_identity;

')

########################################

#

# kernel_make_role_change_constraint_exception(domain)

#

define(`kernel_make_role_change_constraint_exception',`

requires_block_template(`$0'_depend)

typeattribute $1 can_change_process_role;

')

define(`kernel_make_role_change_constraint_exception_depend',`

attribute can_change_process_role;

')

########################################

#

# kernel_make_object_identity_change_constraint_exception(domain)

#

define(`kernel_make_object_identity_change_constraint_exception',`

requires_block_template(`$0'_depend)

typeattribute $1 can_change_object_identity;

')

define(`kernel_make_object_identity_change_constraint_exception_depend',`

attribute can_change_object_identity;

')

########################################

#

# kernel_load_module(domain)

#

define(`kernel_load_module',`

requires_block_template(`$0'_depend)

allow $1 self:capability sys_module;

typeattribute $1 can_load_kernmodule;

')

define(`kernel_load_module_depend',`

attribute can_load_kernmodule;

class capability sys_module;

')

########################################

#

# kernel_kill_unlabeled_process(domain)

#

define(`kernel_kill_unlabeled_process',`

requires_block_template(`$0'_depend)

allow $1 unlabeled_t:process sigkill;

')

define(`kernel_kill_unlabeled_process_depend',`

type unlabeled_t;

class process sigkill;

')

########################################

#

# kernel_relabel_unlabeled_object(domain)

#

define(`kernel_relabel_unlabeled_object',`

requires_block_template(`$0'_depend)

allow $1 unlabeled_t:{ dir file lnk_file fifo_file sock_file chr_file blk_file } { getattr relabelfrom };

')

define(`kernel_relabel_unlabeled_object_depend',`

type unlabeled_t;

class dir { getattr relabelfrom };

class file { getattr relabelfrom };

class lnk_file { getattr relabelfrom };

class fifo_file { getattr relabelfrom };

class sock_file { getattr relabelfrom };

class chr_file { getattr relabelfrom };

class blk_file { getattr relabelfrom };

')

########################################

#

# kernel_get_selinux_enforcement_mode(domain)

#

define(`kernel_get_selinux_enforcement_mode',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read };

')

define(`kernel_get_selinux_enforcement_mode_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read };

')

########################################

#

# kernel_set_selinux_enforcement_mode(domain)

#

define(`kernel_set_selinux_enforcement_mode',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security setenforce;

auditallow $1 security_t:security setenforce;

typeattribute $1 can_setenforce;

')

define(`kernel_set_selinux_enforcement_mode_depend',`

type security_t;

attribute can_setenforce;

class dir { read search getattr };

class file { getattr read write };

class security setenforce;

')

########################################

#

# kernel_load_selinux_policy(domain)

#

define(`kernel_load_selinux_policy',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security load_policy;

auditallow $1 security_t:security load_policy;

typeattribute $1 can_load_policy;

')

define(`kernel_load_selinux_policy_depend',`

type security_t;

attribute can_load_policy;

class dir { read search getattr };

class file { getattr read write };

class security load_policy;

')

########################################

#

# kernel_set_selinux_boolean(domain,[booltype])

#

define(`kernel_set_selinux_boolean',`

requires_block_template(`$0'_depend)

ifelse(`$2',`',`

allow $1 security_t:dir { getattr search read };

allow $1 security_t:file { getattr read write };

',`

allow $1 $2:dir { getattr search read };

allow $1 $2:file { getattr read write };

')

allow $1 security_t:dir search;

allow $1 security_t:security setbool;

auditallow $1 security_t:security setbool;

')

define(`kernel_set_selinux_boolean_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security setbool;

')

########################################

#

# kernel_setsecparam(domain)

#

define(`kernel_setsecparam',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security setsecparam;

auditallow $1 security_t:security setsecparam;

typeattribute $1 can_setsecparam;

')

define(`kernel_setsecparam_depend',`

type security_t;

attribute can_setsecparam;

class dir { read search getattr };

class file { getattr read write };

class security setsecparam;

')

########################################

#

# kernel_validate_selinux_context(domain)

#

define(`kernel_validate_selinux_context',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security check_context;

')

define(`kernel_validate_selinux_context_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security check_context;

')

########################################

#

# kernel_compute_selinux_av(domain)

#

define(`kernel_compute_selinux_av',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security compute_av;

')

define(`kernel_compute_selinux_av_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security compute_av;

')

########################################

#

# kernel_compute_selinux_create(domain)

#

define(`kernel_compute_create',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security compute_create;

')

define(`kernel_compute_create_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security compute_create;

')

########################################

#

# kernel_compute_relabel(domain)

#

define(`kernel_compute_relabel',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security compute_relabel;

')

define(`kernel_compute_relabel_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security compute_relabel;

')

########################################

#

# kernel_compute_reachable_user_contexts(domain)

#

define(`kernel_compute_reachable_user_contexts',`

requires_block_template(`$0'_depend)

allow $1 security_t:dir { read search getattr };

allow $1 security_t:file { getattr read write };

allow $1 security_t:security compute_user;

')

define(`kernel_compute_reachable_user_contexts_depend',`

type security_t;

class dir { read search getattr };

class file { getattr read write };

class security compute_user;

')

########################################

#

# kernel_read_ring_buffer(domain)

#

define(`kernel_read_ring_buffer',`

requires_block_template(`$0'_depend)

allow $1 kernel_t:system syslog_read;

')

define(`kernel_read_ring_buffer_depend',`

type kernel_t;

class system syslog_read;

')

########################################

#

# kernel_change_ring_buffer_level(domain)

#

define(`kernel_change_ring_buffer_level',`

requires_block_template(`$0'_depend)

allow $1 kernel_t:system syslog_console;

')

define(`kernel_change_ring_buffer_level_depend',`

type kernel_t;

class system syslog_console;

')

########################################

#

# kernel_clear_ring_buffer(domain)

#

define(`kernel_clear_ring_buffer',`

requires_block_template(`$0'_depend)

allow $1 kernel_t:system syslog_mod;

')

define(`kernel_clear_ring_buffer_depend',`

type kernel_t;

class system syslog_mod;

')

########################################

#

# kernel_get_sysvipc_info(domain)

#

define(`kernel_get_sysvipc_info',`

requires_block_template(`$0'_depend)

allow $1 kernel_t:system ipc_info;

')

define(`kernel_get_sysvipc_info_depend',`

type kernel_t;

class system ipc_info;

')

########################################

#

# kernel_get_selinuxfs_mount_point(domain)

#

define(`kernel_get_selinuxfs_mount_point',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 proc_t:lnk_file read;

allow $1 self:dir search;

allow $1 self:file { getattr read };

')

define(`kernel_get_selinuxfs_mount_point_depend',`

type proc_t;

class dir search;

class lnk_file read;

class file { getattr read };

')

########################################

#

# kernel_read_system_state(domain)

#

define(`kernel_read_system_state',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir { getattr search read };

allow $1 proc_t:{ lnk_file file } { getattr read };

')

define(`kernel_read_system_state_depend',`

type proc_t;

class dir { search getattr read };

class lnk_file { getattr read };

class file { getattr read };

')

########################################

#

# kernel_ignore_read_system_state(domain)

#

define(`kernel_ignore_read_system_state',`

requires_block_template(`$0'_depend)

allow $1 proc_t:file read;

')

define(`kernel_ignore_read_system_state_depend',`

type proc_t;

class file read;

')

#######################################

#

# kernel_read_software_raid_state(domain)

#

define(`kernel_read_software_raid_state',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir { getattr search read };

allow $1 proc_mdstat_t:file { getattr read };

')

define(`kernel_read_software_raid_state_depend',`

type proc_t, proc_mdstat_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_get_core_interface_attributes(domain)

#

define(`kernel_get_core_interface_attributes',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir { getattr search read };

allow $1 proc_kcore_t:file getattr;

')

define(`kernel_get_core_interface_attributes_depend',`

type proc_t, proc_kcore_t;

class dir { search getattr read };

class file getattr;

')

########################################

#

# kernel_read_messages(domain)

#

define(`kernel_read_messages',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 proc_kmsg_t:file { getattr read };

typeattribute $1 can_receive_kernel_messages;

')

define(`kernel_read_messages_depend',`

attribute can_receive_kernel_messages;

type proc_kmsg_t, proc_t;

class dir search;

class file { getattr read };

')

########################################

#

# kernel_get_message_interface_attributes(domain)

#

define(`kernel_get_message_interface_attributes',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 proc_kmsg_t:file getattr;

')

define(`kernel_get_message_interface_attributes_depend',`

type proc_kmsg_t, proc_t;

class dir search;

class file getattr;

')

########################################

#

# kernel_ignore_get_message_interface_attributes(domain)

#

define(`kernel_ignore_get_message_interface_attributes',`

requires_block_template(`$0'_depend)

dontaudit $1 proc_kmsg_t:file getattr;

')

define(`kernel_ignore_get_message_interface_attributes_depend',`

type proc_kmsg_t, proc_t;

class file getattr;

')

########################################

#

# kernel_read_network_state(domain)

#

define(`kernel_read_network_state',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 proc_net_t:dir { getattr search read };

allow $1 proc_net_t:file { getattr read };

')

define(`kernel_read_network_state_depend',`

type proc_t, proc_net_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_read_device_sysctl(domain)

#

define(`kernel_read_device_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_dev_t:dir { getattr search read };

allow $1 sysctl_dev_t:file { getattr read };

')

define(`kernel_read_device_sysctl_depend',`

type proc_t, sysctl_t, sysctl_dev_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_device_sysctl(domain)

#

define(`kernel_modify_device_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_dev_t:file { getattr read write };

')

define(`kernel_modify_device_sysctl_depend',`

type proc_t, sysctl_t, sysctl_dev_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_virtual_memory_sysctl(domain)

#

define(`kernel_read_virtual_memory_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_vm_t:file { getattr read };

')

define(`kernel_read_virtual_memory_sysctl_depend',`

type proc_t, sysctl_t, sysctl_vm_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_virtual_memory_sysctl(domain)

#

define(`kernel_modify_virtual_memory_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_vm_t:file { getattr read write };

')

define(`kernel_modify_virtual_memory_sysctl_depend',`

type proc_t, sysctl_t, sysctl_vm_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_network_sysctl(domain)

#

define(`kernel_read_network_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_net_t:dir { getattr search read };

allow $1 sysctl_net_t:file { getattr read };

')

define(`kernel_read_network_sysctl_depend',`

type proc_t, sysctl_t, sysctl_net_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_network_sysctl(domain)

#

define(`kernel_modify_network_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_net_t:dir { getattr search read };

allow $1 sysctl_net_t:file { getattr read write };

')

define(`kernel_modify_network_sysctl_depend',`

type proc_t, sysctl_t, sysctl_net_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_unix_sysctl(domain)

#

define(`kernel_read_unix_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_net_t:dir { getattr search read };

allow $1 sysctl_net_unix_t:file { getattr read };

')

define(`kernel_read_net_sysctl_depend',`

type proc_t, sysctl_t, sysctl_net_t, sysctl_net_unix_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_unix_sysctl(domain)

#

define(`kernel_modify_unix_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_net_t:dir { getattr search read };

allow $1 sysctl_net_unix_t:file { getattr read write };

')

define(`kernel_modify_net_sysctl_depend',`

type proc_t, sysctl_t, sysctl_net_t, sysctl_net_unix_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_hotplug_sysctl(domain)

#

define(`kernel_read_hotplug_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_hotplug_t:file { getattr read };

')

define(`kernel_read_hotplug_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t, sysctl_hotplug_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_hotplug_sysctl(domain)

#

define(`kernel_modify_hotplug_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_hotplug_t:file { getattr read write };

')

define(`kernel_modify_hotplug_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t, sysctl_hotplug_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_modprobe_sysctl(domain)

#

define(`kernel_read_modprobe_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_modprobe_t:file { getattr read };

')

define(`kernel_read_modprobe_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t, sysctl_modprobe_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_modprobe_sysctl(domain)

#

define(`kernel_modify_modprobe_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_modprobe_t:file { getattr read  write };

')

define(`kernel_modify_modprobe_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t, sysctl_modprobe_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_kernel_sysctl(domain)

#

define(`kernel_read_kernel_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_kernel_t:file { getattr read };

')

define(`kernel_read_kernel_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_kernel_sysctl(domain)

#

define(`kernel_modify_kernel_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_kernel_t:dir { getattr search read };

allow $1 sysctl_kernel_t:file { getattr read write };

')

define(`kernel_modify_kernel_sysctl_depend',`

type proc_t, sysctl_t, sysctl_kernel_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_filesystem_sysctl(domain)

#

define(`kernel_read_filesystem_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_fs_t:dir { getattr search read };

allow $1 sysctl_fs_t:file { getattr read };

')

define(`kernel_read_filesystem_sysctl_depend',`

type proc_t, sysctl_t, sysctl_fs_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_filesystem_sysctl(domain)

#

define(`kernel_modify_filesystem_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_t:dir { getattr search read };

allow $1 sysctl_fs_t:dir { getattr search read };

allow $1 sysctl_fs_t:file { getattr read write };

')

define(`kernel_modify_filesystem_sysctl_depend',`

type proc_t, sysctl_t, sysctl_fs_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_irq_sysctl(domain)

#

define(`kernel_read_irq_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_irq_t:dir { getattr search read };

allow $1 sysctl_irq_t:file { getattr read };

')

define(`kernel_read_irq_sysctl_depend',`

type proc_t, sysctl_irq_t;

class dir { search getattr read };

class file { getattr read };

')

########################################

#

# kernel_modify_irq_sysctl(domain)

#

define(`kernel_modify_irq_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 sysctl_irq_t:dir { getattr search read };

allow $1 sysctl_irq_t:file { getattr read write };

')

define(`kernel_modify_irq_sysctl_depend',`

type proc_t, sysctl_irq_t;

class dir { search getattr read };

class file { getattr read write };

')

########################################

#

# kernel_read_rpc_sysctl(domain)

#

define(`kernel_read_rpc_sysctl',`

requires_block_template(`$0'_depend)

allow $1 proc_t:dir search;

allow $1 proc_net_t:dir search;

allow $1 sysctl_rpc_t:dir { getattr search read };

allow $1 sysctl_rpc_t:file { getattr read };

')

define(`kernel_read_rpc_sysctl_depend',`

type proc_t, proc_net_t, sysctl_rpc_t;

class dir { search getattr read };