From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexei Starovoitov Subject: [PATCH bpf-next 0/4] bpf: improve verifier state analysis Date: Tue, 11 Dec 2018 21:28:50 -0800 Message-ID: <20181212052854.4105971-1-ast@kernel.org> Mime-Version: 1.0 Content-Type: text/plain Cc: , , , , , To: "David S . Miller" Return-path: Received: from mx0b-00082601.pphosted.com ([67.231.153.30]:51790 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1726584AbeLLF3A (ORCPT ); Wed, 12 Dec 2018 00:29:00 -0500 Received: from pps.filterd (m0001303.ppops.net [127.0.0.1]) by m0001303.ppops.net (8.16.0.27/8.16.0.27) with SMTP id wBC5M1LG020835 for ; Tue, 11 Dec 2018 21:28:59 -0800 Received: from mail.thefacebook.com ([199.201.64.23]) by m0001303.ppops.net with ESMTP id 2pav1u00th-3 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for ; Tue, 11 Dec 2018 21:28:59 -0800 Sender: netdev-owner@vger.kernel.org List-ID: Several improvements to verifier state logic. Patch 1 - trivial optimization Patch 3 - significant optimization for stack state equivalence Patch 4 - safety check for liveness and prep for future state merging Alexei Starovoitov (4): bpf: speed up stacksafe check selftests/bpf: check insn processed in test_verifier bpf: improve stacksafe state comparison bpf: add self-check logic to liveness analysis include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c | 125 ++++++++++++++++++-- tools/testing/selftests/bpf/test_verifier.c | 37 +++++- 3 files changed, 154 insertions(+), 9 deletions(-) -- 2.17.1