From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexei Starovoitov Subject: [PATCH v2 bpf-next 0/4] bpf: improve verifier state analysis Date: Thu, 13 Dec 2018 11:42:30 -0800 Message-ID: <20181213194234.2071587-1-ast@kernel.org> Mime-Version: 1.0 Content-Type: text/plain Cc: , , , , , To: "David S . Miller" Return-path: Received: from mx0a-00082601.pphosted.com ([67.231.145.42]:59208 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727874AbeLMTmz (ORCPT ); Thu, 13 Dec 2018 14:42:55 -0500 Received: from pps.filterd (m0044010.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id wBDJgSW2009846 for ; Thu, 13 Dec 2018 11:42:55 -0800 Received: from maileast.thefacebook.com ([199.201.65.23]) by mx0a-00082601.pphosted.com with ESMTP id 2pbtwcgqb2-3 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for ; Thu, 13 Dec 2018 11:42:55 -0800 Sender: netdev-owner@vger.kernel.org List-ID: v1->v2: with optimization suggested by Jakub patch 4 safety check became cheap enough. 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