Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 1 | # bpf program loader |
| 2 | type bpfloader, domain; |
Nick Kralevich | 5e37271 | 2018-09-27 10:21:37 -0700 | [diff] [blame] | 3 | type bpfloader_exec, system_file_type, exec_type, file_type; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 4 | typeattribute bpfloader coredomain; |
| 5 | |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 6 | # These permissions are required to pin ebpf maps & programs. |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 7 | allow bpfloader { fs_bpf fs_bpf_tethering }:dir { add_name create search write }; |
| 8 | allow bpfloader { fs_bpf fs_bpf_tethering }:file { create read setattr }; |
| 9 | allow fs_bpf_tethering fs_bpf:filesystem associate; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 10 | |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 11 | # Allow bpfloader to create bpf maps and programs. |
| 12 | allow bpfloader self:bpf { map_create map_read map_write prog_load prog_run }; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 13 | |
Maciej Żenczykowski | 94c3068 | 2021-03-01 23:16:46 -0800 | [diff] [blame] | 14 | allow bpfloader self:capability { chown sys_admin net_admin }; |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 15 | |
Paul Lawrence | e3e26b7 | 2021-11-12 00:53:26 +0000 | [diff] [blame] | 16 | allow bpfloader sysfs_fs_fuse_bpf:file r_file_perms; |
| 17 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 18 | set_prop(bpfloader, bpf_progs_loaded_prop) |
| 19 | |
Connor O'Brien | dbe2684 | 2022-01-18 22:57:41 -0800 | [diff] [blame^] | 20 | allow bpfloader bpfloader_exec:file execute_no_trans; |
| 21 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 22 | ### |
| 23 | ### Neverallow rules |
| 24 | ### |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 25 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 26 | # TODO: get rid of init & vendor_init; Note: we don't care about getattr/mounton/search |
| 27 | neverallow { domain -init -vendor_init } { fs_bpf fs_bpf_tethering }:dir { open read setattr }; |
| 28 | neverallow { domain -bpfloader } { fs_bpf fs_bpf_tethering }:dir { add_name create write }; |
| 29 | neverallow domain { fs_bpf fs_bpf_tethering }:dir ~{ add_name create getattr mounton open read search setattr write }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 30 | |
| 31 | # TODO: get rid of init & vendor_init |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 32 | neverallow { domain -bpfloader -init -vendor_init } { fs_bpf fs_bpf_tethering }:file { map open setattr }; |
| 33 | neverallow { domain -bpfloader } { fs_bpf fs_bpf_tethering }:file create; |
Alessio Balsini | fd3e9d8 | 2021-11-11 18:42:11 +0000 | [diff] [blame] | 34 | neverallow { domain -bpfloader -gpuservice -init -lmkd -mediaprovider_app -netd -netutils_wrapper -network_stack -system_server -vendor_init } { fs_bpf }:file read; |
| 35 | neverallow { domain -bpfloader -gpuservice -init -lmkd -netd -netutils_wrapper -network_stack -system_server -vendor_init } { fs_bpf_tethering }:file read; |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 36 | neverallow { domain -bpfloader -gpuservice -netd -netutils_wrapper -network_stack -system_server } { fs_bpf fs_bpf_tethering }:file write; |
| 37 | neverallow domain { fs_bpf fs_bpf_tethering }:file ~{ create map open read setattr write }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 38 | |
Maciej Żenczykowski | 487fcb8 | 2019-04-08 21:34:53 -0700 | [diff] [blame] | 39 | neverallow { domain -bpfloader } *:bpf { map_create prog_load }; |
Alessio Balsini | fd3e9d8 | 2021-11-11 18:42:11 +0000 | [diff] [blame] | 40 | neverallow { domain -bpfloader -gpuservice -mediaprovider_app -netd -netutils_wrapper -network_stack -system_server } *:bpf prog_run; |
| 41 | neverallow { domain -bpfloader -gpuservice -lmkd -mediaprovider_app -netd -network_stack -system_server } *:bpf { map_read map_write }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 42 | |
Joel Fernandes | 147cf64 | 2018-11-29 13:07:40 -0800 | [diff] [blame] | 43 | neverallow { domain -bpfloader -init } bpfloader_exec:file { execute execute_no_trans }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 44 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 45 | neverallow bpfloader *:{ tcp_socket udp_socket rawip_socket } *; |
Joel Galenson | d65f26f | 2018-05-23 08:36:40 -0700 | [diff] [blame] | 46 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 47 | # No domain should be allowed to ptrace bpfloader |
| 48 | neverallow { domain userdebug_or_eng(`-llkd') } bpfloader:process ptrace; |
Maciej Żenczykowski | 3702f33 | 2021-11-11 01:51:15 -0800 | [diff] [blame] | 49 | |
| 50 | # Currently only bpfloader.rc (which runs as init) can do bpf sysctl setup |
| 51 | # this should perhaps be moved to the bpfloader binary itself. Allow both. |
| 52 | neverallow { domain -bpfloader -init } proc_bpf:file write; |