Re: [PATCH bpf-next v2 0/2] bpf: arg tracking for imprecise/multi-offset BPF_ST/STX

patchwork-bot+netdevbpf
2026-04-15T16:00:39Z

Hello:

This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Mon, 13 Apr 2026 16:30:51 -0700 you wrote:
> When the static arg tracking analysis encounters a store through a
> pointer with imprecise or multi-offset destination, it must use weak
> updates (join) instead of strong updates (overwrite) for the affected
> at_stack slots. At runtime only one slot is actually written; the
> others retain their old values.
>
> Two cases are addressed:
> - BPF_STX, handled by spill_to_stack(). It was gated on
> `dst_is_local_fp = (frame == depth)`, which missed ARG_IMPRECISE
> pointers entirely.
> - BPF_ST, handled by clear_stack_for_all_offs(). It delegates to
> clear_overlapping_stack_slots() which unconditionally set
> `at_stack[i] = none`. Change to `at_stack[i] = join(old, none)`
> when multiple candidate slots exist (cnt != 1), so that untouched
> slots preserve their tracked values.
>
> [...]

Here is the summary with links:
- [bpf-next,v2,1/2] bpf: fix arg tracking for imprecise/multi-offset BPF_ST/STX
https://git.kernel.org/bpf/bpf/c/ecdd4fd8a54c
- [bpf-next,v2,2/2] selftests/bpf: arg tracking for imprecise/multi-offset BPF_ST/STX
https://git.kernel.org/bpf/bpf/c/d97cc8fc997c

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.