| Ernie Hsu | 3b4a36a | 2024-07-17 10:04:25 +0000 | [diff] [blame] | 1 | type mediacodec_google, domain; |
| 2 | type mediacodec_google_exec, exec_type, vendor_file_type, file_type; |
| 3 | |
| 4 | init_daemon_domain(mediacodec_google) |
| 5 | |
| Ernie Hsu | bbe999c | 2024-07-18 10:41:41 +0000 | [diff] [blame] | 6 | hal_server_domain(mediacodec_google, hal_codec2) |
| 7 | |
| 8 | hal_client_domain(mediacodec_google, hal_graphics_allocator) |
| 9 | |
| 10 | allow mediacodec_google dmabuf_system_heap_device:chr_file r_file_perms; |
| 11 | |
| 12 | # mediacodec_google should never execute any executable without a domain transition |
| 13 | neverallow mediacodec_google { file_type fs_type }:file execute_no_trans; |
| 14 | |
| 15 | # Media processing code is inherently risky and thus should have limited |
| 16 | # permissions and be isolated from the rest of the system and network. |
| 17 | # Lengthier explanation here: |
| 18 | # https://android-developers.googleblog.com/2016/05/hardening-media-stack.html |
| 19 | neverallow mediacodec_google domain:{ udp_socket rawip_socket } *; |
| 20 | neverallow mediacodec_google { domain userdebug_or_eng(`-su') }:tcp_socket *; |