Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 2 | #ifndef __MM_KASAN_KASAN_H |
| 3 | #define __MM_KASAN_KASAN_H |
| 4 | |
| 5 | #include <linux/kasan.h> |
Alexander Potapenko | cd11016 | 2016-03-25 14:22:08 -0700 | [diff] [blame] | 6 | #include <linux/stackdepot.h> |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 7 | |
| 8 | #define KASAN_SHADOW_SCALE_SIZE (1UL << KASAN_SHADOW_SCALE_SHIFT) |
| 9 | #define KASAN_SHADOW_MASK (KASAN_SHADOW_SCALE_SIZE - 1) |
| 10 | |
Andrey Konovalov | 3c9e3aa | 2018-12-28 00:30:16 -0800 | [diff] [blame] | 11 | #define KASAN_TAG_KERNEL 0xFF /* native kernel pointers tag */ |
| 12 | #define KASAN_TAG_INVALID 0xFE /* inaccessible memory tag */ |
| 13 | #define KASAN_TAG_MAX 0xFD /* maximum value for random tags */ |
| 14 | |
Andrey Konovalov | 7f94ffb | 2018-12-28 00:30:50 -0800 | [diff] [blame] | 15 | #ifdef CONFIG_KASAN_GENERIC |
Andrey Ryabinin | b8c73fc | 2015-02-13 14:39:28 -0800 | [diff] [blame] | 16 | #define KASAN_FREE_PAGE 0xFF /* page was freed */ |
Andrey Ryabinin | 0316bec | 2015-02-13 14:39:42 -0800 | [diff] [blame] | 17 | #define KASAN_PAGE_REDZONE 0xFE /* redzone for kmalloc_large allocations */ |
| 18 | #define KASAN_KMALLOC_REDZONE 0xFC /* redzone inside slub object */ |
| 19 | #define KASAN_KMALLOC_FREE 0xFB /* object was freed (kmem_cache_free/kfree) */ |
Andrey Konovalov | 7f94ffb | 2018-12-28 00:30:50 -0800 | [diff] [blame] | 20 | #else |
| 21 | #define KASAN_FREE_PAGE KASAN_TAG_INVALID |
| 22 | #define KASAN_PAGE_REDZONE KASAN_TAG_INVALID |
| 23 | #define KASAN_KMALLOC_REDZONE KASAN_TAG_INVALID |
| 24 | #define KASAN_KMALLOC_FREE KASAN_TAG_INVALID |
| 25 | #endif |
| 26 | |
Andrey Ryabinin | bebf56a | 2015-02-13 14:40:17 -0800 | [diff] [blame] | 27 | #define KASAN_GLOBAL_REDZONE 0xFA /* redzone for global variable */ |
Daniel Axtens | 3c5c3cf | 2019-11-30 17:54:50 -0800 | [diff] [blame] | 28 | #define KASAN_VMALLOC_INVALID 0xF9 /* unallocated space in vmapped page */ |
Andrey Ryabinin | 0316bec | 2015-02-13 14:39:42 -0800 | [diff] [blame] | 29 | |
Andrey Ryabinin | c420f16 | 2015-02-13 14:39:59 -0800 | [diff] [blame] | 30 | /* |
| 31 | * Stack redzone shadow values |
| 32 | * (Those are compiler's ABI, don't change them) |
| 33 | */ |
| 34 | #define KASAN_STACK_LEFT 0xF1 |
| 35 | #define KASAN_STACK_MID 0xF2 |
| 36 | #define KASAN_STACK_RIGHT 0xF3 |
| 37 | #define KASAN_STACK_PARTIAL 0xF4 |
| 38 | |
Paul Lawrence | 342061e | 2018-02-06 15:36:11 -0800 | [diff] [blame] | 39 | /* |
| 40 | * alloca redzone shadow values |
| 41 | */ |
| 42 | #define KASAN_ALLOCA_LEFT 0xCA |
| 43 | #define KASAN_ALLOCA_RIGHT 0xCB |
| 44 | |
| 45 | #define KASAN_ALLOCA_REDZONE_SIZE 32 |
| 46 | |
Marco Elver | e896921 | 2019-07-11 20:53:49 -0700 | [diff] [blame] | 47 | /* |
| 48 | * Stack frame marker (compiler ABI). |
| 49 | */ |
| 50 | #define KASAN_CURRENT_STACK_FRAME_MAGIC 0x41B58AB3 |
| 51 | |
Andrey Ryabinin | bebf56a | 2015-02-13 14:40:17 -0800 | [diff] [blame] | 52 | /* Don't break randconfig/all*config builds */ |
| 53 | #ifndef KASAN_ABI_VERSION |
| 54 | #define KASAN_ABI_VERSION 1 |
| 55 | #endif |
Andrey Ryabinin | b8c73fc | 2015-02-13 14:39:28 -0800 | [diff] [blame] | 56 | |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 57 | struct kasan_access_info { |
| 58 | const void *access_addr; |
| 59 | const void *first_bad_addr; |
| 60 | size_t access_size; |
| 61 | bool is_write; |
| 62 | unsigned long ip; |
| 63 | }; |
| 64 | |
Andrey Ryabinin | bebf56a | 2015-02-13 14:40:17 -0800 | [diff] [blame] | 65 | /* The layout of struct dictated by compiler */ |
| 66 | struct kasan_source_location { |
| 67 | const char *filename; |
| 68 | int line_no; |
| 69 | int column_no; |
| 70 | }; |
| 71 | |
| 72 | /* The layout of struct dictated by compiler */ |
| 73 | struct kasan_global { |
| 74 | const void *beg; /* Address of the beginning of the global variable. */ |
| 75 | size_t size; /* Size of the global variable. */ |
| 76 | size_t size_with_redzone; /* Size of the variable + size of the red zone. 32 bytes aligned */ |
| 77 | const void *name; |
| 78 | const void *module_name; /* Name of the module where the global variable is declared. */ |
| 79 | unsigned long has_dynamic_init; /* This needed for C++ */ |
| 80 | #if KASAN_ABI_VERSION >= 4 |
| 81 | struct kasan_source_location *location; |
| 82 | #endif |
Dmitry Vyukov | 045d599 | 2016-11-30 15:54:13 -0800 | [diff] [blame] | 83 | #if KASAN_ABI_VERSION >= 5 |
| 84 | char *odr_indicator; |
| 85 | #endif |
Andrey Ryabinin | bebf56a | 2015-02-13 14:40:17 -0800 | [diff] [blame] | 86 | }; |
| 87 | |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 88 | /** |
| 89 | * Structures to keep alloc and free tracks * |
| 90 | */ |
| 91 | |
Alexander Potapenko | cd11016 | 2016-03-25 14:22:08 -0700 | [diff] [blame] | 92 | #define KASAN_STACK_DEPTH 64 |
| 93 | |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 94 | struct kasan_track { |
Alexander Potapenko | cd11016 | 2016-03-25 14:22:08 -0700 | [diff] [blame] | 95 | u32 pid; |
| 96 | depot_stack_handle_t stack; |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 97 | }; |
| 98 | |
Walter Wu | ae8f06b | 2019-09-23 15:34:13 -0700 | [diff] [blame] | 99 | #ifdef CONFIG_KASAN_SW_TAGS_IDENTIFY |
| 100 | #define KASAN_NR_FREE_STACKS 5 |
| 101 | #else |
| 102 | #define KASAN_NR_FREE_STACKS 1 |
| 103 | #endif |
| 104 | |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 105 | struct kasan_alloc_meta { |
Andrey Ryabinin | b3cbd9b | 2016-08-02 14:02:52 -0700 | [diff] [blame] | 106 | struct kasan_track alloc_track; |
Walter Wu | ae8f06b | 2019-09-23 15:34:13 -0700 | [diff] [blame] | 107 | struct kasan_track free_track[KASAN_NR_FREE_STACKS]; |
| 108 | #ifdef CONFIG_KASAN_SW_TAGS_IDENTIFY |
| 109 | u8 free_pointer_tag[KASAN_NR_FREE_STACKS]; |
| 110 | u8 free_track_idx; |
| 111 | #endif |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 112 | }; |
| 113 | |
Alexander Potapenko | 55834c5 | 2016-05-20 16:59:11 -0700 | [diff] [blame] | 114 | struct qlist_node { |
| 115 | struct qlist_node *next; |
| 116 | }; |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 117 | struct kasan_free_meta { |
Alexander Potapenko | 55834c5 | 2016-05-20 16:59:11 -0700 | [diff] [blame] | 118 | /* This field is used while the object is in the quarantine. |
| 119 | * Otherwise it might be used for the allocator freelist. |
| 120 | */ |
| 121 | struct qlist_node quarantine_link; |
Alexander Potapenko | 7ed2f9e | 2016-03-25 14:21:59 -0700 | [diff] [blame] | 122 | }; |
| 123 | |
| 124 | struct kasan_alloc_meta *get_alloc_info(struct kmem_cache *cache, |
| 125 | const void *object); |
| 126 | struct kasan_free_meta *get_free_info(struct kmem_cache *cache, |
| 127 | const void *object); |
| 128 | |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 129 | static inline const void *kasan_shadow_to_mem(const void *shadow_addr) |
| 130 | { |
| 131 | return (void *)(((unsigned long)shadow_addr - KASAN_SHADOW_OFFSET) |
| 132 | << KASAN_SHADOW_SCALE_SHIFT); |
| 133 | } |
| 134 | |
Andrey Konovalov | 11cd3cd | 2018-12-28 00:30:38 -0800 | [diff] [blame] | 135 | static inline bool addr_has_shadow(const void *addr) |
| 136 | { |
| 137 | return (addr >= kasan_shadow_to_mem((void *)KASAN_SHADOW_START)); |
| 138 | } |
| 139 | |
Andrey Konovalov | bffa986 | 2018-12-28 00:29:45 -0800 | [diff] [blame] | 140 | void kasan_poison_shadow(const void *address, size_t size, u8 value); |
| 141 | |
Marco Elver | b5f6e0f | 2019-07-11 20:54:07 -0700 | [diff] [blame] | 142 | /** |
| 143 | * check_memory_region - Check memory region, and report if invalid access. |
| 144 | * @addr: the accessed address |
| 145 | * @size: the accessed size |
| 146 | * @write: true if access is a write access |
| 147 | * @ret_ip: return address |
| 148 | * @return: true if access was valid, false if invalid |
| 149 | */ |
| 150 | bool check_memory_region(unsigned long addr, size_t size, bool write, |
Andrey Konovalov | bffa986 | 2018-12-28 00:29:45 -0800 | [diff] [blame] | 151 | unsigned long ret_ip); |
| 152 | |
Andrey Konovalov | 121e8f8 | 2018-12-28 00:30:42 -0800 | [diff] [blame] | 153 | void *find_first_bad_addr(void *addr, size_t size); |
Andrey Konovalov | 11cd3cd | 2018-12-28 00:30:38 -0800 | [diff] [blame] | 154 | const char *get_bug_type(struct kasan_access_info *info); |
| 155 | |
Walter Wu | 8cceeff | 2020-04-01 21:09:37 -0700 | [diff] [blame] | 156 | bool kasan_report(unsigned long addr, size_t size, |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 157 | bool is_write, unsigned long ip); |
Dmitry Vyukov | ee3ce77 | 2018-02-06 15:36:27 -0800 | [diff] [blame] | 158 | void kasan_report_invalid_free(void *object, unsigned long ip); |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 159 | |
Walter Wu | ae8f06b | 2019-09-23 15:34:13 -0700 | [diff] [blame] | 160 | struct page *kasan_addr_to_page(const void *addr); |
| 161 | |
Andrey Konovalov | 2bd926b | 2018-12-28 00:29:53 -0800 | [diff] [blame] | 162 | #if defined(CONFIG_KASAN_GENERIC) && \ |
| 163 | (defined(CONFIG_SLAB) || defined(CONFIG_SLUB)) |
Alexander Potapenko | 55834c5 | 2016-05-20 16:59:11 -0700 | [diff] [blame] | 164 | void quarantine_put(struct kasan_free_meta *info, struct kmem_cache *cache); |
| 165 | void quarantine_reduce(void); |
| 166 | void quarantine_remove_cache(struct kmem_cache *cache); |
| 167 | #else |
| 168 | static inline void quarantine_put(struct kasan_free_meta *info, |
| 169 | struct kmem_cache *cache) { } |
| 170 | static inline void quarantine_reduce(void) { } |
| 171 | static inline void quarantine_remove_cache(struct kmem_cache *cache) { } |
| 172 | #endif |
| 173 | |
Andrey Konovalov | 3c9e3aa | 2018-12-28 00:30:16 -0800 | [diff] [blame] | 174 | #ifdef CONFIG_KASAN_SW_TAGS |
| 175 | |
Andrey Konovalov | 121e8f8 | 2018-12-28 00:30:42 -0800 | [diff] [blame] | 176 | void print_tags(u8 addr_tag, const void *addr); |
| 177 | |
Andrey Konovalov | 3c9e3aa | 2018-12-28 00:30:16 -0800 | [diff] [blame] | 178 | u8 random_tag(void); |
| 179 | |
| 180 | #else |
| 181 | |
Andrey Konovalov | 121e8f8 | 2018-12-28 00:30:42 -0800 | [diff] [blame] | 182 | static inline void print_tags(u8 addr_tag, const void *addr) { } |
| 183 | |
Andrey Konovalov | 3c9e3aa | 2018-12-28 00:30:16 -0800 | [diff] [blame] | 184 | static inline u8 random_tag(void) |
| 185 | { |
| 186 | return 0; |
| 187 | } |
| 188 | |
| 189 | #endif |
| 190 | |
| 191 | #ifndef arch_kasan_set_tag |
Qian Cai | c412a76 | 2019-03-28 20:43:15 -0700 | [diff] [blame] | 192 | static inline const void *arch_kasan_set_tag(const void *addr, u8 tag) |
| 193 | { |
| 194 | return addr; |
| 195 | } |
Andrey Konovalov | 3c9e3aa | 2018-12-28 00:30:16 -0800 | [diff] [blame] | 196 | #endif |
| 197 | #ifndef arch_kasan_reset_tag |
| 198 | #define arch_kasan_reset_tag(addr) ((void *)(addr)) |
| 199 | #endif |
| 200 | #ifndef arch_kasan_get_tag |
| 201 | #define arch_kasan_get_tag(addr) 0 |
| 202 | #endif |
| 203 | |
| 204 | #define set_tag(addr, tag) ((void *)arch_kasan_set_tag((addr), (tag))) |
| 205 | #define reset_tag(addr) ((void *)arch_kasan_reset_tag(addr)) |
| 206 | #define get_tag(addr) arch_kasan_get_tag(addr) |
| 207 | |
Alexander Potapenko | d321599 | 2018-02-06 15:36:20 -0800 | [diff] [blame] | 208 | /* |
| 209 | * Exported functions for interfaces called from assembly or from generated |
| 210 | * code. Declarations here to avoid warning about missing declarations. |
| 211 | */ |
| 212 | asmlinkage void kasan_unpoison_task_stack_below(const void *watermark); |
| 213 | void __asan_register_globals(struct kasan_global *globals, size_t size); |
| 214 | void __asan_unregister_globals(struct kasan_global *globals, size_t size); |
Alexander Potapenko | d321599 | 2018-02-06 15:36:20 -0800 | [diff] [blame] | 215 | void __asan_handle_no_return(void); |
Alexander Potapenko | d321599 | 2018-02-06 15:36:20 -0800 | [diff] [blame] | 216 | void __asan_alloca_poison(unsigned long addr, size_t size); |
| 217 | void __asan_allocas_unpoison(const void *stack_top, const void *stack_bottom); |
| 218 | |
| 219 | void __asan_load1(unsigned long addr); |
| 220 | void __asan_store1(unsigned long addr); |
| 221 | void __asan_load2(unsigned long addr); |
| 222 | void __asan_store2(unsigned long addr); |
| 223 | void __asan_load4(unsigned long addr); |
| 224 | void __asan_store4(unsigned long addr); |
| 225 | void __asan_load8(unsigned long addr); |
| 226 | void __asan_store8(unsigned long addr); |
| 227 | void __asan_load16(unsigned long addr); |
| 228 | void __asan_store16(unsigned long addr); |
Andrey Konovalov | 13cf048 | 2020-05-13 17:50:54 -0700 | [diff] [blame^] | 229 | void __asan_loadN(unsigned long addr, size_t size); |
| 230 | void __asan_storeN(unsigned long addr, size_t size); |
Alexander Potapenko | d321599 | 2018-02-06 15:36:20 -0800 | [diff] [blame] | 231 | |
| 232 | void __asan_load1_noabort(unsigned long addr); |
| 233 | void __asan_store1_noabort(unsigned long addr); |
| 234 | void __asan_load2_noabort(unsigned long addr); |
| 235 | void __asan_store2_noabort(unsigned long addr); |
| 236 | void __asan_load4_noabort(unsigned long addr); |
| 237 | void __asan_store4_noabort(unsigned long addr); |
| 238 | void __asan_load8_noabort(unsigned long addr); |
| 239 | void __asan_store8_noabort(unsigned long addr); |
| 240 | void __asan_load16_noabort(unsigned long addr); |
| 241 | void __asan_store16_noabort(unsigned long addr); |
Andrey Konovalov | 13cf048 | 2020-05-13 17:50:54 -0700 | [diff] [blame^] | 242 | void __asan_loadN_noabort(unsigned long addr, size_t size); |
| 243 | void __asan_storeN_noabort(unsigned long addr, size_t size); |
| 244 | |
| 245 | void __asan_report_load1_noabort(unsigned long addr); |
| 246 | void __asan_report_store1_noabort(unsigned long addr); |
| 247 | void __asan_report_load2_noabort(unsigned long addr); |
| 248 | void __asan_report_store2_noabort(unsigned long addr); |
| 249 | void __asan_report_load4_noabort(unsigned long addr); |
| 250 | void __asan_report_store4_noabort(unsigned long addr); |
| 251 | void __asan_report_load8_noabort(unsigned long addr); |
| 252 | void __asan_report_store8_noabort(unsigned long addr); |
| 253 | void __asan_report_load16_noabort(unsigned long addr); |
| 254 | void __asan_report_store16_noabort(unsigned long addr); |
| 255 | void __asan_report_load_n_noabort(unsigned long addr, size_t size); |
| 256 | void __asan_report_store_n_noabort(unsigned long addr, size_t size); |
Alexander Potapenko | d321599 | 2018-02-06 15:36:20 -0800 | [diff] [blame] | 257 | |
| 258 | void __asan_set_shadow_00(const void *addr, size_t size); |
| 259 | void __asan_set_shadow_f1(const void *addr, size_t size); |
| 260 | void __asan_set_shadow_f2(const void *addr, size_t size); |
| 261 | void __asan_set_shadow_f3(const void *addr, size_t size); |
| 262 | void __asan_set_shadow_f5(const void *addr, size_t size); |
| 263 | void __asan_set_shadow_f8(const void *addr, size_t size); |
| 264 | |
Andrey Konovalov | 13cf048 | 2020-05-13 17:50:54 -0700 | [diff] [blame^] | 265 | void __hwasan_load1_noabort(unsigned long addr); |
| 266 | void __hwasan_store1_noabort(unsigned long addr); |
| 267 | void __hwasan_load2_noabort(unsigned long addr); |
| 268 | void __hwasan_store2_noabort(unsigned long addr); |
| 269 | void __hwasan_load4_noabort(unsigned long addr); |
| 270 | void __hwasan_store4_noabort(unsigned long addr); |
| 271 | void __hwasan_load8_noabort(unsigned long addr); |
| 272 | void __hwasan_store8_noabort(unsigned long addr); |
| 273 | void __hwasan_load16_noabort(unsigned long addr); |
| 274 | void __hwasan_store16_noabort(unsigned long addr); |
| 275 | void __hwasan_loadN_noabort(unsigned long addr, size_t size); |
| 276 | void __hwasan_storeN_noabort(unsigned long addr, size_t size); |
| 277 | |
| 278 | void __hwasan_tag_memory(unsigned long addr, u8 tag, unsigned long size); |
| 279 | |
Andrey Ryabinin | 0b24bec | 2015-02-13 14:39:17 -0800 | [diff] [blame] | 280 | #endif |