10b24beccSAndrey Ryabinin /* 211cd3cd6SAndrey Konovalov * This file contains common generic and tag-based KASAN error reporting code. 30b24beccSAndrey Ryabinin * 40b24beccSAndrey Ryabinin * Copyright (c) 2014 Samsung Electronics Co., Ltd. 52baf9e89SAndrey Ryabinin * Author: Andrey Ryabinin <ryabinin.a.a@gmail.com> 60b24beccSAndrey Ryabinin * 75d0926efSAndrey Konovalov * Some code borrowed from https://github.com/xairy/kasan-prototype by 85f21f3a8SAndrey Konovalov * Andrey Konovalov <andreyknvl@gmail.com> 90b24beccSAndrey Ryabinin * 100b24beccSAndrey Ryabinin * This program is free software; you can redistribute it and/or modify 110b24beccSAndrey Ryabinin * it under the terms of the GNU General Public License version 2 as 120b24beccSAndrey Ryabinin * published by the Free Software Foundation. 130b24beccSAndrey Ryabinin * 140b24beccSAndrey Ryabinin */ 150b24beccSAndrey Ryabinin 16b0845ce5SMark Rutland #include <linux/bitops.h> 174f40c6e5SPeter Zijlstra #include <linux/ftrace.h> 18b0845ce5SMark Rutland #include <linux/init.h> 190b24beccSAndrey Ryabinin #include <linux/kernel.h> 200b24beccSAndrey Ryabinin #include <linux/mm.h> 210b24beccSAndrey Ryabinin #include <linux/printk.h> 220b24beccSAndrey Ryabinin #include <linux/sched.h> 230b24beccSAndrey Ryabinin #include <linux/slab.h> 24cd11016eSAlexander Potapenko #include <linux/stackdepot.h> 250b24beccSAndrey Ryabinin #include <linux/stacktrace.h> 260b24beccSAndrey Ryabinin #include <linux/string.h> 270b24beccSAndrey Ryabinin #include <linux/types.h> 280b24beccSAndrey Ryabinin #include <linux/kasan.h> 29527f215bSAneesh Kumar K.V #include <linux/module.h> 300b24beccSAndrey Ryabinin 31bebf56a1SAndrey Ryabinin #include <asm/sections.h> 32bebf56a1SAndrey Ryabinin 330b24beccSAndrey Ryabinin #include "kasan.h" 340316bec2SAndrey Ryabinin #include "../slab.h" 350b24beccSAndrey Ryabinin 360b24beccSAndrey Ryabinin /* Shadow layout customization. */ 370b24beccSAndrey Ryabinin #define SHADOW_BYTES_PER_BLOCK 1 380b24beccSAndrey Ryabinin #define SHADOW_BLOCKS_PER_ROW 16 390b24beccSAndrey Ryabinin #define SHADOW_BYTES_PER_ROW (SHADOW_BLOCKS_PER_ROW * SHADOW_BYTES_PER_BLOCK) 400b24beccSAndrey Ryabinin #define SHADOW_ROWS_AROUND_ADDR 2 410b24beccSAndrey Ryabinin 4211cd3cd6SAndrey Konovalov static unsigned long kasan_flags; 4311cd3cd6SAndrey Konovalov 4411cd3cd6SAndrey Konovalov #define KASAN_BIT_REPORTED 0 4511cd3cd6SAndrey Konovalov #define KASAN_BIT_MULTI_SHOT 1 4611cd3cd6SAndrey Konovalov 4711cd3cd6SAndrey Konovalov bool kasan_save_enable_multi_shot(void) 480b24beccSAndrey Ryabinin { 4911cd3cd6SAndrey Konovalov return test_and_set_bit(KASAN_BIT_MULTI_SHOT, &kasan_flags); 500b24beccSAndrey Ryabinin } 5111cd3cd6SAndrey Konovalov EXPORT_SYMBOL_GPL(kasan_save_enable_multi_shot); 520b24beccSAndrey Ryabinin 5311cd3cd6SAndrey Konovalov void kasan_restore_multi_shot(bool enabled) 545e82cd12SAndrey Konovalov { 5511cd3cd6SAndrey Konovalov if (!enabled) 5611cd3cd6SAndrey Konovalov clear_bit(KASAN_BIT_MULTI_SHOT, &kasan_flags); 575e82cd12SAndrey Konovalov } 5811cd3cd6SAndrey Konovalov EXPORT_SYMBOL_GPL(kasan_restore_multi_shot); 595e82cd12SAndrey Konovalov 6011cd3cd6SAndrey Konovalov static int __init kasan_set_multi_shot(char *str) 610b24beccSAndrey Ryabinin { 6211cd3cd6SAndrey Konovalov set_bit(KASAN_BIT_MULTI_SHOT, &kasan_flags); 6311cd3cd6SAndrey Konovalov return 1; 640b24beccSAndrey Ryabinin } 6511cd3cd6SAndrey Konovalov __setup("kasan_multi_shot", kasan_set_multi_shot); 660b24beccSAndrey Ryabinin 67*121e8f81SAndrey Konovalov static void print_error_description(struct kasan_access_info *info) 685e82cd12SAndrey Konovalov { 697f0a84c2SAndrey Konovalov pr_err("BUG: KASAN: %s in %pS\n", 70*121e8f81SAndrey Konovalov get_bug_type(info), (void *)info->ip); 716424f6bbSTobin C. Harding pr_err("%s of size %zu at addr %px by task %s/%d\n", 727d418f7bSAndrey Konovalov info->is_write ? "Write" : "Read", info->access_size, 737f0a84c2SAndrey Konovalov info->access_addr, current->comm, task_pid_nr(current)); 740b24beccSAndrey Ryabinin } 750b24beccSAndrey Ryabinin 767e088978SAndrey Ryabinin static DEFINE_SPINLOCK(report_lock); 777e088978SAndrey Ryabinin 7811cd3cd6SAndrey Konovalov static void start_report(unsigned long *flags) 797e088978SAndrey Ryabinin { 807e088978SAndrey Ryabinin /* 817e088978SAndrey Ryabinin * Make sure we don't end up in loop. 827e088978SAndrey Ryabinin */ 837e088978SAndrey Ryabinin kasan_disable_current(); 847e088978SAndrey Ryabinin spin_lock_irqsave(&report_lock, *flags); 857e088978SAndrey Ryabinin pr_err("==================================================================\n"); 867e088978SAndrey Ryabinin } 877e088978SAndrey Ryabinin 8811cd3cd6SAndrey Konovalov static void end_report(unsigned long *flags) 897e088978SAndrey Ryabinin { 907e088978SAndrey Ryabinin pr_err("==================================================================\n"); 917e088978SAndrey Ryabinin add_taint(TAINT_BAD_PAGE, LOCKDEP_NOW_UNRELIABLE); 927e088978SAndrey Ryabinin spin_unlock_irqrestore(&report_lock, *flags); 935c5c1f36SDmitry Vyukov if (panic_on_warn) 945c5c1f36SDmitry Vyukov panic("panic_on_warn set ...\n"); 957e088978SAndrey Ryabinin kasan_enable_current(); 967e088978SAndrey Ryabinin } 977e088978SAndrey Ryabinin 98b6b72f49SAndrey Konovalov static void print_track(struct kasan_track *track, const char *prefix) 997ed2f9e6SAlexander Potapenko { 100b6b72f49SAndrey Konovalov pr_err("%s by task %u:\n", prefix, track->pid); 101cd11016eSAlexander Potapenko if (track->stack) { 102cd11016eSAlexander Potapenko struct stack_trace trace; 103cd11016eSAlexander Potapenko 104cd11016eSAlexander Potapenko depot_fetch_stack(track->stack, &trace); 105cd11016eSAlexander Potapenko print_stack_trace(&trace, 0); 106cd11016eSAlexander Potapenko } else { 107cd11016eSAlexander Potapenko pr_err("(stack is not available)\n"); 108cd11016eSAlexander Potapenko } 1097ed2f9e6SAlexander Potapenko } 1107ed2f9e6SAlexander Potapenko 111db429f16SAndrey Konovalov static struct page *addr_to_page(const void *addr) 112db429f16SAndrey Konovalov { 113db429f16SAndrey Konovalov if ((addr >= (void *)PAGE_OFFSET) && 114db429f16SAndrey Konovalov (addr < high_memory)) 115db429f16SAndrey Konovalov return virt_to_head_page(addr); 116db429f16SAndrey Konovalov return NULL; 117db429f16SAndrey Konovalov } 118db429f16SAndrey Konovalov 1190c06f1f8SAndrey Konovalov static void describe_object_addr(struct kmem_cache *cache, void *object, 1200c06f1f8SAndrey Konovalov const void *addr) 1210c06f1f8SAndrey Konovalov { 1220c06f1f8SAndrey Konovalov unsigned long access_addr = (unsigned long)addr; 1230c06f1f8SAndrey Konovalov unsigned long object_addr = (unsigned long)object; 1240c06f1f8SAndrey Konovalov const char *rel_type; 1250c06f1f8SAndrey Konovalov int rel_bytes; 1260c06f1f8SAndrey Konovalov 1276424f6bbSTobin C. Harding pr_err("The buggy address belongs to the object at %px\n" 1280c06f1f8SAndrey Konovalov " which belongs to the cache %s of size %d\n", 1290c06f1f8SAndrey Konovalov object, cache->name, cache->object_size); 1300c06f1f8SAndrey Konovalov 1310c06f1f8SAndrey Konovalov if (!addr) 1320c06f1f8SAndrey Konovalov return; 1330c06f1f8SAndrey Konovalov 1340c06f1f8SAndrey Konovalov if (access_addr < object_addr) { 1350c06f1f8SAndrey Konovalov rel_type = "to the left"; 1360c06f1f8SAndrey Konovalov rel_bytes = object_addr - access_addr; 1370c06f1f8SAndrey Konovalov } else if (access_addr >= object_addr + cache->object_size) { 1380c06f1f8SAndrey Konovalov rel_type = "to the right"; 1390c06f1f8SAndrey Konovalov rel_bytes = access_addr - (object_addr + cache->object_size); 1400c06f1f8SAndrey Konovalov } else { 1410c06f1f8SAndrey Konovalov rel_type = "inside"; 1420c06f1f8SAndrey Konovalov rel_bytes = access_addr - object_addr; 1430c06f1f8SAndrey Konovalov } 1440c06f1f8SAndrey Konovalov 1450c06f1f8SAndrey Konovalov pr_err("The buggy address is located %d bytes %s of\n" 1466424f6bbSTobin C. Harding " %d-byte region [%px, %px)\n", 1470c06f1f8SAndrey Konovalov rel_bytes, rel_type, cache->object_size, (void *)object_addr, 1480c06f1f8SAndrey Konovalov (void *)(object_addr + cache->object_size)); 1490c06f1f8SAndrey Konovalov } 1500c06f1f8SAndrey Konovalov 1510c06f1f8SAndrey Konovalov static void describe_object(struct kmem_cache *cache, void *object, 1520c06f1f8SAndrey Konovalov const void *addr) 1537ed2f9e6SAlexander Potapenko { 1547ed2f9e6SAlexander Potapenko struct kasan_alloc_meta *alloc_info = get_alloc_info(cache, object); 1557ed2f9e6SAlexander Potapenko 1560c06f1f8SAndrey Konovalov if (cache->flags & SLAB_KASAN) { 157b6b72f49SAndrey Konovalov print_track(&alloc_info->alloc_track, "Allocated"); 158b1938599SAndrey Konovalov pr_err("\n"); 159b6b72f49SAndrey Konovalov print_track(&alloc_info->free_track, "Freed"); 160b1938599SAndrey Konovalov pr_err("\n"); 1617ed2f9e6SAlexander Potapenko } 1627ed2f9e6SAlexander Potapenko 1630c06f1f8SAndrey Konovalov describe_object_addr(cache, object, addr); 1640c06f1f8SAndrey Konovalov } 1650c06f1f8SAndrey Konovalov 16611cd3cd6SAndrey Konovalov static inline bool kernel_or_module_addr(const void *addr) 16711cd3cd6SAndrey Konovalov { 16811cd3cd6SAndrey Konovalov if (addr >= (void *)_stext && addr < (void *)_end) 16911cd3cd6SAndrey Konovalov return true; 17011cd3cd6SAndrey Konovalov if (is_module_address((unsigned long)addr)) 17111cd3cd6SAndrey Konovalov return true; 17211cd3cd6SAndrey Konovalov return false; 17311cd3cd6SAndrey Konovalov } 17411cd3cd6SAndrey Konovalov 17511cd3cd6SAndrey Konovalov static inline bool init_task_stack_addr(const void *addr) 17611cd3cd6SAndrey Konovalov { 17711cd3cd6SAndrey Konovalov return addr >= (void *)&init_thread_union.stack && 17811cd3cd6SAndrey Konovalov (addr <= (void *)&init_thread_union.stack + 17911cd3cd6SAndrey Konovalov sizeof(init_thread_union.stack)); 18011cd3cd6SAndrey Konovalov } 18111cd3cd6SAndrey Konovalov 1825ab6d91aSAndrey Konovalov static void print_address_description(void *addr) 1837e088978SAndrey Ryabinin { 184db429f16SAndrey Konovalov struct page *page = addr_to_page(addr); 185b8c73fc2SAndrey Ryabinin 186db429f16SAndrey Konovalov dump_stack(); 187b1938599SAndrey Konovalov pr_err("\n"); 188db429f16SAndrey Konovalov 189db429f16SAndrey Konovalov if (page && PageSlab(page)) { 190db429f16SAndrey Konovalov struct kmem_cache *cache = page->slab_cache; 1910c06f1f8SAndrey Konovalov void *object = nearest_obj(cache, page, addr); 192db429f16SAndrey Konovalov 1930c06f1f8SAndrey Konovalov describe_object(cache, object, addr); 194b8c73fc2SAndrey Ryabinin } 195b8c73fc2SAndrey Ryabinin 196430a05f9SAndrey Konovalov if (kernel_or_module_addr(addr) && !init_task_stack_addr(addr)) { 197430a05f9SAndrey Konovalov pr_err("The buggy address belongs to the variable:\n"); 198430a05f9SAndrey Konovalov pr_err(" %pS\n", addr); 199430a05f9SAndrey Konovalov } 200430a05f9SAndrey Konovalov 201430a05f9SAndrey Konovalov if (page) { 202430a05f9SAndrey Konovalov pr_err("The buggy address belongs to the page:\n"); 203430a05f9SAndrey Konovalov dump_page(page, "kasan: bad access detected"); 204bebf56a1SAndrey Ryabinin } 2050b24beccSAndrey Ryabinin } 2060b24beccSAndrey Ryabinin 2070b24beccSAndrey Ryabinin static bool row_is_guilty(const void *row, const void *guilty) 2080b24beccSAndrey Ryabinin { 2090b24beccSAndrey Ryabinin return (row <= guilty) && (guilty < row + SHADOW_BYTES_PER_ROW); 2100b24beccSAndrey Ryabinin } 2110b24beccSAndrey Ryabinin 2120b24beccSAndrey Ryabinin static int shadow_pointer_offset(const void *row, const void *shadow) 2130b24beccSAndrey Ryabinin { 2140b24beccSAndrey Ryabinin /* The length of ">ff00ff00ff00ff00: " is 2150b24beccSAndrey Ryabinin * 3 + (BITS_PER_LONG/8)*2 chars. 2160b24beccSAndrey Ryabinin */ 2170b24beccSAndrey Ryabinin return 3 + (BITS_PER_LONG/8)*2 + (shadow - row)*2 + 2180b24beccSAndrey Ryabinin (shadow - row) / SHADOW_BYTES_PER_BLOCK + 1; 2190b24beccSAndrey Ryabinin } 2200b24beccSAndrey Ryabinin 2210b24beccSAndrey Ryabinin static void print_shadow_for_address(const void *addr) 2220b24beccSAndrey Ryabinin { 2230b24beccSAndrey Ryabinin int i; 2240b24beccSAndrey Ryabinin const void *shadow = kasan_mem_to_shadow(addr); 2250b24beccSAndrey Ryabinin const void *shadow_row; 2260b24beccSAndrey Ryabinin 2270b24beccSAndrey Ryabinin shadow_row = (void *)round_down((unsigned long)shadow, 2280b24beccSAndrey Ryabinin SHADOW_BYTES_PER_ROW) 2290b24beccSAndrey Ryabinin - SHADOW_ROWS_AROUND_ADDR * SHADOW_BYTES_PER_ROW; 2300b24beccSAndrey Ryabinin 2310b24beccSAndrey Ryabinin pr_err("Memory state around the buggy address:\n"); 2320b24beccSAndrey Ryabinin 2330b24beccSAndrey Ryabinin for (i = -SHADOW_ROWS_AROUND_ADDR; i <= SHADOW_ROWS_AROUND_ADDR; i++) { 2340b24beccSAndrey Ryabinin const void *kaddr = kasan_shadow_to_mem(shadow_row); 2350b24beccSAndrey Ryabinin char buffer[4 + (BITS_PER_LONG/8)*2]; 236f2377d4eSAneesh Kumar K.V char shadow_buf[SHADOW_BYTES_PER_ROW]; 2370b24beccSAndrey Ryabinin 2380b24beccSAndrey Ryabinin snprintf(buffer, sizeof(buffer), 2396424f6bbSTobin C. Harding (i == 0) ? ">%px: " : " %px: ", kaddr); 240f2377d4eSAneesh Kumar K.V /* 241f2377d4eSAneesh Kumar K.V * We should not pass a shadow pointer to generic 242f2377d4eSAneesh Kumar K.V * function, because generic functions may try to 243f2377d4eSAneesh Kumar K.V * access kasan mapping for the passed address. 244f2377d4eSAneesh Kumar K.V */ 245f2377d4eSAneesh Kumar K.V memcpy(shadow_buf, shadow_row, SHADOW_BYTES_PER_ROW); 2460b24beccSAndrey Ryabinin print_hex_dump(KERN_ERR, buffer, 2470b24beccSAndrey Ryabinin DUMP_PREFIX_NONE, SHADOW_BYTES_PER_ROW, 1, 248f2377d4eSAneesh Kumar K.V shadow_buf, SHADOW_BYTES_PER_ROW, 0); 2490b24beccSAndrey Ryabinin 2500b24beccSAndrey Ryabinin if (row_is_guilty(shadow_row, shadow)) 2510b24beccSAndrey Ryabinin pr_err("%*c\n", 2520b24beccSAndrey Ryabinin shadow_pointer_offset(shadow_row, shadow), 2530b24beccSAndrey Ryabinin '^'); 2540b24beccSAndrey Ryabinin 2550b24beccSAndrey Ryabinin shadow_row += SHADOW_BYTES_PER_ROW; 2560b24beccSAndrey Ryabinin } 2570b24beccSAndrey Ryabinin } 2580b24beccSAndrey Ryabinin 25911cd3cd6SAndrey Konovalov static bool report_enabled(void) 260b0845ce5SMark Rutland { 261b0845ce5SMark Rutland if (current->kasan_depth) 262b0845ce5SMark Rutland return false; 263b0845ce5SMark Rutland if (test_bit(KASAN_BIT_MULTI_SHOT, &kasan_flags)) 264b0845ce5SMark Rutland return true; 265b0845ce5SMark Rutland return !test_and_set_bit(KASAN_BIT_REPORTED, &kasan_flags); 266b0845ce5SMark Rutland } 267b0845ce5SMark Rutland 26811cd3cd6SAndrey Konovalov void kasan_report_invalid_free(void *object, unsigned long ip) 26911cd3cd6SAndrey Konovalov { 27011cd3cd6SAndrey Konovalov unsigned long flags; 27111cd3cd6SAndrey Konovalov 27211cd3cd6SAndrey Konovalov start_report(&flags); 27311cd3cd6SAndrey Konovalov pr_err("BUG: KASAN: double-free or invalid-free in %pS\n", (void *)ip); 274*121e8f81SAndrey Konovalov print_tags(get_tag(object), reset_tag(object)); 275*121e8f81SAndrey Konovalov object = reset_tag(object); 27611cd3cd6SAndrey Konovalov pr_err("\n"); 27711cd3cd6SAndrey Konovalov print_address_description(object); 27811cd3cd6SAndrey Konovalov pr_err("\n"); 27911cd3cd6SAndrey Konovalov print_shadow_for_address(object); 28011cd3cd6SAndrey Konovalov end_report(&flags); 28111cd3cd6SAndrey Konovalov } 28211cd3cd6SAndrey Konovalov 2830b24beccSAndrey Ryabinin void kasan_report(unsigned long addr, size_t size, 2840b24beccSAndrey Ryabinin bool is_write, unsigned long ip) 2850b24beccSAndrey Ryabinin { 2860b24beccSAndrey Ryabinin struct kasan_access_info info; 287*121e8f81SAndrey Konovalov void *tagged_addr; 288*121e8f81SAndrey Konovalov void *untagged_addr; 289*121e8f81SAndrey Konovalov unsigned long flags; 2900b24beccSAndrey Ryabinin 29111cd3cd6SAndrey Konovalov if (likely(!report_enabled())) 2920b24beccSAndrey Ryabinin return; 2930b24beccSAndrey Ryabinin 2944f40c6e5SPeter Zijlstra disable_trace_on_warning(); 2954f40c6e5SPeter Zijlstra 296*121e8f81SAndrey Konovalov tagged_addr = (void *)addr; 297*121e8f81SAndrey Konovalov untagged_addr = reset_tag(tagged_addr); 298*121e8f81SAndrey Konovalov 299*121e8f81SAndrey Konovalov info.access_addr = tagged_addr; 300*121e8f81SAndrey Konovalov if (addr_has_shadow(untagged_addr)) 301*121e8f81SAndrey Konovalov info.first_bad_addr = find_first_bad_addr(tagged_addr, size); 302*121e8f81SAndrey Konovalov else 303*121e8f81SAndrey Konovalov info.first_bad_addr = untagged_addr; 3040b24beccSAndrey Ryabinin info.access_size = size; 3050b24beccSAndrey Ryabinin info.is_write = is_write; 3060b24beccSAndrey Ryabinin info.ip = ip; 307e9121076SAndrey Konovalov 308*121e8f81SAndrey Konovalov start_report(&flags); 309*121e8f81SAndrey Konovalov 310*121e8f81SAndrey Konovalov print_error_description(&info); 311*121e8f81SAndrey Konovalov if (addr_has_shadow(untagged_addr)) 312*121e8f81SAndrey Konovalov print_tags(get_tag(tagged_addr), info.first_bad_addr); 313*121e8f81SAndrey Konovalov pr_err("\n"); 314*121e8f81SAndrey Konovalov 315*121e8f81SAndrey Konovalov if (addr_has_shadow(untagged_addr)) { 316*121e8f81SAndrey Konovalov print_address_description(untagged_addr); 317*121e8f81SAndrey Konovalov pr_err("\n"); 318*121e8f81SAndrey Konovalov print_shadow_for_address(info.first_bad_addr); 319*121e8f81SAndrey Konovalov } else { 320*121e8f81SAndrey Konovalov dump_stack(); 321*121e8f81SAndrey Konovalov } 322*121e8f81SAndrey Konovalov 323*121e8f81SAndrey Konovalov end_report(&flags); 3240b24beccSAndrey Ryabinin } 325