netdev - [PATCH bpf-next 0/4] bpf: precision tracking 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-next>] [day] [month] [year] [list]

Date:   Thu, 22 Aug 2019 22:52:11 -0700
From:   Alexei Starovoitov <ast@...nel.org>
To:     <davem@...emloft.net>
CC:     <daniel@...earbox.net>, <netdev@...r.kernel.org>,
        <bpf@...r.kernel.org>, <kernel-team@...com>
Subject: [PATCH bpf-next 0/4] bpf: precision tracking tests

Add few additional tests for precision tracking in the verifier.

Alexei Starovoitov (4):
  bpf: introduce verifier internal test flag
  tools/bpf: sync bpf.h
  selftests/bpf: verifier precise tests
  selftests/bpf: add precision tracking test

 include/linux/bpf_verifier.h                  |   1 +
 include/uapi/linux/bpf.h                      |   3 +
 kernel/bpf/syscall.c                          |   1 +
 kernel/bpf/verifier.c                         |   5 +-
 tools/include/uapi/linux/bpf.h                |   3 +
 tools/testing/selftests/bpf/test_verifier.c   |  68 +++++++--
 .../testing/selftests/bpf/verifier/precise.c  | 142 ++++++++++++++++++
 7 files changed, 211 insertions(+), 12 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/verifier/precise.c

-- 
2.20.0