From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-ej1-f42.google.com (mail-ej1-f42.google.com [209.85.218.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 1BE5C1A9FB0 for ; Wed, 15 Jul 2026 03:02:17 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.218.42 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1784084540; cv=none; b=LtX450QstphFNXN4cLm/bao09jHK7CSCWX5ruOjALIo9wXNxH0zdeNKvUVA8DCEsRDzKXz4eYw8MTWa8IReLKSt9yxOivPIXPG9ZOULPESAFHePe0BusL7079XGfZlp9VIIVc1+MHPvmbt73/WcRsq1jSvINlCTXSYh2fps40bg= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1784084540; c=relaxed/simple; bh=Pyp2DnCViCnJgUi88+R0XBfifCiYiXiV56seNpVS6sg=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=TmlrSakvtxG5h9QmYrKQTSbdPH9JS8Yg9jZg+zadGG3mFUAGdg0rtTeMkA0Pzux6SNZTKqbVvexPRTYavJpIsPhPOtPZFQtok1O4qu3yc0DpiPoi1fAkpLybnaJMo0GFZ8QcfnGLkmp7vUV1ociAgzNOHwcI1YdxTbCwP9jTBS0= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=suse.com; spf=pass smtp.mailfrom=suse.com; dkim=pass (2048-bit key) header.d=suse.com header.i=@suse.com header.b=CgJACLJ9; arc=none smtp.client-ip=209.85.218.42 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=suse.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=suse.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=suse.com header.i=@suse.com header.b="CgJACLJ9" Received: by mail-ej1-f42.google.com with SMTP id a640c23a62f3a-c1677c91969so45356266b.1 for ; Tue, 14 Jul 2026 20:02:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=google; t=1784084536; x=1784689336; darn=vger.kernel.org; h=in-reply-to:content-disposition:content-type:mime-version :references:message-id:subject:cc:to:from:date:from:to:cc:subject :date:message-id:reply-to:content-type; bh=hOjABmuvBW+jCcuokYEE7Gv19LjuO15ZtZi5onZDlks=; b=CgJACLJ98v8bx0a5WjsLkmXa0c45JEdSrekLF6tl5Fk22ghzpLJUvgFKQNzQTq8Ifl /ETsYk5Eo6xIB43MhUwOTHfm6l/60rKnMk3z77HYo3eisYf7NRzZMM+qx11ZKE/B/IiZ vklNHjKz3M8XNO8/Ulp4B/L3Ont5OEf+hb9qmZq7FfrXmYIOgTLvsYr1mcGB8om87koA eNoJog5ZJsjRDPz3ZRg0hRIWoIoPBCEPrG28tjn73CcgQw9BSKK4PCVnl0TowIaMCQJl cKRfYR0ykvJXtO91SW3ILye1CqC2a48Lpg1PjvVqZVEEk6hLo2Llro4s7MO2IjdwzHBW PEJQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1784084536; x=1784689336; h=in-reply-to:content-disposition:content-type:mime-version :references:message-id:subject:cc:to:from:date:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=hOjABmuvBW+jCcuokYEE7Gv19LjuO15ZtZi5onZDlks=; b=X4PEHwH3A5IgTgAlD/4VRNqRoW9eH68oI4ZV0N4fY0aFWXwxDik/T0uozmOak1qknS DJMPjsTNbqBPcZ8jJIWFN4tOND+WUf6efD/EBCwR2VzyFJIY9n/F5vrIntFmTqJLLMOr Xs6eQR0/Gy/iY+NmSZ/VVv1xI6SSrzVr9q2G9T6bBWIJGK7vSjYvsf0cBIhRUtj6CbPL nVMLE4LolpRsLkO0n76AYJimsz61Z32v+ie72c1dMO9LQUl6XViHfZ6lSvk+RycQE0IW svW2axgqwctjxaWQuwigZ4u+ukbXicTL9IV/z5XZ9vya1EukMbeZNAXaIil5agH2L1Fo +75w== X-Forwarded-Encrypted: i=1; AHgh+Rr7fm+x4nGNPd/ppNfrja39T6qw/wSSmbyNIZZLS+ir/x1+pxM85SkEdq6YxXR37NVlscgT9Qjey98/bq0=@vger.kernel.org X-Gm-Message-State: AOJu0YwnZsvlvTfgyLPFb6Wb17wLhW7zt+KY61rodcm98fFSH0fmI9RJ U9MOcnHIrDhakZBpYnV3dbT9Qlv8rUDXiafrLUWhAmyXcoigfIyEdbHVg+MYOJCrMTs= X-Gm-Gg: AfdE7ckN+O4jqRkLKABEynGKZrBqwRfH3Qoc7UB7Buzr5jGagiKHR64+C0QAdv2+yqC 7waPiC04elAtR6AIFUCY8Bh1rsglkKKIqC4o0Y8XbkgRhaTag2oZ4fgs2JiqOK7SBoSSRnynPJ5 UKU3tlP28cfvWgisMJVL0EKfOjZnE5oCuV8tTewIAfXtryolh3SMMmySbcfeqtIfZpZpGnADltA crjhg4zUj1zia0cNTBCo7Gi1hmFvTWomi3MxknH3wc7zWesUrg/BX5Ut7Fxwd3cIeV0Ha15JF5Z nfQ7p3ugB7lkkodBiI3zxEHwFQbPSNr7DMuijKPgO9cRWfj2BskzmCWApRuEm6UzeA7xGRPF8Hz yZDTTIb3suLgc8IJfiJHdzbhzq4y20GcX9LskULXRhW/cIuWwTZtX7aAG+t9LM9eWPSAVHHuq2c 0U6OFNVVGAtaPoeq1MZAxeWyQymf47RoRO X-Received: by 2002:a17:907:f815:b0:bb7:eb68:514e with SMTP id a640c23a62f3a-c167940e66bmr67514766b.36.1784084536316; Tue, 14 Jul 2026 20:02:16 -0700 (PDT) Received: from u94a (27-51-89-168.adsl.fetnet.net. [27.51.89.168]) by smtp.gmail.com with ESMTPSA id 006d021491bc7-6a39a4a7797sm7988739eaf.6.2026.07.14.20.02.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 14 Jul 2026 20:02:14 -0700 (PDT) Date: Wed, 15 Jul 2026 11:02:02 +0800 From: Shung-Hsi Yu To: Sun Jian Cc: bpf@vger.kernel.org, Alexei Starovoitov , Andrii Nakryiko , Daniel Borkmann , Eduard Zingerman , Emil Tsalapatis , Jiri Olsa , John Fastabend , Kumar Kartikeya Dwivedi , Martin KaFai Lau , Shuah Khan , Song Liu , Yonghong Song , Matt Mullins , linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org, stable@vger.kernel.org Subject: Re: [PATCH bpf v5 2/2] selftests/bpf: Cover negative buffer pointer offsets Message-ID: References: <20260714093846.18159-1-sun.jian.kdev@gmail.com> <20260714093846.18159-3-sun.jian.kdev@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20260714093846.18159-3-sun.jian.kdev@gmail.com> On Tue, Jul 14, 2026 at 02:38:46AM -0700, Sun Jian wrote: > Add verifier coverage for constant negative offsets on PTR_TO_TP_BUFFER > and PTR_TO_BUF pointers. Both programs adjust the buffer pointer by -8 > and access it at offset zero, so the negative effective start must be > rejected at load time. > > Switch the raw tracepoint writable attach checks from nbd_send_request > to bpf_testmod_test_writable_bare_tp, avoiding a dependency on the NBD > tracepoint. Keep the existing past-end case and add a case with a > negative var_off compensated by a positive instruction offset. The > effective start remains non-negative, so the program loads, but its > access end exceeds the writable context size and > bpf_raw_tracepoint_open() must return -EINVAL. > > Reported-by: Shung-Hsi Yu > Link: https://lore.kernel.org/bpf/alRtilWhKw4zzMkI@u94a > Cc: stable@vger.kernel.org # 5.2.0 ... IMO it is slightly better to split this into two. First part would be [1] suggested by Eduard, and the second part would be the addition of negative offset test. That said, I checked that with v5.2 we do have PTR_TO_TP_BUFFER and PTR_TO_BUF support already (latter as PTR_TO_RDONLY_BUF and PTR_TO_RDWR_BUF), so there shouldn't be a problem having these tests back in stable. Acked-by: Shung-Hsi Yu 1: https://lore.kernel.org/bpf/3430dc0a2a141769a596ab21d7abdd86a0a804db.camel@gmail.com/2-tp-test.diff