| # debugger interface |
| type tombstoned, domain, mlstrustedsubject; |
| type tombstoned_exec, system_file_type, 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 link }; |
| |
| # Changes for the new stack dumping mechanism. Each trace goes into a |
| # separate file, and these files are managed by tombstoned. |
| allow tombstoned anr_data_file:dir rw_dir_perms; |
| allow tombstoned anr_data_file:file { append create getattr open link unlink }; |