kernel/tools/testing/selftests/bpf/progs/map_kptr_fail.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2022-12-08T01:01:22Zselftests/bpf: convert dynptr_fail and map_kptr_fail subtests to generic tester2022-12-08T01:01:22ZAndrii Nakryikoandrii@kernel.org2022-12-07T20:16:48Zurn:sha1:26c386ecf0212affb50f02dabcb0152995b99b07
Convert big chunks of dynptr and map_kptr subtests to use generic
verification_tester. They are switched from using manually maintained
tables of test cases, specifying program name and expected error
verifier message, to btf_decl_tag-based annotations directly on
corresponding BPF programs: __failure to specify that BPF program is
expected to fail verification, and __msg() to specify expected log
message.
Acked-by: John Fastabend <john.fastabend@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20221207201648.2990661-2-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
selftests/bpf: Add negative C tests for kptrs2022-05-11T23:57:27ZKumar Kartikeya Dwivedimemxor@gmail.com2022-05-11T19:46:53Zurn:sha1:04accf794bb2a5a06f23f7d48d195ffa329181a6
This uses the newly added SEC("?foo") naming to disable autoload of
programs, and then loads them one by one for the object and verifies
that loading fails and matches the returned error string from verifier.
This is similar to already existing verifier tests but provides coverage
for BPF C.
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20220511194654.765705-4-memxor@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>