xref: /aosp_15_r20/system/sepolicy/private/hal_cas.te (revision e4a36f4174b17bbab9dc043f4a65dc8d87377290)
1# HwBinder IPC from client to server, and callbacks
2binder_call(hal_cas_client, hal_cas_server)
3binder_call(hal_cas_server, hal_cas_client)
4
5hal_attribute_hwservice(hal_cas, hal_cas_hwservice)
6allow hal_cas_server hidl_memory_hwservice:hwservice_manager find;
7
8hal_attribute_service(hal_cas, hal_cas_service)
9
10binder_call(hal_cas_server, servicemanager)
11binder_call(hal_cas_client, servicemanager)
12
13# Permit reading device's serial number from system properties
14get_prop(hal_cas_server, serialno_prop)
15
16# Read files already opened under /data
17allow hal_cas system_data_file:file { getattr read };
18
19# Read access to pseudo filesystems
20r_dir_file(hal_cas, cgroup)
21allow hal_cas cgroup:dir { search write };
22allow hal_cas cgroup:file w_file_perms;
23
24r_dir_file(hal_cas, cgroup_v2)
25allow hal_cas cgroup_v2:dir { search write };
26allow hal_cas cgroup_v2:file w_file_perms;
27
28# Allow access to ion memory allocation device
29allow hal_cas ion_device:chr_file rw_file_perms;
30allow hal_cas hal_graphics_allocator:fd use;
31
32allow hal_cas tee_device:chr_file rw_file_perms;
33
34###
35### neverallow rules
36###
37
38# hal_cas should never execute any executable without a
39# domain transition
40neverallow hal_cas_server { file_type fs_type }:file execute_no_trans;
41
42# do not allow privileged socket ioctl commands
43neverallowxperm hal_cas_server domain:{ rawip_socket tcp_socket udp_socket } ioctl priv_sock_ioctls;
44