Patch Series

Subject Fix invariant violations and improve branch detection
Author paul.chaignon@gmail.com
Date 2026-04-02 15:08:19 +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

Patches (6)

Name Content [All]
[PATCH bpf-next v3 1/6] bpf: Refactor reg_bounds_sanity_check [Body]
[PATCH bpf-next v3 2/6] bpf: Use bpf_verifier_env buffers for reg_set_min_max [Body]
[PATCH bpf-next v3 3/6] bpf: Exit early if reg_bounds_sync gets invalid inputs [Body]
[PATCH bpf-next v3 4/6] bpf: Simulate branches to prune based on range violations [Body]
[PATCH bpf-next v3 5/6] selftests/bpf: Cover invariant violation case from syzbot [Body]
[PATCH bpf-next v3 6/6] selftests/bpf: Remove invariant violation flags [Body]
Session 2026-04-02
ID (for dev) 35b2509b-9240-4ff0-b0e0-4a328286f558
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] passed [Log]
[KASAN] Boot test: Base 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] passed [Log]
[KASAN] Build Patched 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] passed [Log]
[KASAN] Fuzz 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] passed [Log] [Artifacts]