Hello:
This series was applied to bpf/bpf.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Tue, 29 Oct 2024 10:26:40 -0700 you wrote:
> A specifically crafted program might trick verifier into growing very
> long jump history within a single bpf_verifier_state instance.
> Very long jump history makes mark_chain_precision() unreasonably slow,
> especially in case if verifier processes a loop.
>
> Mitigate this by forcing new state in is_state_visited() in case if
> current state's jump history is too long.
>
> [...]
Here is the summary with links:
- [bpf,v2,1/2] bpf: force checkpoint when jmp history is too long
https://git.kernel.org/bpf/bpf/c/aa30eb3260b2
- [bpf,v2,2/2] selftests/bpf: test with a very short loop
https://git.kernel.org/bpf/bpf/c/1fb315892d83
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
