1# mediametrics - daemon for collecting media.metrics data
2type mediametrics, domain;
3type mediametrics_exec, exec_type, file_type;
4
5
6binder_use(mediametrics)
7binder_call(mediametrics, binderservicedomain)
8binder_service(mediametrics)
9
10add_service(mediametrics, mediametrics_service)
11
12allow mediametrics system_server:fd use;
13
14r_dir_file(mediametrics, cgroup)
15allow mediametrics proc_meminfo:file r_file_perms;
16
17# allows interactions with dumpsys to GMScore
18allow mediametrics app_data_file:file write;
19
20# allow access to package manager for uid->apk mapping
21allow mediametrics package_native_service:service_manager find;
22
23###
24### neverallow rules
25###
26
27# mediametrics should never execute any executable without a
28# domain transition
29neverallow mediametrics { file_type fs_type }:file execute_no_trans;
30
31# The goal of the mediaserver split is to place media processing code into
32# restrictive sandboxes with limited responsibilities and thus limited
33# permissions. Example: Audioserver is only responsible for controlling audio
34# hardware and processing audio content. Cameraserver does the same for camera
35# hardware/content. Etc.
36#
37# Media processing code is inherently risky and thus should have limited
38# permissions and be isolated from the rest of the system and network.
39# Lengthier explanation here:
40# https://android-developers.googleblog.com/2016/05/hardening-media-stack.html
41neverallow mediametrics domain:{ tcp_socket udp_socket rawip_socket } *;
42