BPF verifier has 700+ tests used to check correctness of the verifier. Beyond checking the verifier log tell kernel to run accepted programs as well via bpf_prog_test_run() command. That improves quality of the tests and increases bpf test coverage.
Alexei Starovoitov (2): bpf: allow socket_filter programs to use bpf_prog_test_run selftests/bpf: make test_verifier run most programs kernel/bpf/syscall.c | 2 ++ net/core/filter.c | 1 + tools/testing/selftests/bpf/test_verifier.c | 50 ++++++++++++++++++++++++++++- 3 files changed, 52 insertions(+), 1 deletion(-) -- 2.9.5
