tools/testing/selftests/bpf/progs/verifier_uninit.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /* Converted from tools/testing/selftests/bpf/verifier/uninit.c */
   3
   4 #include <linux/bpf.h>
   5 #include <bpf/bpf_helpers.h>
   6 #include "../../../include/linux/filter.h"
   7 #include "bpf_misc.h"
   8
   9 SEC("socket")
  10 __description("read uninitialized register")
  11 __failure __msg("R2 !read_ok")
  12 __failure_unpriv
  13 __naked void read_uninitialized_register(void)
  14 {
  15         asm volatile ("                                 \
  16         r0 = r2;                                        \
  17         exit;                                           \
  18 "       ::: __clobber_all);
  19 }
  20
  21 SEC("socket")
  22 __description("read invalid register")
  23 __failure __msg("R15 is invalid")
  24 __failure_unpriv
  25 __naked void read_invalid_register(void)
  26 {
  27         asm volatile ("                                 \
  28         .8byte %[mov64_reg];                            \
  29         exit;                                           \
  30 "       :
  31         : __imm_insn(mov64_reg, BPF_MOV64_REG(BPF_REG_0, -1))
  32         : __clobber_all);
  33 }
  34
  35 SEC("socket")
  36 __description("program doesn't init R0 before exit")
  37 __failure __msg("R0 !read_ok")
  38 __failure_unpriv
  39 __naked void t_init_r0_before_exit(void)
  40 {
  41         asm volatile ("                                 \
  42         r2 = r1;                                        \
  43         exit;                                           \
  44 "       ::: __clobber_all);
  45 }
  46
  47 SEC("socket")
  48 __description("program doesn't init R0 before exit in all branches")
  49 __failure __msg("R0 !read_ok")
  50 __msg_unpriv("R1 pointer comparison")
  51 __naked void before_exit_in_all_branches(void)
  52 {
  53         asm volatile ("                                 \
  54         if r1 >= 0 goto l0_%=;                          \
  55         r0 = 1;                                         \
  56         r0 += 2;                                        \
  57 l0_%=:  exit;                                           \
  58 "       ::: __clobber_all);
  59 }
  60
  61 char _license[] SEC("license") = "GPL";