Subject bpf: infer zext_dst based on static register liveness analysis
Author eddyz87@gmail.com
Date 2026-08-07 20:59:30 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com gimm78064@gmail.com iii@linux.ibm.com info@starlabs.sg kernel-team@fb.com martin.lau@linux.dev memxor@gmail.com qmo@kernel.org yonghong.song@linux.dev
Patches (7)
Name Content [All]
[PATCH bpf-next v4 1/7] bpf: do not print a newline after disassembly in bpf_verbose_insn() [Body]
[PATCH bpf-next v4 2/7] bpf: extract is_addr_space_cast32() utility function [Body]
[PATCH bpf-next v4 3/7] bpf: move bpf_is_reg64() to fixups.c [Body]
[PATCH bpf-next v4 4/7] bpf: track upper 32-bit register halves' liveness in compute_live_registers() [Body]
[PATCH bpf-next v4 5/7] bpf: infer zext_dst based on static register liveness analysis [Body]
[PATCH bpf-next v4 6/7] bpf: simplify the bpf_is_reg64() [Body]
[PATCH bpf-next v4 7/7] selftests/bpf: verify zext_dst annotations for various instructions [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-08-07
Passed
ID (for dev) 55e7b2fb-4fa6-461d-8ecb-95649f10dafc
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 41c129fdc28b6414d259da72679567c5e72a55dd [Config] passed [Log]
[KASAN] Boot test: Base 41c129fdc28b6414d259da72679567c5e72a55dd [Config] passed [Log]
[KASAN] Build Patched 41c129fdc28b6414d259da72679567c5e72a55dd [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 41c129fdc28b6414d259da72679567c5e72a55dd [Config] [patched] passed [Log]
[KASAN] Fuzz 41c129fdc28b6414d259da72679567c5e72a55dd [Config] 41c129fdc28b6414d259da72679567c5e72a55dd [Config] [patched] passed [Log] [Artifacts]