28 lines
1.1 KiB
Text
28 lines
1.1 KiB
Text
|
type mediaswcodec, domain;
|
||
|
|
type mediaswcodec_exec, system_file_type, exec_type, file_type;
|
||
|
|
|
||
|
|
hal_server_domain(mediaswcodec, hal_codec2)
|
||
|
|
|
||
|
|
# mediaswcodec may use an input surface from a different Codec2 service or an
|
||
|
|
# OMX service
|
||
|
|
hal_client_domain(mediaswcodec, hal_codec2)
|
||
|
|
hal_client_domain(mediaswcodec, hal_omx)
|
||
|
|
|
||
|
|
hal_client_domain(mediaswcodec, hal_allocator)
|
||
|
|
hal_client_domain(mediaswcodec, hal_graphics_allocator)
|
||
|
|
|
||
|
|
crash_dump_fallback(mediaswcodec)
|
||
|
|
|
||
|
|
# mediaswcodec_server should never execute any executable without a
|
||
|
|
# domain transition
|
||
|
|
neverallow mediaswcodec { file_type fs_type }:file execute_no_trans;
|
||
|
|
|
||
|
|
# Media processing code is inherently risky and thus should have limited
|
||
|
|
# permissions and be isolated from the rest of the system and network.
|
||
|
|
# Lengthier explanation here:
|
||
|
|
# https://android-developers.googleblog.com/2016/05/hardening-media-stack.html
|
||
|
|
neverallow mediaswcodec domain:{ tcp_socket udp_socket rawip_socket } *;
|
||
|
|
|
||
|
|
allow mediaswcodec dmabuf_system_heap_device:chr_file r_file_perms;
|
||
|
|
allow mediaswcodec dmabuf_system_secure_heap_device:chr_file r_file_perms;
|