Subject bpf: Fix verifier_bug_if to account for BPF_CALL
Author luis.gerhorst@fau.de
Date 2026-01-27 11:59:11 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net dddddd@hust.edu.cn dzm91@hust.edu.cn eddyz87@gmail.com haoluo@google.com isolodrai@meta.com john.fastabend@gmail.com jolsa@kernel.org kpsingh@kernel.org linux-kernel@vger.kernel.org linux-kselftest@vger.kernel.org luis.gerhorst@fau.de m202472210@hust.edu.cn martin.lau@linux.dev memxor@gmail.com sdf@fomichev.me shuah@kernel.org song@kernel.org yonghong.song@linux.dev
Patches (2)
Name Content [All]
[PATCH bpf-next 1/2] bpf: Fix verifier_bug_if to account for BPF_CALL [Body]
[PATCH bpf-next 2/2] bpf: Test nospec after dead stack write in helper [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-01-27
Passed
ID (for dev) 0d53aa35-01de-465c-9527-7621812f65b5
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] passed [Log]
[KASAN] Boot test: Base 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] passed [Log]
[KASAN] Build Patched 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] [patched] passed [Log]
[KASAN] Fuzzing 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] 8016abd6314ed1ed01ff09404e3c82ceb13c185b [Config] [patched] passed [Log] [Artifacts]