wireguard-linux/tools/testing/selftests/bpf/progs/verifier_btf_flex_array.c, branch stableWireGuard for the Linux kernelhttps://git.zx2c4.com/wireguard-linux/atom/tools/testing/selftests/bpf/progs/verifier_btf_flex_array.c?h=stable2026-09-10T23:58:05Zselftests/bpf: Test BTF walk into a flexible array of zero-sized elements2026-09-10T23:58:05ZJiayuan Chenjiayuan.chen@linux.dev2026-09-10T12:22:56Zurn:sha1:f77d21245710690f3fb02d19d8dd4dc17ee58c2c
The program stashes a bpf_obj_new() object whose type ends with a flexible
array of empty structs, then reads it back as an untrusted kptr. Without
the previous patch this divides by zero in btf_struct_walk() instead of
being rejected.
# ./test_progs -t verifier_btf_flex_array
...
#602 verifier_btf_flex_array:OK
Summary: 1/1 PASSED, 0 SKIPPED, 0/0 FAILED
Signed-off-by: Jiayuan Chen <jiayuan.chen@linux.dev>
Link: https://lore.kernel.org/r/20260910122316.186384-2-jiayuan.chen@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>