Andrey Ignatov 8ff80e96e3 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>

2019-03-29 12:05:35 -07:00

..

.gitignore

…

and.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

array_access.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

basic_call.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

basic_instr.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

basic_stack.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

basic_stx_ldx.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

basic.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

bounds_deduction.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

bounds_mix_sign_unsign.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

bounds.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

bpf_get_stack.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

calls.c

bpf: verifier: propagate liveness on all frames

2019-03-21 19:57:02 -07:00

cfg.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

cgroup_inv_retcode.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

cgroup_skb.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

cgroup_storage.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

const_or.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

ctx_sk_msg.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

ctx_skb.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

ctx.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

dead_code.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

direct_packet_access.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

direct_stack_access_wraparound.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

div0.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

div_overflow.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

helper_access_var_len.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

helper_packet_access.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

helper_value_access.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

jit.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

jmp32.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

jset.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

jump.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

junk_insn.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

ld_abs.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

ld_dw.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

ld_imm64.c

bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm field

2019-03-07 08:47:13 -08:00

ld_ind.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

leak_ptr.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

lwt.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

map_in_map.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

map_ptr_mixing.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

map_ret_val.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

masking.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

meta_access.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

perf_event_sample_period.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

prevent_map_lookup.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

raw_stack.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

ref_tracking.c

selftests/bpf: test references to sock_common

2019-03-21 18:59:11 -07:00

runtime_jit.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

search_pruning.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

sock.c

bpf: Test ref release issue in bpf_tcp_sock and bpf_sk_fullsock

2019-03-13 12:04:35 -07:00

spill_fill.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

spin_lock.c

selftests/bpf: add "any alignment" annotation for some tests

2019-02-05 16:56:10 +01:00

stack_ptr.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

uninit.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

unpriv.c

selftests/bpf: allow specifying helper for BPF_SK_LOOKUP

2019-03-21 18:59:11 -07:00

value_adj_spill.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

value_illegal_alu.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

value_or_null.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

value_ptr_arith.c

bpf: add test cases for non-pointer sanitiation logic

2019-03-04 10:54:20 +01:00

value.c

selftests: bpf: break up test_verifier

2019-01-27 21:37:45 -08:00

var_off.c

selftests/bpf: Test variable offset stack access

2019-03-29 12:05:35 -07:00

xadd.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

xdp_direct_packet_access.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

xdp.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00