blob: b45385568345b9c85c622bff8b4ecb386140ac09 [file] [log] [blame]
Yi Jinbc24ba72018-01-22 14:00:46 -08001typeattribute incident_helper coredomain;
2
Nick Kralevich5e372712018-09-27 10:21:37 -07003type incident_helper_exec, system_file_type, exec_type, file_type;
Yi Jinbc24ba72018-01-22 14:00:46 -08004
5# switch to incident_helper domain for incident_helper command
6domain_auto_trans(incidentd, incident_helper_exec, incident_helper)
7
8# use pipe to transmit data from/to incidentd/incident_helper for parsing
Mike Made3a3e42018-12-03 10:35:40 -08009allow incident_helper { shell incident incidentd dumpstate }:fd use;
10allow incident_helper { shell incident incidentd dumpstate }:fifo_file { getattr read write };
Yi Jin76238cd2018-03-30 10:14:08 -070011allow incident_helper incidentd:unix_stream_socket { read write };
Yi Jinbc24ba72018-01-22 14:00:46 -080012
13# only allow incidentd and shell to call incident_helper
Paul Lawrence874e9742025-01-27 13:29:30 -080014neverallow { domain -incidentd -incident_helper -shell } incident_helper_exec:file { execute execute_no_trans };