selftests/bpf: add extra test for using dynptr data slice after release

Browse source

Add an additional test, "data_slice_use_after_release2", for ensuring
that data slices are correctly invalidated by the verifier after the
dynptr whose ref obj id they track is released. In particular, this
tests data slice invalidation for dynptrs located at a non-zero offset
from the frame pointer.

Signed-off-by: Joanne Koong <joannelkoong@gmail.com>
Acked-by: Martin KaFai Lau <kafai@fb.com>
Link: https://lore.kernel.org/r/20220809214055.4050604-2-joannelkoong@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Joanne Koong 2022-08-09 14:40:55 -07:00 • committed by Alexei Starovoitov

parent 883743422c

commit dc444be8ba

2 changed files with 39 additions and 2 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

3

tools/testing/selftests/bpf/prog_tests/dynptr.c

View file

38

tools/testing/selftests/bpf/progs/dynptr_fail.c

View file