netdev - Re: [PATCH v2 bpf-next 0/4] bpf: improve verifier state analysis

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

Message-ID: <ee5a0fc6-027e-177b-9d9c-1bd9c9b1ce2d@iogearbox.net>
Date:   Sat, 15 Dec 2018 01:37:52 +0100
From:   Daniel Borkmann <daniel@...earbox.net>
To:     Alexei Starovoitov <ast@...nel.org>,
        "David S . Miller" <davem@...emloft.net>
Cc:     ecree@...arflare.com, jakub.kicinski@...ronome.com,
        jiong.wang@...ronome.com, netdev@...r.kernel.org,
        kernel-team@...com
Subject: Re: [PATCH v2 bpf-next 0/4] bpf: improve verifier state analysis

On 12/13/2018 08:42 PM, Alexei Starovoitov wrote:
> v1->v2:
> with optimization suggested by Jakub patch 4 safety check became cheap enough.
> 
> Several improvements to verifier state logic.
> Patch 1 - trivial optimization
> Patch 3 - significant optimization for stack state equivalence
> Patch 4 - safety check for liveness and prep for future state merging
> 
> Alexei Starovoitov (4):
>   bpf: speed up stacksafe check
>   selftests/bpf: check insn processed in test_verifier
>   bpf: improve stacksafe state comparison
>   bpf: add self-check logic to liveness analysis
> 
>  include/linux/bpf_verifier.h                |   1 +
>  kernel/bpf/verifier.c                       | 125 ++++++++++++++++++--
>  tools/testing/selftests/bpf/test_verifier.c |  37 +++++-
>  3 files changed, 154 insertions(+), 9 deletions(-)
> 

Applied, thanks!