1 // SPDX-License-Identifier: GPL-2.0
2 /* Converted from tools/testing/selftests/bpf/verifier/uninit.c */
3
4 #include <linux/bpf.h>
5 #include <bpf/bpf_helpers.h>
6 #include "../../../include/linux/filter.h"
7 #include "bpf_misc.h"
8
9 SEC("socket")
10 __description("read uninitialized register")
11 __failure __msg("R2 !read_ok")
12 __failure_unpriv
13 __naked void read_uninitialized_register(void)
14 {
15 asm volatile (" \
16 r0 = r2; \
17 exit; \
18 " ::: __clobber_all);
19 }
20
21 SEC("socket")
22 __description("read invalid register")
23 __failure __msg("R15 is invalid")
24 __failure_unpriv
25 __naked void read_invalid_register(void)
26 {
27 asm volatile (" \
28 .8byte %[mov64_reg]; \
29 exit; \
30 " :
31 : __imm_insn(mov64_reg, BPF_MOV64_REG(BPF_REG_0, -1))
32 : __clobber_all);
33 }
34
35 SEC("socket")
36 __description("program doesn't init R0 before exit")
37 __failure __msg("R0 !read_ok")
38 __failure_unpriv
39 __naked void t_init_r0_before_exit(void)
40 {
41 asm volatile (" \
42 r2 = r1; \
43 exit; \
44 " ::: __clobber_all);
45 }
46
47 SEC("socket")
48 __description("program doesn't init R0 before exit in all branches")
49 __failure __msg("R0 !read_ok")
50 __msg_unpriv("R1 pointer comparison")
51 __naked void before_exit_in_all_branches(void)
52 {
53 asm volatile (" \
54 if r1 >= 0 goto l0_%=; \
55 r0 = 1; \
56 r0 += 2; \
57 l0_%=: exit; \
58 " ::: __clobber_all);
59 }
60
61 char _license[] SEC("license") = "GPL";
62
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.