| 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 | |
| 7 | init_daemon_domain(mediacodec) |
| 8 | |
| 9 | binder_use(mediacodec) |
| 10 | binder_call(mediacodec, binderservicedomain) |
| 11 | binder_call(mediacodec, appdomain) |
| 12 | binder_service(mediacodec) |
| 13 | |
| 14 | allow mediacodec mediacodec_service:service_manager add; |
| 15 | allow mediacodec gpu_device:chr_file rw_file_perms; |
| 16 | allow mediacodec video_device:chr_file rw_file_perms; |
| 17 | allow mediacodec ion_device:chr_file r_file_perms; |
| 18 | |
| 19 | ### |
| 20 | ### neverallow rules |
| 21 | ### |
| 22 | |
| 23 | # mediacodec should never execute any executable without a |
| 24 | # domain transition |
| 25 | neverallow mediacodec { file_type fs_type }:file execute_no_trans; |
| 26 | |
| 27 | # mediacodec should never need network access. Disallow all sockets |
| 28 | # other than those needed for normal system functions |
| 29 | neverallow mediacodec { domain -debuggerd -dumpstate -adbd -mediacodec -logd userdebug_or_eng(`-su')}:socket_class_set *; |