Patch Series

Subject bpf: verifier: Improve state pruning for scalar registers
Author puranjay@kernel.org
Date 2026-02-03 02:22:24 +0000 UTC
Version
Cc andrii.nakryiko@gmail.com andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com kernel-team@meta.com martin.lau@kernel.org memxor@gmail.com mykyta.yatsenko5@gmail.com puranjay12@gmail.com puranjay@kernel.org

Patches (5)

Name Content [All]
[PATCH bpf-next v2 1/5] bpf: verifier: Assign ids on stack fills [Body]
[PATCH bpf-next v2 2/5] bpf: verifier: Clear singular ids for scalars [Body]
[PATCH bpf-next v2 3/5] bpf: verifier: relax maybe_widen_reg() constraints [Body]
[PATCH bpf-next v2 4/5] bpf: verifier: Relax scalar id equivalence for state pruning [Body]
[PATCH bpf-next v2 5/5] selftests: bpf: Add a test for ids=0 [Body]

Session 2026-02-03

ID (for dev) 5767f9cb-176a-494f-aa73-f3da9c05571a
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] passed [Log]
[KASAN] Boot test: Base 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] passed [Log]
[KASAN] Build Patched 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] [patched] passed [Log]
[KASAN] Fuzzing 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] 4bebb99140c7b6ee6d894c40557f938804fa8693 [Config] [patched] passed [Log] [Artifacts]