Show patches with: Submitter = Eduard Zingerman       |    State = Action Required       |   10 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bpf-next,v1,10/10] bpf: fix env->peak_states computation bpf: copy_verifier_state() should copy 'loop_entry' field - - - 701- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,09/10] bpf: free verifier states when they are no longer referenced bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,08/10] bpf: use list_head to track explored states and free list bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,07/10] bpf: do not update state->loop_entry in get_loop_entry() bpf: copy_verifier_state() should copy 'loop_entry' field - - - 701- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,06/10] bpf: make state->dfs_depth < state->loop_entry->dfs_depth an invariant bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,05/10] bpf: detect infinite loop in get_loop_entry() bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,04/10] selftests/bpf: check states pruning for deeply nested iterator bpf: copy_verifier_state() should copy 'loop_entry' field - - - 701- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,03/10] bpf: don't do clean_live_states when state->loop_entry->branches > 0 bpf: copy_verifier_state() should copy 'loop_entry' field - - - 701- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,02/10] selftests/bpf: test correct loop_entry update in copy_verifier_state bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New
[bpf-next,v1,01/10] bpf: copy_verifier_state() should copy 'loop_entry' field bpf: copy_verifier_state() should copy 'loop_entry' field - - - 692- 2025-02-15 Eduard Zingerman bpf New