Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 1 | # bpf program loader |
| 2 | type bpfloader, domain; |
| 3 | type bpfloader_exec, exec_type, file_type; |
| 4 | typeattribute bpfloader coredomain; |
| 5 | |
| 6 | # Process need CAP_NET_ADMIN to run bpf programs as cgroup filter |
| 7 | allow bpfloader self:global_capability_class_set net_admin; |
| 8 | |
| 9 | r_dir_file(bpfloader, cgroup_bpf) |
| 10 | |
| 11 | # These permission is required for pin bpf program for netd. |
| 12 | allow bpfloader fs_bpf:dir create_dir_perms; |
| 13 | allow bpfloader fs_bpf:file create_file_perms; |
| 14 | allow bpfloader devpts:chr_file { read write }; |
| 15 | |
Chenbo Feng | 6cd70c2 | 2018-03-05 20:43:45 -0800 | [diff] [blame] | 16 | allow bpfloader netd:fd use; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 17 | |
| 18 | # Use pinned bpf map files from netd. |
| 19 | allow bpfloader netd:bpf { map_read map_write }; |
| 20 | allow bpfloader self:bpf { prog_load prog_run }; |
| 21 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 22 | dontaudit bpfloader self:global_capability_class_set sys_admin; |
| 23 | |
| 24 | ### |
| 25 | ### Neverallow rules |
| 26 | ### |
Chenbo Feng | 68ef8c0 | 2018-03-20 15:42:44 -0700 | [diff] [blame] | 27 | neverallow { domain -bpfloader } *:bpf prog_load; |
Chenbo Feng | be9b15c | 2018-03-28 16:51:26 -0700 | [diff] [blame] | 28 | neverallow { domain -bpfloader -netd -netutils_wrapper} *:bpf prog_run; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 29 | neverallow { domain -netd -bpfloader } bpfloader_exec:file { execute execute_no_trans }; |
| 30 | neverallow bpfloader domain:{ tcp_socket udp_socket rawip_socket } *; |
| 31 | # only system_server, netd and bpfloader can read/write the bpf maps |
| 32 | neverallow { domain -system_server -netd -bpfloader} netd:bpf { map_read map_write }; |
Joel Galenson | d65f26f | 2018-05-23 08:36:40 -0700 | [diff] [blame] | 33 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 34 | # No domain should be allowed to ptrace bpfloader |
| 35 | neverallow { domain userdebug_or_eng(`-llkd') } bpfloader:process ptrace; |