[PATCH v3 0/2] KASAN double-free detection

[Kuthonuzo Luruo]

Hello Alexander/Andrey/Dmitry/Reviewers,

Submitting v3 for your review/consideration. First patch provides more
reliable double-free detection for KASAN. Second patch provides new
double-free tests for 'test_kasan'.

Major changes from v2:
o object lock/unlock simplified to use generic bit spinlock apis instead of
  custom CAS loop. A 'safety valve' is provided for lock in case an
  out-of-bounds write flips lock bit.

o test_kasan concurrent double-free test simplified to use
  on_each_cpu_mask() instead of custom threads.
 
v2 link: https://lkml.org/lkml/2016/5/6/210

Patchset is based on linux-next 'next-20160524'.

Thanks,

Kuthonuzo

Kuthonuzo Luruo (2):
  mm, kasan: improve double-free detection
  kasan: add double-free tests

 include/linux/kasan.h |    7 +++-
 lib/test_kasan.c      |   47 ++++++++++++++++++++++++++
 mm/kasan/kasan.c      |   88 ++++++++++++++++++++++++++++++++++---------------
 mm/kasan/kasan.h      |   44 +++++++++++++++++++++++-
 mm/kasan/quarantine.c |    2 +
 mm/kasan/report.c     |   28 ++++++++++++++--
 mm/slab.c             |    3 +-
 mm/slub.c             |    2 +-
 8 files changed, 185 insertions(+), 36 deletions(-)