From mboxrd@z Thu Jan 1 00:00:00 1970 From: Yonghong Song Subject: [PATCH net-next 0/3] bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semantics Date: Sat, 11 Nov 2017 16:00:33 -0800 Message-ID: <20171112000036.3597189-1-yhs@fb.com> Mime-Version: 1.0 Content-Type: text/plain Cc: To: , , Return-path: Received: from mx0b-00082601.pphosted.com ([67.231.153.30]:35466 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1752208AbdKLAAj (ORCPT ); Sat, 11 Nov 2017 19:00:39 -0500 Received: from pps.filterd (m0089730.ppops.net [127.0.0.1]) by m0089730.ppops.net (8.16.0.21/8.16.0.21) with SMTP id vAC00cSk003929 for ; Sat, 11 Nov 2017 16:00:38 -0800 Received: from mail.thefacebook.com ([199.201.64.23]) by m0089730.ppops.net with ESMTP id 2e5wjy988s-1 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sat, 11 Nov 2017 16:00:38 -0800 Sender: netdev-owner@vger.kernel.org List-ID: This patch set intends to change verifier ARG_CONST_SIZE_OR_ZERO semantics so that simpler bpf programs can be written with verifier acceptance. Patch #1 comment provided the detailed examples and the patch itself implements the new semantics. Patch #2 changes bpf_probe_read helper arg2 type from ARG_CONST_SIZE to ARG_CONST_SIZE_OR_ZERO. Patch #3 fixed a few test cases and added some for better coverage. Yonghong Song (3): bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semantics bpf: change helper bpf_probe_read arg2 type to ARG_CONST_SIZE_OR_ZERO bpf: fix and add test cases for ARG_CONST_SIZE_OR_ZERO semantics change kernel/bpf/verifier.c | 40 +++++---- kernel/trace/bpf_trace.c | 8 +- tools/testing/selftests/bpf/test_verifier.c | 131 ++++++++++++++++++++++++---- 3 files changed, 142 insertions(+), 37 deletions(-) -- 2.9.5