2016-02-03 01:10:37 +01:00
|
|
|
# mediacodec - audio and video codecs live here
|
|
|
|
type mediacodec, domain;
|
|
|
|
type mediacodec_exec, exec_type, file_type;
|
|
|
|
|
|
|
|
typeattribute mediacodec mlstrustedsubject;
|
|
|
|
|
|
|
|
binder_use(mediacodec)
|
|
|
|
binder_call(mediacodec, binderservicedomain)
|
|
|
|
binder_call(mediacodec, appdomain)
|
|
|
|
binder_service(mediacodec)
|
|
|
|
|
2017-01-19 22:23:52 +01:00
|
|
|
add_service(mediacodec, mediacodec_service)
|
2017-01-24 21:53:45 +01:00
|
|
|
allow mediacodec mediametrics_service:service_manager find;
|
2016-02-28 06:25:03 +01:00
|
|
|
allow mediacodec surfaceflinger_service:service_manager find;
|
2016-02-03 01:10:37 +01:00
|
|
|
allow mediacodec gpu_device:chr_file rw_file_perms;
|
|
|
|
allow mediacodec video_device:chr_file rw_file_perms;
|
2016-02-11 19:33:57 +01:00
|
|
|
allow mediacodec video_device:dir search;
|
2016-02-24 19:03:25 +01:00
|
|
|
allow mediacodec ion_device:chr_file rw_file_perms;
|
2016-10-12 15:38:00 +02:00
|
|
|
allow mediacodec hal_graphics_allocator:fd use;
|
2017-02-25 02:45:11 +01:00
|
|
|
allow mediacodec hal_camera:fd use;
|
|
|
|
|
2016-02-03 01:10:37 +01:00
|
|
|
|
2017-01-24 11:45:16 +01:00
|
|
|
# hidl access
|
|
|
|
hwbinder_use(mediacodec)
|
|
|
|
hwallocator_use(mediacodec)
|
|
|
|
allow mediacodec system_file:dir { open read };
|
|
|
|
|
2016-02-03 01:10:37 +01:00
|
|
|
###
|
|
|
|
### neverallow rules
|
|
|
|
###
|
|
|
|
|
|
|
|
# mediacodec should never execute any executable without a
|
|
|
|
# domain transition
|
|
|
|
neverallow mediacodec { file_type fs_type }:file execute_no_trans;
|
|
|
|
|
2017-02-16 21:34:51 +01:00
|
|
|
# The goal of the mediaserver split is to place media processing code into
|
|
|
|
# restrictive sandboxes with limited responsibilities and thus limited
|
|
|
|
# permissions. Example: Audioserver is only responsible for controlling audio
|
|
|
|
# hardware and processing audio content. Cameraserver does the same for camera
|
|
|
|
# hardware/content. Etc.
|
|
|
|
#
|
|
|
|
# Media processing code is inherently risky and thus should have limited
|
|
|
|
# permissions and be isolated from the rest of the system and network.
|
|
|
|
# Lengthier explanation here:
|
|
|
|
# https://android-developers.googleblog.com/2016/05/hardening-media-stack.html
|
2016-04-23 00:34:40 +02:00
|
|
|
neverallow mediacodec domain:{ tcp_socket udp_socket rawip_socket } *;
|