netdev - [PATCH bpf-next 0/3] bpf: improve BPF_JSET test coverage and verifier handling

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: <20181213034110.24361-1-jakub.kicinski@netronome.com>
Date:   Wed, 12 Dec 2018 19:41:07 -0800
From:   Jakub Kicinski <jakub.kicinski@...ronome.com>
To:     alexei.starovoitov@...il.com, daniel@...earbox.net
Cc:     netdev@...r.kernel.org, oss-drivers@...ronome.com,
        Jakub Kicinski <jakub.kicinski@...ronome.com>
Subject: [PATCH bpf-next 0/3] bpf: improve BPF_JSET test coverage and verifier handling

Hi!

This small set is the first step to dead code elimination I'm working
on, but it stands on its own.  I want to make the verifier understand
JSET instruction better so we can remove some trivial dead code
optimizations from the nfp JIT.

First patch adds a functional test for JSET, because AFAICT LLVM does
not generate that instruction so JITs probably don't get well tested.
Second patch make the verifier understand JSET in the same way it
already understands all the other conditional jump instructions.
Last but not least the test cases for patch 2.

Jakub Kicinski (3):
  selftests: bpf: add trivial JSET test
  bpf: verifier: teach the verifier to reason about the BPF_JSET
    instruction
  selftests: bpf: verifier: add tests for JSET interpretation

 kernel/bpf/verifier.c                       | 20 +++++
 tools/testing/selftests/bpf/test_progs.c    | 69 +++++++++++++++
 tools/testing/selftests/bpf/test_verifier.c | 96 +++++++++++++++++++++
 3 files changed, 185 insertions(+)

-- 
2.17.1