-policy_module(cod4, 0.1.30)
+policy_module(cod4, 0.1.31)
# File context for the executable process
type cod4_t;
corenet_udp_bind_generic_node(cod4_t)
read_files_pattern(cod4_t, cod4_ro_t, cod4_ro_t)
+list_dirs_pattern(cod4_t, cod4_ro_t, cod4_ro_t)
manage_files_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
manage_dirs_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
-policy_module(q3a, 0.1.23)
+policy_module(q3a, 0.1.24)
# File context for the executable process
type q3a_t;
corenet_udp_bind_generic_node(q3a_t)
read_files_pattern(q3a_t, q3a_ro_t, q3a_ro_t)
+list_dirs_pattern(q3a_t, q3a_ro_t, q3a_ro_t)
allow q3a_t q3a_ro_t:dir list_dir_perms;
allow q3a_t q3a_ro_t:file read_file_perms;
-policy_module(quake2, 0.1.9)
+policy_module(quake2, 0.1.10)
# File context for the executable process
type quake2_t;
corenet_udp_bind_generic_node(quake2_t)
read_files_pattern(quake2_t, quake2_ro_t, quake2_ro_t)
+list_dirs_pattern(quake2_t, quake2_ro_t, quake2_ro_t)
manage_files_pattern(quake2_t, quake2_rw_t, quake2_rw_t)
manage_dirs_pattern(quake2_t, quake2_rw_t, quake2_rw_t)
-policy_module(tesseract, 0.1.3)
+policy_module(tesseract, 0.1.4)
# File context for the executable process
type tesseract_t;
corenet_udp_bind_generic_node(tesseract_t)
read_files_pattern(tesseract_t, tesseract_ro_t, tesseract_ro_t)
+list_dirs_pattern(tesseract_t, tesseract_ro_t, tesseract_ro_t)
sysnet_dns_name_resolve(tesseract_t)
-policy_module(tf2, 0.1.22)
+policy_module(tf2, 0.1.23)
require {
type default_t;
corenet_tcp_bind_generic_node(tf2_t)
read_files_pattern(tf2_t, tf2_ro_t, tf2_ro_t)
+list_dirs_pattern(tf2_t, tf2_ro_t, tf2_ro_t)
manage_files_pattern(tf2_t, tf2_rw_t, tf2_rw_t)
manage_dirs_pattern(tf2_t, tf2_rw_t, tf2_rw_t)
-policy_module(ts3, 0.1.22)
+policy_module(ts3, 0.1.23)
# File context for the executable process
type ts3_t;
allow ts3_t self:tcp_socket { create_stream_socket_perms connected_stream_socket_perms };
read_files_pattern(ts3_t, ts3_ro_t, ts3_ro_t)
+list_dirs_pattern(ts3_t, ts3_ro_t, ts3_ro_t)
manage_files_pattern(ts3_t, ts3_rw_t, ts3_rw_t)
manage_dirs_pattern(ts3_t, ts3_rw_t, ts3_rw_t)
-policy_module(ut2004, 0.1.2)
+policy_module(ut2004, 0.1.3)
require {
type interwise_port_t;
corenet_udp_bind_generic_node(ut2004_t)
read_files_pattern(ut2004_t, ut2004_ro_t, ut2004_ro_t)
+list_dirs_pattern(ut2004_t, ut2004_ro_t, ut2004_ro_t)
manage_files_pattern(ut2004_t, ut2004_rw_t, ut2004_rw_t)
manage_dirs_pattern(ut2004_t, ut2004_rw_t, ut2004_rw_t)