| Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 1 | # mediacodec - audio and video codecs live here |
| 2 | type mediacodec, domain; |
| 3 | type mediacodec_exec, exec_type, file_type; |
| 4 | |
| 5 | typeattribute mediacodec mlstrustedsubject; |
| 6 | |
| Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 7 | binder_use(mediacodec) |
| 8 | binder_call(mediacodec, binderservicedomain) |
| 9 | binder_call(mediacodec, appdomain) |
| 10 | binder_service(mediacodec) |
| 11 | |
| William Roberts | 606d2fd | 2017-01-19 13:23:52 -0800 | [diff] [blame] | 12 | add_service(mediacodec, mediacodec_service) |
| Ray Essick | 3918540 | 2017-01-24 12:53:45 -0800 | [diff] [blame] | 13 | allow mediacodec mediametrics_service:service_manager find; |
| Marco Nelissen | 6c53b23 | 2016-02-27 21:25:03 -0800 | [diff] [blame] | 14 | allow mediacodec surfaceflinger_service:service_manager find; |
| Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 15 | allow mediacodec gpu_device:chr_file rw_file_perms; |
| 16 | allow mediacodec video_device:chr_file rw_file_perms; |
| Robb Glasser | b7a76e9 | 2016-02-11 10:33:57 -0800 | [diff] [blame] | 17 | allow mediacodec video_device:dir search; |
| Marco Nelissen | ebf79f8 | 2016-02-24 10:03:25 -0800 | [diff] [blame] | 18 | allow mediacodec ion_device:chr_file rw_file_perms; |
| Chia-I Wu | dd958e5 | 2016-10-12 06:38:00 -0700 | [diff] [blame] | 19 | allow mediacodec hal_graphics_allocator:fd use; |
| Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 20 | |
| Pawin Vongmasa | 5559d21 | 2017-01-24 02:45:16 -0800 | [diff] [blame] | 21 | # hidl access |
| 22 | hwbinder_use(mediacodec) |
| 23 | hwallocator_use(mediacodec) |
| 24 | allow mediacodec system_file:dir { open read }; |
| 25 | |
| Marco Nelissen | c3ba2e5 | 2016-02-02 16:10:37 -0800 | [diff] [blame] | 26 | ### |
| 27 | ### neverallow rules |
| 28 | ### |
| 29 | |
| 30 | # mediacodec should never execute any executable without a |
| 31 | # domain transition |
| 32 | neverallow mediacodec { file_type fs_type }:file execute_no_trans; |
| 33 | |
| Nick Kralevich | 38c1282 | 2017-02-16 12:34:51 -0800 | [diff] [blame] | 34 | # The goal of the mediaserver split is to place media processing code into |
| 35 | # restrictive sandboxes with limited responsibilities and thus limited |
| 36 | # permissions. Example: Audioserver is only responsible for controlling audio |
| 37 | # hardware and processing audio content. Cameraserver does the same for camera |
| 38 | # hardware/content. Etc. |
| 39 | # |
| 40 | # Media processing code is inherently risky and thus should have limited |
| 41 | # permissions and be isolated from the rest of the system and network. |
| 42 | # Lengthier explanation here: |
| 43 | # https://android-developers.googleblog.com/2016/05/hardening-media-stack.html |
| Jeff Vander Stoep | 21f77f6 | 2016-04-22 15:34:40 -0700 | [diff] [blame] | 44 | neverallow mediacodec domain:{ tcp_socket udp_socket rawip_socket } *; |