From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-dl1-f47.google.com (mail-dl1-f47.google.com [74.125.82.47]) (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 D8893386435 for ; Tue, 3 Mar 2026 20:08:48 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=74.125.82.47 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772568530; cv=none; b=gRhgTeoAub2eovTLOMbx6xi8XXbPzc/mPNN//K9DVQZBbFCBxkDj1NwkZRBFHYCK8IVF3hkwze01tXrHQsVFrT3rPOlF4SxfKXhpvIK+YT3YoXCVvVEPlI0Vr7lr60XVMO+zTuPWhKuUk13mYCQ0QtyAfBgyRQHOHqUsfmmJigE= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772568530; c=relaxed/simple; bh=ISEtte2YRGcmWkrcUHpDS6PMfMZOWkZs5vlInnwzUbA=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=Udb7f8CA1Ss0hHtU27xkv5vQ0FLnoBz0kfs4G4BjVXg5GKnBM2Au3RyH8KHdosHNaZ6Q+iCoI0oqOVeHmE5zE6uX03COG6+mZfkK7PrJv1CMx7YCGnQ/EkJACi86ASwnmSlJSqa3cjwhb0kLN1q67DnNEsUXpKzwjufsq81S1QA= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=HJkcv25a; arc=none smtp.client-ip=74.125.82.47 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="HJkcv25a" Received: by mail-dl1-f47.google.com with SMTP id a92af1059eb24-1274204434bso4670377c88.1 for ; Tue, 03 Mar 2026 12:08:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1772568528; x=1773173328; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=9yF/aUyo6FiFRr8w9SYSbT1Zd6hZOeTGHVjT13l1hoE=; b=HJkcv25afmCkUv3iLfkgKqnRrPxiIGQbc8eY35jXJy2JamiAwn6n+/2NrnoDWeeH+F Ip89KJrdxqwG/DdWvI8V+oGBpiPYQgGPHrcvJ4PZy7kVhgCUs83bPytcLGrLM9OWpT16 BAutvlZgJ/+dH1cy6mMst6RE0mYgTyIZe/tSWqMgHN6xJ177tc0c2fD39iYPWN4kAPEm H0ZEpGSZI39jS1xfKxgKF7PTe6cKc1h0egdst2bOgB7VLoQ6MjFbNKX9x/hg7KuhPOVl qeOqm6/OtPMb0BO24N/AkfeJAClt91AgJjl5Rhi5zQDBsqApA++M+hql2kY9r9JvOPDE aNSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1772568528; x=1773173328; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=9yF/aUyo6FiFRr8w9SYSbT1Zd6hZOeTGHVjT13l1hoE=; b=L1DbQ9FYRD8wQB6cKfYlIbbvDQvFi3KnyFCQhhdNarTyA9tTuaTX5MeLjq8qiT1Xyc C9GBhTLg8NLchvgEIAbt2Nzv2xdZy7cWrdlqvk63EB4BQRES4Drp/4CMl7rDn0OEQdMd 48eOBvQuEJUOzryhcevKHk+hOn5sa9B4AeRduap16D//dar/X5zVyaDwOR0zFe74+/W7 ueEJ1WDYWoWsEVHFkTDaWKNJiYiQBCF4L30ju+/POfSqByDURL6+GMjvtWqoCu4tUz2c kV1Dn7AkbsInCdjrzOT/aAM5QK9pVZHEp2ULGB9G2pV94lfJBYdhZDfXYpfJE9mk0YmQ lITQ== X-Forwarded-Encrypted: i=1; AJvYcCWmC8ao1/xMUviNodXKC2M7yRAbTi12LufUQVEzE4+d78NfnxL/LNLd31EO/0/2I4aQRAaqQTs9j8Y0mIc=@vger.kernel.org X-Gm-Message-State: AOJu0Yyegie5gOAZ0esGVQwuT26nyECAYereQ0TW2nfr8nNVrLgMhYro y12UefOR1Xh4/7AVcsFL5uQF5gvV/QFGyrpr6NHZvizbqQ/uM+eio7iF X-Gm-Gg: ATEYQzyoxzgALFedKhhAzCkvutZqZT9hnj/FT2EDwi8Ns5uWq1xKWKUx0GrTpdKn4VG llFPc19OseiJr1oiuluJhUXbYPmV4estjWxx6y8AxgDsnqQihTAlLaHbuqIHZzIYmlof7fOLnbr 193Gcaq+f7YqCXFTzstc3ZSopdvODTy/9cdvtja+5h3VM5pN+JNnfqsFhK3xYYPWEekZLUwqzvT T9oB2QjC6XFUfZpbTB0IfkMrfbk9fd1ueoM+utwi5Qh2LbDgnw8r+SUsMt6QmbSYbuXB2YLiXSV uxI7tz0nrNZJxjRIAEEtGpob8dVjz8WFvRuaKLe+BdgaAIfoifWQEdNfwhSYz42B7weu9xc7SWc +sr5o3TMRtPwAmUb/Pto7iO48RlUMyLNcYLAck9yMyweoUlU51RG+NZaT3aEX3++Oe7rm5QBKuU 3Sg0cg7+ZevTQJQt4ICUMZUPjmfmWNe1B63P/iIlo4ne8C2m5OBQOpDHtNkVTNXO/zyM+3gY/f1 5y/ZFUF X-Received: by 2002:a05:7022:7a3:b0:127:9432:485f with SMTP id a92af1059eb24-128b0ce47b5mr1159115c88.5.1772568527731; Tue, 03 Mar 2026 12:08:47 -0800 (PST) Received: from ?IPv6:2a03:83e0:115c:1:bf8e:1331:ef2b:145d? ([2620:10d:c090:500::3:4473]) by smtp.gmail.com with ESMTPSA id a92af1059eb24-12789a32633sm20160083c88.9.2026.03.03.12.08.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 03 Mar 2026 12:08:47 -0800 (PST) Message-ID: <24dceff5bf15b6c3e204c69617ac249de497b034.camel@gmail.com> Subject: Re: [PATCH bpf-next v4 2/2] selftests/bpf: Add trampolines single and multi-level pointer params test coverage From: Eduard Zingerman To: Slava Imameev , ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org Cc: martin.lau@linux.dev, song@kernel.org, yonghong.song@linux.dev, john.fastabend@gmail.com, kpsingh@kernel.org, sdf@fomichev.me, haoluo@google.com, jolsa@kernel.org, davem@davemloft.net, edumazet@google.com, kuba@kernel.org, pabeni@redhat.com, horms@kernel.org, shuah@kernel.org, linux-kernel@vger.kernel.org, bpf@vger.kernel.org, netdev@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-open-source@crowdstrike.com Date: Tue, 03 Mar 2026 12:08:44 -0800 In-Reply-To: <20260303095427.38981-3-slava.imameev@crowdstrike.com> References: <20260303095427.38981-1-slava.imameev@crowdstrike.com> <20260303095427.38981-3-slava.imameev@crowdstrike.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.58.2 (3.58.2-1.fc43) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 On Tue, 2026-03-03 at 20:54 +1100, Slava Imameev wrote: > Single and multi-level pointer params and return value test coverage > for BPF trampolines: > - fentry/fexit programs covering struct and void double/triple > pointer parameters and return values > - verifier context tests covering pointers as parameters, these > tests cover single and double pointers to int, enum 32 and 64, > void, function, and double pointers to struct, triple pointers > for void > - verifier context tests covering single and double pointers to > float, to check proper error is returned as pointers to float > are not supported > - verifier context tests covering pointers as return values > - verifier context tests for lsm to check trusted parameters > handling > - verifier context tests covering out-of-bound access after cast > - verifier BPF helper tests to validate no change in verifier > behavior >=20 > Signed-off-by: Slava Imameev > --- Again, I probably miss a point, but with current implementation it seems sufficient in verifier_ctx_ptr_param() to add one or two tests accessing void** or similar and checking verification log to validate that parameter has expected type scalar(). Why so many tests are necessary? [...]