#
# Authors:  Dan Walsh <dwalsh@redhat.com> 
#
# Macros for javaplugin (java plugin) domains.
#
#
# javaplugin_domain(domain_prefix, role)
#
# Define a derived domain for the javaplugin program when executed by
# a web browser.  
#
# The type declaration for the executable type for this program is
# provided separately in domains/program/java.te. 
#
define(`javaplugin_domain',`
type $1_javaplugin_t, domain, privlog , nscd_client_domain, transitionbool;

# The user role is authorized for this domain.
role $2_r types $1_javaplugin_t;
domain_auto_trans($1_t, java_exec_t, $1_javaplugin_t)

allow $1_javaplugin_t sound_device_t:chr_file rw_file_perms;
# Unrestricted inheritance from the caller.
allow $1_t $1_javaplugin_t:process { noatsecure siginh rlimitinh };
allow $1_javaplugin_t $1_t:process signull;

can_unix_connect($1_javaplugin_t, $1_t)
allow $1_javaplugin_t $1_t:unix_stream_socket { read write };

# This domain is granted permissions common to most domains (including can_net)
can_network_client($1_javaplugin_t)
allow $1_javaplugin_t port_type:tcp_socket name_connect;
can_ypbind($1_javaplugin_t)
allow $1_javaplugin_t self:process { fork signal_perms getsched setsched };
allow $1_javaplugin_t self:fifo_file rw_file_perms;
allow $1_javaplugin_t etc_runtime_t:file { getattr read };
allow $1_javaplugin_t fs_t:filesystem getattr;
r_dir_file($1_javaplugin_t, { proc_t proc_net_t })
allow $1_javaplugin_t self:dir search;
allow $1_javaplugin_t self:lnk_file read;
allow $1_javaplugin_t self:file { getattr read };

read_sysctl($1_javaplugin_t)
allow $1_javaplugin_t sysctl_vm_t:dir search;

tmp_domain($1_javaplugin)
read_fonts($1_javaplugin_t, $2)
r_dir_file($1_javaplugin_t,{ usr_t etc_t })

# Search bin directory under javaplugin for javaplugin executable
allow $1_javaplugin_t bin_t:dir search;
can_exec($1_javaplugin_t, java_exec_t)

# libdeploy.so legacy
allow $1_javaplugin_t texrel_shlib_t:file execmod;
if (allow_execmem) {
allow $1_javaplugin_t self:process execmem;
}

# Connect to X server
x_client_domain($1_javaplugin, $2) 

uses_shlib($1_javaplugin_t)
read_locale($1_javaplugin_t)
rw_dir_file($1_javaplugin_t, $1_home_t)

if (allow_java_execstack) {
legacy_domain($1_javaplugin)
allow $1_javaplugin_t lib_t:file execute;
allow $1_javaplugin_t locale_t:file execute;
allow $1_javaplugin_t $1_javaplugin_tmp_t:file execute;
allow $1_javaplugin_t fonts_t:file execute;
allow $1_javaplugin_t sound_device_t:chr_file execute;
}

allow $1_javaplugin_t { random_device_t urandom_device_t }:chr_file ra_file_perms;

allow $1_javaplugin_t home_root_t:dir { getattr search };
file_type_auto_trans($1_javaplugin_t, $2_home_dir_t, $1_home_t)
allow $1_javaplugin_t $2_xauth_home_t:file { getattr read };
allow $1_javaplugin_t $2_tmp_t:sock_file write;
allow $1_javaplugin_t $2_t:fd use;

allow $1_javaplugin_t var_t:dir getattr;
allow $1_javaplugin_t var_lib_t:dir { getattr search };

dontaudit $1_javaplugin_t $2_devpts_t:chr_file { read write };
dontaudit $1_javaplugin_t sysadm_devpts_t:chr_file { read write };
dontaudit $1_javaplugin_t devtty_t:chr_file { read write };
dontaudit $1_javaplugin_t tmpfs_t:file { execute read write };
dontaudit $1_javaplugin_t $1_home_t:file { execute setattr };

')