Received: by 2002:a05:6a10:a841:0:0:0:0 with SMTP id d1csp906537pxy; Thu, 22 Apr 2021 16:57:38 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzcko+en4SBceB/Gs7vevdboanDJuBoMe+QtFi9UJ2mjDnxNGWqjrYLD9LxZLnU4v7VTCyN X-Received: by 2002:a05:6402:104c:: with SMTP id e12mr1151564edu.108.1619135858035; Thu, 22 Apr 2021 16:57:38 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1619135858; cv=none; d=google.com; s=arc-20160816; b=ZM8oFN6ihvGTpKboZ9HbPH3FD5daZ57R+/wjJekuD0SwyW178wvMdmb6TAuuWdOqg6 jLbHlJZ2/id0tcO3oqwHQ4v0M5B2JUUjLpcwHXhO1HNXKj80j5As5lpcpINQlm7IhgGu wQmLnvtYKmv+66vP2AJbTFa6cqM8fGrrFGDd54gXoi9215oHIqCEvAWsJmyLz9Hd3M0H dbjKIt/G1wZHAqLVTeNLN4UpU+eHjfC6hltjE15MhxC4xN/iy8cx53qxap4gmxNvyn5h JLC6Mrou4fyIgaBjma9C7u/xnw5thcW61OXcBhadJ1orTEIytJWlbkKnPOiCDLdJabni hw0Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :message-id:date:subject:cc:to:from:dkim-signature; bh=ALCAFiUi51S3PIdvclw/G9XXE9DLJXb5Z0T/S+Z9JLs=; b=vSwpconKXExXmAQrUKjcr/q183vQukW35pySSdVIlP7H1a5kJFF4eFXKqiW9upfnYf FMo//bbBgcJxFoFGxc75ApooX0UvhRMLHunP1tDv82BBQPmJgDelHZ7qpQipHHu7k+WM lZbyxXeCR0dcv8JNZmvrncZMiw94BA3q9TJNPx4bso1duml8vMTJciBTP34BYRwmc1SP UsWNczqbaTRGqx/B2vnoaVAeiDS/5Z5XGtwNimZRn3zjP9sx6MtJhcvzxvYAVS/rvZ2Q izdZ93mcLNST9O25GWPofTjdcmBsya3FU/hXdXInmTmbV9SdGbYMoZ5IJzM2d9kS01KL LUMw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@chromium.org header.s=google header.b=GCQef4VL; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chromium.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id h1si3538560edz.291.2021.04.22.16.57.14; Thu, 22 Apr 2021 16:57:38 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@chromium.org header.s=google header.b=GCQef4VL; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chromium.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S236896AbhDVX5C (ORCPT + 99 others); Thu, 22 Apr 2021 19:57:02 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:48616 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235977AbhDVX5C (ORCPT ); Thu, 22 Apr 2021 19:57:02 -0400 Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id A27E5C061574 for ; Thu, 22 Apr 2021 16:56:26 -0700 (PDT) Received: by mail-wr1-x42f.google.com with SMTP id j5so45539500wrn.4 for ; Thu, 22 Apr 2021 16:56:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=ALCAFiUi51S3PIdvclw/G9XXE9DLJXb5Z0T/S+Z9JLs=; b=GCQef4VLrFhvFv+OgYmsX8RdjQi9ktkHCD0HZSwyqJ3r3j/C59nkSrJNpM/TcIeBnr wgQe5isVAX3vGx+VgaQcI24nNZYSDp8ropHT0fvNnEeSkMZNhAdYT8DQfrBa5csFCaRc xnCsqy8iB2xgonGjcrgVcFCz9zKi824RAgcVg= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=ALCAFiUi51S3PIdvclw/G9XXE9DLJXb5Z0T/S+Z9JLs=; b=QWAEjhBlKQhIngDLL7k4pqNQVor/UMgnOEDKf4WaODljJVmTldVcHn6j0Xq/beU4pR Nybr4XbB5qZCMsDWO+68qMpio3p6rqNWPxcyZR6sdY3v+thnrxUsyCNg3uVscW9otLJV HUtqFytZv+guH9RCZlKmxLaPztePOER9L6KvnQKFmBq9xXkEaUD+ehu0p5SFYfM50rXf OQlRYdvw/5mm7GBe4+L+KrxOL0QvWaHeQ0XQwRjmUjag3beqAVj+YgWOLK5D08v7Swpw 1ReK5SarVp6c2UI/xBv+P8s9z+cGqHcto9ehjclrnixEPtbDkcscqk9uwAit5BB5WwvF YzAg== X-Gm-Message-State: AOAM531eUIRmJZAGs0EmNgBpOVPKKYK9xei0ANZsaS2M0qyPGjF7HxI4 2boLb/Abmf43xm+14ju7aWTtXQ== X-Received: by 2002:adf:de08:: with SMTP id b8mr915225wrm.279.1619135785413; Thu, 22 Apr 2021 16:56:25 -0700 (PDT) Received: from revest.zrh.corp.google.com ([2a00:79e0:61:302:e4b7:67ca:7609:a533]) by smtp.gmail.com with ESMTPSA id t20sm8201149wmi.35.2021.04.22.16.56.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 22 Apr 2021 16:56:25 -0700 (PDT) From: Florent Revest To: bpf@vger.kernel.org Cc: ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org, kpsingh@kernel.org, jackmanb@google.com, linux-kernel@vger.kernel.org, Florent Revest Subject: [PATCH bpf-next 0/2] Simplify bpf_snprintf verifier code Date: Fri, 23 Apr 2021 01:55:41 +0200 Message-Id: <20210422235543.4007694-1-revest@chromium.org> X-Mailer: git-send-email 2.31.1.498.g6c1eba8ee3d-goog MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Alexei requested a couple of cleanups to the bpf_snprintf and ARG_PTR_TO_CONST_STR verifier code. https://lore.kernel.org/bpf/CABRcYmL_SMT80UTyV98bRsOzW0wBd1sZcYUpTrcOAV+9m+YoWQ@mail.gmail.com/T/#t Florent Revest (2): bpf: Notify user if we ever hit a bpf_snprintf verifier bug bpf: Remove unnecessary map checks for ARG_PTR_TO_CONST_STR kernel/bpf/verifier.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) -- 2.31.1.498.g6c1eba8ee3d-goog