## <summary>Libvirt virtualization API</summary>

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

## <summary>

##	Creates types and rules for a basic

##	qemu process domain.

## </summary>

## <param name="prefix">

##	<summary>

##	Prefix for the domain.

##	</summary>

## </param>

#

template(`virt_domain_template',`

	gen_require(`

		attribute virt_image_type, virt_domain;

		attribute virt_tmpfs_type;

		attribute virt_ptynode;

		type qemu_exec_t;

	')

	type $1_t, virt_domain;

	application_domain($1_t, qemu_exec_t)

	domain_user_exemption_target($1_t)

	mls_rangetrans_target($1_t)

	mcs_constrained($1_t)

	role system_r types $1_t;

	type $1_devpts_t, virt_ptynode;

	term_pty($1_devpts_t)

	kernel_read_system_state($1_t)

	auth_read_passwd($1_t)

	logging_send_syslog_msg($1_t)

	allow $1_t $1_devpts_t:chr_file { rw_chr_file_perms setattr_chr_file_perms };

	term_create_pty($1_t, $1_devpts_t)

')

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

## <summary>

##	Make the specified type usable as a virt image

## </summary>

## <param name="type">

##	<summary>

##	Type to be used as a virtual image

##	</summary>

## </param>

#

interface(`virt_image',`

	gen_require(`

		attribute virt_image_type;

	')

	typeattribute $1 virt_image_type;

	files_type($1)

	# virt images can be assigned to blk devices

	dev_node($1)

')

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

## <summary>

##  Getattr on virt executable.

## </summary>

## <param name="domain">

##  <summary>

##  Domain allowed to transition.

##  </summary>

## </param>

#

interface(`virt_getattr_exec',`

    gen_require(`

        type virtd_exec_t;

    ')

	allow $1 virtd_exec_t:file getattr;

')

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

## <summary>

##	Execute a domain transition to run virt.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed to transition.

##	</summary>

## </param>

#

interface(`virt_domtrans',`

	gen_require(`

		type virtd_t, virtd_exec_t;

	')

	domtrans_pattern($1, virtd_exec_t, virtd_t)

')

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

## <summary>

##	Transition to virt_qmf.

## </summary>

## <param name="domain">

## <summary>

##	Domain allowed to transition.

## </summary>

## </param>

#

interface(`virt_domtrans_qmf',`

	gen_require(`

		type virt_qmf_t, virt_qmf_exec_t;

	')

	corecmd_search_bin($1)

	domtrans_pattern($1, virt_qmf_exec_t, virt_qmf_t)

')

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

## <summary>

##  Transition to virt_bridgehelper.

## </summary>

## <param name="domain">

## <summary>

##  Domain allowed to transition.

## </summary>

## </param>

interface(`virt_domtrans_bridgehelper',`

	gen_require(`

		type virt_bridgehelper_t, virt_bridgehelper_exec_t;

	')

	domtrans_pattern($1, virt_bridgehelper_exec_t, virt_bridgehelper_t)

')

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

## <summary>

##	Connect to virt over a unix domain stream socket.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_stream_connect',`

	gen_require(`

		type virtd_t, virt_var_run_t;

	')

	files_search_pids($1)

	stream_connect_pattern($1, virt_var_run_t, virt_var_run_t, virtd_t)

')

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

## <summary>

##	Allow domain to attach to virt TUN devices

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_attach_tun_iface',`

	gen_require(`

		type virtd_t;

	')

	allow $1 virtd_t:tun_socket relabelfrom;

	allow $1 self:tun_socket relabelto;

')

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

## <summary>

##	Read virt config files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_config',`

	gen_require(`

		type virt_etc_t, virt_etc_rw_t;

	')

	files_search_etc($1)

	read_files_pattern($1, virt_etc_t, virt_etc_t)

	read_files_pattern($1, virt_etc_rw_t, virt_etc_rw_t)

	read_lnk_files_pattern($1, virt_etc_rw_t, virt_etc_rw_t)

')

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

## <summary>

##	manage virt config files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_config',`

	gen_require(`

		type virt_etc_t, virt_etc_rw_t;

	')

	files_search_etc($1)

	manage_files_pattern($1, virt_etc_t, virt_etc_t)

	manage_files_pattern($1, virt_etc_rw_t, virt_etc_rw_t)

	manage_lnk_files_pattern($1, virt_etc_rw_t, virt_etc_rw_t)

')

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

## <summary>

##	Allow domain to manage virt image files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_content',`

	gen_require(`

		type virt_content_t;

	')

	virt_search_lib($1)

	allow $1 virt_content_t:dir list_dir_perms;

	list_dirs_pattern($1, virt_content_t, virt_content_t)

	read_files_pattern($1, virt_content_t, virt_content_t)

	read_lnk_files_pattern($1, virt_content_t, virt_content_t)

	read_blk_files_pattern($1, virt_content_t, virt_content_t)

	tunable_policy(`virt_use_nfs',`

		fs_list_nfs($1)

		fs_read_nfs_files($1)

		fs_read_nfs_symlinks($1)

	')

	tunable_policy(`virt_use_samba',`

		fs_list_cifs($1)

		fs_read_cifs_files($1)

		fs_read_cifs_symlinks($1)

	')

')

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

## <summary>

##	Allow domain to write virt image files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_write_content',`

	gen_require(`

		type virt_content_t;

	')

	allow $1 virt_content_t:file write_file_perms;

')

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

## <summary>

##	Read virt PID files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_pid_files',`

	gen_require(`

		type virt_var_run_t;

	')

	files_search_pids($1)

	read_files_pattern($1, virt_var_run_t, virt_var_run_t)

')

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

## <summary>

##	Manage virt pid directories.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_pid_dirs',`

	gen_require(`

		type virt_var_run_t;

		type virt_lxc_var_run_t;

	')

	files_search_pids($1)

	manage_dirs_pattern($1, virt_var_run_t, virt_var_run_t)

	manage_dirs_pattern($1, virt_lxc_var_run_t, virt_lxc_var_run_t)

	virt_filetrans_named_content($1)

')

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

## <summary>

##	Manage virt pid files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_pid_files',`

	gen_require(`

		type virt_var_run_t;

		type virt_lxc_var_run_t;

	')

	files_search_pids($1)

	manage_files_pattern($1, virt_var_run_t, virt_var_run_t)

	manage_files_pattern($1, virt_lxc_var_run_t, virt_lxc_var_run_t)

')

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

## <summary>

##	Create objects in the pid directory

##	with a private type with a type transition.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <param name="file">

##	<summary>

##	Type to which the created node will be transitioned.

##	</summary>

## </param>

## <param name="class">

##	<summary>

##	Object class(es) (single or set including {}) for which this

##	the transition will occur.

##	</summary>

## </param>

## <param name="name" optional="true">

##	<summary>

##	The name of the object being created.

##	</summary>

## </param>

#

interface(`virt_pid_filetrans',`

	gen_require(`

		type virt_var_run_t;

	')

	filetrans_pattern($1, virt_var_run_t, $2, $3, $4)

')

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

## <summary>

##	Search virt lib directories.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_search_lib',`

	gen_require(`

		type virt_var_lib_t;

	')

	allow $1 virt_var_lib_t:dir search_dir_perms;

	files_search_var_lib($1)

')

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

## <summary>

##	Read virt lib files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_lib_files',`

	gen_require(`

		type virt_var_lib_t;

	')

	files_search_var_lib($1)

	read_files_pattern($1, virt_var_lib_t, virt_var_lib_t)

	read_lnk_files_pattern($1, virt_var_lib_t, virt_var_lib_t)

')

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

## <summary>

##	Dontaudit inherited read virt lib files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain to not audit.

##	</summary>

## </param>

#

interface(`virt_dontaudit_read_lib_files',`

	gen_require(`

		type virt_var_lib_t;

	')

	dontaudit $1 virt_var_lib_t:file read_inherited_file_perms;

')

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

## <summary>

##	Create, read, write, and delete

##	virt lib files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_lib_files',`

	gen_require(`

		type virt_var_lib_t;

	')

	files_search_var_lib($1)

	manage_files_pattern($1, virt_var_lib_t, virt_var_lib_t)

')

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

## <summary>

##	Allow the specified domain to read virt's log files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <rolecap/>

#

interface(`virt_read_log',`

	gen_require(`

		type virt_log_t;

	')

	logging_search_logs($1)

	read_files_pattern($1, virt_log_t, virt_log_t)

')

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

## <summary>

##	Allow the specified domain to append

##	virt log files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_append_log',`

	gen_require(`

		type virt_log_t;

	')

	logging_search_logs($1)

	append_files_pattern($1, virt_log_t, virt_log_t)

')

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

## <summary>

##	Allow domain to manage virt log files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_log',`

	gen_require(`

		type virt_log_t;

	')

	manage_dirs_pattern($1, virt_log_t, virt_log_t)

	manage_files_pattern($1, virt_log_t, virt_log_t)

	manage_lnk_files_pattern($1, virt_log_t, virt_log_t)

')

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

## <summary>

##	Allow domain to search virt image direcories

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_search_images',`

	gen_require(`

		attribute virt_image_type;

	')

	virt_search_lib($1)

	allow $1 virt_image_type:dir search_dir_perms;

')

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

## <summary>

##	Allow domain to read virt image files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_images',`

	gen_require(`

		type virt_var_lib_t;

		attribute virt_image_type;

	')

	virt_search_lib($1)

	allow $1 virt_image_type:dir list_dir_perms;

	list_dirs_pattern($1, virt_image_type, virt_image_type)

	read_files_pattern($1, virt_image_type, virt_image_type)

	read_lnk_files_pattern($1, virt_image_type, virt_image_type)

	read_blk_files_pattern($1, virt_image_type, virt_image_type)

	read_chr_files_pattern($1, virt_image_type, virt_image_type)

	tunable_policy(`virt_use_nfs',`

		fs_list_nfs($1)

		fs_read_nfs_files($1)

		fs_read_nfs_symlinks($1)

	')

	tunable_policy(`virt_use_samba',`

		fs_list_cifs($1)

		fs_read_cifs_files($1)

		fs_read_cifs_symlinks($1)

	')

')

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

## <summary>

##	Allow domain to read virt blk image files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_read_blk_images',`

	gen_require(`

		attribute virt_image_type;

	')

	read_blk_files_pattern($1, virt_image_type, virt_image_type)

')

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

## <summary>

##	Allow domain to read/write virt image chr files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_rw_chr_files',`

	gen_require(`

		attribute virt_image_type;

	')

	rw_chr_files_pattern($1, virt_image_type, virt_image_type)

')

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

## <summary>

##	Create, read, write, and delete

##	svirt cache files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_cache',`

	gen_require(`

		type virt_cache_t;

	')

	files_search_var($1)

	manage_dirs_pattern($1, virt_cache_t, virt_cache_t)

	manage_files_pattern($1, virt_cache_t, virt_cache_t)

	manage_lnk_files_pattern($1, virt_cache_t, virt_cache_t)

')

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

## <summary>

##	Allow domain to manage virt image files

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`virt_manage_images',`

	gen_require(`

		type virt_var_lib_t;

		attribute virt_image_type;

	')

	virt_search_lib($1)

	allow $1 virt_image_type:dir list_dir_perms;

	manage_dirs_pattern($1, virt_image_type, virt_image_type)

	manage_files_pattern($1, virt_image_type, virt_image_type)

	read_lnk_files_pattern($1, virt_image_type, virt_image_type)

	rw_blk_files_pattern($1, virt_image_type, virt_image_type)

	rw_chr_files_pattern($1, virt_image_type, virt_image_type)

')

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

## <summary>

##  Allow domain to manage virt image files

## </summary>

## <param name="domain">

##  <summary>

##  Domain allowed access.

##  </summary>

## </param>

#

interface(`virt_manage_default_image_type',`

    gen_require(`

        type virt_var_lib_t;

        type virt_image_t;

    ')

    virt_search_lib($1)

    manage_dirs_pattern($1, virt_image_t, virt_image_t)

    manage_files_pattern($1, virt_image_t, virt_image_t)

    read_lnk_files_pattern($1, virt_image_t, virt_image_t)

')

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

## <summary>

##	Execute virt server in the virt domain.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed to transition.

##	</summary>

## </param>

#

interface(`virt_systemctl',`

	gen_require(`

		type virtd_unit_file_t;

		type virtd_t;

	')

	systemd_exec_systemctl($1)

	allow $1 virtd_unit_file_t:file read_file_perms;

	allow $1 virtd_unit_file_t:service manage_service_perms;

	ps_process_pattern($1, virtd_t)

')

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

## <summary>

##	Ptrace the svirt domain

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed to transition.

##	</summary>

## </param>

#

interface(`virt_ptrace',`

	gen_require(`

		attribute virt_domain;

	')

	allow $1 virt_domain:process ptrace;

')

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

## <summary>

##	All of the rules required to administrate

##	an virt environment

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <param name="role">

##	<summary>

##	Role allowed access.