selftests/bpf: add negative tests for new VFS based BPF kfuncs

Browse source

Add a bunch of negative selftests responsible for asserting that the
BPF verifier successfully rejects a BPF program load when the
underlying BPF program misuses one of the newly introduced VFS based
BPF kfuncs.

The following VFS based BPF kfuncs are extensively tested within this
new selftest:

* struct file *bpf_get_task_exe_file(struct task_struct *);
* void bpf_put_file(struct file *);
* int bpf_path_d_path(struct path *, char *, size_t);

Acked-by: Christian Brauner <brauner@kernel.org>
Acked-by: Song Liu <song@kernel.org>
Signed-off-by: Matt Bobrowski <mattbobrowski@google.com>
Link: https://lore.kernel.org/r/20240731110833.1834742-3-mattbobrowski@google.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Matt Bobrowski 2024-07-31 11:08:32 +00:00 • committed by Alexei Starovoitov

parent d08e2045eb

commit ff358ada07

3 changed files with 189 additions and 0 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

26

tools/testing/selftests/bpf/bpf_experimental.h

View file

2

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

View file

161

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

View file