1 {
2 "invalid map_fd for function call",
3 .insns = {
4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
5 BPF_ALU64_REG(BPF_MOV, BPF_REG_2, BPF_REG_10),
6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
7 BPF_LD_MAP_FD(BPF_REG_1, 0),
8 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_delete_elem),
9 BPF_EXIT_INSN(),
10 },
11 .errstr = "fd 0 is not pointing to valid bpf_map",
12 .result = REJECT,
13 },
14 {
15 "don't check return value before access",
16 .insns = {
17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
18 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
19 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
20 BPF_LD_MAP_FD(BPF_REG_1, 0),
21 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
22 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 0),
23 BPF_EXIT_INSN(),
24 },
25 .fixup_map_hash_8b = { 3 },
26 .errstr = "R0 invalid mem access 'map_value_or_null'",
27 .result = REJECT,
28 },
29 {
30 "access memory with incorrect alignment",
31 .insns = {
32 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
33 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
34 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
35 BPF_LD_MAP_FD(BPF_REG_1, 0),
36 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
37 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
38 BPF_ST_MEM(BPF_DW, BPF_REG_0, 4, 0),
39 BPF_EXIT_INSN(),
40 },
41 .fixup_map_hash_8b = { 3 },
42 .errstr = "misaligned value access",
43 .result = REJECT,
44 .flags = F_LOAD_WITH_STRICT_ALIGNMENT,
45 },
46 {
47 "sometimes access memory with incorrect alignment",
48 .insns = {
49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
50 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
51 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
52 BPF_LD_MAP_FD(BPF_REG_1, 0),
53 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
54 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
55 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 0),
56 BPF_EXIT_INSN(),
57 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 1),
58 BPF_EXIT_INSN(),
59 },
60 .fixup_map_hash_8b = { 3 },
61 .errstr = "R0 invalid mem access",
62 .errstr_unpriv = "R0 leaks addr",
63 .result = REJECT,
64 .flags = F_LOAD_WITH_STRICT_ALIGNMENT,
65 },