1ec3d1a
## <summary>APT advanced package tool.</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute apt programs in the apt domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t, apt_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_usr($1)
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, apt_exec_t, apt_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute apt programs in the apt domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	The role to allow the apt domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`apt_run',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	apt_domtrans($1)
1ec3d1a
	role $2 types apt_t;
1ec3d1a
	# TODO: likely have to add dpkg_run here.
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Inherit and use file descriptors from apt.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_use_fds',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 apt_t:fd use;
1ec3d1a
	# TODO: enforce dpkg_use_fd?
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Do not audit attempts to use file descriptors from apt.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain to not audit.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_dontaudit_use_fds',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	dontaudit $1 apt_t:fd use;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read from an unnamed apt pipe.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_read_pipes',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 apt_t:fifo_file read_fifo_file_perms;
1ec3d1a
	# TODO: enforce dpkg_read_pipes?
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read and write an unnamed apt pipe.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_rw_pipes',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 apt_t:fifo_file rw_file_perms;
1ec3d1a
	# TODO: enforce dpkg_rw_pipes?
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read from and write to apt ptys.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_use_ptys',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_devpts_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 apt_devpts_t:chr_file rw_term_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read the apt package cache.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_read_cache',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_var_cache_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var($1)
1ec3d1a
	allow $1 apt_var_cache_t:dir list_dir_perms;
1ec3d1a
	dontaudit $1 apt_var_cache_t:dir write;
1ec3d1a
	allow $1 apt_var_cache_t:file read_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read the apt package database.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_read_db',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	allow $1 apt_var_lib_t:dir list_dir_perms;
1ec3d1a
	read_files_pattern($1, apt_var_lib_t, apt_var_lib_t)
1ec3d1a
	read_lnk_files_pattern($1, apt_var_lib_t, apt_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete the apt package database.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_manage_db',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_files_pattern($1, apt_var_lib_t, apt_var_lib_t)
1ec3d1a
	# cjp: shouldnt this be manage_lnk_files?
1ec3d1a
	rw_lnk_files_pattern($1, apt_var_lib_t, apt_var_lib_t)
1ec3d1a
	delete_lnk_files_pattern($1, apt_var_lib_t, apt_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Do not audit attempts to create, read, 
1ec3d1a
##	write, and delete the apt package database.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain to not audit.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`apt_dontaudit_manage_db',`
1ec3d1a
	gen_require(`
1ec3d1a
		type apt_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	dontaudit $1 apt_var_lib_t:dir rw_dir_perms;
1ec3d1a
	dontaudit $1 apt_var_lib_t:file manage_file_perms;
1ec3d1a
	dontaudit $1 apt_var_lib_t:lnk_file manage_lnk_file_perms;
1ec3d1a
')