]> git.baikalelectronics.ru Git - kernel.git/commit
bpf/selftests: Add bpf_get_task_stack retval bounds verifier test
authorDave Marchevsky <davemarchevsky@fb.com>
Fri, 16 Apr 2021 20:47:03 +0000 (13:47 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 20 Apr 2021 01:23:33 +0000 (18:23 -0700)
commit34e994751fb276c1847179b32bfce99b871e0060
tree4fd9ee3fe5b4621e45acc494a03155b7ea1ae1e1
parentdd9919b94069cc552c485088e955b1e4507d15f5
bpf/selftests: Add bpf_get_task_stack retval bounds verifier test

Add a bpf_iter test which feeds bpf_get_task_stack's return value into
seq_write after confirming it's positive. No attempt to bound the value
from above is made.

Load will fail if verifier does not refine retval range based on
buf sz input to bpf_get_task_stack.

Signed-off-by: Dave Marchevsky <davemarchevsky@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Link: https://lore.kernel.org/bpf/20210416204704.2816874-3-davemarchevsky@fb.com
tools/testing/selftests/bpf/verifier/bpf_get_stack.c