diff options
| author | Andrey Ignatov <rdna@fb.com> | 2019-04-04 02:22:42 -0400 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2019-04-05 10:50:08 -0400 |
| commit | 07f9196241f8bceef975dd15f894f8ed51425d55 (patch) | |
| tree | a4881fdfd7e9487249bf28017d18394560a02fef /kernel/bpf/arraymap.c | |
| parent | 107c26a70ca81bfc33657366ad69d02fdc9efc9d (diff) | |
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>
Diffstat (limited to 'kernel/bpf/arraymap.c')
0 files changed, 0 insertions, 0 deletions