From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=209.85.214.171 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1792979606; b=BUJNfzuuHYKM+gKwPLw3/VLcBIdM/LrAWRamaTeoumjQxZvILjymMWJtwrDy3I1T+hL4 g3cfr9mYlOBFc8KQGu2T3hXRsuOfwpeQBZjlSAKk7z1a9wMxfPnkkMZNZkOK9LQwgjCmC fs3cn/vRwIYeTT+SaKLMFsqQ5ljWtc4mGzwYj33OLr1lfmDmw5D3Xl4tpNmO5AoUDfbPO /cCSPo+BfLyTOBW1ExlvaomqxHtyfHAhKYwZyS7LQ00zAeybwbYF7QiZky68zFbvr2yYR KMMwosuMay5uIXr/CSswrr+plpYdGp+tjc6CIlLh3M2aCbWlECMOux5k4eSLtLsMpyA== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1792979606; h=DMARC-Filter:Received:DKIM-Signature:X-Google-DKIM-Signature: X-Forwarded-Encrypted:X-Gm-Message-State:X-Gm-Gg:X-Received:Received: From:To:Cc:Subject:Date:Message-ID:X-Mailer:In-Reply-To:References: MIME-Version:Content-Transfer-Encoding; bh=xjb1mAInVk1HzEdMNZJyI7Brud2BvIWrU6/hsR1V99o=; b=HK1Pzf5SNiLFjcoP86BzBBQkZ1yUChdH6qx2hUPWBDiU6quYpc4vBYVFh7Sq8wpklLOq BHbJzML06LOMPiKbuHj+EN1FEQijYReuQTRVNotXDdSdoOuFWt+HDn25lwztHf5CG4APv zhsrCs+ybXK/r5E/xtxKlqS06vu+04mrrYQINPqSRvJk+qgvQdBHkSiHHoW7uHqkwzpHM rXYlVsHhOFtEsz/9LLtNHat0N7X885Gpeqzofh1GInnNa6+jAMurpDkeFlTxMx7eDtP7b G30KJAuIWn0rrJws5HPRm+pC6N1sa94BjSxDdvPjpzzn5zuKgftLU++B27p3ISNqQxg== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20251104 header.b=KYvu7PZA; arc=none smtp.remote-ip=209.85.214.171 Received: from mail-pl1-f171.google.com (mail-pl1-f171.google.com [209.85.214.171]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A1F1E606A31B for ; Mon, 26 Oct 2026 01:53:25 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.2 smtp.subspace.kernel.org A1F1E606A31B 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, unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20251104 header.b=KYvu7PZA Received: by mail-pl1-f171.google.com with SMTP id d9443c01a7336-2ea138a3497so15588525ad.2 for ; Sun, 25 Oct 2026 18:53:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1792979605; x=1793584405; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to:content-type; bh=xjb1mAInVk1HzEdMNZJyI7Brud2BvIWrU6/hsR1V99o=; b=KYvu7PZAowTmf2dOYvKPpMuRlxFdicgWp+ZkgZcvfFbs8OZHihEl43jKXfWvqsNBiP A9QVA561SdLihfyOOISiQ/IpAKb1Z+aSAQu0EFRi6DQFLfjqg/PW+6+C4FQNhYe1VYpN wScJ3VIUtompHzhbTiVN4C0RaZmHe1S3BwV9RzUrFEoTi3Ok3W8go6PKPg5cmxIZoHmn BytuQlZ/io8ccewH7GKzgaky7mRiE8rYg3NEMUHsHyu8YPEzhcFF9nS4ZK9enMsxjoyx HrXfJ+Z3E3l2jlOZv5O/T1k63mKp0WBxa/nQlZlWJRN2qL9sBkE1d6BB/p6iSf7iqQCe m/pA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1792979605; x=1793584405; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to:content-type; bh=xjb1mAInVk1HzEdMNZJyI7Brud2BvIWrU6/hsR1V99o=; b=HqMyn+CxoyWdbQox1PWaXgeoCmq7Q8gVnu7uWdOnVUdBdQJ7lNvxb/N3CnInTedyAI mSXv4H31tqZbN935cPZeoVgOycdiuJWceBD/InnVafU4GtsQES4S3PpO7rNYzX4+BV1D rF34ip6JFi2zpilAdQiVvjWyurP4fDlTc/bWAMhyolXcBKoY3zM8mqEmlmlnknAxXIh/ szX53mWGI9xnQabE1Z4Hi+Hh4NxiqTD4xIOy0G4Reeo4otYA/C+R+xyqqqKnYhqBeWtg 59TtLYcPc1SRI2sG3Uqp+kU/vXZ5uLgPvPp70HNBNA7VNL88ExBmmOncpdVrYJOY+IOl CMNg== X-Forwarded-Encrypted: i=1; AKwUvBymBdNO1ODFMmzdIdFcx7DLZLZOmEHu6JZqfxWd9bNK/KD0Dv2D45mHwadPu3tlpNjhANuW2NKRiZL9naLuVSc=@vger.kernel.org X-Gm-Message-State: AFq9FYJej6q9NqQpDpMhAvakD/2wuk7ON47vFT6oGKQvin3StuskLGfk ogdR3N9deWkc7JEFYpXLKvy9Iu6HaDAnuYFOj5pyo69WRYfsC2Pf8QmM X-Gm-Gg: AYBFou0IcchsEb1MYN0fGkE4leiISfdE1WTORW5v4XJ8Qpy4o1AnjraEfQqv/lAbL6D yTAqz44OaHFlVoayYednKZ7xFMyF3y8Wc2MwS+rZ0uj00DJOco0kGebaeBTX+NqtXHH/HTlHYkt P+a4fVrvpRW3xqqEoxSMh+yB7vWSJ2+kGXiqWbdpYcNvR886FD7W7YuPzEvmN/QqlBCjC/YN0H4 d+oR3D57HHiF6s+oLpC2naSQlUdKupYryv88Y5DUDkJcTIHCgjLLslY0quep2BBogO2ZuYnHHKl zrK4qg9rjxQjX0ezkCdAPWAGEGBWWyMZyn37iplQWbgEVzyF2paHUH80o6BRx96do+ffT6w/Wom Et2xBXaFrs6GT4HsSl+//82ysXZNTklK92uJhoL1UIl91Ddr2FjijzQ9g7GZPENGhepIq50QjFw 2qz2Zb380LRdxJ9jKJLMEU8HXYYhAcSucIT39EiIh0O7CAnLzMjaOFlAepC0+4SodGi7doqOydU v0SD+GUCluWKUQeWyI28ycw4eOHjqQFwzJDq6k/IE3AtjigeuXF8HVLF2r5gPxvUSqZMc8D8NkH KTZXG00HeC8pRK0/tuKMVU/DgShe X-Received: by 2002:a17:903:1a2b:b0:2e5:6af9:a745 with SMTP id d9443c01a7336-2ea9c8194afmr46914005ad.23.1792979604989; Sun, 25 Oct 2026 18:53:24 -0700 (PDT) Received: from Terra.tail0ac356.ts.net ([198.176.50.208]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-2ea9af3232bsm10137655ad.10.2026.10.25.18.53.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 25 Oct 2026 18:53:23 -0700 (PDT) From: Weiming Shi To: Alexei Starovoitov , Daniel Borkmann , John Fastabend , Andrii Nakryiko , Martin KaFai Lau , Eduard Zingerman , Kumar Kartikeya Dwivedi , Song Liu , Yonghong Song , Jiri Olsa , Shuah Khan Cc: bpf@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-kernel@vger.kernel.org, co+eada64ce90ecebce@bugs.sh, Xiang Mei , Weiming Shi , Alexei Starovoitov Subject: [PATCH bpf v3 2/2] selftests/bpf: Test missing and callback stack arguments Date: Sun, 25 Oct 2026 18:52:50 -0700 Message-ID: <20261026015250.1674676-2-bestswngs@gmail.com> X-Mailer: git-send-email 2.56.0 In-Reply-To: <20261026015250.1674676-1-bestswngs@gmail.com> References: <20261026015250.1674676-1-bestswngs@gmail.com> X-Mailing-List: linux-kselftest@vger.kernel.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Exercise the path where a static seven-argument subprogram has unreliable BTF and is called through a bridge with only one initialized outgoing stack argument. The callee expects two stack arguments, but the unreliable-BTF path skips check_outgoing_stack_args(). Expect the verifier to reject the second r11 load at offset 16. Also exercise synchronous and asynchronous callbacks whose BTF prototypes declare a sixth argument. Initialize the outgoing slot at each helper call site so the programs reach the callback-specific rejection. Keep a valid six-argument direct call in each program so bpf_fixup_call_args() records the stack-argument requirement and cannot become an unrelated rejection fallback. The fix also rejects the existing uninitialized-stack-argument test before the later unreadable-register check. Update that test's expected diagnostic accordingly. Suggested-by: Alexei Starovoitov Assisted-by: LLM Signed-off-by: Weiming Shi --- Changes in v3: - Rebase onto the bpf tree at commit 00d2cdf1637e ("Merge branch 'bpf-track-borrowed-iterator-result-lifetimes'"). Changes in v2: - Add synchronous bpf_loop callback coverage. - Add asynchronous bpf_timer callback coverage. - Add the six-argument callback BTF prototype and initialize the outgoing stack slot so both tests reach the callback-specific rejection. .../bpf/progs/btf__verifier_stack_arg_order.c | 10 ++ .../bpf/progs/verifier_stack_arg_order.c | 121 +++++++++++++++++- 2 files changed, 130 insertions(+), 1 deletion(-) diff --git a/tools/testing/selftests/bpf/progs/btf__verifier_stack_arg_order.c b/tools/testing/selftests/bpf/progs/btf__verifier_stack_arg_order.c index a980a3a399d3fe..f4fb8f81afa777 100644 --- a/tools/testing/selftests/bpf/progs/btf__verifier_stack_arg_order.c +++ b/tools/testing/selftests/bpf/progs/btf__verifier_stack_arg_order.c @@ -26,6 +26,11 @@ void subprog_bad_ptr_7args(long *a, int b, int c, int d, int e, int f, int g) { } +int callback_6args(long a, long b, long c, long d, long e, long f) +{ + return a + b + c + d + e + f; +} + #else int subprog_bad_order_6args(void) @@ -47,4 +52,9 @@ void subprog_bad_ptr_7args(void) { } +int callback_6args(void) +{ + return 0; +} + #endif diff --git a/tools/testing/selftests/bpf/progs/verifier_stack_arg_order.c b/tools/testing/selftests/bpf/progs/verifier_stack_arg_order.c index ab195585223343..5bfcd300c7a09a 100644 --- a/tools/testing/selftests/bpf/progs/verifier_stack_arg_order.c +++ b/tools/testing/selftests/bpf/progs/verifier_stack_arg_order.c @@ -5,6 +5,17 @@ #include #include "bpf_misc.h" +struct timer_value { + struct bpf_timer timer; +}; + +struct { + __uint(type, BPF_MAP_TYPE_ARRAY); + __uint(max_entries, 1); + __type(key, int); + __type(value, struct timer_value); +} timer_map SEC(".maps"); + #if (defined(__TARGET_ARCH_x86) || defined(__TARGET_ARCH_arm64) || \ (defined(__TARGET_ARCH_riscv) && __riscv_xlen == 64)) && \ defined(__BPF_FEATURE_STACK_ARGUMENT) @@ -130,6 +141,25 @@ static void subprog_bad_ptr_7args(long *a, int b, int c, int d, int e, int f, in ); } +__noinline __used __naked +static int callback_6args(long a, long b, long c, long d, long e, long f) +{ + asm volatile ("r0 = *(u64 *)(r11 + 8);" + "exit;" + ::: __clobber_all + ); +} + +__noinline __used __naked +static void subprog_call_bad_ptr_7args(void) +{ + asm volatile ("*(u64 *)(r11 - 8) = 0;" + "call subprog_bad_ptr_7args;" + "exit;" + ::: __clobber_all + ); +} + SEC("tc") __description("stack_arg: read without caller write") __failure @@ -152,7 +182,7 @@ __naked void stack_arg_read_without_write_1(void) SEC("tc") __description("stack_arg: read with not-initialized caller write") __failure -__msg("R0 !read_ok") +__msg("invalid read from uninitialized stack arg off 8") __btf_func_path("btf__verifier_stack_arg_order.bpf.o") __naked void stack_arg_read_without_write_2(void) { @@ -171,6 +201,95 @@ __naked void stack_arg_read_without_write_2(void) ); } +SEC("tc") +__description("stack_arg: unreliable callee with too few stack args") +__failure +__msg("invalid read from uninitialized stack arg off 16") +__btf_func_path("btf__verifier_stack_arg_order.bpf.o") +__naked void stack_arg_read_with_short_bridge_write(void) +{ + asm volatile ("r1 = 0;" + "r2 = 0;" + "r3 = 0;" + "r4 = 0;" + "r5 = 0;" + "*(u64 *)(r11 - 8) = 0;" + "*(u64 *)(r11 - 16) = 0;" + "call subprog_bad_ptr_7args;" + "call subprog_call_bad_ptr_7args;" + "exit;" + ::: __clobber_all + ); +} + +SEC("tc") +__description("stack_arg: synchronous callback with stack args") +__failure +__msg("callback subprog cannot have stack args") +__btf_func_path("btf__verifier_stack_arg_order.bpf.o") +__naked void stack_arg_sync_callback(void) +{ + asm volatile ("r6 = 0;" + "*(u64 *)(r11 - 8) = r6;" + "r1 = 1;" + "r2 = %[callback_6args];" + "r3 = 0;" + "r4 = 0;" + "call %[bpf_loop];" + "r1 = 1;" + "r2 = 2;" + "r3 = 3;" + "r4 = 4;" + "r5 = 5;" + "*(u64 *)(r11 - 8) = 6;" + "call callback_6args;" + "r0 = 0;" + "exit;" + : + : __imm_ptr(callback_6args), + __imm(bpf_loop) + : __clobber_common, "r6" + ); +} + +SEC("tc") +__description("stack_arg: asynchronous callback with stack args") +__failure +__msg("callback subprog cannot have stack args") +__btf_func_path("btf__verifier_stack_arg_order.bpf.o") +__naked void stack_arg_async_callback(void) +{ + asm volatile ("r1 = 0;" + "*(u32 *)(r10 - 4) = r1;" + "r1 = %[timer_map] ll;" + "r2 = r10;" + "r2 += -4;" + "call %[bpf_map_lookup_elem];" + "if r0 == 0 goto l0_%=;" + "r6 = r0;" + "r7 = 0;" + "*(u64 *)(r11 - 8) = r7;" + "r1 = r6;" + "r2 = %[callback_6args];" + "call %[bpf_timer_set_callback];" + "r1 = 1;" + "r2 = 2;" + "r3 = 3;" + "r4 = 4;" + "r5 = 5;" + "*(u64 *)(r11 - 8) = 6;" + "call callback_6args;" + "l0_%=: r0 = 0;" + "exit;" + : + : __imm_addr(timer_map), + __imm_ptr(callback_6args), + __imm(bpf_map_lookup_elem), + __imm(bpf_timer_set_callback) + : __clobber_common, "r6", "r7" + ); +} + #else SEC("socket") -- 2.56.0