Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 4 May 2023 21:33:07 -0700 you wrote:
> As more and more real-world BPF programs become more complex
> and increasingly use subprograms (both static and global), scalar precision
> tracking and its (previously weak) support for BPF subprograms (and callbacks
> as a special case of that) is becoming more and more of an issue and
> limitation. Couple that with increasing reliance on state equivalence (BPF
> open-coded iterators have a hard requirement for state equivalence to converge
> and successfully validate loops), and it becomes pretty critical to address
> this limitation and make precision tracking universally supported for BPF
> programs of any complexity and composition.
>
> [...]
Here is the summary with links:
- [v3,bpf-next,01/10] veristat: add -t flag for adding BPF_F_TEST_STATE_FREQ program flag
https://git.kernel.org/bpf/bpf-next/c/5956f3011604
- [v3,bpf-next,02/10] bpf: mark relevant stack slots scratched for register read instructions
https://git.kernel.org/bpf/bpf-next/c/e0bf462276b6
- [v3,bpf-next,03/10] bpf: encapsulate precision backtracking bookkeeping
https://git.kernel.org/bpf/bpf-next/c/407958a0e980
- [v3,bpf-next,04/10] bpf: improve precision backtrack logging
https://git.kernel.org/bpf/bpf-next/c/d9439c21a9e4
- [v3,bpf-next,05/10] bpf: maintain bitmasks across all active frames in __mark_chain_precision
https://git.kernel.org/bpf/bpf-next/c/1ef22b6865a7
- [v3,bpf-next,06/10] bpf: fix propagate_precision() logic for inner frames
https://git.kernel.org/bpf/bpf-next/c/f655badf2a8f
- [v3,bpf-next,07/10] bpf: fix mark_all_scalars_precise use in mark_chain_precision
https://git.kernel.org/bpf/bpf-next/c/c50c0b57a515
- [v3,bpf-next,08/10] bpf: support precision propagation in the presence of subprogs
https://git.kernel.org/bpf/bpf-next/c/fde2a3882bd0
- [v3,bpf-next,09/10] selftests/bpf: add precision propagation tests in the presence of subprogs
https://git.kernel.org/bpf/bpf-next/c/3ef3d2177b1a
- [v3,bpf-next,10/10] selftests/bpf: revert iter test subprog precision workaround
https://git.kernel.org/bpf/bpf-next/c/c91ab90cea7a
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
