pull-request: bpf-next 2024-07-12

[Daniel Borkmann <daniel@iogearbox.net>]

Hi David, hi Jakub, hi Paolo, hi Eric,

The following pull-request contains BPF updates for your *net-next* tree.

We've added 23 non-merge commits during the last 3 day(s) which contain
a total of 18 files changed, 234 insertions(+), 243 deletions(-).

The main changes are:

1) Improve BPF verifier by utilizing overflow.h helpers to check for overflows,
   from Shung-Hsi Yu.

2) Fix NULL pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXT
   when attr->attach_prog_fd was not specified, from Tengda Wu.

3) Fix arm64 BPF JIT when generating code for BPF trampolines with
   BPF_TRAMP_F_CALL_ORIG which corrupted upper address bits, from Puranjay Mohan.

4) Remove test_run callback from lwt_seg6local_prog_ops which never worked in the
   first place and caused syzbot reports, from Sebastian Andrzej Siewior.

5) Relax BPF verifier to accept non-zero offset on KF_TRUSTED_ARGS/KF_RCU-typed
   BPF kfuncs, from Matt Bobrowski.

6) Fix a long standing bug in libbpf with regards to handling of BPF skeleton's
   forward and backward compatibility, from Andrii Nakryiko.

7) Annotate btf_{seq,snprintf}_show functions with __printf, from Alan Maguire.

8) BPF selftest improvements to reuse common network helpers in sk_lookup test and
   dropping the open-coded inetaddr_len() and make_socket() ones, from Geliang Tang.

Please consider pulling these changes from:

  git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git tags/for-netdev

Thanks a lot!

Also thanks to reporters, reviewers and testers of commits in this pull-request:

Alan Maguire, Daniel Borkmann, Eduard Zingerman, Jiri Olsa, Kumar 
Kartikeya Dwivedi, Mirsad Todorovac, Quentin Monnet

----------------------------------------------------------------

The following changes since commit 746d684ea579927015cde53cff8fc365caaf93b7:

  Merge branch 'selftests-drv-net-rss_ctx-more-tests' (2024-07-09 16:31:19 -0700)

are available in the Git repository at:

  https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git tags/for-netdev

for you to fetch changes up to e435b043d89a267bd6eb3d5650d2319805d7924a:

  selftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type() (2024-07-12 22:14:21 +0200)

----------------------------------------------------------------
bpf-next-for-netdev

----------------------------------------------------------------
Alan Maguire (3):
      selftests/bpf: fix compilation failure when CONFIG_NF_FLOW_TABLE=m
      bpf: annotate BTF show functions with __printf
      bpf: Eliminate remaining "make W=1" warnings in kernel/bpf/btf.o

Alexei Starovoitov (2):
      Merge branch 'fix-libbpf-bpf-skeleton-forward-backward-compat'
      Merge branch 'use-overflow-h-helpers-to-check-for-overflows'

Andrii Nakryiko (3):
      bpftool: improve skeleton backwards compat with old buggy libbpfs
      libbpf: fix BPF skeleton forward/backward compat handling
      libbpf: improve old BPF skeleton handling for map auto-attach

Daniel Borkmann (1):
      selftests/bpf: DENYLIST.aarch64: Skip fexit_sleep again

Geliang Tang (8):
      selftests/bpf: Add backlog for network_helper_opts
      selftests/bpf: Add ASSERT_OK_FD macro
      selftests/bpf: Close fd in error path in drop_on_reuseport
      selftests/bpf: Use start_server_str in sk_lookup
      selftests/bpf: Use start_server_addr in sk_lookup
      selftests/bpf: Use connect_fd_to_fd in sk_lookup
      selftests/bpf: Null checks for links in bpf_tcp_ca
      selftests/bpf: Close obj in error path in xdp_adjust_tail

Martin KaFai Lau (2):
      Merge branch 'use network helpers, part 8'
      Merge branch 'BPF selftests misc fixes'

Matt Bobrowski (1):
      bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCU

Puranjay Mohan (1):
      bpf, arm64: Fix trampoline for BPF_TRAMP_F_CALL_ORIG

Sebastian Andrzej Siewior (1):
      bpf: Remove tst_run from lwt_seg6local_prog_ops.

Shung-Hsi Yu (3):
      bpf: fix overflow check in adjust_jmp_off()
      bpf: use check_add_overflow() to check for addition overflows
      bpf: use check_sub_overflow() to check for subtraction overflows

Tengda Wu (2):
      bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXT
      selftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type()

 arch/arm64/net/bpf_jit_comp.c                      |   4 +-
 include/linux/bpf_verifier.h                       |   2 +-
 kernel/bpf/btf.c                                   |  10 +-
 kernel/bpf/verifier.c                              | 180 ++++++---------------
 net/core/filter.c                                  |   1 -
 tools/bpf/bpftool/gen.c                            |  46 ++++--
 tools/lib/bpf/libbpf.c                             |  71 ++++----
 tools/testing/selftests/bpf/DENYLIST.aarch64       |   1 +
 tools/testing/selftests/bpf/network_helpers.c      |   2 +-
 tools/testing/selftests/bpf/network_helpers.h      |  10 ++
 .../testing/selftests/bpf/prog_tests/bpf_tcp_ca.c  |  16 +-
 tools/testing/selftests/bpf/prog_tests/sk_lookup.c |  82 +++++-----
 .../selftests/bpf/prog_tests/xdp_adjust_tail.c     |   2 +-
 .../selftests/bpf/progs/nested_trust_failure.c     |   8 -
 .../selftests/bpf/progs/nested_trust_success.c     |   8 +
 tools/testing/selftests/bpf/progs/xdp_flowtable.c  |  10 +-
 tools/testing/selftests/bpf/test_progs.h           |   9 ++
 tools/testing/selftests/bpf/verifier/calls.c       |  15 +-
 18 files changed, 234 insertions(+), 243 deletions(-)