1 // SPDX-License-Identifier: GPL-2.0
4 #include "bpf_experimental.h"
5 #include <bpf/bpf_helpers.h>
7 #include "../test_kmods/bpf_testmod_kfunc.h"
9 char _license[] SEC("license") = "GPL";
11 SEC("raw_tp/sys_enter")
13 int iter_next_trusted(const void *ctx)
15 struct task_struct *cur_task = bpf_get_current_task_btf();
16 struct bpf_iter_task_vma vma_it;
17 struct vm_area_struct *vma_ptr;
19 bpf_iter_task_vma_new(&vma_it, cur_task, 0);
21 vma_ptr = bpf_iter_task_vma_next(&vma_it);
25 bpf_kfunc_trusted_vma_test(vma_ptr);
27 bpf_iter_task_vma_destroy(&vma_it);
31 SEC("raw_tp/sys_enter")
32 __failure __msg("Possibly NULL pointer passed to trusted arg0")
33 int iter_next_trusted_or_null(const void *ctx)
35 struct task_struct *cur_task = bpf_get_current_task_btf();
36 struct bpf_iter_task_vma vma_it;
37 struct vm_area_struct *vma_ptr;
39 bpf_iter_task_vma_new(&vma_it, cur_task, 0);
41 vma_ptr = bpf_iter_task_vma_next(&vma_it);
43 bpf_kfunc_trusted_vma_test(vma_ptr);
45 bpf_iter_task_vma_destroy(&vma_it);
49 SEC("raw_tp/sys_enter")
51 int iter_next_rcu(const void *ctx)
53 struct task_struct *cur_task = bpf_get_current_task_btf();
54 struct bpf_iter_task task_it;
55 struct task_struct *task_ptr;
57 bpf_iter_task_new(&task_it, cur_task, 0);
59 task_ptr = bpf_iter_task_next(&task_it);
63 bpf_kfunc_rcu_task_test(task_ptr);
65 bpf_iter_task_destroy(&task_it);
69 SEC("raw_tp/sys_enter")
70 __failure __msg("Possibly NULL pointer passed to trusted arg0")
71 int iter_next_rcu_or_null(const void *ctx)
73 struct task_struct *cur_task = bpf_get_current_task_btf();
74 struct bpf_iter_task task_it;
75 struct task_struct *task_ptr;
77 bpf_iter_task_new(&task_it, cur_task, 0);
79 task_ptr = bpf_iter_task_next(&task_it);
81 bpf_kfunc_rcu_task_test(task_ptr);
83 bpf_iter_task_destroy(&task_it);
87 SEC("raw_tp/sys_enter")
88 __failure __msg("R1 must be referenced or trusted")
89 int iter_next_rcu_not_trusted(const void *ctx)
91 struct task_struct *cur_task = bpf_get_current_task_btf();
92 struct bpf_iter_task task_it;
93 struct task_struct *task_ptr;
95 bpf_iter_task_new(&task_it, cur_task, 0);
97 task_ptr = bpf_iter_task_next(&task_it);
101 bpf_kfunc_trusted_task_test(task_ptr);
103 bpf_iter_task_destroy(&task_it);
107 SEC("raw_tp/sys_enter")
108 __failure __msg("R1 cannot write into rdonly_mem")
109 /* Message should not be 'R1 cannot write into rdonly_trusted_mem' */
110 int iter_next_ptr_mem_not_trusted(const void *ctx)
112 struct bpf_iter_num num_it;
115 bpf_iter_num_new(&num_it, 0, 10);
117 num_ptr = bpf_iter_num_next(&num_it);
121 bpf_kfunc_trusted_num_test(num_ptr);
123 bpf_iter_num_destroy(&num_it);