Hi David, The following pull-request contains BPF updates for your *net* tree. The main changes are: 1) libbpf verision fix up from Daniel. 2) fix liveness propagation from Jakub. 3) fix verbose print of refcounted regs from Martin. 4) fix for large map allocations from Martynas. 5) fix use after free in sanitize_ptr_alu from Xu. Please consider pulling these changes from: git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git Thanks a lot! ---------------------------------------------------------------- The following changes since commit ea239314fe42ace880bdd834256834679346c80e: tipc: allow service ranges to be connect()'ed on RDM/DGRAM (2019-03-17 21:32:11 -0700) are available in the Git repository at: git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git for you to fetch changes up to a7d6ac3761d34bfd4294d7843714c91c600738cf: Merge branch 'libbpf-fixup' (2019-03-24 19:49:05 -0700) ---------------------------------------------------------------- Alexei Starovoitov (1): Merge branch 'libbpf-fixup' Daniel Borkmann (2): bpf, libbpf: fix version info and add it to shared object bpf, libbpf: clarify bump in libbpf version info Jakub Kicinski (1): bpf: verifier: propagate liveness on all frames Martin KaFai Lau (1): bpf: Only print ref_obj_id for refcounted reg Martynas Pumputis (1): bpf: Try harder when allocating memory for large maps Xu Yu (1): bpf: do not restore dst_reg when cur_state is freed kernel/bpf/syscall.c | 22 ++++++++++----- kernel/bpf/verifier.c | 35 +++++++++++++++-------- tools/lib/bpf/Makefile | 42 ++++++++++++++++++---------- tools/lib/bpf/README.rst | 1 + tools/testing/selftests/bpf/verifier/calls.c | 25 +++++++++++++++++ 5 files changed, 92 insertions(+), 33 deletions(-)