diff options
| author |   Andrey Ignatov <rdna@fb.com> | 2019-03-28 18:01:58 -0700 |
|---|---|---|
| committer |   Alexei Starovoitov <ast@kernel.org> | 2019-03-29 12:05:35 -0700 |
| commit | 8ff80e96e3ccea5ff0a890d4f18997e0344dbec2 (patch) | |
| tree | cea1e550777e3137898a6f27492ded57ff40b2c5 /tools/testing/selftests/bpf/verifier/search_pruning.c | |
| parent | bpf: Support variable offset stack access from helpers (diff) | |
| download | linux-dev-8ff80e96e3ccea5ff0a890d4f18997e0344dbec2.tar.xz linux-dev-8ff80e96e3ccea5ff0a890d4f18997e0344dbec2.zip | |
selftests/bpf: Test variable offset stack access
Test different scenarios of indirect variable-offset stack access: out of
bound access (>0), min_off below initialized part of the stack,
max_off+size above initialized part of the stack, initialized stack.
Example of output:
...
#856/p indirect variable-offset stack access, out of bound OK
#857/p indirect variable-offset stack access, max_off+size > max_initialized OK
#858/p indirect variable-offset stack access, min_off < min_initialized OK
#859/p indirect variable-offset stack access, ok OK
...
Signed-off-by: Andrey Ignatov <rdna@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing/selftests/bpf/verifier/search_pruning.c')
0 files changed, 0 insertions, 0 deletions