~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/tools/testing/selftests/bpf/verifier/map_ret_val.c

Version: ~ [ linux-5.1-rc5 ] ~ [ linux-5.0.7 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.34 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.111 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.168 ] ~ [ linux-4.8.17 ] ~ [ linux-4.7.10 ] ~ [ linux-4.6.7 ] ~ [ linux-4.5.7 ] ~ [ linux-4.4.178 ] ~ [ linux-4.3.6 ] ~ [ linux-4.2.8 ] ~ [ linux-4.1.52 ] ~ [ linux-4.0.9 ] ~ [ linux-3.19.8 ] ~ [ linux-3.18.138 ] ~ [ linux-3.17.8 ] ~ [ linux-3.16.65 ] ~ [ linux-3.15.10 ] ~ [ linux-3.14.79 ] ~ [ linux-3.13.11 ] ~ [ linux-3.12.74 ] ~ [ linux-3.11.10 ] ~ [ linux-3.10.108 ] ~ [ linux-3.9.11 ] ~ [ linux-3.8.13 ] ~ [ linux-3.7.10 ] ~ [ linux-3.6.11 ] ~ [ linux-3.5.7 ] ~ [ linux-3.4.113 ] ~ [ linux-3.3.8 ] ~ [ linux-3.2.102 ] ~ [ linux-3.1.10 ] ~ [ linux-3.0.101 ] ~ [ linux-2.6.39.4 ] ~ [ linux-2.6.38.8 ] ~ [ linux-2.6.37.6 ] ~ [ linux-2.6.36.4 ] ~ [ linux-2.6.35.14 ] ~ [ linux-2.6.34.15 ] ~ [ linux-2.6.33.20 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.5 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

  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 },
 66 

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | Wiki (Japanese) | Wiki (English) | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

osdn.jp