root/tools/testing/selftests/bpf/verifier/basic.c

   1 {
   2         "empty prog",
   3         .insns = {
   4         },
   5         .errstr = "unknown opcode 00",
   6         .result = REJECT,
   7 },
   8 {
   9         "only exit insn",
  10         .insns = {
  11         BPF_EXIT_INSN(),
  12         },
  13         .errstr = "R0 !read_ok",
  14         .result = REJECT,
  15 },
  16 {
  17         "no bpf_exit",
  18         .insns = {
  19         BPF_ALU64_REG(BPF_MOV, BPF_REG_0, BPF_REG_2),
  20         },
  21         .errstr = "not an exit",
  22         .result = REJECT,
  23 },