kernel/tools/testing/selftests/bpf/verifier/runtime_jit.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2019-12-19T21:39:22Zbpf: Add further test_verifier cases for record_func_key2019-12-19T21:39:22ZDaniel Borkmanndaniel@iogearbox.net2019-12-19T21:19:51Zurn:sha1:3123d8018d4686cf193806c4e27a9853550ed895
Expand dummy prog generation such that we can easily check on return
codes and add few more test cases to make sure we keep on tracking
pruning behavior.
# ./test_verifier
[...]
#1066/p XDP pkt read, pkt_data <= pkt_meta', bad access 1 OK
#1067/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK
Summary: 1580 PASSED, 0 SKIPPED, 0 FAILED
Also verified that JIT dump of added test cases looks good.
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/df7200b6021444fd369376d227de917357285b65.1576789878.git.daniel@iogearbox.net
selftests: bpf: break up test_verifier2019-01-28T05:37:45ZJakub Kicinskijakub.kicinski@netronome.com2019-01-25T23:24:43Zurn:sha1:40f2fbd5a5e9c6d0799632fcba174a7b45c471da
Break up the first 10 kLoC of test verifier test cases
out into smaller files. Looks like git line counting
gets a little flismy above 16 bit integers, so we need
two commits to break up test_verifier.
Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Acked-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>