tree a4881fdfd7e9487249bf28017d18394560a02fef
parent 107c26a70ca81bfc33657366ad69d02fdc9efc9d
author Andrey Ignatov <rdna@fb.com> 1554358962 -0700
committer Daniel Borkmann <daniel@iogearbox.net> 1554475808 +0200

selftests/bpf: Test unbounded var_off stack access

Test the case when reg->smax_value is too small/big and can overflow,
and separately min and max values outside of stack bounds.

Example of output:
  # ./test_verifier
  #856/p indirect variable-offset stack access, unbounded OK
  #857/p indirect variable-offset stack access, max out of bound OK
  #858/p indirect variable-offset stack access, min out of bound OK

Signed-off-by: Andrey Ignatov <rdna@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>