diff options
| author |   Daniel Borkmann <daniel@iogearbox.net> | 2019-12-19 22:19:51 +0100 |
|---|---|---|
| committer |   Alexei Starovoitov <ast@kernel.org> | 2019-12-19 13:39:22 -0800 |
| commit | 3123d8018d4686cf193806c4e27a9853550ed895 (patch) | |
| tree | 7995fcdf2db0c9bc3d6e5015b256b71c81537723 /tools/testing/selftests/bpf/verifier/array_access.c | |
| parent | bpf: Fix record_func_key to perform backtracking on r3 (diff) | |
| download | linux-dev-3123d8018d4686cf193806c4e27a9853550ed895.tar.xz linux-dev-3123d8018d4686cf193806c4e27a9853550ed895.zip | |
bpf: Add further test_verifier cases for record_func_key
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
Diffstat (limited to 'tools/testing/selftests/bpf/verifier/array_access.c')
0 files changed, 0 insertions, 0 deletions