Subject bpf: check_cond_jmp_op(): properly infer if register is null
Author eddyz87@gmail.com
Date 2026-08-26 18:18:44 +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 v2 1/2] bpf: check_cond_jmp_op(): properly infer if register is null [Body]
[PATCH bpf-next v2 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-26
Passed
ID (for dev) ff7476c4-b342-4b59-9d58-6df5a9ecc0a4
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] passed [Log]
[KASAN] Boot test: Base 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] passed [Log]
[KASAN] Build Patched 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] [patched] passed [Log]
[KASAN] Fuzz 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] 1555de33018fad06ca5dfa2fad5d3d1c6a6eb2fe [Config] [patched] passed [Log] [Artifacts]