xref: /OK3568_Linux_fs/kernel/tools/testing/selftests/bpf/verifier/basic.c (revision 4882a59341e53eb6f0b4789bf948001014eff981) 
1*4882a593Smuzhiyun {
2*4882a593Smuzhiyun 	"empty prog",
3*4882a593Smuzhiyun 	.insns = {
4*4882a593Smuzhiyun 	},
5*4882a593Smuzhiyun 	.errstr = "last insn is not an exit or jmp",
6*4882a593Smuzhiyun 	.result = REJECT,
7*4882a593Smuzhiyun },
8*4882a593Smuzhiyun {
9*4882a593Smuzhiyun 	"only exit insn",
10*4882a593Smuzhiyun 	.insns = {
11*4882a593Smuzhiyun 	BPF_EXIT_INSN(),
12*4882a593Smuzhiyun 	},
13*4882a593Smuzhiyun 	.errstr = "R0 !read_ok",
14*4882a593Smuzhiyun 	.result = REJECT,
15*4882a593Smuzhiyun },
16*4882a593Smuzhiyun {
17*4882a593Smuzhiyun 	"no bpf_exit",
18*4882a593Smuzhiyun 	.insns = {
19*4882a593Smuzhiyun 	BPF_ALU64_REG(BPF_MOV, BPF_REG_0, BPF_REG_2),
20*4882a593Smuzhiyun 	},
21*4882a593Smuzhiyun 	.errstr = "not an exit",
22*4882a593Smuzhiyun 	.result = REJECT,
23*4882a593Smuzhiyun },
24