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

From: js1304
Date: Tue Nov 28 2017 - 02:54:03 EST


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