On Sat, 2026-06-06 at 18:50 +0800, Nuoqi Gui wrote: > Add verifier tests covering pointer arithmetic on a PTR_TO_FLOW_KEYS > register. This covers the bpf-next regression where an out-of-bounds > constant offset introduced as flow_keys += K and then dereferenced at > insn->off 0 was accepted, while the equivalent flow_keys + K direct offset > was rejected. > > The tests check that in-bounds constant arithmetic on the keys pointer is > still accepted, out-of-bounds constant arithmetic is rejected for both read > and write, and a truly varying offset from bpf_get_prandom_u32() remains > rejected by the existing PTR_TO_FLOW_KEYS pointer arithmetic rules. > > Signed-off-by: Nuoqi Gui <[email protected]> > ---
Acked-by: Eduard Zingerman <[email protected]> [...]
