[PATCH 00/18] introduce a new tool, valid access checker

[js1304]

From: Joonsoo Kim <iamjoonsoo.kim@xxxxxxx>

Hello,

This patchset introduces a new tool, valid access checker.

Vchecker is a dynamic memory error detector. It provides a new debug feature
that can find out an un-intended access to valid area. Valid area here means
the memory which is allocated and allowed to be accessed by memory owner and
un-intended access means the read/write that is initiated by non-owner.
Usual problem of this class is memory overwritten.

Most of debug feature focused on finding out un-intended access to
in-valid area, for example, out-of-bound access and use-after-free, and,
there are many good tools for it. But, as far as I know, there is no good tool
to find out un-intended access to valid area. This kind of problem is really
hard to solve so this tool would be very useful.

This tool doesn't automatically catch a problem. Manual runtime configuration
to specify the target object is required.

Note that there was a similar attempt for the debugging overwritten problem
however it requires manual code modifying and recompile.

http://lkml.kernel.org/r/<20171117223043.7277-1-wen.gang.wang@xxxxxxxxxx>

To get more information about vchecker, please see a documention at
the last patch.

Patchset can also be available at

https://github.com/JoonsooKim/linux/tree/vchecker-master-v1.0-next-20171122

Enjoy it.

Thanks.

Joonsoo Kim (14):
  mm/kasan: make some kasan functions global
  vchecker: introduce the valid access checker
  vchecker: mark/unmark the shadow of the allocated objects
  vchecker: prepare per object memory for vchecker
  vchecker: store/report callstack of value writer
  lib/stackdepot: extend stackdepot API to support per-user stackdepot
  vchecker: consistently exclude vchecker's stacktrace
  vchecker: fix 'remove' handling on callstack checker
  mm/vchecker: support inline KASAN build
  mm/vchecker: make callstack depth configurable
  mm/vchecker: pass allocation caller address to vchecker hook
  mm/vchecker: support allocation caller filter
  lib/vchecker_test: introduce a sample for vchecker test
  doc: add vchecker document

Namhyung Kim (4):
  lib/stackdepot: Add is_new arg to depot_save_stack
  vchecker: Add 'callstack' checker
  vchecker: Support toggle on/off of callstack check
  vchecker: Use __GFP_ATOMIC to save stacktrace

 Documentation/dev-tools/vchecker.rst |  200 +++++++
 drivers/gpu/drm/drm_mm.c             |    4 +-
 include/linux/kasan.h                |    1 +
 include/linux/slab.h                 |    8 +
 include/linux/slab_def.h             |    3 +
 include/linux/slub_def.h             |    3 +
 include/linux/stackdepot.h           |   10 +-
 lib/Kconfig.kasan                    |   21 +
 lib/Makefile                         |    1 +
 lib/stackdepot.c                     |  126 ++--
 lib/vchecker_test.c                  |  117 ++++
 mm/kasan/Makefile                    |    1 +
 mm/kasan/kasan.c                     |   14 +-
 mm/kasan/kasan.h                     |    3 +
 mm/kasan/report.c                    |   12 +-
 mm/kasan/vchecker.c                  | 1089 ++++++++++++++++++++++++++++++++++
 mm/kasan/vchecker.h                  |   43 ++
 mm/page_owner.c                      |    8 +-
 mm/slab.c                            |   47 +-
 mm/slab.h                            |   14 +-
 mm/slab_common.c                     |   25 +
 mm/slub.c                            |   49 +-
 22 files changed, 1730 insertions(+), 69 deletions(-)
 create mode 100644 Documentation/dev-tools/vchecker.rst
 create mode 100644 lib/vchecker_test.c
 create mode 100644 mm/kasan/vchecker.c
 create mode 100644 mm/kasan/vchecker.h

-- 
2.7.4