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 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 16 | set_prop(bpfloader, bpf_progs_loaded_prop) |
| 17 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 18 | ### |
| 19 | ### Neverallow rules |
| 20 | ### |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 21 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 22 | # TODO: get rid of init & vendor_init; Note: we don't care about getattr/mounton/search |
| 23 | neverallow { domain -init -vendor_init } { fs_bpf fs_bpf_tethering }:dir { open read setattr }; |
| 24 | neverallow { domain -bpfloader } { fs_bpf fs_bpf_tethering }:dir { add_name create write }; |
| 25 | 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] | 26 | |
| 27 | # TODO: get rid of init & vendor_init |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 28 | neverallow { domain -bpfloader -init -vendor_init } { fs_bpf fs_bpf_tethering }:file { map open setattr }; |
| 29 | neverallow { domain -bpfloader } { fs_bpf fs_bpf_tethering }:file create; |
Suren Baghdasaryan | ea2941b | 2021-05-27 18:22:41 -0700 | [diff] [blame] | 30 | neverallow { domain -bpfloader -gpuservice -init -lmkd -netd -netutils_wrapper -network_stack -system_server -vendor_init } { fs_bpf fs_bpf_tethering }:file read; |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 31 | neverallow { domain -bpfloader -gpuservice -netd -netutils_wrapper -network_stack -system_server } { fs_bpf fs_bpf_tethering }:file write; |
| 32 | 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] | 33 | |
Maciej Żenczykowski | 487fcb8 | 2019-04-08 21:34:53 -0700 | [diff] [blame] | 34 | neverallow { domain -bpfloader } *:bpf { map_create prog_load }; |
markchien | 48c600f | 2020-11-26 09:55:56 +0800 | [diff] [blame] | 35 | neverallow { domain -bpfloader -gpuservice -netd -netutils_wrapper -network_stack -system_server } *:bpf prog_run; |
Suren Baghdasaryan | ea2941b | 2021-05-27 18:22:41 -0700 | [diff] [blame] | 36 | neverallow { domain -bpfloader -gpuservice -lmkd -netd -network_stack -system_server } *:bpf { map_read map_write }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 37 | |
Joel Fernandes | 147cf64 | 2018-11-29 13:07:40 -0800 | [diff] [blame] | 38 | neverallow { domain -bpfloader -init } bpfloader_exec:file { execute execute_no_trans }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 39 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 40 | neverallow bpfloader *:{ tcp_socket udp_socket rawip_socket } *; |
Joel Galenson | d65f26f | 2018-05-23 08:36:40 -0700 | [diff] [blame] | 41 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 42 | # No domain should be allowed to ptrace bpfloader |
| 43 | neverallow { domain userdebug_or_eng(`-llkd') } bpfloader:process ptrace; |
Maciej Żenczykowski | 3702f33 | 2021-11-11 01:51:15 -0800 | [diff] [blame] | 44 | |
| 45 | # Currently only bpfloader.rc (which runs as init) can do bpf sysctl setup |
| 46 | # this should perhaps be moved to the bpfloader binary itself. Allow both. |
| 47 | neverallow { domain -bpfloader -init } proc_bpf:file write; |