On Fri, Apr 16, 2021 at 1:47 PM Dave Marchevsky <davemarchevsky@xxxxxx> wrote: > > Similarly to the bpf_get_stack helper, bpf_get_task_stack's return value > can be more tightly bound by the verifier - it's the number of bytes > written to a user-supplied buffer, or a negative error value. Currently > the verifier believes bpf_task_get_stack's retval bounds to be unknown, > requiring extraneous bounds checking to remedy. > > Adding it to do_refine_retval_range fixes the issue, as evidenced by > new selftests which fail to load if retval bounds are not refined. > > v2: Addressed comment nit in patch 3 Applied. Thanks
