14 lines
698 B
Text
14 lines
698 B
Text
type mediacodec_google, domain;
|
|
type mediacodec_google_exec, exec_type, vendor_file_type, file_type;
|
|
|
|
init_daemon_domain(mediacodec_google)
|
|
|
|
# mediacodec_google should never execute any executable without a domain transition
|
|
neverallow mediacodec_google { 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 mediacodec_google domain:{ udp_socket rawip_socket } *;
|
|
neverallow mediacodec_google { domain userdebug_or_eng(`-su') }:tcp_socket *;
|