From patchwork Wed Mar 24 00:43:34 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thadeu Lima de Souza Cascardo X-Patchwork-Id: 1457598 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=none (no SPF record) smtp.mailfrom=lists.ubuntu.com (client-ip=91.189.94.19; helo=huckleberry.canonical.com; envelope-from=kernel-team-bounces@lists.ubuntu.com; receiver=) Received: from huckleberry.canonical.com (huckleberry.canonical.com [91.189.94.19]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 4F4qHG2wRLz9sWS; Wed, 24 Mar 2021 11:43:53 +1100 (AEDT) Received: from localhost ([127.0.0.1] helo=huckleberry.canonical.com) by huckleberry.canonical.com with esmtp (Exim 4.86_2) (envelope-from ) id 1lOrcj-000619-QZ; Wed, 24 Mar 2021 00:43:49 +0000 Received: from youngberry.canonical.com ([91.189.89.112]) by huckleberry.canonical.com with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.86_2) (envelope-from ) id 1lOrch-000613-Jo for kernel-team@lists.ubuntu.com; Wed, 24 Mar 2021 00:43:47 +0000 Received: from 1.general.cascardo.us.vpn ([10.172.70.58] helo=localhost.localdomain) by youngberry.canonical.com with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.86_2) (envelope-from ) id 1lOrcg-0001Ll-TY for kernel-team@lists.ubuntu.com; Wed, 24 Mar 2021 00:43:47 +0000 From: Thadeu Lima de Souza Cascardo To: kernel-team@lists.ubuntu.com Subject: [SRU Bionic 0/3] (LP: #1920995) selftests: bpf verifier fails after sanitize_ptr_alu fixes Date: Tue, 23 Mar 2021 21:43:34 -0300 Message-Id: <20210324004337.170117-1-cascardo@canonical.com> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 X-BeenThere: kernel-team@lists.ubuntu.com X-Mailman-Version: 2.1.20 Precedence: list List-Id: Kernel team discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: kernel-team-bounces@lists.ubuntu.com Sender: "kernel-team" BugLink: https://bugs.launchpad.net/bugs/1920995 [Impact] bpf selftests will fail after applying fixes from 4.15.0-140. [Fix] Apply selftests fixes and bpf verifier simplification and hardening. [Test Plan] Ran the verifier test and other tests for the latest BPF fixes. [Potential regression] BPF programs that worked before may stop working or, worse, programs that should not be allowed may start working. Piotr Krysiuk (3): bpf: Simplify alu_limit masking for pointer arithmetic bpf: Add sanity check for upper ptr_limit bpf, selftests: Fix up some test_verifier cases for unprivileged kernel/bpf/verifier.c | 21 ++++++++++------ tools/testing/selftests/bpf/test_verifier.c | 27 +++++++++++++++------ 2 files changed, 32 insertions(+), 16 deletions(-) Acked-by: Kelsey Skunberg Acked-by: Stefan Bader