pull-request: bpf 2024-06-24

[Daniel Borkmann <daniel@iogearbox.net>]

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@gitolite.kernel.org/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