1ec3d1a
## <summary>dnsmasq DNS forwarder and DHCP server</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute dnsmasq server in the dnsmasq domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_exec_t, dnsmasq_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, dnsmasq_exec_t, dnsmasq_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##  Execute dnsmasq server in the caller domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##  <summary>
1ec3d1a
##  Domain allowed to transition.
1ec3d1a
##  </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_exec',`
1ec3d1a
    gen_require(`
1ec3d1a
        type dnsmasq_exec_t;
1ec3d1a
    ')
1ec3d1a
1ec3d1a
    can_exec($1, dnsmasq_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute the dnsmasq init script in the init script domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_initrc_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_initrc_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, dnsmasq_initrc_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute dnsmasq server in the dnsmasq domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_systemctl',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_unit_file_t;
1ec3d1a
		type dnsmasq_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	systemd_exec_systemctl($1)
1ec3d1a
	allow $1 dnsmasq_unit_file_t:file read_file_perms;
1ec3d1a
	allow $1 dnsmasq_unit_file_t:service manage_service_perms;
1ec3d1a
1ec3d1a
	ps_process_pattern($1, dnsmasq_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Send dnsmasq a signal
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_signal',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 dnsmasq_t:process signal;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Send dnsmasq a signull
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_signull',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 dnsmasq_t:process signull;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Send dnsmasq a kill signal.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_kill',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 dnsmasq_t:process sigkill;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read dnsmasq config files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
Chris PeBenito 9401ae1
## <summary>
Chris PeBenito 9401ae1
##	Domain allowed access.
Chris PeBenito 9401ae1
## </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_read_config',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_etc_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	read_files_pattern($1, dnsmasq_etc_t, dnsmasq_etc_t)
1ec3d1a
	files_search_etc($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Write to dnsmasq config files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
Chris PeBenito 9401ae1
## <summary>
Chris PeBenito 9401ae1
##	Domain allowed access.
Chris PeBenito 9401ae1
## </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_write_config',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_etc_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	write_files_pattern($1, dnsmasq_etc_t, dnsmasq_etc_t)
1ec3d1a
	files_search_etc($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Delete dnsmasq pid files
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_delete_pid_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_pids($1)
1ec3d1a
	delete_files_pattern($1, dnsmasq_var_run_t, dnsmasq_var_run_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
bcb07b1
##	Manage dnsmasq pid files
bcb07b1
## </summary>
bcb07b1
## <param name="domain">
bcb07b1
##	<summary>
bcb07b1
##	Domain allowed access.
bcb07b1
##	</summary>
bcb07b1
## </param>
bcb07b1
#
bcb07b1
interface(`dnsmasq_manage_pid_files',`
bcb07b1
	gen_require(`
bcb07b1
		type dnsmasq_var_run_t;
bcb07b1
	')
bcb07b1
bcb07b1
	files_search_pids($1)
bcb07b1
	manage_files_pattern($1, dnsmasq_var_run_t, dnsmasq_var_run_t)
bcb07b1
')
bcb07b1
bcb07b1
########################################
bcb07b1
## <summary>
1ec3d1a
##	Read dnsmasq pid files
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_read_pid_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_pids($1)
1ec3d1a
	read_files_pattern($1, dnsmasq_var_run_t, dnsmasq_var_run_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create dnsmasq pid dirs
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_create_pid_dirs',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_pids($1)
1ec3d1a
	create_dirs_pattern($1, dnsmasq_var_run_t, dnsmasq_var_run_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Transition to dnsmasq named content
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##      Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="private type">
1ec3d1a
##	<summary>
1ec3d1a
##	The type of the directory for the object to be created.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_filetrans_named_content_fromdir',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	filetrans_pattern($1, $2, dnsmasq_var_run_t, dir, "network")
1ec3d1a
	filetrans_pattern($1, $2, dnsmasq_var_run_t, file, "dnsmasq.pid")
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Transition to dnsmasq named content
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##      Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_filetrans_named_content',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_pid_filetrans($1, dnsmasq_var_run_t, dir, "network")
1ec3d1a
	files_pid_filetrans($1, dnsmasq_var_run_t, file, "dnsmasq.pid")
1ec3d1a
	virt_pid_filetrans($1, dnsmasq_var_run_t, file, "network")
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate
1ec3d1a
##	an dnsmasq environment
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	The role to be allowed to manage the dnsmasq domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`dnsmasq_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type dnsmasq_t, dnsmasq_lease_t, dnsmasq_var_run_t;
1ec3d1a
		type dnsmasq_initrc_exec_t;
1ec3d1a
		type dnsmasq_unit_file_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 dnsmasq_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, dnsmasq_t)
1ec3d1a
	tunable_policy(`deny_ptrace',`',`
1ec3d1a
		allow $1 dnsmasq_t:process ptrace;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, dnsmasq_initrc_exec_t)
1ec3d1a
	domain_system_change_exemption($1)
1ec3d1a
	role_transition $2 dnsmasq_initrc_exec_t system_r;
1ec3d1a
	allow $2 system_r;
1ec3d1a
1ec3d1a
	files_list_var_lib($1)
1ec3d1a
	admin_pattern($1, dnsmasq_lease_t)
1ec3d1a
1ec3d1a
	files_list_pids($1)
1ec3d1a
	admin_pattern($1, dnsmasq_var_run_t)
1ec3d1a
1ec3d1a
	dnsmasq_systemctl($1)
1ec3d1a
	admin_pattern($1, dnsmasq_unit_file_t)
1ec3d1a
	allow $1 dnsmasq_unit_file_t:service all_service_perms;
1ec3d1a
')