Paul Chaignon 6dd7f14080 selftests/bpf: test cases for pkt/null checks in subprogs ... The first test case, for pointer null checks, is equivalent to the following pseudo-code. It checks that the verifier does not complain on line 6 and recognizes that ptr isn't null. 1: ptr = bpf_map_lookup_elem(map, &key); 2: ret = subprog(ptr) { 3: return ptr != NULL; 4: } 5: if (ret) 6: value = *ptr; The second test case, for packet bound checks, is equivalent to the following pseudo-code. It checks that the verifier does not complain on line 7 and recognizes that the packet is at least 1 byte long. 1: pkt_end = ctx.pkt_end; 2: ptr = ctx.pkt + 8; 3: ret = subprog(ptr, pkt_end) { 4: return ptr <= pkt_end; 5: } 6: if (ret) 7: value = *(u8 *)ctx.pkt; Signed-off-by: Paul Chaignon <paul.chaignon@orange.com> Signed-off-by: Alexei Starovoitov <ast@kernel.org>		2019-04-25 17:20:06 -07:00
..
.gitignore
and.c
array_access.c
basic_call.c
basic_instr.c	selftests: bpf: break up the rest of test_verifier	2019-01-27 21:37:45 -08: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: test cases for pkt/null checks in subprogs	2019-04-25 17:20:06 -07:00
cfg.c
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 "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: test cases for pkt/null checks in subprogs	2019-04-25 17:20:06 -07:00
direct_stack_access_wraparound.c
div0.c
div_overflow.c
helper_access_var_len.c
helper_packet_access.c
helper_value_access.c
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
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: 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
leak_ptr.c
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
prevent_map_lookup.c
raw_stack.c
ref_tracking.c	bpf: Test ref release issue in bpf_tcp_sock and bpf_sk_fullsock	2019-03-13 12:04:35 -07:00
runtime_jit.c
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
uninit.c
unpriv.c	bpf: Add skb->sk, bpf_sk_fullsock and bpf_tcp_sock tests to test_verifer	2019-02-10 19:46:17 -08:00
value_adj_spill.c
value_illegal_alu.c
value_or_null.c
value_ptr_arith.c	bpf: add test cases for non-pointer sanitiation logic	2019-03-04 10:54:20 +01:00
value.c
var_off.c
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