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

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

Version: ~ [ linux-6.11.5 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.58 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.114 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.169 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.228 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.284 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.322 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.9 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

  1 #define __INVALID_ATOMIC_ACCESS_TEST(op)                                \
  2         {                                                               \
  3                 "atomic " #op " access through non-pointer ",           \
  4                 .insns = {                                              \
  5                         BPF_MOV64_IMM(BPF_REG_0, 1),                    \
  6                         BPF_MOV64_IMM(BPF_REG_1, 0),                    \
  7                         BPF_ATOMIC_OP(BPF_DW, op, BPF_REG_1, BPF_REG_0, -8), \
  8                         BPF_MOV64_IMM(BPF_REG_0, 0),                    \
  9                         BPF_EXIT_INSN(),                                \
 10                 },                                                      \
 11                 .result = REJECT,                                       \
 12                 .errstr = "R1 invalid mem access 'scalar'"              \
 13         }
 14 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD),
 15 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD | BPF_FETCH),
 16 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD),
 17 __INVALID_ATOMIC_ACCESS_TEST(BPF_ADD | BPF_FETCH),
 18 __INVALID_ATOMIC_ACCESS_TEST(BPF_AND),
 19 __INVALID_ATOMIC_ACCESS_TEST(BPF_AND | BPF_FETCH),
 20 __INVALID_ATOMIC_ACCESS_TEST(BPF_OR),
 21 __INVALID_ATOMIC_ACCESS_TEST(BPF_OR | BPF_FETCH),
 22 __INVALID_ATOMIC_ACCESS_TEST(BPF_XOR),
 23 __INVALID_ATOMIC_ACCESS_TEST(BPF_XOR | BPF_FETCH),
 24 __INVALID_ATOMIC_ACCESS_TEST(BPF_XCHG),
 25 __INVALID_ATOMIC_ACCESS_TEST(BPF_CMPXCHG),
 26 

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

kernel.org | git.kernel.org | LWN.net | Project Home | 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.

sflogo.php