Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Fri, 9 Dec 2022 15:57:26 +0200 you wrote:
> This patch-set consists of a series of bug fixes for register ID
> tracking in verifier.c:states_equal()/regsafe() functions:
> - for registers of type PTR_TO_MAP_{KEY,VALUE}, PTR_TO_PACKET[_META]
> the regsafe() should call check_ids() even if registers are
> byte-to-byte equal;
> - states_equal() must maintain idmap that covers all function frames
> in the state because functions like mark_ptr_or_null_regs() operate
> on all registers in the state;
> - regsafe() must compare spin lock ids for PTR_TO_MAP_VALUE registers.
>
> [...]
Here is the summary with links:
- [bpf-next,1/7] bpf: regsafe() must not skip check_ids()
https://git.kernel.org/bpf/bpf-next/c/7c884339bbff
- [bpf-next,2/7] selftests/bpf: test cases for regsafe() bug skipping check_id()
https://git.kernel.org/bpf/bpf-next/c/cb578c1c9cf6
- [bpf-next,3/7] bpf: states_equal() must build idmap for all function frames
https://git.kernel.org/bpf/bpf-next/c/5dd9cdbc9dec
- [bpf-next,4/7] selftests/bpf: verify states_equal() maintains idmap across all frames
https://git.kernel.org/bpf/bpf-next/c/7d0579433087
- [bpf-next,5/7] bpf: use check_ids() for active_lock comparison
https://git.kernel.org/bpf/bpf-next/c/4ea2bb158bec
- [bpf-next,6/7] selftests/bpf: Add pruning test case for bpf_spin_lock
https://git.kernel.org/bpf/bpf-next/c/2026f2062df8
- [bpf-next,7/7] selftests/bpf: test case for relaxed prunning of active_lock.id
https://git.kernel.org/bpf/bpf-next/c/efd6286ff74a
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
