netdev - Re: [PATCH 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] [thread-next>] [day] [month] [year] [list]

Message-ID: <20181212172236.6d198e5f@cakuba.netronome.com>
Date:   Wed, 12 Dec 2018 17:22:36 -0800
From:   Jakub Kicinski <jakub.kicinski@...ronome.com>
To:     Alexei Starovoitov <ast@...nel.org>
Cc:     "David S . Miller" <davem@...emloft.net>, <daniel@...earbox.net>,
        <ecree@...arflare.com>, <jiong.wang@...ronome.com>,
        <netdev@...r.kernel.org>, <kernel-team@...com>
Subject: Re: [PATCH bpf-next 0/4] bpf: improve verifier state analysis

On Tue, 11 Dec 2018 21:28:50 -0800, Alexei Starovoitov wrote:
> 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

One possible optimization, but these seem correct to me.  FWIW:

Acked-by: Jakub Kicinski <jakub.kicinski@...ronome.com>