From dfb86adde5502366be4b8df49c1d548f3b1c6eee Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Thu, 28 Apr 2005 15:45:32 +0000
Subject: [PATCH] initial commit

---
 refpolicy/policy/modules/system/udev.if |  33 ++++++
 refpolicy/policy/modules/system/udev.te | 148 ++++++++++++++++++++++++
 2 files changed, 181 insertions(+)
 create mode 100644 refpolicy/policy/modules/system/udev.if
 create mode 100644 refpolicy/policy/modules/system/udev.te

diff --git a/refpolicy/policy/modules/system/udev.if b/refpolicy/policy/modules/system/udev.if
new file mode 100644
index 00000000..812134c5
--- /dev/null
+++ b/refpolicy/policy/modules/system/udev.if
@@ -0,0 +1,33 @@
+# Copyright (C) 2005 Tresys Technology, LLC
+
+#######################################
+#
+# udev_transition(domain,[`optional'])
+#
+define(`udev_transition',`
+requires_block_template(udev_transition_depend,$2)
+allow $1 udev_exec_t:file { getattr read execute };
+allow $1 udev_t:process transition;
+type_transition $1 udev_exec_t:file udev_t;
+dontaudit $1 udev_t:process { noatsecure siginh rlimitinh };
+')
+
+define(`udev_transition_depend',`
+type udev_t, udev_exec_t;
+class file { getattr read execute };
+class process { transition noatsecure siginh rlimitinh };
+')
+
+########################################
+#
+# udev_read_database(domain,[`optional'])
+#
+define(`udev_read_database',`
+requires_block_template(udev_read_database_depend,$2)
+allow $1 udev_tdb_t:file { getattr read };
+')
+
+define(`udev_read_database_depend',`
+type udev_tdb_t;
+class file { getattr read };
+')
diff --git a/refpolicy/policy/modules/system/udev.te b/refpolicy/policy/modules/system/udev.te
new file mode 100644
index 00000000..432f0892
--- /dev/null
+++ b/refpolicy/policy/modules/system/udev.te
@@ -0,0 +1,148 @@
+# Copyright (C) 2005 Tresys Technology, LLC
+
+type udev_t; # nscd_client_domain, privmem, privfd, privowner
+type udev_exec_t;
+type udev_helper_exec_t;
+domain_make_daemon_domain(udev_t,udev_exec_t)
+domain_make_entrypoint_file(udev_t,udev_helper_exec_t)
+
+type udev_etc_t alias etc_udev_t;
+files_make_file(udev_etc_t)
+
+type udev_tbl_t alias udev_tdb_t;
+files_make_file(udev_tbl_t)
+
+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
+devices_create_dev_entry(udev_t,udev_tbl_t,file)
+allow udev_t udev_tbl_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_kernel_fd(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_av(udev_t)
+kernel_compute_create(udev_t)
+kernel_compute_relabel(udev_t)
+kernel_compute_reachable_user_contexts(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)
+
+modutils_insmod_transition(udev_t)
+
+logging_send_system_log_message(udev_t)
+
+optional_policy(`consoletype.te', `
+consoletype_execute(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;
+# TODO: Need macro for reading daemon runtime data.
+allow udev_t initrc_var_run_t:file r_file_perms;
+
+# Sysctl
+# The following probably should be added to the kernel_read_device_sysctl() macro
+#allow udev_t sysctl_dev_t:dir search;
+
+# Devices
+allow udev_t device_t:dir { relabelfrom relabelto create_dir_perms };
+file_type_auto_trans(udev_t, device_t, udev_tbl_t, file)
+
+# Mount
+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 };
+allow udev_t device_t:sock_file create_file_perms;
+allow udev_t device_t:lnk_file create_lnk_perms;
+allow udev_t { device_t device_type }:{ chr_file blk_file } { relabelfrom relabelto create_file_perms };
+
+# Dontaudits
+dontaudit udev_t initrc_var_run_t:file write;
+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;
+
+domain_auto_trans(initrc_t, udev_exec_t, udev_t)
+domain_auto_trans(kernel_t, udev_exec_t, udev_t)
+domain_auto_trans(udev_t, restorecon_exec_t, restorecon_t)
+domain_auto_trans(udev_t, ifconfig_exec_t, ifconfig_t)
+
+allow udev_t kernel_t:unix_dgram_socket { sendto ioctl read write };
+
+dbusd_client(system, udev)
+
+# Ifdefs
+ifdef(`distro_redhat', `
+allow udev_t tmpfs_t:dir rw_dir_perms;
+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 create_file_perms };
+allow udev_t tmpfs_t:dir search;
+
+# for arping used for static IP addresses on PCMCIA ethernet
+domain_auto_trans(udev_t, netutils_exec_t, netutils_t)
+') dnl end ifdef distro_redhat
+
+ifdef(`hide_broken_symptoms', `
+dontaudit restorecon_t udev_t:unix_dgram_socket { read write };
+dontaudit ifconfig_t udev_t:unix_dgram_socket { read write };
+')
+
+ifdef(`xdm.te', `
+allow udev_t xdm_var_run_t:file { getattr read };
+')
+
+ifdef(`hotplug.te', `
+r_dir_file(udev_t, hotplug_etc_t)
+')
+
+ifdef(`pamconsole.te', `
+allow udev_t pam_var_console_t:dir search;
+allow udev_t pam_var_console_t:file { getattr read };
+domain_auto_trans(udev_t, pam_console_exec_t, pam_console_t)
+')
+
+ifdef(`dhcpc.te', `
+domain_auto_trans(udev_t, dhcpc_exec_t, dhcpc_t)
+')
+') dnl endif TODO