netdev - Re: [PATCH bpf-next v2 0/7] bpf: teach the verifier about JSET and add tests

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]

Date:   Thu, 20 Dec 2018 20:24:14 +0100
From:   Daniel Borkmann <daniel@...earbox.net>
To:     Jakub Kicinski <jakub.kicinski@...ronome.com>,
        alexei.starovoitov@...il.com
Cc:     oss-drivers@...ronome.com, netdev@...r.kernel.org
Subject: Re: [PATCH bpf-next v2 0/7] bpf: teach the verifier about JSET and
 add tests

On 12/20/2018 07:13 AM, Jakub Kicinski wrote:
> Hi!
> 
> This is a v2 of the patch set to teach the verifier about BPF_JSET
> instruction.  There is also a number of tests include for both
> basic functioning of the instruction and the verifier logic.
> The NFP JIT handling of JSET is tweaked.  Last patch adds missing
> file to gitignore.
> 
> Reposting part of previous series without the dead code elimination.
> 
> Jakub Kicinski (7):
>   selftests: bpf: add trivial JSET tests
>   bpf: verifier: teach the verifier to reason about the BPF_JSET
>     instruction
>   selftests: bpf: verifier: add tests for JSET interpretation
>   bpf: verifier: reorder stack size check with dead code sanitization
>   nfp: bpf: remove the trivial JSET optimization
>   nfp: bpf: optimize codegen for JSET with a constant
>   selftests: bpf: add missing executables to .gitignore
> 
>  drivers/net/ethernet/netronome/nfp/bpf/jit.c |  27 +-
>  kernel/bpf/verifier.c                        |  25 +-
>  tools/testing/selftests/bpf/.gitignore       |   1 +
>  tools/testing/selftests/bpf/test_verifier.c  | 305 +++++++++++++++++--
>  4 files changed, 308 insertions(+), 50 deletions(-)
> 

Looks good, applied to bpf-next, thanks!