Subject bpf: infer zext_dst based on static register liveness analysis
Author eddyz87@gmail.com
Date 2026-07-31 19:07:42 +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 kernel-team@fb.com martin.lau@linux.dev memxor@gmail.com qmo@kernel.org yonghong.song@linux.dev
Patches (5)
Name Content [All]
[PATCH bpf-next 1/5] bpf: do not print a newline after disassembly in bpf_verbose_insn() [Body]
[PATCH bpf-next 2/5] bpf: track upper 32-bit register halves' liveness in compute_live_registers() [Body]
[PATCH bpf-next 3/5] bpf: infer zext_dst based on static register liveness analysis [Body]
[PATCH bpf-next 4/5] bpf: simplify the bpf_is_reg64() signature [Body]
[PATCH bpf-next 5/5] selftests/bpf: verify zext_dst annotations for various instructions [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-07-31
Passed
ID (for dev) 2c593f50-c86d-4124-a73e-1b59725aac2f
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] passed [Log]
[KASAN] Boot test: Base fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] passed [Log]
[KASAN] Build Patched fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log]
[KASAN] Fuzz fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log] [Artifacts]