Patch Series

Subject bpf: verifier: Improve state pruning for scalar registers
Author puranjay@kernel.org
Date 2026-02-02 10:44:03 +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 (4)

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

Session 2026-02-02

ID (for dev) 47effacd-3598-4a5e-b659-85b3a7d5b24a
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]