Syzbot CI

Subject	bpf: don't infer non-NULL from a pointer with an unbounded offset
Author	eddyz87@gmail.com
Date	2026-09-04 08:33:18 +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 memxor@gmail.com npc@anthropic.com yonghong.song@linux.dev

Subject

bpf: don't infer non-NULL from a pointer with an unbounded offset

Author

eddyz87@gmail.com

Date

2026-09-04 08:33:18 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com kernel-team@fb.com martin.lau@linux.dev memxor@gmail.com npc@anthropic.com yonghong.song@linux.dev

Name	Content [All]
[PATCH bpf 1/8] bpf: don't infer non-NULL from a pointer with an unbounded offset	[Body]
[PATCH bpf 2/8] selftests/bpf: no non-NULL inference from unbounded offset pointers	[Body]
[PATCH bpf 3/8] bpf: don't resurrect a scalar id dropped by collect_linked_regs()	[Body]
[PATCH bpf 4/8] selftests/bpf: check the linked regs cap for the compared register	[Body]
[PATCH bpf 5/8] bpf: don't predict JMP32 pointer vs zero comparisons	[Body]
[PATCH bpf 6/8] selftests/bpf: check that JMP32 pointer vs zero jumps are not predicted	[Body]
[PATCH bpf 7/8] bpf: mark the zero register precise for a register-form NULL check	[Body]
[PATCH bpf 8/8] selftests/bpf: no non-NULL inference from an imprecise zero register	[Body]

Name

Content [All]

[PATCH bpf 1/8] bpf: don't infer non-NULL from a pointer with an unbounded offset

[PATCH bpf 2/8] selftests/bpf: no non-NULL inference from unbounded offset pointers

[PATCH bpf 3/8] bpf: don't resurrect a scalar id dropped by collect_linked_regs()

[PATCH bpf 4/8] selftests/bpf: check the linked regs cap for the compared register

[PATCH bpf 5/8] bpf: don't predict JMP32 pointer vs zero comparisons

[PATCH bpf 6/8] selftests/bpf: check that JMP32 pointer vs zero jumps are not predicted

[PATCH bpf 7/8] bpf: mark the zero register precise for a register-form NULL check

[PATCH bpf 8/8] selftests/bpf: no non-NULL inference from an imprecise zero register

Session 2026-09-04

Passed

ID (for dev)	bc500424-19a9-45a9-8ac0-1970f95a2b4e
Status	finished
Triaged	OK [Log] [Trajectory]
Execution Log	[Link]

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

Patches (8)

Series Summary

Sessions

Session 2026-09-04