1 {
2 	"stack out of bounds",
3 	.insns = {
4 	BPF_ST_MEM(BPF_DW, BPF_REG_10, 8, 0),
5 	BPF_EXIT_INSN(),
6 	},
7 	.errstr = "invalid write to stack",
8 	.result = REJECT,
9 },
10 {
11 	"uninitialized stack1",
12 	.insns = {
13 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
14 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
15 	BPF_LD_MAP_FD(BPF_REG_1, 0),
16 	BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
17 	BPF_EXIT_INSN(),
18 	},
19 	.fixup_map_hash_8b = { 2 },
20 	.errstr = "invalid indirect read from stack",
21 	.result = REJECT,
22 },
23 {
24 	"uninitialized stack2",
25 	.insns = {
26 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
27 	BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_2, -8),
28 	BPF_EXIT_INSN(),
29 	},
30 	.errstr = "invalid read from stack",
31 	.result = REJECT,
32 },
33 {
34 	"invalid fp arithmetic",
35 	/* If this gets ever changed, make sure JITs can deal with it. */
36 	.insns = {
37 	BPF_MOV64_IMM(BPF_REG_0, 0),
38 	BPF_MOV64_REG(BPF_REG_1, BPF_REG_10),
39 	BPF_ALU64_IMM(BPF_SUB, BPF_REG_1, 8),
40 	BPF_STX_MEM(BPF_DW, BPF_REG_1, BPF_REG_0, 0),
41 	BPF_EXIT_INSN(),
42 	},
43 	.errstr = "R1 subtraction from stack pointer",
44 	.result = REJECT,
45 },
46 {
47 	"non-invalid fp arithmetic",
48 	.insns = {
49 	BPF_MOV64_IMM(BPF_REG_0, 0),
50 	BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8),
51 	BPF_EXIT_INSN(),
52 	},
53 	.result = ACCEPT,
54 },
55 {
56 	"misaligned read from stack",
57 	.insns = {
58 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
59 	BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_2, -4),
60 	BPF_EXIT_INSN(),
61 	},
62 	.errstr = "misaligned stack access",
63 	.result = REJECT,
64 },
65