]> www.infradead.org Git - linux-platform-drivers-x86.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)
commitbdc4e369454fcae108e18feb0fcbb6f06815f94b
tree4fd9ee3fe5b4621e45acc494a03155b7ea1ae1e1
parentfd0b88f73f5372c08ceff5cc7ddd8ceac502679c
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