Nick Kralevich | 5e37271 | 2018-09-27 10:21:37 -0700 | [diff] [blame] | 1 | type bpfloader_exec, system_file_type, exec_type, file_type; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 2 | |
Steven Moreland | 6598175 | 2022-02-10 00:32:44 +0000 | [diff] [blame] | 3 | typeattribute bpfloader bpfdomain; |
| 4 | |
Steven Moreland | 233d4aa | 2022-02-07 23:15:00 +0000 | [diff] [blame] | 5 | # allow bpfloader to write to the kernel log (starts early) |
| 6 | allow bpfloader kmsg_device:chr_file w_file_perms; |
| 7 | |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 8 | # These permissions are required to pin ebpf maps & programs. |
Maciej Żenczykowski | 93a3d62 | 2024-03-14 23:40:54 +0000 | [diff] [blame] | 9 | allow bpfloader bpffs_type:dir { add_name create remove_name search setattr write }; |
Maciej Żenczykowski | 1fcf7c8 | 2022-07-01 18:20:01 -0700 | [diff] [blame] | 10 | allow bpfloader bpffs_type:file { create getattr read rename setattr }; |
Maciej Żenczykowski | d5098f9 | 2022-07-18 03:34:30 -0700 | [diff] [blame] | 11 | allow bpfloader bpffs_type:lnk_file { create getattr read }; |
Maciej Żenczykowski | b13921c | 2022-05-21 05:03:29 -0700 | [diff] [blame] | 12 | allow { bpffs_type -fs_bpf } fs_bpf:filesystem associate; |
Chenbo Feng | 566411e | 2018-01-02 15:31:18 -0800 | [diff] [blame] | 13 | |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 14 | # Allow bpfloader to create bpf maps and programs. |
| 15 | 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] | 16 | |
Maciej Żenczykowski | 94c3068 | 2021-03-01 23:16:46 -0800 | [diff] [blame] | 17 | allow bpfloader self:capability { chown sys_admin net_admin }; |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 18 | |
Paul Lawrence | e3e26b7 | 2021-11-12 00:53:26 +0000 | [diff] [blame] | 19 | allow bpfloader sysfs_fs_fuse_bpf:file r_file_perms; |
| 20 | |
Maciej Żenczykowski | 446c8c0 | 2024-03-14 10:47:30 +0000 | [diff] [blame] | 21 | allow bpfloader proc_bpf:file rw_file_perms; |
Maciej Żenczykowski | 4a96086 | 2022-12-03 12:19:31 +0000 | [diff] [blame] | 22 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 23 | set_prop(bpfloader, bpf_progs_loaded_prop) |
| 24 | |
Connor O'Brien | dbe2684 | 2022-01-18 22:57:41 -0800 | [diff] [blame] | 25 | allow bpfloader bpfloader_exec:file execute_no_trans; |
| 26 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 27 | ### |
| 28 | ### Neverallow rules |
| 29 | ### |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 30 | |
Maciej Żenczykowski | ebb45f9 | 2022-12-01 14:45:35 +0000 | [diff] [blame] | 31 | # Note: we don't care about getattr/mounton/search |
Maciej Żenczykowski | 93a3d62 | 2024-03-14 23:40:54 +0000 | [diff] [blame] | 32 | neverallow { domain } bpffs_type:dir ~{ add_name create getattr mounton remove_name search setattr write }; |
| 33 | neverallow { domain -bpfloader } bpffs_type:dir { add_name create remove_name setattr write }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 34 | |
Maciej Żenczykowski | 9a76805 | 2022-12-03 09:13:05 +0000 | [diff] [blame] | 35 | neverallow { domain } bpffs_type:file ~{ create getattr map open read rename setattr write }; |
Maciej Żenczykowski | 52c8a2e | 2023-03-27 18:14:40 -0700 | [diff] [blame] | 36 | neverallow { domain -bpfloader } bpffs_type:file { create map open rename setattr }; |
| 37 | neverallow { domain -bpfloader -gpuservice -lmkd -mediaprovider_app -netd -netutils_wrapper -system_server } fs_bpf:file { getattr read }; |
| 38 | neverallow { domain -bpfloader } fs_bpf_loader:file { getattr read }; |
| 39 | neverallow { domain -bpfloader -network_stack } fs_bpf_net_private:file { getattr read }; |
| 40 | neverallow { domain -bpfloader -network_stack -system_server } fs_bpf_net_shared:file { getattr read }; |
| 41 | neverallow { domain -bpfloader -netd -network_stack -system_server } fs_bpf_netd_readonly:file { getattr read }; |
| 42 | neverallow { domain -bpfloader -netd -netutils_wrapper -network_stack -system_server } fs_bpf_netd_shared:file { getattr read }; |
| 43 | neverallow { domain -bpfloader -network_stack } fs_bpf_tethering:file { getattr read }; |
Yu-Ting Tseng | baea641 | 2024-01-16 14:02:59 -0800 | [diff] [blame] | 44 | neverallow { domain -bpfloader -uprobestats } fs_bpf_uprobestats:file { getattr read }; |
Carlos Galo | ea1bd5d | 2024-03-12 20:04:41 +0000 | [diff] [blame] | 45 | neverallow { domain -bpfloader -gpuservice -lmkd -netd -netutils_wrapper -network_stack -system_server -uprobestats } { bpffs_type -fs_bpf_vendor }:file write; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 46 | |
Maciej Żenczykowski | d5098f9 | 2022-07-18 03:34:30 -0700 | [diff] [blame] | 47 | neverallow { domain -bpfloader } bpffs_type:lnk_file ~read; |
| 48 | neverallow { domain -bpfdomain } bpffs_type:lnk_file read; |
| 49 | |
Maciej Żenczykowski | 28960d3 | 2023-06-13 20:44:48 -0700 | [diff] [blame] | 50 | neverallow { domain -bpfloader } *:bpf prog_load; |
| 51 | neverallow { domain -bpfdomain } *:bpf { map_create map_read map_write prog_run }; |
Maciej Żenczykowski | 9a76805 | 2022-12-03 09:13:05 +0000 | [diff] [blame] | 52 | |
| 53 | # 'fs_bpf_loader' is for internal use of the BpfLoader oneshot boot time process. |
Maciej Żenczykowski | e14e69a | 2022-12-01 14:45:35 +0000 | [diff] [blame] | 54 | neverallow { domain -bpfloader } fs_bpf_loader:bpf *; |
Maciej Żenczykowski | 9a76805 | 2022-12-03 09:13:05 +0000 | [diff] [blame] | 55 | neverallow { domain -bpfloader } fs_bpf_loader:file *; |
Steven Moreland | c27d24c | 2019-12-13 15:18:32 -0800 | [diff] [blame] | 56 | |
Joel Fernandes | 147cf64 | 2018-11-29 13:07:40 -0800 | [diff] [blame] | 57 | neverallow { domain -bpfloader -init } bpfloader_exec:file { execute execute_no_trans }; |
Maciej Żenczykowski | 49c73b0 | 2020-01-30 22:08:43 -0800 | [diff] [blame] | 58 | |
Maciej Żenczykowski | 37ca69e | 2023-11-18 03:36:05 +0000 | [diff] [blame] | 59 | neverallow { coredomain -bpfloader -netd -netutils_wrapper } fs_bpf_vendor:file *; |
Steven Moreland | c27d24c | 2019-12-13 15:18:32 -0800 | [diff] [blame] | 60 | |
Maciej Żenczykowski | d68cb48 | 2021-01-29 14:36:32 -0800 | [diff] [blame] | 61 | neverallow bpfloader *:{ tcp_socket udp_socket rawip_socket } *; |
Joel Galenson | d65f26f | 2018-05-23 08:36:40 -0700 | [diff] [blame] | 62 | |
Nick Kralevich | 095fbea | 2018-09-13 11:07:14 -0700 | [diff] [blame] | 63 | # No domain should be allowed to ptrace bpfloader |
| 64 | neverallow { domain userdebug_or_eng(`-llkd') } bpfloader:process ptrace; |
Maciej Żenczykowski | 3702f33 | 2021-11-11 01:51:15 -0800 | [diff] [blame] | 65 | |
Maciej Żenczykowski | 4a96086 | 2022-12-03 12:19:31 +0000 | [diff] [blame] | 66 | neverallow { domain -bpfloader } proc_bpf:file write; |