## <summary>

## Core policy for shells, and generic programs

## in /bin, /sbin, /usr/bin, and /usr/sbin.

## </summary>

## <required val="true">

##	Contains the base bin and sbin directory types

##	which need to be searched for the kernel to

##	run init.

## </required>

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

## <summary>

##	Create a aliased type to generic bin files.

## </summary>

## <desc>

##	

##	Create a aliased type to generic bin files.

##	

##	

##	This is added to support targeted policy.  Its

##	use should be limited.  It has no effect

##	on the strict policy.

##	

## </desc>

## <param name="domain">

##	Alias type for bin_t.

## </param>

interface(`corecmd_bin_alias',`

	ifdef(`targeted_policy',`

		gen_require(`

			type bin_t;

		')

		typealias bin_t alias $1;

	',`

		errprint(`Warning: $0($1) has no effect in strict policy.'__endline__)

	')

')

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

## <summary>

##	Make the shell an entrypoint for the specified domain.

## </summary>

## <param name="domain">

##	The domain for which the shell is an entrypoint.

## </param>

interface(`corecmd_shell_entry_type',`

	gen_require(`

		type shell_exec_t;

	')

	domain_entry_file($1,shell_exec_t)

')

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

#

# corecmd_search_bin(domain)

#

interface(`corecmd_search_bin',`

	gen_require(`

		type bin_t;

		class dir search;

	')

	allow $1 bin_t:dir search;

')

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

#

# corecmd_list_bin(domain)

#

interface(`corecmd_list_bin',`

	gen_require(`

		type bin_t;

		class dir r_dir_perms;

	')

	allow $1 bin_t:dir r_dir_perms;

')

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

## <summary>

##	Get the attributes of files in bin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_getattr_bin_file',`

	gen_require(`

		type bin_t;

		class file getattr;

	')

	allow $1 bin_t:file getattr;

')

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

## <summary>

##	Read files in bin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_bin_file',`

	gen_require(`

		type bin_t;

		class dir search;

		class file r_file_perms;

	')

	allow $1 bin_t:dir search;

	allow $1 bin_t:file r_file_perms;

')

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

## <summary>

##	Read symbolic links in bin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_bin_symlink',`

	gen_require(`

		type bin_t;

		class dir search;

		class lnk_file r_file_perms;

	')

	allow $1 bin_t:dir search;

	allow $1 bin_t:lnk_file r_file_perms;

')

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

## <summary>

##	Read pipes in bin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_bin_pipe',`

	gen_require(`

		type bin_t;

		class dir search;

		class fifo_file r_file_perms;

	')

	allow $1 bin_t:dir search;

	allow $1 bin_t:fifo_file r_file_perms;

')

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

## <summary>

##	Read named sockets in bin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_bin_socket',`

	gen_require(`

		type bin_t;

		class dir search;

		class sock_file r_file_perms;

	')

	allow $1 bin_t:dir search;

	allow $1 bin_t:sock_file r_file_perms;

')

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

#

# corecmd_exec_bin(domain)

#

interface(`corecmd_exec_bin',`

	gen_require(`

		type bin_t;

		class dir r_dir_perms;

		class lnk_file r_file_perms;

	')

	allow $1 bin_t:dir r_dir_perms;

	allow $1 bin_t:lnk_file r_file_perms;

	can_exec($1,bin_t)

')

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

## <summary>

##	Execute a file in a bin directory

##	in the specified domain.

## </summary>

## <desc>

##	

##	Execute a file in a bin directory

##	in the specified domain.  This allows

##	the specified domain to execute any file

##	on these filesystems in the specified

##	domain.  This is not suggested.

##	

##	

##	No interprocess communication (signals, pipes,

##	etc.) is provided by this interface since

##	the domains are not owned by this module.

##	

##	

##	This interface was added to handle

##	the ssh-agent policy.

##	

## </desc>

## <param name="domain">

##	Domain allowed access.

## </param>

## <param name="target_domain">

##	The type of the new process.

## </param>

#

interface(`corecmd_bin_domtrans',`

	gen_require(`

		type bin_t;

		class dir search;

		class lnk_file { getattr read };

	')

	allow $1 bin_t:dir search;

	allow $1 bin_t:lnk_file { getattr read };

	domain_auto_trans($1,bin_t,$2)

')

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

#

# corecmd_search_sbin(domain)

#

interface(`corecmd_search_sbin',`

	gen_require(`

		type sbin_t;

	')

	allow $1 sbin_t:dir search_dir_perms;

')

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

## <summary>

##	Do not audit attempts to search

##	sbin directories.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`corecmd_dontaudit_search_sbin',`

	gen_require(`

		type sbin_t;

	')

	dontaudit $1 sbin_t:dir search_dir_perms;

')

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

#

# corecmd_list_sbin(domain)

#

interface(`corecmd_list_sbin',`

	gen_require(`

		type sbin_t;

		class dir r_dir_perms;

	')

	allow $1 sbin_t:dir r_dir_perms;

')

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

#

# corecmd_getattr_sbin_file(domain)

#

interface(`corecmd_getattr_sbin_file',`

	gen_require(`

		type sbin_t;

		class file getattr;

	')

	allow $1 sbin_t:file getattr;

')

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

#

# corecmd_dontaudit_getattr_sbin_file(domain)

#

interface(`corecmd_dontaudit_getattr_sbin_file',`

	gen_require(`

		type sbin_t;

		class file getattr;

	')

	dontaudit $1 sbin_t:file getattr;

')

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

## <summary>

##	Read files in sbin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_sbin_file',`

	gen_require(`

		type sbin_t;

		class dir search;

		class file r_file_perms;

	')

	allow $1 sbin_t:dir search;

	allow $1 sbin_t:file r_file_perms;

')

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

## <summary>

##	Read symbolic links in sbin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_sbin_symlink',`

	gen_require(`

		type sbin_t;

		class dir search;

		class lnk_file r_file_perms;

	')

	allow $1 sbin_t:dir search;

	allow $1 sbin_t:lnk_file r_file_perms;

')

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

## <summary>

##	Read named pipes in sbin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_sbin_pipe',`

	gen_require(`

		type sbin_t;

		class dir search;

		class fifo_file r_file_perms;

	')

	allow $1 sbin_t:dir search;

	allow $1 sbin_t:fifo_file r_file_perms;

')

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

## <summary>

##	Read named sockets in sbin directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_read_sbin_socket',`

	gen_require(`

		type sbin_t;

		class dir search;

		class sock_file r_file_perms;

	')

	allow $1 sbin_t:dir search;

	allow $1 sbin_t:sock_file r_file_perms;

')

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

#

# corecmd_exec_sbin(domain)

#

interface(`corecmd_exec_sbin',`

	gen_require(`

		type sbin_t;

		class dir r_dir_perms;

		class lnk_file r_file_perms;

	')

	allow $1 sbin_t:dir r_dir_perms;

	allow $1 sbin_t:lnk_file r_file_perms;

	can_exec($1,sbin_t)

')

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

## <summary>

##	Execute a file in a sbin directory

##	in the specified domain.

## </summary>

## <desc>

##	

##	Execute a file in a sbin directory

##	in the specified domain.  This allows

##	the specified domain to execute any file

##	on these filesystems in the specified

##	domain.  This is not suggested.

##	

##	

##	No interprocess communication (signals, pipes,

##	etc.) is provided by this interface since

##	the domains are not owned by this module.

##	

##	

##	This interface was added to handle

##	the ssh-agent policy.

##	

## </desc>

## <param name="domain">

##	Domain allowed access.

## </param>

## <param name="target_domain">

##	The type of the new process.

## </param>

#

interface(`corecmd_sbin_domtrans',`

	gen_require(`

		type sbin_t;

		class dir search;

		class lnk_file { getattr read };

	')

	allow $1 sbin_t:dir search;

	allow $1 sbin_t:lnk_file { getattr read };

	domain_auto_trans($1,sbin_t,$2)

')

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

## <summary>

##	Check if a shell is executable (DAC-wise).

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`corecmd_check_exec_shell',`

	gen_require(`

		type bin_t, shell_exec_t;

	')

	allow $1 bin_t:dir r_dir_perms;

	allow $1 bin_t:lnk_file r_file_perms;

	allow $1 shell_exec_t:file execute;

')

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

#

# corecmd_exec_shell(domain)

#

interface(`corecmd_exec_shell',`

	gen_require(`

		type bin_t, shell_exec_t;

		class dir r_dir_perms;

		class lnk_file r_file_perms;

	')

	allow $1 bin_t:dir r_dir_perms;

	allow $1 bin_t:lnk_file r_file_perms;

	can_exec($1,shell_exec_t)

')

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

#

# corecmd_exec_ls(domain)

#

interface(`corecmd_exec_ls',`

	gen_require(`

		type bin_t, ls_exec_t;

		class dir r_dir_perms;

		class lnk_file r_file_perms;

	')

	allow $1 bin_t:dir r_dir_perms;

	allow $1 bin_t:lnk_file r_file_perms;

	can_exec($1,ls_exec_t)

')

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

## <summary>

##	Execute a shell in the target domain.  This

##	is an explicit transition, requiring the

##	caller to use setexeccon().

## </summary>

## <desc>

##	

##	Execute a shell in the target domain.  This

##	is an explicit transition, requiring the

##	caller to use setexeccon().

##	

##	

##	No interprocess communication (signals, pipes,

##	etc.) is provided by this interface since

##	the domains are not owned by this module.

##	

## </desc>

## <param name="domain">

##	Domain allowed access.

## </param>

## <param name="target_domain">

##	The type of the shell process.

## </param>

#

interface(`corecmd_shell_spec_domtrans',`

	gen_require(`

		type bin_t, shell_exec_t;

		class dir r_dir_perms;

		class lnk_file r_file_perms;

	')

	allow $1 bin_t:dir r_dir_perms;

	allow $1 bin_t:lnk_file r_file_perms;

	domain_trans($1,shell_exec_t,$2)

')

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

## <summary>

##	Execute a shell in the specified domain.

## </summary>

## <desc>

##	

##	Execute a shell in the 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="domain">

##	Domain allowed access.

## </param>

## <param name="target_domain">

##	The type of the shell process.

## </param>

#

interface(`corecmd_shell_domtrans',`

	gen_require(`

		type shell_exec_t;

	')

	corecmd_shell_spec_domtrans($1,$2)

	type_transition $1 shell_exec_t:process $2;

')

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

#

# corecmd_exec_chroot(domain)

#

interface(`corecmd_exec_chroot',`

	gen_require(`

		type chroot_exec_t;

		class capability sys_chroot;

	')

	can_exec($1,chroot_exec_t)

	allow $1 self:capability sys_chroot;

')