5e37271df8
system_file_type is a new attribute used to identify files which exist on the /system partition. It's useful for allow rules in init, which are based off of a blacklist of writable files. Additionally, it's useful for constructing neverallow rules to prevent regressions. Additionally, add commented out tests which enforce that all files on the /system partition have the system_file_type attribute. These tests will be uncommented in a future change after all the device-specific policies are cleaned up. Test: Device boots and no obvious problems. Change-Id: Id9bae6625f042594c8eba74ca712abb09702c1e5
16 lines
603 B
Text
16 lines
603 B
Text
# preopt2cachename executable
|
|
#
|
|
# This executable translates names from the preopted versions the build system
|
|
# creates to the names the runtime expects in the data directory.
|
|
type preopt2cachename, domain;
|
|
type preopt2cachename_exec, system_file_type, exec_type, file_type;
|
|
|
|
# Allow write to stdout.
|
|
allow preopt2cachename cppreopts:fd use;
|
|
allow preopt2cachename cppreopts:fifo_file { getattr read write };
|
|
|
|
# Allow write to logcat.
|
|
allow preopt2cachename proc_net_type:file r_file_perms;
|
|
userdebug_or_eng(`
|
|
auditallow preopt2cachename proc_net_type:{ dir file lnk_file } { getattr open read };
|
|
')
|