Hello:
This series was applied to bpf/bpf.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Tue, 24 Sep 2024 14:08:43 -0700 you wrote:
> Range propagation must not affect subreg_def marks, otherwise the
> following example is rewritten by verifier incorrectly when
> BPF_F_TEST_RND_HI32 flag is set:
>
> 0: call bpf_ktime_get_ns call bpf_ktime_get_ns
> 1: r0 &= 0x7fffffff after verifier r0 &= 0x7fffffff
> 2: w1 = w0 rewrites w1 = w0
> 3: if w0 < 10 goto +0 --------------> r11 = 0x2f5674a6 (r)
> 4: r1 >>= 32 r11 <<= 32 (r)
> 5: r0 = r1 r1 |= r11 (r)
> 6: exit; if w0 < 0xa goto pc+0
> r1 >>= 32
> r0 = r1
> exit
>
> [...]
Here is the summary with links:
- [bpf,v1,1/2] bpf: sync_linked_regs() must preserve subreg_def
https://git.kernel.org/bpf/bpf/c/27cda47e7819
- [bpf,v1,2/2] selftests/bpf: verify that sync_linked_regs preserves subreg_def
https://git.kernel.org/bpf/bpf/c/99a648c951ba
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
