Syzbot CI

Subject	Fix invariant violations and improve branch detection
Author	paul.chaignon@gmail.com
Date	2026-03-20 16:47:45 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com paul.chaignon@gmail.com santosh.nagarakatte@rutgers.edu shung-hsi.yu@suse.com srinivas.narayana@rutgers.edu

Subject

Author

paul.chaignon@gmail.com

Date

2026-03-20 16:47:45 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com paul.chaignon@gmail.com santosh.nagarakatte@rutgers.edu shung-hsi.yu@suse.com srinivas.narayana@rutgers.edu

Name	Content [All]
[PATCH v2 bpf-next 1/6] bpf: Refactor reg_bounds_sanity_check	[Body]
[PATCH v2 bpf-next 2/6] bpf: Use bpf_verifier_env buffers for reg_set_min_max	[Body]
[PATCH v2 bpf-next 3/6] bpf: Exit early if reg_bounds_sync gets invalid inputs	[Body]
[PATCH v2 bpf-next 4/6] bpf: Simulate branches to prune based on range violations	[Body]
[PATCH v2 bpf-next 5/6] selftests/bpf: Cover invariant violation cases from syzbot	[Body]
[PATCH v2 bpf-next 6/6] selftests/bpf: Remove invariant violation flags	[Body]

Name

Content [All]

Passed

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