selftests/bpf: Test indirect var_off stack access in raw mode
authorAndrey Ignatov <rdna@fb.com>
Thu, 4 Apr 2019 06:22:38 +0000 (23:22 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Fri, 5 Apr 2019 14:50:07 +0000 (16:50 +0200)
commitf68a5b44647bce6c34b10d5560c5b2c0aff31afc
tree0170d9696f79fbc5363e971bc8550673d89724a1
parentf2bcd05ec7b839ff826d2008506ad2d2dff46a59
selftests/bpf: Test indirect var_off stack access in raw mode

Test that verifier rejects indirect access to uninitialized stack with
variable offset.

Example of output:
  # ./test_verifier
  ...
  #859/p indirect variable-offset stack access, uninitialized OK

Signed-off-by: Andrey Ignatov <rdna@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/verifier/var_off.c