This patchseries fixes all failing bpf verifier selftests:
root@intel-x86-64:~# ./test_verifier #1149/p XDP pkt read, pkt_meta' <= pkt_data, bad access 2 OK #1150/p XDP pkt read, pkt_data <= pkt_meta', good access OK #1151/p XDP pkt read, pkt_data <= pkt_meta', bad access 1 OK #1152/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK Summary: 1691 PASSED, 0 SKIPPED, 0 FAILED
Andrei Matei (2): selftest/bpf: Adjust expected verifier errors selftest/bpf: Verifier tests for var-off access
Daniel Borkmann (3): bpf, selftests: Adjust few selftest result_unpriv outcomes bpf: Update selftests to reflect new error states bpf, selftests: Adjust few selftest outcomes wrt unreachable code
Yonghong Song (1): selftests/bpf: Add a test for ptr_to_map_value on stack for helper access
.../selftests/bpf/progs/bpf_iter_task.c | 3 +- tools/testing/selftests/bpf/test_verifier.c | 2 +- tools/testing/selftests/bpf/verifier/and.c | 2 + .../selftests/bpf/verifier/basic_stack.c | 2 +- tools/testing/selftests/bpf/verifier/bounds.c | 19 ++- .../selftests/bpf/verifier/bounds_deduction.c | 21 ++-- .../bpf/verifier/bounds_mix_sign_unsign.c | 13 -- tools/testing/selftests/bpf/verifier/calls.c | 4 +- .../testing/selftests/bpf/verifier/const_or.c | 4 +- .../selftests/bpf/verifier/dead_code.c | 2 + .../bpf/verifier/helper_access_var_len.c | 12 +- .../testing/selftests/bpf/verifier/int_ptr.c | 6 +- tools/testing/selftests/bpf/verifier/jmp32.c | 22 ++++ tools/testing/selftests/bpf/verifier/jset.c | 10 +- .../testing/selftests/bpf/verifier/map_ptr.c | 4 +- .../selftests/bpf/verifier/raw_stack.c | 10 +- .../selftests/bpf/verifier/stack_ptr.c | 22 ++-- tools/testing/selftests/bpf/verifier/unpriv.c | 9 +- .../selftests/bpf/verifier/value_ptr_arith.c | 17 +-- .../testing/selftests/bpf/verifier/var_off.c | 115 ++++++++++++++++-- 20 files changed, 208 insertions(+), 91 deletions(-)