# Copyright (C) 2005 Tresys Technology, LLC

policy_module(udev,1.0)

########################################
#
# Declarations
#

type udev_t; # nscd_client_domain
type udev_exec_t;
type udev_helper_exec_t;
kernel_make_userland_entrypoint(udev_t,udev_exec_t)
kernel_make_object_identity_change_constraint_exception(udev_t)
init_make_daemon_domain(udev_t,udev_exec_t)
domain_make_entrypoint_file(udev_t,udev_helper_exec_t)
domain_make_file_descriptors_widely_inheritable(udev_t)

type udev_etc_t alias etc_udev_t;
files_make_file(udev_etc_t)

# udev_runtime_t is the type of the udev table file
# cjp: this is probably a copy of udev_tbl_t and can be removed
type udev_runtime_t;
files_make_file(udev_runtime_t)

type udev_tbl_t alias udev_tdb_t;
files_make_file(udev_tbl_t)

type udev_var_run_t;
files_make_daemon_runtime_file(udev_var_run_t)

########################################
#
# Local policy
#

allow udev_t self:capability { chown dac_override dac_read_search fowner fsetid sys_admin mknod net_raw net_admin };
allow udev_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };
allow udev_t self:process { execmem setfscreate };
allow udev_t self:fd use;
allow udev_t self:fifo_file { read getattr lock ioctl write append };
allow udev_t self:unix_stream_socket { listen accept };
allow udev_t self:unix_dgram_socket sendto;
allow udev_t self:unix_stream_socket connectto;
allow udev_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };
allow udev_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };
allow udev_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };
allow udev_t self:msg { send receive };
allow udev_t self:rawip_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow udev_t udev_helper_exec_t:dir { read getattr lock search ioctl };

# read udev config
allow udev_t udev_etc_t:file { read getattr lock ioctl };

# create udev database in /dev/.udevdb
allow udev_t udev_tbl_t:file { create ioctl read getattr lock write setattr append link unlink rename };
devices_create_dev_entry(udev_t,udev_tbl_t,file)

allow udev_t udev_var_run_t : dir { read getattr lock search ioctl add_name remove_name write };
allow udev_t udev_var_run_t : file { create ioctl read getattr lock write setattr append link unlink rename };

kernel_read_system_state(udev_t)
kernel_get_core_interface_attributes(udev_t)
kernel_use_file_descriptors(udev_t)
kernel_read_device_sysctl(udev_t)
kernel_read_hotplug_sysctl(udev_t)
kernel_read_modprobe_sysctl(udev_t)
kernel_read_kernel_sysctl(udev_t)
kernel_read_hardware_state(udev_t)
kernel_get_selinuxfs_mount_point(udev_t)
kernel_validate_selinux_context(udev_t)
kernel_compute_selinux_access_vector(udev_t)
kernel_compute_selinux_create_context(udev_t)
kernel_compute_selinux_relabel_context(udev_t)
kernel_compute_selinux_reachable_user_contexts(udev_t)

devices_manage_device_nodes(udev_t)

filesystem_get_all_filesystems_attributes(udev_t)

init_script_read_runtime_data(udev_t)
init_script_ignore_write_runtime_data(udev_t)

files_read_runtime_system_config(udev_t)
files_read_general_system_config(udev_t)

corecommands_execute_general_programs(udev_t)
corecommands_execute_system_programs(udev_t)
corecommands_execute_shell(udev_t)
domain_execute_all_entrypoint_programs(udev_t)

# Security
selinux_read_config(udev_t)
selinux_read_default_contexts(udev_t)
selinux_read_file_contexts(udev_t)
selinux_restorecon_transition(udev_t)

modutils_insmod_transition(udev_t)

logging_send_system_log_message(udev_t)

sysnetwork_ifconfig_transition(udev_t)

tunable_policy(`distro_redhat',`
filesystem_manage_tmpfs_block_devices(udev_t)
filesystem_manage_tmpfs_character_devices(udev_t)

# for arping used for static IP addresses on PCMCIA ethernet
netutils_transition(udev_t)
') dnl end ifdef distro_redhat

optional_policy(`authlogin.te',`
authlogin_pam_console_read_runtime_data(udev_t)
authlogin_pam_console_transition(udev_t)
')

optional_policy(`consoletype.te',`
consoletype_execute(udev_t)
')

optional_policy(`hotplug.te',`
hotplug_read_config(udev_t)
')

optional_policy(`sysnetwork.te',`
sysnetwork_dhcpc_transition(udev_t)
')

ifdef(`TODO',`
allow udev_t var_log_t:dir search;
allow udev_t var_lock_t:dir search;
allow udev_t var_lock_t:file getattr;

allow udev_t mnt_t:dir search;

allow udev_t devpts_t:dir { getattr search };

allow udev_t sysadm_tty_device_t:chr_file { read write };

# Dontaudits
dontaudit udev_t staff_home_dir_t:dir search;
dontaudit udev_t file_t:dir search;
dontaudit udev_t domain:dir r_dir_perms;
dontaudit udev_t ttyfile:chr_file unlink;

allow udev_t kernel_t:unix_dgram_socket { sendto ioctl read write };

dbusd_client(system, udev)

# Ifdefs
tunable_policy(`distro_redhat',`
allow udev_t tmpfs_t:sock_file create_file_perms;
allow udev_t tmpfs_t:lnk_file create_lnk_perms;
allow udev_t tmpfs_t:{ chr_file blk_file } { relabelfrom relabelto };
') dnl end ifdef distro_redhat

tunable_policy(`hide_broken_symptoms',`
dontaudit restorecon_t udev_t:unix_dgram_socket { read write };
dontaudit ifconfig_t udev_t:unix_dgram_socket { read write };
')

optional_policy(`xdm.te',`
allow udev_t xdm_var_run_t:file { getattr read };
')

') dnl endif TODO