| # debugger interface |
| type tombstoned, domain, mlstrustedsubject; |
| type tombstoned_exec, exec_type, file_type; |
| |
| # Write to arbitrary pipes given to us. |
| allow tombstoned domain:fd use; |
| allow tombstoned domain:fifo_file write; |
| |
| allow tombstoned domain:dir r_dir_perms; |
| allow tombstoned domain:file r_file_perms; |
| allow tombstoned tombstone_data_file:dir rw_dir_perms; |
| allow tombstoned tombstone_data_file:file create_file_perms; |
| allow tombstoned anr_data_file:file { getattr append }; |
| |
| # TODO: Find out why this is happening. |
| allow tombstoned anr_data_file:file write; |
| auditallow tombstoned anr_data_file:file write; |