mm/kasan/tags.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * This file contains core tag-based KASAN code.
   4  *
   5  * Copyright (c) 2018 Google, Inc.
   6  * Author: Andrey Konovalov <[email protected]>
   7  *
   8  * This program is free software; you can redistribute it and/or modify
   9  * it under the terms of the GNU General Public License version 2 as
  10  * published by the Free Software Foundation.
  11  *
  12  */
  13
  14 #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  15 #define DISABLE_BRANCH_PROFILING
  16
  17 #include <linux/export.h>
  18 #include <linux/interrupt.h>
  19 #include <linux/init.h>
  20 #include <linux/kasan.h>
  21 #include <linux/kernel.h>
  22 #include <linux/kmemleak.h>
  23 #include <linux/linkage.h>
  24 #include <linux/memblock.h>
  25 #include <linux/memory.h>
  26 #include <linux/mm.h>
  27 #include <linux/module.h>
  28 #include <linux/printk.h>
  29 #include <linux/random.h>
  30 #include <linux/sched.h>
  31 #include <linux/sched/task_stack.h>
  32 #include <linux/slab.h>
  33 #include <linux/stacktrace.h>
  34 #include <linux/string.h>
  35 #include <linux/types.h>
  36 #include <linux/vmalloc.h>
  37 #include <linux/bug.h>
  38
  39 #include "kasan.h"
  40 #include "../slab.h"
  41
  42 static DEFINE_PER_CPU(u32, prng_state);
  43
  44 void kasan_init_tags(void)
  45 {
  46         int cpu;
  47
  48         for_each_possible_cpu(cpu)
  49                 per_cpu(prng_state, cpu) = (u32)get_cycles();
  50 }
  51
  52 /*
  53  * If a preemption happens between this_cpu_read and this_cpu_write, the only
  54  * side effect is that we'll give a few allocated in different contexts objects
  55  * the same tag. Since tag-based KASAN is meant to be used a probabilistic
  56  * bug-detection debug feature, this doesn't have significant negative impact.
  57  *
  58  * Ideally the tags use strong randomness to prevent any attempts to predict
  59  * them during explicit exploit attempts. But strong randomness is expensive,
  60  * and we did an intentional trade-off to use a PRNG. This non-atomic RMW
  61  * sequence has in fact positive effect, since interrupts that randomly skew
  62  * PRNG at unpredictable points do only good.
  63  */
  64 u8 random_tag(void)
  65 {
  66         u32 state = this_cpu_read(prng_state);
  67
  68         state = 1664525 * state + 1013904223;
  69         this_cpu_write(prng_state, state);
  70
  71         return (u8)(state % (KASAN_TAG_MAX + 1));
  72 }
  73
  74 void *kasan_reset_tag(const void *addr)
  75 {
  76         return reset_tag(addr);
  77 }
  78
  79 bool check_memory_region(unsigned long addr, size_t size, bool write,
  80                                 unsigned long ret_ip)
  81 {
  82         u8 tag;
  83         u8 *shadow_first, *shadow_last, *shadow;
  84         void *untagged_addr;
  85
  86         if (unlikely(size == 0))
  87                 return true;
  88
  89         tag = get_tag((const void *)addr);
  90
  91         /*
  92          * Ignore accesses for pointers tagged with 0xff (native kernel
  93          * pointer tag) to suppress false positives caused by kmap.
  94          *
  95          * Some kernel code was written to account for archs that don't keep
  96          * high memory mapped all the time, but rather map and unmap particular
  97          * pages when needed. Instead of storing a pointer to the kernel memory,
  98          * this code saves the address of the page structure and offset within
  99          * that page for later use. Those pages are then mapped and unmapped
 100          * with kmap/kunmap when necessary and virt_to_page is used to get the
 101          * virtual address of the page. For arm64 (that keeps the high memory
 102          * mapped all the time), kmap is turned into a page_address call.
 103
 104          * The issue is that with use of the page_address + virt_to_page
 105          * sequence the top byte value of the original pointer gets lost (gets
 106          * set to KASAN_TAG_KERNEL (0xFF)).
 107          */
 108         if (tag == KASAN_TAG_KERNEL)
 109                 return true;
 110
 111         untagged_addr = reset_tag((const void *)addr);
 112         if (unlikely(untagged_addr <
 113                         kasan_shadow_to_mem((void *)KASAN_SHADOW_START))) {
 114                 kasan_report(addr, size, write, ret_ip);
 115                 return false;
 116         }
 117         shadow_first = kasan_mem_to_shadow(untagged_addr);
 118         shadow_last = kasan_mem_to_shadow(untagged_addr + size - 1);
 119         for (shadow = shadow_first; shadow <= shadow_last; shadow++) {
 120                 if (*shadow != tag) {
 121                         kasan_report(addr, size, write, ret_ip);
 122                         return false;
 123                 }
 124         }
 125
 126         return true;
 127 }
 128
 129 #define DEFINE_HWASAN_LOAD_STORE(size)                                  \
 130         void __hwasan_load##size##_noabort(unsigned long addr)          \
 131         {                                                               \
 132                 check_memory_region(addr, size, false, _RET_IP_);       \
 133         }                                                               \
 134         EXPORT_SYMBOL(__hwasan_load##size##_noabort);                   \
 135         void __hwasan_store##size##_noabort(unsigned long addr)         \
 136         {                                                               \
 137                 check_memory_region(addr, size, true, _RET_IP_);        \
 138         }                                                               \
 139         EXPORT_SYMBOL(__hwasan_store##size##_noabort)
 140
 141 DEFINE_HWASAN_LOAD_STORE(1);
 142 DEFINE_HWASAN_LOAD_STORE(2);
 143 DEFINE_HWASAN_LOAD_STORE(4);
 144 DEFINE_HWASAN_LOAD_STORE(8);
 145 DEFINE_HWASAN_LOAD_STORE(16);
 146
 147 void __hwasan_loadN_noabort(unsigned long addr, unsigned long size)
 148 {
 149         check_memory_region(addr, size, false, _RET_IP_);
 150 }
 151 EXPORT_SYMBOL(__hwasan_loadN_noabort);
 152
 153 void __hwasan_storeN_noabort(unsigned long addr, unsigned long size)
 154 {
 155         check_memory_region(addr, size, true, _RET_IP_);
 156 }
 157 EXPORT_SYMBOL(__hwasan_storeN_noabort);
 158
 159 void __hwasan_tag_memory(unsigned long addr, u8 tag, unsigned long size)
 160 {
 161         kasan_poison_shadow((void *)addr, size, tag);
 162 }
 163 EXPORT_SYMBOL(__hwasan_tag_memory);