netdev - Re: [PATCH v3 bpf-next 9/9] bpf: precise scalar

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-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <CAEf4Bza=fyhgT-zP7G6iCm7UMOvjzUrMh0j=VsOXGj-u-BGGjQ@mail.gmail.com>
Date:   Mon, 17 Jun 2019 10:20:22 -0700
From:   Andrii Nakryiko <andrii.nakryiko@...il.com>
To:     Alexei Starovoitov <ast@...nel.org>
Cc:     "David S. Miller" <davem@...emloft.net>,
        Daniel Borkmann <daniel@...earbox.net>,
        Networking <netdev@...r.kernel.org>, bpf <bpf@...r.kernel.org>,
        Kernel Team <kernel-team@...com>
Subject: Re: [PATCH v3 bpf-next 9/9] bpf: precise scalar_value tracking

On Sat, Jun 15, 2019 at 12:13 PM Alexei Starovoitov <ast@...nel.org> wrote:
>
> Introduce precision tracking logic that
> helps cilium programs the most:
>                   old clang  old clang    new clang  new clang
>                           with all patches         with all patches
> bpf_lb-DLB_L3.o      1838     2283         1923       1863
> bpf_lb-DLB_L4.o      3218     2657         3077       2468
> bpf_lb-DUNKNOWN.o    1064     545          1062       544
> bpf_lxc-DDROP_ALL.o  26935    23045        166729     22629
> bpf_lxc-DUNKNOWN.o   34439    35240        174607     28805
> bpf_netdev.o         9721     8753         8407       6801
> bpf_overlay.o        6184     7901         5420       4754
> bpf_lxc_jit.o        39389    50925        39389      50925
>

<snip>

>
> It doesn't support bpf2bpf calls yet and enabled for root only.
>
> Signed-off-by: Alexei Starovoitov <ast@...nel.org>
> ---

Looks good!

Acked-by: Andrii Nakryiko <andriin@...com>


>  include/linux/bpf_verifier.h |  18 ++
>  kernel/bpf/verifier.c        | 491 ++++++++++++++++++++++++++++++++++-
>  2 files changed, 498 insertions(+), 11 deletions(-)
>

<snip>