Merge "Let crash_dump read /proc/$PID."

This commit is contained in:
Josh Gao 2021-01-25 22:18:48 +00:00 committed by Gerrit Code Review
commit a3b3415bdd

View file

@ -21,6 +21,9 @@ allow crash_dump domain:fifo_file { read write };
# Append to pipes given to us by processes requesting dumps (e.g. dumpstate)
allow crash_dump domain:fifo_file { append };
# Read information from /proc/$PID.
allow crash_dump domain:process getattr;
r_dir_file(crash_dump, domain)
allow crash_dump exec_type:file r_file_perms;