mbox series

[bpf,v3,0/2] bpf: enhance validation of pointer formatting

Message ID 20241119102214.2145-1-rabbelkin@mail.ru (mailing list archive)
Headers show
Series bpf: enhance validation of pointer formatting | expand

Message

Ilya Shchipletsov Nov. 19, 2024, 10:22 a.m. UTC
This patch series enhances validation of pointer formatting to prevent same
exact issue happening again, as it happen before in [0] and happened now.

[0]: https://lkml.kernel.org/netdev/85a08645-453b-78ad-e401-55d2894fa64a@iogearbox.net/T/

Co-developed-by: Nikita Marushkin <hfggklm@gmail.com>
Signed-off-by: Nikita Marushkin <hfggklm@gmail.com>
Signed-off-by: Ilya Shchipletsov <rabbelkin@mail.ru>
---
Changes in v3:
- Resend due to odd "Changes Requested" status in Patchwork, although
  there've been no additional comments posted on mailing lists explaining
  that status.
- Add Yonghong's and Florent's ACKs.
- Link to v2: https://lore.kernel.org/bpf/20241028195343.2104-1-rabbelkin@mail.ru/
Changes in v2:
- Added Reported-by for syzbot [Florent Revest]
- Added negative tests for snprintf [Florent Revest]
- Moved comment to first 'if' statement [Yonghong Song]
- Link to v1: https://lore.kernel.org/bpf/9679a031-3858-4fef-bb8e-1cf436696095@mail.ru/
---
Ilya Shchipletsov (2):
  bpf: fix %p% runtime check in bpf_bprintf_prepare
  selftests/bpf: Add test cases for various pointer specifiers

 kernel/bpf/helpers.c                              | 13 +++++++++----
 tools/testing/selftests/bpf/prog_tests/snprintf.c | 15 +++++++++++++++
 2 files changed, 24 insertions(+), 4 deletions(-)