Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 1 | # mediacodec - audio and video codecs live here |
| 2 | type mediacodec, domain; |
Sandeep Patil | 2ee66e7 | 2017-04-10 13:03:28 -0700 | [diff] [blame] | 3 | type mediacodec_exec, exec_type, vendor_file_type, file_type; |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 4 | |
| 5 | typeattribute mediacodec mlstrustedsubject; |
| 6 | |
Steven Moreland | d3ce5dc | 2017-03-22 09:16:49 -0700 | [diff] [blame] | 7 | # TODO(b/36375899) attributize this domain appropriately as hal_omx |
| 8 | # and use macro hal_server_domain |
| 9 | get_prop(mediacodec, hwservicemanager_prop) |
| 10 | |
Steven Moreland | d64561f | 2017-05-02 08:57:45 -0700 | [diff] [blame] | 11 | # can route /dev/binder traffic to /dev/vndbinder |
| 12 | vndbinder_use(mediacodec) |
| 13 | |
Iliyan Malchev | 56cdcd4 | 2017-04-11 20:01:51 -0700 | [diff] [blame] | 14 | not_full_treble(` |
| 15 | # on legacy devices, continue to allow /dev/binder traffic |
| 16 | binder_use(mediacodec) |
Martijn Coenen | fc80f48 | 2017-04-15 08:09:08 -0700 | [diff] [blame] | 17 | binder_service(mediacodec) |
| 18 | add_service(mediacodec, mediacodec_service) |
| 19 | allow mediacodec mediametrics_service:service_manager find; |
| 20 | allow mediacodec surfaceflinger_service:service_manager find; |
Iliyan Malchev | 56cdcd4 | 2017-04-11 20:01:51 -0700 | [diff] [blame] | 21 | ') |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 22 | binder_call(mediacodec, binderservicedomain) |
| 23 | binder_call(mediacodec, appdomain) |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 24 | |
Martijn Coenen | b4d701b | 2017-04-15 09:47:17 -0700 | [diff] [blame] | 25 | # Allow mediacodec access to composer sync fences |
| 26 | allow mediacodec hal_graphics_composer:fd use; |
| 27 | |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 28 | allow mediacodec gpu_device:chr_file rw_file_perms; |
| 29 | allow mediacodec video_device:chr_file rw_file_perms; |
Robb Glasser | b7a76e9 | 2016-02-11 10:33:57 -0800 | [diff] [blame] | 30 | allow mediacodec video_device:dir search; |
Marco Nelissen | ebf79f8 | 2016-02-24 10:03:25 -0800 | [diff] [blame] | 31 | allow mediacodec ion_device:chr_file rw_file_perms; |
Yin-Chia Yeh | 6824dfd | 2017-02-24 17:45:11 -0800 | [diff] [blame] | 32 | allow mediacodec hal_camera:fd use; |
| 33 | |
Josh Gao | 12b4750 | 2017-03-06 18:13:05 -0800 | [diff] [blame] | 34 | crash_dump_fallback(mediacodec) |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 35 | |
Pawin Vongmasa | 19a74ec | 2018-03-28 21:09:23 -0700 | [diff] [blame] | 36 | add_hwservice(mediacodec, hal_codec2_hwservice) |
Alex Klyubin | 53656c1 | 2017-04-13 19:05:27 -0700 | [diff] [blame] | 37 | add_hwservice(mediacodec, hal_omx_hwservice) |
| 38 | |
Alex Klyubin | 7cda44f | 2017-03-21 14:28:53 -0700 | [diff] [blame] | 39 | hal_client_domain(mediacodec, hal_allocator) |
Pawin Vongmasa | 5559d21 | 2017-01-24 02:45:16 -0800 | [diff] [blame] | 40 | |
Dan Cashman | 91d398d | 2017-09-26 12:58:29 -0700 | [diff] [blame] | 41 | hal_client_domain(mediacodec, hal_cas) |
| 42 | |
Mathias Agopian | 9901ff7 | 2017-03-29 19:08:34 -0700 | [diff] [blame] | 43 | # allocate and use graphic buffers |
| 44 | hal_client_domain(mediacodec, hal_graphics_allocator) |
| 45 | |
Jiwen 'Steve' Cai | eeb0d38 | 2017-03-09 18:44:07 -0800 | [diff] [blame] | 46 | # Recieve gralloc buffer FDs from bufferhubd. Note that mediacodec never |
| 47 | # directly connects to bufferhubd via PDX. Instead, a VR app acts as a bridge |
| 48 | # between those two: it talks to mediacodec via Binder and talks to bufferhubd |
Alex Vakulenko | 41daa7f | 2017-05-01 13:01:44 -0700 | [diff] [blame] | 49 | # via PDX. Thus, there is no need to use pdx_client macro. |
Jiwen 'Steve' Cai | eeb0d38 | 2017-03-09 18:44:07 -0800 | [diff] [blame] | 50 | allow mediacodec bufferhubd:fd use; |
| 51 | |
Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 52 | ### |
| 53 | ### neverallow rules |
| 54 | ### |
| 55 | |
| 56 | # mediacodec should never execute any executable without a |
| 57 | # domain transition |
| 58 | neverallow mediacodec { file_type fs_type }:file execute_no_trans; |
| 59 | |
Nick Kralevich | 38c1282 | 2017-02-16 12:34:51 -0800 | [diff] [blame] | 60 | # The goal of the mediaserver split is to place media processing code into |
| 61 | # restrictive sandboxes with limited responsibilities and thus limited |
| 62 | # permissions. Example: Audioserver is only responsible for controlling audio |
| 63 | # hardware and processing audio content. Cameraserver does the same for camera |
| 64 | # hardware/content. Etc. |
| 65 | # |
| 66 | # Media processing code is inherently risky and thus should have limited |
| 67 | # permissions and be isolated from the rest of the system and network. |
| 68 | # Lengthier explanation here: |
| 69 | # https://android-developers.googleblog.com/2016/05/hardening-media-stack.html |
Jeff Vander Stoep | 21f77f6 | 2016-04-22 15:34:40 -0700 | [diff] [blame] | 70 | neverallow mediacodec domain:{ tcp_socket udp_socket rawip_socket } *; |