Show patches with: Series = exact states comparison for iterator convergence checks       |    Archived = No       |   7 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bpf-next,v3,7/7] bpf: print full verifier states on infinite loop detection exact states comparison for iterator convergence checks 1 - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,6/7] selftests/bpf: test if state loops are detected in a tricky case exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,5/7] bpf: correct loop detection for iterators convergence exact states comparison for iterator convergence checks - 1 - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,4/7] selftests/bpf: tests with delayed read/precision makrs in loop body exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,3/7] bpf: exact states comparison for iterator convergence checks exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,2/7] bpf: extract same_callsites() as utility function exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,1/7] bpf: move explored_state() closer to the beginning of verifier.c exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted