linux-kernel - [GIT PULL kcsan] KCSAN commits for v5.9

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

Date:   Tue, 14 Jul 2020 10:32:52 -0700
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     mingo@...nel.org, tglx@...utronix.de
Cc:     linux-kernel@...r.kernel.org, cai@....pw, elver@...gle.com
Subject: [GIT PULL kcsan] KCSAN commits for v5.9

Hello!

This pull request contains KCSAN updates for v5.9.  These have been
subjected to LKML review, most recently here:

	https://lore.kernel.org/lkml/20200623004310.GA26995@paulmck-ThinkPad-P72/

All of these have also been subjected to the kbuild test robot and
-next testing.  The following changes since v5.8-rc3 are available in
the git repository at:

  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git kcsan

for you to fetch changes up to 61d56d7aa5eca3b909bce51ba8125b0fa44d7e17:

  kcsan: Disable branch tracing in core runtime (2020-06-29 12:04:48 -0700)

----------------------------------------------------------------
Marco Elver (9):
      kcsan: Add test suite
      kcsan: Prefer '__no_kcsan inline' in test
      kcsan: Silence -Wmissing-prototypes warning with W=1
      kcsan: Rename test.c to selftest.c
      kcsan: Remove existing special atomic rules
      kcsan: Add jiffies test to test suite
      kcsan: Re-add GCC as a supported compiler
      kcsan: Simplify compiler flags
      kcsan: Disable branch tracing in core runtime

Paul E. McKenney (1):
      rculist: Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu()

Qian Cai (3):
      fork: Annotate a data race in vm_area_dup()
      x86/mm/pat: Mark an intentional data race
      locking/osq_lock: Annotate a data race in osq_lock

 Documentation/dev-tools/kcsan.rst   |    3 +-
 arch/x86/mm/pat/set_memory.c        |    2 +-
 include/linux/rculist.h             |    2 +
 kernel/fork.c                       |    8 +-
 kernel/kcsan/Makefile               |    9 +-
 kernel/kcsan/atomic.h               |    6 +-
 kernel/kcsan/core.c                 |    9 +
 kernel/kcsan/kcsan-test.c           | 1107 +++++++++++++++++++++++++++++++++++
 kernel/kcsan/{test.c => selftest.c} |    0
 kernel/locking/osq_lock.c           |    6 +-
 lib/Kconfig.kcsan                   |   26 +-
 scripts/Makefile.kcsan              |    2 +-
 12 files changed, 1166 insertions(+), 14 deletions(-)
 create mode 100644 kernel/kcsan/kcsan-test.c
 rename kernel/kcsan/{test.c => selftest.c} (100%)