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 Kumar Kartikeya Dwivedi (2): bpf: Zero index arg error string for dynptr and iter 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 | 17 +++++++----- .../testing/selftests/bpf/progs/dynptr_fail.c | 22 ++++++++-------- tools/testing/selftests/bpf/progs/iters.c | 26 +++++++++++++++++++ .../selftests/bpf/progs/iters_state_safety.c | 14 +++++----- .../selftests/bpf/progs/iters_testmod_seq.c | 4 +-- .../bpf/progs/test_kfunc_dynptr_param.c | 2 +- .../selftests/bpf/progs/verifier_bits_iter.c | 8 +++--- 7 files changed, 62 insertions(+), 31 deletions(-) base-commit: c8d02b547363880d996f80c38cc8b997c7b90725 -- 2.43.5
