I am taking over Tao's earlier patch set that can be found at [0], after an offline discussion. The bug reported in that thread is that process_iter_arg missed a reg->type == PTR_TO_STACK check. Fix this by adding it in, and also address comments from Andrii on the earlier attempt. Include more selftests to ensure the error is caught. [0]: https://lore.kernel.org/bpf/20241107214736.347630-1-tao.lyu@xxxxxxx Changelog: ---------- v1 -> v2: v1: https://lore.kernel.org/bpf/20241127230147.4158201-1-memxor@xxxxxxxxx * Rebase on bpf/master (Andrii) Kumar Kartikeya Dwivedi (1): selftests/bpf: Add tests for iter arg check Tao Lyu (1): bpf: Ensure reg is PTR_TO_STACK in process_iter_arg kernel/bpf/verifier.c | 5 ++++ tools/testing/selftests/bpf/progs/iters.c | 26 +++++++++++++++++++ .../selftests/bpf/progs/verifier_bits_iter.c | 4 +-- 3 files changed, 33 insertions(+), 2 deletions(-) base-commit: 537a2525eaf76ea9b0dca62b994500d8670b39d5 -- 2.43.5
