at v6.6 14 kB view raw
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _LINUX_KASAN_H 3#define _LINUX_KASAN_H 4 5#include <linux/bug.h> 6#include <linux/kasan-enabled.h> 7#include <linux/kernel.h> 8#include <linux/static_key.h> 9#include <linux/types.h> 10 11struct kmem_cache; 12struct page; 13struct slab; 14struct vm_struct; 15struct task_struct; 16 17#ifdef CONFIG_KASAN 18 19#include <linux/linkage.h> 20#include <asm/kasan.h> 21 22#endif 23 24typedef unsigned int __bitwise kasan_vmalloc_flags_t; 25 26#define KASAN_VMALLOC_NONE ((__force kasan_vmalloc_flags_t)0x00u) 27#define KASAN_VMALLOC_INIT ((__force kasan_vmalloc_flags_t)0x01u) 28#define KASAN_VMALLOC_VM_ALLOC ((__force kasan_vmalloc_flags_t)0x02u) 29#define KASAN_VMALLOC_PROT_NORMAL ((__force kasan_vmalloc_flags_t)0x04u) 30 31#if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS) 32 33#include <linux/pgtable.h> 34 35/* Software KASAN implementations use shadow memory. */ 36 37#ifdef CONFIG_KASAN_SW_TAGS 38/* This matches KASAN_TAG_INVALID. */ 39#define KASAN_SHADOW_INIT 0xFE 40#else 41#define KASAN_SHADOW_INIT 0 42#endif 43 44#ifndef PTE_HWTABLE_PTRS 45#define PTE_HWTABLE_PTRS 0 46#endif 47 48extern unsigned char kasan_early_shadow_page[PAGE_SIZE]; 49extern pte_t kasan_early_shadow_pte[MAX_PTRS_PER_PTE + PTE_HWTABLE_PTRS]; 50extern pmd_t kasan_early_shadow_pmd[MAX_PTRS_PER_PMD]; 51extern pud_t kasan_early_shadow_pud[MAX_PTRS_PER_PUD]; 52extern p4d_t kasan_early_shadow_p4d[MAX_PTRS_PER_P4D]; 53 54int kasan_populate_early_shadow(const void *shadow_start, 55 const void *shadow_end); 56 57#ifndef kasan_mem_to_shadow 58static inline void *kasan_mem_to_shadow(const void *addr) 59{ 60 return (void *)((unsigned long)addr >> KASAN_SHADOW_SCALE_SHIFT) 61 + KASAN_SHADOW_OFFSET; 62} 63#endif 64 65int kasan_add_zero_shadow(void *start, unsigned long size); 66void kasan_remove_zero_shadow(void *start, unsigned long size); 67 68/* Enable reporting bugs after kasan_disable_current() */ 69extern void kasan_enable_current(void); 70 71/* Disable reporting bugs for current task */ 72extern void kasan_disable_current(void); 73 74#else /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 75 76static inline int kasan_add_zero_shadow(void *start, unsigned long size) 77{ 78 return 0; 79} 80static inline void kasan_remove_zero_shadow(void *start, 81 unsigned long size) 82{} 83 84static inline void kasan_enable_current(void) {} 85static inline void kasan_disable_current(void) {} 86 87#endif /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 88 89#ifdef CONFIG_KASAN_HW_TAGS 90 91#else /* CONFIG_KASAN_HW_TAGS */ 92 93#endif /* CONFIG_KASAN_HW_TAGS */ 94 95static inline bool kasan_has_integrated_init(void) 96{ 97 return kasan_hw_tags_enabled(); 98} 99 100#ifdef CONFIG_KASAN 101void __kasan_unpoison_range(const void *addr, size_t size); 102static __always_inline void kasan_unpoison_range(const void *addr, size_t size) 103{ 104 if (kasan_enabled()) 105 __kasan_unpoison_range(addr, size); 106} 107 108void __kasan_poison_pages(struct page *page, unsigned int order, bool init); 109static __always_inline void kasan_poison_pages(struct page *page, 110 unsigned int order, bool init) 111{ 112 if (kasan_enabled()) 113 __kasan_poison_pages(page, order, init); 114} 115 116bool __kasan_unpoison_pages(struct page *page, unsigned int order, bool init); 117static __always_inline bool kasan_unpoison_pages(struct page *page, 118 unsigned int order, bool init) 119{ 120 if (kasan_enabled()) 121 return __kasan_unpoison_pages(page, order, init); 122 return false; 123} 124 125void __kasan_poison_slab(struct slab *slab); 126static __always_inline void kasan_poison_slab(struct slab *slab) 127{ 128 if (kasan_enabled()) 129 __kasan_poison_slab(slab); 130} 131 132void __kasan_unpoison_object_data(struct kmem_cache *cache, void *object); 133static __always_inline void kasan_unpoison_object_data(struct kmem_cache *cache, 134 void *object) 135{ 136 if (kasan_enabled()) 137 __kasan_unpoison_object_data(cache, object); 138} 139 140void __kasan_poison_object_data(struct kmem_cache *cache, void *object); 141static __always_inline void kasan_poison_object_data(struct kmem_cache *cache, 142 void *object) 143{ 144 if (kasan_enabled()) 145 __kasan_poison_object_data(cache, object); 146} 147 148void * __must_check __kasan_init_slab_obj(struct kmem_cache *cache, 149 const void *object); 150static __always_inline void * __must_check kasan_init_slab_obj( 151 struct kmem_cache *cache, const void *object) 152{ 153 if (kasan_enabled()) 154 return __kasan_init_slab_obj(cache, object); 155 return (void *)object; 156} 157 158bool __kasan_slab_free(struct kmem_cache *s, void *object, 159 unsigned long ip, bool init); 160static __always_inline bool kasan_slab_free(struct kmem_cache *s, 161 void *object, bool init) 162{ 163 if (kasan_enabled()) 164 return __kasan_slab_free(s, object, _RET_IP_, init); 165 return false; 166} 167 168void __kasan_kfree_large(void *ptr, unsigned long ip); 169static __always_inline void kasan_kfree_large(void *ptr) 170{ 171 if (kasan_enabled()) 172 __kasan_kfree_large(ptr, _RET_IP_); 173} 174 175void __kasan_slab_free_mempool(void *ptr, unsigned long ip); 176static __always_inline void kasan_slab_free_mempool(void *ptr) 177{ 178 if (kasan_enabled()) 179 __kasan_slab_free_mempool(ptr, _RET_IP_); 180} 181 182void * __must_check __kasan_slab_alloc(struct kmem_cache *s, 183 void *object, gfp_t flags, bool init); 184static __always_inline void * __must_check kasan_slab_alloc( 185 struct kmem_cache *s, void *object, gfp_t flags, bool init) 186{ 187 if (kasan_enabled()) 188 return __kasan_slab_alloc(s, object, flags, init); 189 return object; 190} 191 192void * __must_check __kasan_kmalloc(struct kmem_cache *s, const void *object, 193 size_t size, gfp_t flags); 194static __always_inline void * __must_check kasan_kmalloc(struct kmem_cache *s, 195 const void *object, size_t size, gfp_t flags) 196{ 197 if (kasan_enabled()) 198 return __kasan_kmalloc(s, object, size, flags); 199 return (void *)object; 200} 201 202void * __must_check __kasan_kmalloc_large(const void *ptr, 203 size_t size, gfp_t flags); 204static __always_inline void * __must_check kasan_kmalloc_large(const void *ptr, 205 size_t size, gfp_t flags) 206{ 207 if (kasan_enabled()) 208 return __kasan_kmalloc_large(ptr, size, flags); 209 return (void *)ptr; 210} 211 212void * __must_check __kasan_krealloc(const void *object, 213 size_t new_size, gfp_t flags); 214static __always_inline void * __must_check kasan_krealloc(const void *object, 215 size_t new_size, gfp_t flags) 216{ 217 if (kasan_enabled()) 218 return __kasan_krealloc(object, new_size, flags); 219 return (void *)object; 220} 221 222/* 223 * Unlike kasan_check_read/write(), kasan_check_byte() is performed even for 224 * the hardware tag-based mode that doesn't rely on compiler instrumentation. 225 */ 226bool __kasan_check_byte(const void *addr, unsigned long ip); 227static __always_inline bool kasan_check_byte(const void *addr) 228{ 229 if (kasan_enabled()) 230 return __kasan_check_byte(addr, _RET_IP_); 231 return true; 232} 233 234#else /* CONFIG_KASAN */ 235 236static inline void kasan_unpoison_range(const void *address, size_t size) {} 237static inline void kasan_poison_pages(struct page *page, unsigned int order, 238 bool init) {} 239static inline bool kasan_unpoison_pages(struct page *page, unsigned int order, 240 bool init) 241{ 242 return false; 243} 244static inline void kasan_poison_slab(struct slab *slab) {} 245static inline void kasan_unpoison_object_data(struct kmem_cache *cache, 246 void *object) {} 247static inline void kasan_poison_object_data(struct kmem_cache *cache, 248 void *object) {} 249static inline void *kasan_init_slab_obj(struct kmem_cache *cache, 250 const void *object) 251{ 252 return (void *)object; 253} 254static inline bool kasan_slab_free(struct kmem_cache *s, void *object, bool init) 255{ 256 return false; 257} 258static inline void kasan_kfree_large(void *ptr) {} 259static inline void kasan_slab_free_mempool(void *ptr) {} 260static inline void *kasan_slab_alloc(struct kmem_cache *s, void *object, 261 gfp_t flags, bool init) 262{ 263 return object; 264} 265static inline void *kasan_kmalloc(struct kmem_cache *s, const void *object, 266 size_t size, gfp_t flags) 267{ 268 return (void *)object; 269} 270static inline void *kasan_kmalloc_large(const void *ptr, size_t size, gfp_t flags) 271{ 272 return (void *)ptr; 273} 274static inline void *kasan_krealloc(const void *object, size_t new_size, 275 gfp_t flags) 276{ 277 return (void *)object; 278} 279static inline bool kasan_check_byte(const void *address) 280{ 281 return true; 282} 283 284#endif /* CONFIG_KASAN */ 285 286#if defined(CONFIG_KASAN) && defined(CONFIG_KASAN_STACK) 287void kasan_unpoison_task_stack(struct task_struct *task); 288#else 289static inline void kasan_unpoison_task_stack(struct task_struct *task) {} 290#endif 291 292#ifdef CONFIG_KASAN_GENERIC 293 294struct kasan_cache { 295 int alloc_meta_offset; 296 int free_meta_offset; 297}; 298 299size_t kasan_metadata_size(struct kmem_cache *cache, bool in_object); 300slab_flags_t kasan_never_merge(void); 301void kasan_cache_create(struct kmem_cache *cache, unsigned int *size, 302 slab_flags_t *flags); 303 304void kasan_cache_shrink(struct kmem_cache *cache); 305void kasan_cache_shutdown(struct kmem_cache *cache); 306void kasan_record_aux_stack(void *ptr); 307void kasan_record_aux_stack_noalloc(void *ptr); 308 309#else /* CONFIG_KASAN_GENERIC */ 310 311/* Tag-based KASAN modes do not use per-object metadata. */ 312static inline size_t kasan_metadata_size(struct kmem_cache *cache, 313 bool in_object) 314{ 315 return 0; 316} 317/* And thus nothing prevents cache merging. */ 318static inline slab_flags_t kasan_never_merge(void) 319{ 320 return 0; 321} 322/* And no cache-related metadata initialization is required. */ 323static inline void kasan_cache_create(struct kmem_cache *cache, 324 unsigned int *size, 325 slab_flags_t *flags) {} 326 327static inline void kasan_cache_shrink(struct kmem_cache *cache) {} 328static inline void kasan_cache_shutdown(struct kmem_cache *cache) {} 329static inline void kasan_record_aux_stack(void *ptr) {} 330static inline void kasan_record_aux_stack_noalloc(void *ptr) {} 331 332#endif /* CONFIG_KASAN_GENERIC */ 333 334#if defined(CONFIG_KASAN_SW_TAGS) || defined(CONFIG_KASAN_HW_TAGS) 335 336static inline void *kasan_reset_tag(const void *addr) 337{ 338 return (void *)arch_kasan_reset_tag(addr); 339} 340 341/** 342 * kasan_report - print a report about a bad memory access detected by KASAN 343 * @addr: address of the bad access 344 * @size: size of the bad access 345 * @is_write: whether the bad access is a write or a read 346 * @ip: instruction pointer for the accessibility check or the bad access itself 347 */ 348bool kasan_report(const void *addr, size_t size, 349 bool is_write, unsigned long ip); 350 351#else /* CONFIG_KASAN_SW_TAGS || CONFIG_KASAN_HW_TAGS */ 352 353static inline void *kasan_reset_tag(const void *addr) 354{ 355 return (void *)addr; 356} 357 358#endif /* CONFIG_KASAN_SW_TAGS || CONFIG_KASAN_HW_TAGS*/ 359 360#ifdef CONFIG_KASAN_HW_TAGS 361 362void kasan_report_async(void); 363 364#endif /* CONFIG_KASAN_HW_TAGS */ 365 366#ifdef CONFIG_KASAN_SW_TAGS 367void __init kasan_init_sw_tags(void); 368#else 369static inline void kasan_init_sw_tags(void) { } 370#endif 371 372#ifdef CONFIG_KASAN_HW_TAGS 373void kasan_init_hw_tags_cpu(void); 374void __init kasan_init_hw_tags(void); 375#else 376static inline void kasan_init_hw_tags_cpu(void) { } 377static inline void kasan_init_hw_tags(void) { } 378#endif 379 380#ifdef CONFIG_KASAN_VMALLOC 381 382#if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS) 383 384void kasan_populate_early_vm_area_shadow(void *start, unsigned long size); 385int kasan_populate_vmalloc(unsigned long addr, unsigned long size); 386void kasan_release_vmalloc(unsigned long start, unsigned long end, 387 unsigned long free_region_start, 388 unsigned long free_region_end); 389 390#else /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 391 392static inline void kasan_populate_early_vm_area_shadow(void *start, 393 unsigned long size) 394{ } 395static inline int kasan_populate_vmalloc(unsigned long start, 396 unsigned long size) 397{ 398 return 0; 399} 400static inline void kasan_release_vmalloc(unsigned long start, 401 unsigned long end, 402 unsigned long free_region_start, 403 unsigned long free_region_end) { } 404 405#endif /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 406 407void *__kasan_unpoison_vmalloc(const void *start, unsigned long size, 408 kasan_vmalloc_flags_t flags); 409static __always_inline void *kasan_unpoison_vmalloc(const void *start, 410 unsigned long size, 411 kasan_vmalloc_flags_t flags) 412{ 413 if (kasan_enabled()) 414 return __kasan_unpoison_vmalloc(start, size, flags); 415 return (void *)start; 416} 417 418void __kasan_poison_vmalloc(const void *start, unsigned long size); 419static __always_inline void kasan_poison_vmalloc(const void *start, 420 unsigned long size) 421{ 422 if (kasan_enabled()) 423 __kasan_poison_vmalloc(start, size); 424} 425 426#else /* CONFIG_KASAN_VMALLOC */ 427 428static inline void kasan_populate_early_vm_area_shadow(void *start, 429 unsigned long size) { } 430static inline int kasan_populate_vmalloc(unsigned long start, 431 unsigned long size) 432{ 433 return 0; 434} 435static inline void kasan_release_vmalloc(unsigned long start, 436 unsigned long end, 437 unsigned long free_region_start, 438 unsigned long free_region_end) { } 439 440static inline void *kasan_unpoison_vmalloc(const void *start, 441 unsigned long size, 442 kasan_vmalloc_flags_t flags) 443{ 444 return (void *)start; 445} 446static inline void kasan_poison_vmalloc(const void *start, unsigned long size) 447{ } 448 449#endif /* CONFIG_KASAN_VMALLOC */ 450 451#if (defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS)) && \ 452 !defined(CONFIG_KASAN_VMALLOC) 453 454/* 455 * These functions allocate and free shadow memory for kernel modules. 456 * They are only required when KASAN_VMALLOC is not supported, as otherwise 457 * shadow memory is allocated by the generic vmalloc handlers. 458 */ 459int kasan_alloc_module_shadow(void *addr, size_t size, gfp_t gfp_mask); 460void kasan_free_module_shadow(const struct vm_struct *vm); 461 462#else /* (CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS) && !CONFIG_KASAN_VMALLOC */ 463 464static inline int kasan_alloc_module_shadow(void *addr, size_t size, gfp_t gfp_mask) { return 0; } 465static inline void kasan_free_module_shadow(const struct vm_struct *vm) {} 466 467#endif /* (CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS) && !CONFIG_KASAN_VMALLOC */ 468 469#if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS) 470void kasan_non_canonical_hook(unsigned long addr); 471#else /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 472static inline void kasan_non_canonical_hook(unsigned long addr) { } 473#endif /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ 474 475#endif /* LINUX_KASAN_H */