Hi David, hi Jakub, hi Paolo, hi Eric,
The following pull-request contains BPF updates for your *net* tree.
We've added 12 non-merge commits during the last 10 day(s) which contain
a total of 10 files changed, 412 insertions(+), 16 deletions(-).
The main changes are:
1) Fix a BPF verifier issue validating may_goto with a negative offset,
from Alexei Starovoitov.
2) Fix a BPF verifier validation bug with may_goto combined with jump to
the first instruction, also from Alexei Starovoitov.
3) Fix a bug with overrunning reservations in BPF ring buffer,
from Daniel Borkmann.
4) Fix a bug in BPF verifier due to missing proper var_off setting related
to movsx instruction, from Yonghong Song.
5) Silence unnecessary syzkaller-triggered warning in __xdp_reg_mem_model(),
from Daniil Dulov.
Please consider pulling these changes from:
git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git tags/for-netdev
Thanks a lot!
Also thanks to reporters, reviewers and testers of commits in this pull-request:
Barret Rhoden, Bing-Jhong Billy Jheng, Eduard Zingerman, Jesper Dangaard
Brouer, Muhammad Ramdhan, Pengfei Xu, Zac Ecob
----------------------------------------------------------------
The following changes since commit 143492fce36161402fa2f45a0756de7ff69c366a:
Merge branch '40GbE' of git://git.kernel.org/pub/scm/linux/kernel/git/tnguy/net-queue (2024-06-14 19:05:38 -0700)
are available in the Git repository at:
ssh://git@xxxxxxxxxxxxxxxxxxx/pub/scm/linux/kernel/git/bpf/bpf.git tags/for-netdev
for you to fetch changes up to 7e9f79428372c6eab92271390851be34ab26bfb4:
xdp: Remove WARN() from __xdp_reg_mem_model() (2024-06-24 13:44:02 +0200)
----------------------------------------------------------------
bpf-for-netdev
----------------------------------------------------------------
Alexei Starovoitov (6):
Merge branch 'bpf-fix-missed-var_off-related-to-movsx-in-verifier'
bpf: Fix remap of arena.
bpf: Fix the corner case with may_goto and jump to the 1st insn.
selftests/bpf: Tests with may_goto and jumps to the 1st insn
bpf: Fix may_goto with negative offset.
selftests/bpf: Add tests for may_goto with negative offset.
Daniel Borkmann (2):
bpf: Fix overrunning reservations in ringbuf
selftests/bpf: Add more ring buffer test coverage
Daniil Dulov (1):
xdp: Remove WARN() from __xdp_reg_mem_model()
Matt Bobrowski (1):
bpf: Update BPF LSM maintainer list
Yonghong Song (3):
bpf: Add missed var_off setting in set_sext32_default_val()
bpf: Add missed var_off setting in coerce_subreg_to_size_sx()
selftests/bpf: Add a few tests to cover
MAINTAINERS | 3 +-
kernel/bpf/arena.c | 16 ++-
kernel/bpf/ringbuf.c | 31 ++++-
kernel/bpf/verifier.c | 61 ++++++++-
net/core/xdp.c | 4 +-
tools/testing/selftests/bpf/Makefile | 2 +-
tools/testing/selftests/bpf/prog_tests/ringbuf.c | 56 ++++++++
.../selftests/bpf/progs/test_ringbuf_write.c | 46 +++++++
.../bpf/progs/verifier_iterating_callbacks.c | 146 +++++++++++++++++++++
tools/testing/selftests/bpf/progs/verifier_movsx.c | 63 +++++++++
10 files changed, 412 insertions(+), 16 deletions(-)
create mode 100644 tools/testing/selftests/bpf/progs/test_ringbuf_write.c
