pull-request: bpf 2018-01-18

pull-request: bpf 2018-01-18

[Daniel Borkmann]

Hi David,

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

The main changes are:

1) Fix a divide by zero due to wrong if (src_reg == 0) check in
   64-bit mode. Properly handle this in interpreter and mask it
   also generically in verifier to guard against similar checks
   in JITs, from Eric and Alexei.

2) Fix a bug in arm64 JIT when tail calls are involved and progs
   have different stack sizes, from Daniel.

3) Reject stores into BPF context that are not expected BPF_STX |
   BPF_MEM variant, from Daniel.

4) Mark dst reg as unknown on {s,u}bounds adjustments when the
   src reg has derived bounds from dead branches, from Daniel.

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 8155aedf512edd3f88ef19f7cacf476ace7d1322:

  Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf (2018-01-14 11:01:33 -0500)

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 6f16101e6a8b4324c36e58a29d9e0dbb287cdedb:

  bpf: mark dst unknown on inconsistent {s, u}bounds adjustments (2018-01-17 16:23:17 -0800)

----------------------------------------------------------------
Alexei Starovoitov (1):
      bpf: fix 32-bit divide by zero

Daniel Borkmann (3):
      bpf, arm64: fix stack_depth tracking in combination with tail calls
      bpf: reject stores into ctx via st and xadd
      bpf: mark dst unknown on inconsistent {s, u}bounds adjustments

Eric Dumazet (1):
      bpf: fix divides by zero

 arch/arm64/net/bpf_jit_comp.c               |  20 ++--
 kernel/bpf/core.c                           |   4 +-
 kernel/bpf/verifier.c                       |  64 ++++++++++--
 net/core/filter.c                           |   4 +
 tools/testing/selftests/bpf/test_verifier.c | 152 +++++++++++++++++++++++++++-
 5 files changed, 219 insertions(+), 25 deletions(-)

Re: pull-request: bpf 2018-01-18

[David Miller]

From: Daniel Borkmann <daniel@iogearbox.net>
Date: Thu, 18 Jan 2018 02:16:03 +0100

> The following pull-request contains BPF updates for your *net* tree.
> 
> The main changes are:
> 
> 1) Fix a divide by zero due to wrong if (src_reg == 0) check in
>    64-bit mode. Properly handle this in interpreter and mask it
>    also generically in verifier to guard against similar checks
>    in JITs, from Eric and Alexei.
> 
> 2) Fix a bug in arm64 JIT when tail calls are involved and progs
>    have different stack sizes, from Daniel.
> 
> 3) Reject stores into BPF context that are not expected BPF_STX |
>    BPF_MEM variant, from Daniel.
> 
> 4) Mark dst reg as unknown on {s,u}bounds adjustments when the
>    src reg has derived bounds from dead branches, from Daniel.
> 
> Please consider pulling these changes from:
> 
>   git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git

Pulled, thanks Daniel.