niansa-misc/linux
1
0
Fork 0
mirror of synced 2025-03-06 20:59:54 +01:00
Code Issues Projects Releases Packages Wiki Activity
linux/tools/testing/selftests/bpf/verifier
History
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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
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.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: add tests for shifts by zero 2019-07-03 11:14:28 +02: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
bounds.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
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 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.c selftests: bpf: break up the rest of 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 another gso_segs access 2019-07-23 14:12:37 -07: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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
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 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
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 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: 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 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
loops1.c bpf: Add loop test case with 32 bit reg comparison against 0 2019-10-04 12:27:36 -07: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
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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
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 selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08:00
subreg.c selftests: bpf: complete sub-register zero extension checks 2019-05-29 13:31:05 +02: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.c selftests: bpf: break up test_verifier 2019-01-27 21:37:45 -08: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 selftests/bpf: fix "alu with different scalars 1" on s390 2019-07-16 09:20:08 -07:00
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.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