| 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 | |
| 12 | allow mediacodec mediacodec_service:service_manager add; |
| 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 | |
| 21 | ### |
| 22 | ### neverallow rules |
| 23 | ### |
| 24 | |
| 25 | # mediacodec should never execute any executable without a |
| 26 | # domain transition |
| 27 | neverallow mediacodec { file_type fs_type }:file execute_no_trans; |
| 28 | |
| Jeff Vander Stoep | 21f77f6 | 2016-04-22 15:34:40 -0700 | [diff] [blame] | 29 | # mediacodec should never need network access. Disallow network sockets. |
| 30 | neverallow mediacodec domain:{ tcp_socket udp_socket rawip_socket } *; |