Subject Optimize bounds refinement by reordering deductions
Author paul.chaignon@gmail.com
Date 2026-03-13 11:40:06 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com paul.chaignon@gmail.com shung-hsi.yu@suse.com
Patches (3)
Name Content [All]
[PATCH bpf-next v3 1/3] bpf: better naming for __reg_deduce_bounds() parts [Body]
[PATCH bpf-next v3 2/3] bpf: Avoid one round of bounds deduction [Body]
[PATCH bpf-next v3 3/3] selftests/bpf: Test case for refinement improvement using 64b bounds [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-03-13
Passed
ID (for dev) c93cb213-07bb-472e-a81f-1956cf3bb1b0
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] passed [Log]
[KASAN] Boot test: Base ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] passed [Log]
[KASAN] Build Patched ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] [patched] passed [Log]
[KASAN] Fuzz ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] ca0f39a369c5f927c3d004e63a5a778b08a9df94 [Config] [patched] passed [Log] [Artifacts]