## <summary>System initialization programs (init and init scripts).</summary>

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

## <summary>

##	Create a file type used for init scripts.

## </summary>

## <desc>

##	

##	Create a file type used for init scripts.  It can not be

##	used in conjunction with init_script_domain(). These

##	script files are typically stored in the /etc/init.d directory.

##	

##	

##	Typically this is used to constrain what services an

##	admin can start/stop.  For example, a policy writer may want

##	to constrain a web administrator to only being able to

##	restart the web server, not other services.  This special type

##	will help address that goal.

##	

##	

##	This also makes the type usable for files; thus an

##	explicit call to files_type() is redundant.

##	

## </desc>

## <param name="script_file">

##	<summary>

##	Type to be used for a script file.

##	</summary>

## </param>

## <infoflow type="none"/>

#

interface(`init_script_file',`

	gen_require(`

		type initrc_t;

		attribute init_script_file_type, init_run_all_scripts_domain;

	')

	typeattribute $1 init_script_file_type;

	domain_entry_file(initrc_t, $1)

	domtrans_pattern(init_run_all_scripts_domain, $1, initrc_t)

')

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

## <summary>

##	Create a domain used for init scripts.

## </summary>

## <desc>

##	

##	Create a domain used for init scripts.

##	Can not be used in conjunction with

##	init_script_file().

##	

## </desc>

## <param name="domain">

##	<summary>

##	Type to be used as an init script domain.

##	</summary>

## </param>

## <param name="script_file">

##	<summary>

##	Type of the script file used as an entry point to this domain.

##	</summary>

## </param>

#

interface(`init_script_domain',`

	gen_require(`

		attribute init_script_domain_type, init_script_file_type;

		attribute init_run_all_scripts_domain;

	')

	typeattribute $1 init_script_domain_type;

	typeattribute $2 init_script_file_type;

	domain_type($1)

	domain_entry_file($1, $2)

	domtrans_pattern(init_run_all_scripts_domain, $2, $1)

')

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

## <summary>

##	Create a domain which can be started by init.

## </summary>

## <param name="domain">

##	<summary>

##	Type to be used as a domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

#

interface(`init_domain',`

	gen_require(`

		type init_t;

		role system_r;

	')

	domain_type($1)

	domain_entry_file($1,$2)

	role system_r types $1;

	domtrans_pattern(init_t,$2,$1)

	ifdef(`hide_broken_symptoms',`

		# RHEL4 systems seem to have a stray

		# fds open from the initrd

		ifdef(`distro_rhel4',`

			kernel_dontaudit_use_fds($1)

		')

	')

')

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

## <summary>

##	Create a domain which can be started by init,

##	with a range transition.

## </summary>

## <param name="domain">

##	<summary>

##	Type to be used as a domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

## <param name="range">

##	<summary>

##	Range for the domain.

##	</summary>

## </param>

#

interface(`init_ranged_domain',`

	gen_require(`

		type init_t;

	')

	init_domain($1,$2)

	ifdef(`enable_mcs',`

		range_transition init_t $2:process $3;

	')

	ifdef(`enable_mls',`

		range_transition init_t $2:process $3;

		mls_rangetrans_target($1)

	')

')

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

## <summary>

##	Create a domain for long running processes

##	(daemons/services) which are started by init scripts.

## </summary>

## <desc>

##	

##	Create a domain for long running processes (daemons/services)

##	which are started by init scripts. Short running processes

##	should use the init_system_domain() interface instead.

##	Typically all long running processes started by an init

##	script (usually in /etc/init.d) will need to use this

##	interface.

##	

##	

##	The types will be made usable as a domain and file, making

##	calls to domain_type() and files_type() redundant.

##	

##	

##	If the process must also run in a specific MLS/MCS level,

##	the init_ranged_daemon_domain() should be used instead.

##	

## </desc>

## <param name="domain">

##	<summary>

##	Type to be used as a daemon domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

## <infoflow type="read" weight="10"/>

#

interface(`init_daemon_domain',`

	gen_require(`

		attribute direct_run_init, direct_init, direct_init_entry;

		type initrc_t;

		role system_r;

		attribute daemon;

	')

	typeattribute $1 daemon;

	domain_type($1)

	domain_entry_file($1,$2)

	role system_r types $1;

	domtrans_pattern(initrc_t,$2,$1)

	# daemons started from init will

	# inherit fds from init for the console

	init_dontaudit_use_fds($1)

	term_dontaudit_use_console($1)

	# init script ptys are the stdin/out/err 

	# when using run_init

	init_use_script_ptys($1)

	ifdef(`direct_sysadm_daemon',`

		domtrans_pattern(direct_run_init,$2,$1)

		allow direct_run_init $1:process { noatsecure siginh rlimitinh };

		typeattribute $1 direct_init;

		typeattribute $2 direct_init_entry;

		userdom_dontaudit_use_user_terminals($1)

	')

	ifdef(`hide_broken_symptoms',`

		# RHEL4 systems seem to have a stray

		# fds open from the initrd

		ifdef(`distro_rhel4',`

			kernel_dontaudit_use_fds($1)

		')

	')

	optional_policy(`

		nscd_socket_use($1)

	')

')

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

## <summary>

##	Create a domain for long running processes

##	(daemons/services) which are started by init scripts,

##	running at a specified MLS/MCS range.

## </summary>

## <desc>

##	

##	Create a domain for long running processes (daemons/services)

##	which are started by init scripts, running at a specified

##	MLS/MCS range. Short running processes

##	should use the init_ranged_system_domain() interface instead.

##	Typically all long running processes started by an init

##	script (usually in /etc/init.d) will need to use this

##	interface if they need to run in a specific MLS/MCS range.

##	

##	

##	The types will be made usable as a domain and file, making

##	calls to domain_type() and files_type() redundant.

##	

##	

##	If the policy build option TYPE is standard (MLS and MCS disabled),

##	this interface has the same behavior as init_daemon_domain().

##	

## </desc>

## <param name="domain">

##	<summary>

##	Type to be used as a daemon domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

## <param name="range">

##	<summary>

##	MLS/MCS range for the domain.

##	</summary>

## </param>

## <infoflow type="read" weight="10"/>

#

interface(`init_ranged_daemon_domain',`

	gen_require(`

		type initrc_t;

	')

	init_daemon_domain($1,$2)

	ifdef(`enable_mcs',`

		range_transition initrc_t $2:process $3;

	')

	ifdef(`enable_mls',`

		range_transition initrc_t $2:process $3;

		mls_rangetrans_target($1)

	')

')

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

## <summary>

##	Create a domain for short running processes

##	which are started by init scripts.

## </summary>

## <desc>

##	

##	Create a domain for long running processes (daemons/services)

##	which are started by init scripts. These are generally applications that

##	are used to initialize the system during boot.

##	Long running processes

##	should use the init_daemon_domain() interface instead.

##	Typically all short running processes started by an init

##	script (usually in /etc/init.d) will need to use this

##	interface.  

##	

##	

##	The types will be made usable as a domain and file, making

##	calls to domain_type() and files_type() redundant.

##	

##	

##	If the process must also run in a specific MLS/MCS level,

##	the init_ranged_system_domain() should be used instead.

##	

## </desc>

## <param name="domain">

##	<summary>

##	Type to be used as a system domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

## <infoflow type="read" weight="10"/>

#

interface(`init_system_domain',`

	gen_require(`

		type initrc_t;

		role system_r;

	')

	application_domain($1,$2)

	role system_r types $1;

	domtrans_pattern(initrc_t,$2,$1)

	ifdef(`hide_broken_symptoms',`

		# RHEL4 systems seem to have a stray

		# fds open from the initrd

		ifdef(`distro_rhel4',`

			kernel_dontaudit_use_fds($1)

		')

	')

')

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

## <summary>

##	Create a domain for short running processes

##	which are started by init scripts.

## </summary>

## <desc>

##	

##	Create a domain for long running processes (daemons/services)

##	which are started by init scripts.

##	These are generally applications that

##	are used to initialize the system during boot.

##	Long running processes

##	should use the init_ranged_system_domain() interface instead.

##	Typically all short running processes started by an init

##	script (usually in /etc/init.d) will need to use this

##	interface if they need to run in a specific MLS/MCS range.

##	

##	

##	The types will be made usable as a domain and file, making

##	calls to domain_type() and files_type() redundant.

##	

##	

##	If the policy build option TYPE is standard (MLS and MCS disabled),

##	this interface has the same behavior as init_system_domain().

##	

## </desc>

## <param name="domain">

##	<summary>

##	Type to be used as a system domain.

##	</summary>

## </param>

## <param name="entry_point">

##	<summary>

##	Type of the program to be used as an entry point to this domain.

##	</summary>

## </param>

## <param name="range">

##	<summary>

##	Range for the domain.

##	</summary>

## </param>

## <infoflow type="read" weight="10"/>

#

interface(`init_ranged_system_domain',`

	gen_require(`

		type initrc_t;

	')

	init_system_domain($1,$2)

	ifdef(`enable_mcs',`

		range_transition initrc_t $2:process $3;

	')

	ifdef(`enable_mls',`

		range_transition initrc_t $2:process $3;

	')

')

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

## <summary>

##	Execute init (/sbin/init) with a domain transition.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_domtrans',`

	gen_require(`

		type init_t, init_exec_t;

	')

	domtrans_pattern($1, init_exec_t, init_t)

')

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

## <summary>

##	Execute the init program in the caller domain.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <rolecap/>

#

interface(`init_exec',`

	gen_require(`

		type init_exec_t;

	')

	corecmd_search_bin($1)

	can_exec($1, init_exec_t)

')

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

## <summary>

##	Get the process group of init.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_getpgid',`

	gen_require(`

		type init_t;

	')

	allow $1 init_t:process getpgid;

')

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

## <summary>

##	Send init a null signal.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_signull',`

	gen_require(`

		type init_t;

	')

	allow $1 init_t:process signull;

')

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

## <summary>

##	Send init a SIGCHLD signal.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_sigchld',`

	gen_require(`

		type init_t;

	')

	allow $1 init_t:process sigchld;

')

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

## <summary>

##	Inherit and use file descriptors from init.

## </summary>

## <desc>

##	

##	Allow the specified domain to inherit file

##	descriptors from the init program (process ID 1).

##	Typically the only file descriptors to be

##	inherited from init are for the console.

##	This does not allow the domain any access to

##	the object to which the file descriptors references.

##	

##	

##	Related interfaces:

##	

##	

##		
init_dontaudit_use_fds()

##		
term_dontaudit_use_console()

##		
term_use_console()

##	

##	

##	Example usage:

##	

##	

##	init_use_fds(mydomain_t)

##	term_use_console(mydomain_t)

##	

##	

##	Normally, processes that can inherit these file

##	descriptors (usually services) write messages to the

##	system log instead of writing to the console.

##	Therefore, in many cases, this access should

##	dontaudited instead.

##	

##	

##	Example dontaudit usage:

##	

##	

##	init_dontaudit_use_fds(mydomain_t)

##	term_dontaudit_use_console(mydomain_t)

##	

## </desc>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <infoflow type="read" weight="1"/>

#

interface(`init_use_fds',`

	gen_require(`

		type init_t;

	')

	allow $1 init_t:fd use;

')

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

## <summary>

##	Do not audit attempts to inherit file

##	descriptors from init.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_dontaudit_use_fds',`

	gen_require(`

		type init_t;

	')

	dontaudit $1 init_t:fd use;

')

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

## <summary>

##	Send UDP network traffic to init.  (Deprecated)

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_udp_send',`

	refpolicywarn(`$0($*) has been deprecated.')

')

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

## <summary>

##	Get the attributes of initctl.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_getattr_initctl',`

	gen_require(`

		type initctl_t;

	')

	allow $1 initctl_t:fifo_file getattr;

')

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

## <summary>

##	Do not audit attempts to get the

##	attributes of initctl.

## </summary>

## <param name="domain">

##	<summary>

##	Domain to not audit.

##	</summary>

## </param>

#

interface(`init_dontaudit_getattr_initctl',`

	gen_require(`

		type initctl_t;

	')

	dontaudit $1 initctl_t:fifo_file getattr;

')

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

## <summary>

##	Write to initctl.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_write_initctl',`

	gen_require(`

		type initctl_t;

	')

	dev_list_all_dev_nodes($1)

	allow $1 initctl_t:fifo_file write;

')

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

## <summary>

##	Use telinit (Read and write initctl).

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <rolecap/>

#

interface(`init_telinit',`

	gen_require(`

		type initctl_t;

	')

	dev_list_all_dev_nodes($1)

	allow $1 initctl_t:fifo_file rw_fifo_file_perms;

	init_exec($1)

	tunable_policy(`init_upstart',`

		gen_require(`

			type init_t;

		')

		# upstart uses a datagram socket instead of initctl pipe

		allow $1 self:unix_dgram_socket create_socket_perms;

		allow $1 init_t:unix_dgram_socket sendto;

	')

')

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

## <summary>

##	Read and write initctl.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_rw_initctl',`

	gen_require(`

		type initctl_t;

	')

	dev_list_all_dev_nodes($1)

	allow $1 initctl_t:fifo_file rw_fifo_file_perms;

')

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

## <summary>

##	Do not audit attempts to read and

##	write initctl.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_dontaudit_rw_initctl',`

	gen_require(`

		type initctl_t;

	')

	dontaudit $1 initctl_t:fifo_file { read write };

')

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

## <summary>

##	Make init scripts an entry point for

##	the specified domain.

## </summary>

## <param name="domain">

##	<summary>

##	The domain for which init scripts are an entrypoint.

##	</summary>

## </param>

# cjp: added for gentoo integrated run_init

interface(`init_script_file_entry_type',`

	gen_require(`

		type initrc_exec_t;

	')

	domain_entry_file($1, initrc_exec_t)

')

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

## <summary>

##	Execute init scripts with a specified domain transition.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_spec_domtrans_script',`

	gen_require(`

		type initrc_t, initrc_exec_t;

	')

	files_list_etc($1)

	spec_domtrans_pattern($1, initrc_exec_t, initrc_t)

	ifdef(`enable_mcs',`

		range_transition $1 initrc_exec_t:process s0;

	')

	ifdef(`enable_mls',`

		range_transition $1 initrc_exec_t:process s0 - mls_systemhigh;

	')

')

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

## <summary>

##	Execute init scripts with an automatic domain transition.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`init_domtrans_script',`

	gen_require(`

		type initrc_t, initrc_exec_t;

	')

	files_list_etc($1)

	domtrans_pattern($1, initrc_exec_t, initrc_t)

	ifdef(`enable_mcs',`

		range_transition $1 initrc_exec_t:process s0;

	')

	ifdef(`enable_mls',`

		range_transition $1 initrc_exec_t:process s0 - mls_systemhigh;

	')

')

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

## <summary>

##	Execute a init script in a specified domain.

## </summary>

## <desc>

##	

##	Execute a init script in a specified domain.

##	

##	

##	No interprocess communication (signals, pipes,

##	etc.) is provided by this interface since

##	the domains are not owned by this module.

##	

## </desc>

## <param name="source_domain">

##	<summary>

##	Domain to transition from.

##	</summary>

## </param>

## <param name="target_domain">

##	<summary>

##	Domain to transition to.

##	</summary>

## </param>

# cjp: added for gentoo integrated run_init

interface(`init_script_file_domtrans',`

	gen_require(`

		type initrc_exec_t;

	')

	files_list_etc($1)

	domain_auto_trans($1, initrc_exec_t,$2)

')

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

## <summary>

##	Transition to the init script domain

##	on a specified labeled init script.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <param name="init_script_file">

##	<summary>

##	Labeled init script file.

##	</summary>

## </param>

#

interface(`init_labeled_script_domtrans',`

	gen_require(`

		type initrc_t;

	')

	domtrans_pattern($1, $2, initrc_t)

	files_search_etc($1)

')

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

## <summary>

##	Transition to the init script domain

## 	for all labeled init script types

## </summary>

## <param name="domain">

## 	<summary>

##		Domain allowed access

##	</summary>

## </param>

#

interface(`init_all_labeled_script_domtrans',`

	gen_require(`

		attribute init_script_file_type;

	')