Subject Fix invariant violations and improve branch detection
Author paul.chaignon@gmail.com
Date 2026-03-13 22:54:30 +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 shung-hsi.yu@suse.com
Patches (4)
Name Content [All]
[PATCH bpf-next 1/4] bpf: Refactor reg_bounds_sanity_check [Body]
[PATCH bpf-next 2/4] bpf: Simulate branches to prune based on range violations [Body]
[PATCH bpf-next 3/4] selftests/bpf: Cover invariant violation cases from syzbot [Body]
[PATCH bpf-next 4/4] selftests/bpf: Remove invariant violation flags [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-03-13
Passed
ID (for dev) de860d64-f76b-4487-8283-a7b7a9ebd615
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] passed [Log]
[KASAN] Boot test: Base 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] passed [Log]
[KASAN] Build Patched 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] [patched] passed [Log]
[KASAN] Fuzz 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] 2af3aa702c05ecd05850db9d9e110be9ffa3cf47 [Config] [patched] passed [Log] [Artifacts]