en Copyright 2015 Java http://kernelsources.org:8080/source/history/linux/tools/testing/selftests/bpf/progs/verifier_flow_keys.c#3ce6b42458f0e2176350fccf86b954d322591ff7 selftests/bpf: add tests for PTR_TO_FLOW_KEYS offset boundsAdd verifier tests covering pointer arithmetic on a PTR_TO_FLOW_KEYSregister. This covers the bpf-next regression where an out-of-boundsconstant offset introduced as flow_keys += K and then dereferenced atinsn->off 0 was accepted, while the equivalent flow_keys + K direct offsetwas rejected.The tests check that in-bounds constant arithmetic on the keys pointer isstill accepted, out-of-bounds constant arithmetic is rejected for both readand write, and a truly varying offset from bpf_get_prandom_u32() remainsrejected by the existing PTR_TO_FLOW_KEYS pointer arithmetic rules.Signed-off-by: Nuoqi Gui <gnq25@mails.tsinghua.edu.cn>Acked-by: Eduard Zingerman <eddyz87@gmail.com>Link: https://lore.kernel.org/r/20260606-c3-01-v3-v3-2-97c51f592f15@mails.tsinghua.edu.cnSigned-off-by: Alexei Starovoitov <ast@kernel.org> List of files: /linux/tools/testing/selftests/bpf/progs/verifier_flow_keys.c Sat, 06 Jun 2026 12:50:38 +0200 Nuoqi Gui <gnq25@mails.tsinghua.edu.cn>