Re: [PATCH bpf-next v4 0/7] bpf: infer zext_dst based on static register liveness analysis

Hello:

This series was applied to bpf/bpf-next.git (master)
by Daniel Borkmann <[email protected]>:

On Fri,  7 Aug 2026 13:59:29 -0700 you wrote:
> Min-gyu Kim reported a bug in 32-bit operations zero extension
> handling [1]. The same issue was independently identified by
> STAR Labs SG. The bug was introduced by the commit [2].
> The tl;dr of the bug is that the verifier does not carry zero
> extension marks across pruning points. The detailed mechanism is
> described in patch #3.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v4,1/7] bpf: do not print a newline after disassembly in bpf_verbose_insn()
    https://git.kernel.org/bpf/bpf-next/c/483a1bb0b6cf
  - [bpf-next,v4,2/7] bpf: extract is_addr_space_cast32() utility function
    https://git.kernel.org/bpf/bpf-next/c/d977dca7d073
  - [bpf-next,v4,3/7] bpf: move bpf_is_reg64() to fixups.c
    https://git.kernel.org/bpf/bpf-next/c/05b71078f305
  - [bpf-next,v4,4/7] bpf: track upper 32-bit register halves' liveness in compute_live_registers()
    https://git.kernel.org/bpf/bpf-next/c/ef1ddbfcfaef
  - [bpf-next,v4,5/7] bpf: infer zext_dst based on static register liveness analysis
    https://git.kernel.org/bpf/bpf-next/c/7ce090afbf72
  - [bpf-next,v4,6/7] bpf: simplify the bpf_is_reg64()
    https://git.kernel.org/bpf/bpf-next/c/be4f8d6f2ff7
  - [bpf-next,v4,7/7] selftests/bpf: verify zext_dst annotations for various instructions
    https://git.kernel.org/bpf/bpf-next/c/8b365b3c68b4

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html