Patch Series

Subject bpf: verifier: Improve state pruning for scalar registers
Author puranjay@kernel.org
Date 2026-02-03 16:50:57 +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 v3 1/5] bpf: verifier: Assign ids on stack fills [Body]
[PATCH bpf-next v3 2/5] bpf: verifier: Clear singular ids for scalars [Body]
[PATCH bpf-next v3 3/5] bpf: verifier: Relax maybe_widen_reg() constraints [Body]
[PATCH bpf-next v3 4/5] bpf: verifier: Relax scalar id equivalence for state pruning [Body]
[PATCH bpf-next v3 5/5] selftests: bpf: verifier_scalar_ids: Add a test for ids=0 [Body]

Session 2026-02-03

ID (for dev) 6d873783-19e2-4b82-b424-7c3ebf2de01e
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base d95d76aa772bf94df353b015b1cb38303d4a415d [Config] passed [Log]
[KASAN] Boot test: Base d95d76aa772bf94df353b015b1cb38303d4a415d [Config] passed [Log]
[KASAN] Build Patched d95d76aa772bf94df353b015b1cb38303d4a415d [Config] [patched] passed [Log]
[KASAN] Boot test: Patched d95d76aa772bf94df353b015b1cb38303d4a415d [Config] [patched] passed [Log]
[KASAN] Fuzzing d95d76aa772bf94df353b015b1cb38303d4a415d [Config] d95d76aa772bf94df353b015b1cb38303d4a415d [Config] [patched] passed [Log] [Artifacts]