Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 22 Dec 2022 21:49:14 -0800 you wrote:
> This patch set fixes, improves, and refactors parts of BPF verifier's state
> equivalence checks.
>
> Patch #1 fixes refsafe(), making it take into account ID map when comparing
> reference IDs. See patch for details.
>
> Patches #2-#7 refactor regsafe() function which compares two register states
> across old and current states. regsafe() is critical piece of logic, so to
> make it easier to review and validate refactorings and logic fixes and
> improvements, each patch makes a small change, explaining why the change is
> correct and makes sense. Please see individual patches for details.
>
> [...]
Here is the summary with links:
- [bpf-next,1/7] bpf: teach refsafe() to take into account ID remapping
https://git.kernel.org/bpf/bpf-next/c/e8f55fcf7779
- [bpf-next,2/7] bpf: reorganize struct bpf_reg_state fields
https://git.kernel.org/bpf/bpf-next/c/a73bf9f2d969
- [bpf-next,3/7] bpf: generalize MAYBE_NULL vs non-MAYBE_NULL rule
https://git.kernel.org/bpf/bpf-next/c/7f4ce97cd5ed
- [bpf-next,4/7] bpf: reject non-exact register type matches in regsafe()
https://git.kernel.org/bpf/bpf-next/c/910f69996674
- [bpf-next,5/7] bpf: perform byte-by-byte comparison only when necessary in regsafe()
https://git.kernel.org/bpf/bpf-next/c/4a95c85c9948
- [bpf-next,6/7] bpf: fix regs_exact() logic in regsafe() to remap IDs correctly
https://git.kernel.org/bpf/bpf-next/c/4633a0068258
- [bpf-next,7/7] bpf: unify PTR_TO_MAP_{KEY,VALUE} with default case in regsafe()
(no matching commit)
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
