| commit | c01ac10fd7a442ab9371f09088c2067f48b5127b | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Thu Jan 28 21:15:29 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Jan 28 21:15:29 2021 +0000 |
| tree | 73f31f9e69e4a544acb83ccdeb52603283c6c324 | |
| parent | 883de3cd2e990ee6ba9c87adc1ed5ccd2443c8b5 [diff] | |
| parent | da0d8d82cc3da555488e73592c45c186394e013e [diff] |
Merge "Revert "Revert "Let crash_dump read /proc/$PID."""
diff --git a/public/crash_dump.te b/public/crash_dump.te index 2bb104a..c512b45 100644 --- a/public/crash_dump.te +++ b/public/crash_dump.te
@@ -21,6 +21,9 @@ # 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;