diff options
| author |   Nuoqi Gui <gnq25@mails.tsinghua.edu.cn> | 2026-06-06 18:50:38 +0800 |
|---|---|---|
| committer |   Alexei Starovoitov <ast@kernel.org> | 2026-06-06 16:46:53 -0700 |
| commit | 3ce6b42458f0e2176350fccf86b954d322591ff7 (patch) | |
| tree | 3a23faf49bfbf0af449081a92e80ff62b969d68c /tools/lib/python/kdoc/python_version.py | |
| parent | bpf: Fold reg->var_off into PTR_TO_FLOW_KEYS bounds check (diff) | |
selftests/bpf: add tests for PTR_TO_FLOW_KEYS offset bounds
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 <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.cn
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/lib/python/kdoc/python_version.py')
0 files changed, 0 insertions, 0 deletions