netdev - [PATCH net 0/2] bpf/verifier: fix bounds calculation on BPF

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [thread-next>] [day] [month] [year] [list]

Message-ID: <7c4a1470-3cf1-ceae-c99f-6591f1882063@solarflare.com>
Date:   Tue, 5 Dec 2017 19:13:46 +0000
From:   Edward Cree <ecree@...arflare.com>
To:     davem <davem@...emloft.net>
CC:     <netdev@...r.kernel.org>, Jann Horn <jannh@...gle.com>,
        Alexei Starovoitov <ast@...nel.org>,
        Daniel Borkmann <daniel@...earbox.net>
Subject: [PATCH net 0/2] bpf/verifier: fix bounds calculation on BPF_RSH

Fix a bug in adjust_scalar_min_max_vals().  Since the bug has no effect (a
 later call to __reg_deduce_bounds() happens to mask it), it can't be
 tested for directly without adding extra debug prints; but add a test case
 to at least cover the relevant behaviour.

Edward Cree (2):
  bpf/verifier: fix bounds calculation on BPF_RSH
  selftests/bpf: Add a test for shifts of values that might be negative

 kernel/bpf/verifier.c                    | 30 ++++++++++++------------
 tools/testing/selftests/bpf/test_align.c | 39 ++++++++++++++++++++++++++++++++
 2 files changed, 55 insertions(+), 14 deletions(-)