Yonghong Song 260cb5df9d selftests/bpf: Add verifier tests for better jmp32 register bounds ...

Three test cases are added.
Test 1: jmp32 'reg op imm'.
Test 2: jmp32 'reg op reg' where dst 'reg' has unknown constant
        and src 'reg' has known constant
Test 3: jmp32 'reg op reg' where dst 'reg' has known constant
        and src 'reg' has unknown constant

Signed-off-by: Yonghong Song <yhs@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20191121170651.449096-1-yhs@fb.com

2019-11-24 16:58:46 -08:00

..

.gitignore

…

and.c

…

array_access.c

selftests/bpf: fix "valid read map access into a read-only array 1" on s390

2019-07-18 13:49:21 -07:00

basic_call.c

…

basic_instr.c

selftests: bpf: add tests for shifts by zero

2019-07-03 11:14:28 +02:00

basic_stack.c

…

basic_stx_ldx.c

…

basic.c

…

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

…

bounds.c

…

bpf_get_stack.c

selftests: bpf: break up the rest of test_verifier

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

calls.c

selftests/bpf: fix tests

2019-06-19 02:22:52 +02:00

cfg.c

selftests/bpf: fix tests

2019-06-19 02:22:52 +02: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

…

cgroup_storage.c

…

const_or.c

…

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 another gso_segs access

2019-07-23 14:12:37 -07: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: fix tests due to const spill/fill

2019-06-19 02:22:51 +02:00

direct_stack_access_wraparound.c

…

direct_value_access.c

bpf, selftest: test {rd, wr}only flags and direct value access

2019-04-09 17:05:47 -07:00

div0.c

…

div_overflow.c

bpf: fix div64 overflow tests to properly detect errors

2019-06-13 23:07:00 +02:00

event_output.c

selftests/bpf: Add selftests for bpf_perf_event_output

2019-07-25 17:56:00 -07:00

helper_access_var_len.c

selftests/bpf: fix tests due to const spill/fill

2019-06-19 02:22:51 +02:00

helper_packet_access.c

…

helper_value_access.c

…

int_ptr.c

selftests/bpf: Test ARG_PTR_TO_LONG arg type

2019-04-12 13:54:59 -07:00

jit.c

bpf, x32: Fix bug for BPF_JMP | {BPF_JSGT, BPF_JSLE, BPF_JSLT, BPF_JSGE}

2019-05-01 23:32:16 +02:00

jmp32.c

selftests/bpf: Add verifier tests for better jmp32 register bounds

2019-11-24 16:58:46 -08:00

jset.c

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

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

jump.c

bpf: add various test cases for backward jumps

2019-05-13 01:08:55 +02:00

junk_insn.c

…

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: synthetic tests to push verifier limits

2019-04-04 01:27:38 +02: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

…

leak_ptr.c

…

loops1.c

bpf: Add loop test case with 32 bit reg comparison against 0

2019-10-04 12:27:36 -07:00

lwt.c

…

map_in_map.c

…

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

…

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

…

precise.c

selftests/bpf: precision tracking tests

2019-09-05 13:55:50 +02:00

prevent_map_lookup.c

bpf: Allow bpf_map_lookup_elem() on an xskmap

2019-06-10 23:31:26 -07:00

raw_stack.c

…

raw_tp_writable.c

selftests: bpf: test writable buffers in raw tps

2019-04-26 19:04:19 -07:00

ref_tracking.c

selftests/bpf: test references to sock_common

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

runtime_jit.c

…

scale.c

selftests/bpf: two scale tests

2019-04-16 10:18:15 +02:00

search_pruning.c

selftests: bpf: break up the rest of test_verifier

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

sock.c

tools/bpf: Add bpf_map_lookup_elem selftest for xskmap

2019-06-10 23:31:26 -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

…

subreg.c

selftests: bpf: complete sub-register zero extension checks

2019-05-29 13:31:05 +02:00

uninit.c

…

unpriv.c

selftests/bpf: allow specifying helper for BPF_SK_LOOKUP

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

value_adj_spill.c

…

value_illegal_alu.c

…

value_or_null.c

…

value_ptr_arith.c

selftests/bpf: fix "alu with different scalars 1" on s390

2019-07-16 09:20:08 -07:00

value.c

…

var_off.c

selftests/bpf: Test unbounded var_off stack access

2019-04-05 16:50:08 +02:00

wide_access.c

selftests/bpf: add selftests for wide loads

2019-07-15 23:15:53 +02: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