Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Tue, 24 Oct 2023 03:09:10 +0300 you wrote:
> Iterator convergence logic in is_state_visited() uses state_equals()
> for states with branches counter > 0 to check if iterator based loop
> converges. This is not fully correct because state_equals() relies on
> presence of read and precision marks on registers. These marks are not
> guaranteed to be finalized while state has branches.
> Commit message for patch #3 describes a program that exhibits such
> behavior.
>
> [...]
Here is the summary with links:
- [bpf-next,v3,1/7] bpf: move explored_state() closer to the beginning of verifier.c
https://git.kernel.org/bpf/bpf-next/c/3c4e420cb653
- [bpf-next,v3,2/7] bpf: extract same_callsites() as utility function
https://git.kernel.org/bpf/bpf-next/c/4c97259abc9b
- [bpf-next,v3,3/7] bpf: exact states comparison for iterator convergence checks
https://git.kernel.org/bpf/bpf-next/c/2793a8b015f7
- [bpf-next,v3,4/7] selftests/bpf: tests with delayed read/precision makrs in loop body
https://git.kernel.org/bpf/bpf-next/c/389ede06c297
- [bpf-next,v3,5/7] bpf: correct loop detection for iterators convergence
https://git.kernel.org/bpf/bpf-next/c/2a0992829ea3
- [bpf-next,v3,6/7] selftests/bpf: test if state loops are detected in a tricky case
https://git.kernel.org/bpf/bpf-next/c/64870feebecb
- [bpf-next,v3,7/7] bpf: print full verifier states on infinite loop detection
https://git.kernel.org/bpf/bpf-next/c/b4d8239534fd
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
