Hello:
This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Tue, 13 Jun 2023 18:38:20 +0300 you wrote:
> Update regsafe() to use check_ids() for scalar values.
> Otherwise the following unsafe pattern is accepted by verifier:
>
> 1: r9 = ... some pointer with range X ...
> 2: r6 = ... unbound scalar ID=a ...
> 3: r7 = ... unbound scalar ID=b ...
> 4: if (r6 > r7) goto +1
> 5: r6 = r7
> 6: if (r6 > X) goto ...
>
> [...]
Here is the summary with links:
- [bpf-next,v6,1/4] bpf: use scalar ids in mark_chain_precision()
https://git.kernel.org/bpf/bpf-next/c/904e6ddf4133
- [bpf-next,v6,2/4] selftests/bpf: check if mark_chain_precision() follows scalar ids
https://git.kernel.org/bpf/bpf-next/c/dec020280373
- [bpf-next,v6,3/4] bpf: verify scalar ids mapping in regsafe() using check_ids()
https://git.kernel.org/bpf/bpf-next/c/1ffc85d9298e
- [bpf-next,v6,4/4] selftests/bpf: verify that check_ids() is used for scalars in regsafe()
https://git.kernel.org/bpf/bpf-next/c/18b89265572b
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
