Syzbot CI

Subject	bpf: Support stack arguments for BPF functions and kfuncs
Author	yonghong.song@linux.dev
Date	2026-05-11 05:33:06 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net jose.marchesi@oracle.com kernel-team@fb.com martin.lau@kernel.org puranjay@kernel.org yonghong.song@linux.dev

Subject

bpf: Support stack arguments for BPF functions and kfuncs

Author

yonghong.song@linux.dev

Date

2026-05-11 05:33:06 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net jose.marchesi@oracle.com kernel-team@fb.com martin.lau@kernel.org puranjay@kernel.org yonghong.song@linux.dev

Name	Content [All]
[PATCH bpf-next v3 01/24] bpf: Convert bpf_get_spilled_reg macro to static inline function	[Body]
[PATCH bpf-next v3 02/24] bpf: Remove copy_register_state wrapper function	[Body]
[PATCH bpf-next v3 03/24] bpf: Add helper functions for r11-based stack argument insns	[Body]
[PATCH bpf-next v3 04/24] bpf: Set sub->arg_cnt earlier in btf_prepare_func_args()	[Body]
[PATCH bpf-next v3 05/24] bpf: Support stack arguments for bpf functions	[Body]
[PATCH bpf-next v3 06/24] bpf: Refactor jmp history to use dedicated spi/frame fields	[Body]
[PATCH bpf-next v3 07/24] bpf: Add precision marking and backtracking for stack argument slots	[Body]
[PATCH bpf-next v3 08/24] bpf: Refactor record_call_access() to extract per-arg logic	[Body]
[PATCH bpf-next v3 09/24] bpf: Extend liveness analysis to track stack argument slots	[Body]
[PATCH bpf-next v3 10/24] bpf: Reject stack arguments in non-JITed programs	[Body]
[PATCH bpf-next v3 11/24] bpf: Prepare architecture JIT support for stack arguments	[Body]
[PATCH bpf-next v3 12/24] bpf: Enable r11 based insns	[Body]
[PATCH bpf-next v3 13/24] bpf: Support stack arguments for kfunc calls	[Body]
[PATCH bpf-next v3 14/24] bpf: Reject stack arguments if tail call reachable	[Body]
[PATCH bpf-next v3 15/24] bpf: Pass bpf_subprog_info to bpf_int_jit_compile()	[Body]
[PATCH bpf-next v3 16/24] bpf,x86: Implement JIT support for stack arguments	[Body]
[PATCH bpf-next v3 17/24] selftests/bpf: Add tests for BPF function stack arguments	[Body]
[PATCH bpf-next v3 18/24] selftests/bpf: Add tests for stack argument validation	[Body]
[PATCH bpf-next v3 19/24] selftests/bpf: Add BTF fixup for __naked subprog parameter names	[Body]
[PATCH bpf-next v3 20/24] selftests/bpf: Add verifier tests for stack argument validation	[Body]
[PATCH bpf-next v3 21/24] selftests/bpf: Add precision backtracking test for stack arguments	[Body]
[PATCH bpf-next v3 22/24] bpf, arm64: Map BPF_REG_0 to x8 instead of x7	[Body]
[PATCH bpf-next v3 23/24] bpf, arm64: Add JIT support for stack arguments	[Body]
[PATCH bpf-next v3 24/24] selftests/bpf: Enable stack argument tests for arm64	[Body]

Name

Content [All]

[PATCH bpf-next v3 01/24] bpf: Convert bpf_get_spilled_reg macro to static inline function

[PATCH bpf-next v3 02/24] bpf: Remove copy_register_state wrapper function

[PATCH bpf-next v3 03/24] bpf: Add helper functions for r11-based stack argument insns

[PATCH bpf-next v3 04/24] bpf: Set sub->arg_cnt earlier in btf_prepare_func_args()

[PATCH bpf-next v3 05/24] bpf: Support stack arguments for bpf functions

[PATCH bpf-next v3 06/24] bpf: Refactor jmp history to use dedicated spi/frame fields

[PATCH bpf-next v3 07/24] bpf: Add precision marking and backtracking for stack argument slots

[PATCH bpf-next v3 08/24] bpf: Refactor record_call_access() to extract per-arg logic

[PATCH bpf-next v3 09/24] bpf: Extend liveness analysis to track stack argument slots

[PATCH bpf-next v3 10/24] bpf: Reject stack arguments in non-JITed programs

[PATCH bpf-next v3 11/24] bpf: Prepare architecture JIT support for stack arguments

[PATCH bpf-next v3 12/24] bpf: Enable r11 based insns

[PATCH bpf-next v3 13/24] bpf: Support stack arguments for kfunc calls

[PATCH bpf-next v3 14/24] bpf: Reject stack arguments if tail call reachable

[PATCH bpf-next v3 15/24] bpf: Pass bpf_subprog_info to bpf_int_jit_compile()

[PATCH bpf-next v3 16/24] bpf,x86: Implement JIT support for stack arguments

[PATCH bpf-next v3 17/24] selftests/bpf: Add tests for BPF function stack arguments

[PATCH bpf-next v3 18/24] selftests/bpf: Add tests for stack argument validation

[PATCH bpf-next v3 19/24] selftests/bpf: Add BTF fixup for __naked subprog parameter names

[PATCH bpf-next v3 20/24] selftests/bpf: Add verifier tests for stack argument validation

[PATCH bpf-next v3 21/24] selftests/bpf: Add precision backtracking test for stack arguments

[PATCH bpf-next v3 22/24] bpf, arm64: Map BPF_REG_0 to x8 instead of x7

[PATCH bpf-next v3 23/24] bpf, arm64: Add JIT support for stack arguments

[PATCH bpf-next v3 24/24] selftests/bpf: Enable stack argument tests for arm64

Session 2026-05-11

Passed

ID (for dev)	9d2ec1d6-5507-489a-b4e3-dde95cf56b9a
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

Test	Base	Patched	Verdict
[KASAN] Build Base	7e033543a2ab4c72319201298ed458e3bbddd82f [Config]		passed [Log]
[KASAN] Boot test: Base	7e033543a2ab4c72319201298ed458e3bbddd82f [Config]		passed [Log]
[KASAN] Build Patched		7e033543a2ab4c72319201298ed458e3bbddd82f [Config] [patched]	passed [Log]
[KASAN] Boot test: Patched		7e033543a2ab4c72319201298ed458e3bbddd82f [Config] [patched]	passed [Log]
[KASAN] Fuzz	7e033543a2ab4c72319201298ed458e3bbddd82f [Config]	7e033543a2ab4c72319201298ed458e3bbddd82f [Config] [patched]	passed [Log] [Artifacts]

Patches (24)

Series Summary

Sessions

Session 2026-05-11