Subject bpf: check_cond_jmp_op(): properly infer if register is null
Author eddyz87@gmail.com
Date 2026-08-22 00:32:36 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com kernel-team@fb.com martin.lau@linux.dev npc@anthropic.com yonghong.song@linux.dev
Patches (2)
Name Content [All]
[PATCH bpf-next 1/2] bpf: check_cond_jmp_op(): properly infer if register is null [Body]
[PATCH bpf-next 2/2] selftests/bpf: a demo for check_cond_jmp_op() non-null inference bug [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-08-22
Passed
ID (for dev) d9b1ecf5-2def-4630-b1a5-311477cf14fb
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] passed [Log]
[KASAN] Boot test: Base 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] passed [Log]
[KASAN] Build Patched 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] [patched] passed [Log]
[KASAN] Fuzz 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] 669e4fa766000ae4137bb02eb22ce75ba78ad32d [Config] [patched] passed [Log] [Artifacts]