From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexei Starovoitov Subject: [PATCH bpf-next 0/2] bpf: increase bpf test coverage Date: Wed, 17 Jan 2018 16:52:01 -0800 Message-ID: <20180118005203.1978645-1-ast@kernel.org> Mime-Version: 1.0 Content-Type: text/plain Cc: , , To: Return-path: Received: from mx0a-00082601.pphosted.com ([67.231.145.42]:48316 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753129AbeARAwF (ORCPT ); Wed, 17 Jan 2018 19:52:05 -0500 Received: from pps.filterd (m0044010.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w0I0oSG7003831 for ; Wed, 17 Jan 2018 16:52:05 -0800 Received: from mail.thefacebook.com ([199.201.64.23]) by mx0a-00082601.pphosted.com with ESMTP id 2fje6y0xds-2 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Wed, 17 Jan 2018 16:52:05 -0800 Sender: netdev-owner@vger.kernel.org List-ID: 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