Commit dcc57966 authored by Andrey Konovalov's avatar Andrey Konovalov Committed by Andrew Morton

kasan: better invalid/double-free report header

Update the report header for invalid- and double-free bugs to contain the
address being freed:

BUG: KASAN: invalid-free in kfree+0x280/0x2a8
Free of addr ffff00000beac001 by task kunit_try_catch/99

Link: https://lkml.kernel.org/r/fce40f8dbd160972fe01a1ff39d0c426c310e4b7.1662852281.git.andreyknvl@google.comSigned-off-by: default avatarAndrey Konovalov <andreyknvl@google.com>
Reviewed-by: default avatarMarco Elver <elver@google.com>
Cc: Alexander Potapenko <glider@google.com>
Cc: Andrey Ryabinin <ryabinin.a.a@gmail.com>
Cc: Dmitry Vyukov <dvyukov@google.com>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
parent f7e01ab8
...@@ -175,17 +175,14 @@ static void end_report(unsigned long *flags, void *addr) ...@@ -175,17 +175,14 @@ static void end_report(unsigned long *flags, void *addr)
static void print_error_description(struct kasan_report_info *info) static void print_error_description(struct kasan_report_info *info)
{ {
if (info->type == KASAN_REPORT_INVALID_FREE) { pr_err("BUG: KASAN: %s in %pS\n", info->bug_type, (void *)info->ip);
pr_err("BUG: KASAN: invalid-free in %pS\n", (void *)info->ip);
return;
}
if (info->type == KASAN_REPORT_DOUBLE_FREE) { if (info->type != KASAN_REPORT_ACCESS) {
pr_err("BUG: KASAN: double-free in %pS\n", (void *)info->ip); pr_err("Free of addr %px by task %s/%d\n",
info->access_addr, current->comm, task_pid_nr(current));
return; return;
} }
pr_err("BUG: KASAN: %s in %pS\n", info->bug_type, (void *)info->ip);
if (info->access_size) if (info->access_size)
pr_err("%s of size %zu at addr %px by task %s/%d\n", pr_err("%s of size %zu at addr %px by task %s/%d\n",
info->is_write ? "Write" : "Read", info->access_size, info->is_write ? "Write" : "Read", info->access_size,
...@@ -420,6 +417,18 @@ static void complete_report_info(struct kasan_report_info *info) ...@@ -420,6 +417,18 @@ static void complete_report_info(struct kasan_report_info *info)
} else } else
info->cache = info->object = NULL; info->cache = info->object = NULL;
switch (info->type) {
case KASAN_REPORT_INVALID_FREE:
info->bug_type = "invalid-free";
break;
case KASAN_REPORT_DOUBLE_FREE:
info->bug_type = "double-free";
break;
default:
/* bug_type filled in by kasan_complete_mode_report_info. */
break;
}
/* Fill in mode-specific report info fields. */ /* Fill in mode-specific report info fields. */
kasan_complete_mode_report_info(info); kasan_complete_mode_report_info(info);
} }
......
...@@ -132,7 +132,8 @@ void kasan_complete_mode_report_info(struct kasan_report_info *info) ...@@ -132,7 +132,8 @@ void kasan_complete_mode_report_info(struct kasan_report_info *info)
struct kasan_alloc_meta *alloc_meta; struct kasan_alloc_meta *alloc_meta;
struct kasan_free_meta *free_meta; struct kasan_free_meta *free_meta;
info->bug_type = get_bug_type(info); if (!info->bug_type)
info->bug_type = get_bug_type(info);
if (!info->cache || !info->object) if (!info->cache || !info->object)
return; return;
......
...@@ -37,7 +37,7 @@ void kasan_complete_mode_report_info(struct kasan_report_info *info) ...@@ -37,7 +37,7 @@ void kasan_complete_mode_report_info(struct kasan_report_info *info)
bool is_free; bool is_free;
bool alloc_found = false, free_found = false; bool alloc_found = false, free_found = false;
if (!info->cache || !info->object) { if ((!info->cache || !info->object) && !info->bug_type) {
info->bug_type = get_common_bug_type(info); info->bug_type = get_common_bug_type(info);
return; return;
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment