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,v2,7/7] bpf: print full verifier states on infinite loop detection exact states comparison for iterator convergence checks 1 - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,6/7] selftests/bpf: test if state loops are detected in a tricky case exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,5/7] bpf: correct loop detection for iterators convergence exact states comparison for iterator convergence checks - 1 - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,4/7] selftests/bpf: tests with delayed read/precision makrs in loop body exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,3/7] bpf: exact states comparison for iterator convergence checks exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,2/7] bpf: extract same_callsites() as utility function exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,1/7] bpf: move explored_state() closer to the beginning of verifier.c exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded