1# debugger interface
2type tombstoned, domain, mlstrustedsubject;
3type tombstoned_exec, exec_type, file_type;
4
5# Write to arbitrary pipes given to us.
6allow tombstoned domain:fd use;
7allow tombstoned domain:fifo_file write;
8
9allow tombstoned domain:dir r_dir_perms;
10allow tombstoned domain:file r_file_perms;
11allow tombstoned tombstone_data_file:dir rw_dir_perms;
12allow tombstoned tombstone_data_file:file create_file_perms;
13allow tombstoned anr_data_file:file { getattr append };
14
15# TODO: Find out why this is happening.
16allow tombstoned anr_data_file:file write;
17auditallow tombstoned anr_data_file:file write;
18