xref: /openbmc/linux/include/linux/kasan.h (revision 2e903b91)
1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
20b24beccSAndrey Ryabinin #ifndef _LINUX_KASAN_H
30b24beccSAndrey Ryabinin #define _LINUX_KASAN_H
40b24beccSAndrey Ryabinin 
50b24beccSAndrey Ryabinin #include <linux/types.h>
60b24beccSAndrey Ryabinin 
70b24beccSAndrey Ryabinin struct kmem_cache;
80b24beccSAndrey Ryabinin struct page;
9a5af5aa8SAndrey Ryabinin struct vm_struct;
105be9b730SMasami Hiramatsu struct task_struct;
110b24beccSAndrey Ryabinin 
120b24beccSAndrey Ryabinin #ifdef CONFIG_KASAN
130b24beccSAndrey Ryabinin 
14d5750edfSAndrey Konovalov #include <linux/linkage.h>
1565fddcfcSMike Rapoport #include <asm/kasan.h>
160b24beccSAndrey Ryabinin 
1783c4e7a0SPatricia Alfonso /* kasan_data struct is used in KUnit tests for KASAN expected failures */
1883c4e7a0SPatricia Alfonso struct kunit_kasan_expectation {
1983c4e7a0SPatricia Alfonso 	bool report_expected;
2083c4e7a0SPatricia Alfonso 	bool report_found;
2183c4e7a0SPatricia Alfonso };
2283c4e7a0SPatricia Alfonso 
23d5750edfSAndrey Konovalov #endif
24d5750edfSAndrey Konovalov 
25d5750edfSAndrey Konovalov #if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS)
26d5750edfSAndrey Konovalov 
27d5750edfSAndrey Konovalov #include <linux/pgtable.h>
28d5750edfSAndrey Konovalov 
29d5750edfSAndrey Konovalov /* Software KASAN implementations use shadow memory. */
30d5750edfSAndrey Konovalov 
31d5750edfSAndrey Konovalov #ifdef CONFIG_KASAN_SW_TAGS
32d5750edfSAndrey Konovalov #define KASAN_SHADOW_INIT 0xFF
33d5750edfSAndrey Konovalov #else
34d5750edfSAndrey Konovalov #define KASAN_SHADOW_INIT 0
35d5750edfSAndrey Konovalov #endif
36d5750edfSAndrey Konovalov 
379577dd74SAndrey Konovalov extern unsigned char kasan_early_shadow_page[PAGE_SIZE];
389577dd74SAndrey Konovalov extern pte_t kasan_early_shadow_pte[PTRS_PER_PTE];
399577dd74SAndrey Konovalov extern pmd_t kasan_early_shadow_pmd[PTRS_PER_PMD];
409577dd74SAndrey Konovalov extern pud_t kasan_early_shadow_pud[PTRS_PER_PUD];
419577dd74SAndrey Konovalov extern p4d_t kasan_early_shadow_p4d[MAX_PTRS_PER_P4D];
4269786cdbSAndrey Ryabinin 
439577dd74SAndrey Konovalov int kasan_populate_early_shadow(const void *shadow_start,
4469786cdbSAndrey Ryabinin 				const void *shadow_end);
4569786cdbSAndrey Ryabinin 
460b24beccSAndrey Ryabinin static inline void *kasan_mem_to_shadow(const void *addr)
470b24beccSAndrey Ryabinin {
480b24beccSAndrey Ryabinin 	return (void *)((unsigned long)addr >> KASAN_SHADOW_SCALE_SHIFT)
490b24beccSAndrey Ryabinin 		+ KASAN_SHADOW_OFFSET;
500b24beccSAndrey Ryabinin }
510b24beccSAndrey Ryabinin 
52d5750edfSAndrey Konovalov int kasan_add_zero_shadow(void *start, unsigned long size);
53d5750edfSAndrey Konovalov void kasan_remove_zero_shadow(void *start, unsigned long size);
54d5750edfSAndrey Konovalov 
55d73b4936SAndrey Konovalov /* Enable reporting bugs after kasan_disable_current() */
56d73b4936SAndrey Konovalov extern void kasan_enable_current(void);
57d73b4936SAndrey Konovalov 
58d73b4936SAndrey Konovalov /* Disable reporting bugs for current task */
59d73b4936SAndrey Konovalov extern void kasan_disable_current(void);
60d73b4936SAndrey Konovalov 
61d5750edfSAndrey Konovalov #else /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */
62d5750edfSAndrey Konovalov 
63d5750edfSAndrey Konovalov static inline int kasan_add_zero_shadow(void *start, unsigned long size)
64d5750edfSAndrey Konovalov {
65d5750edfSAndrey Konovalov 	return 0;
66d5750edfSAndrey Konovalov }
67d5750edfSAndrey Konovalov static inline void kasan_remove_zero_shadow(void *start,
68d5750edfSAndrey Konovalov 					unsigned long size)
69d5750edfSAndrey Konovalov {}
70d5750edfSAndrey Konovalov 
71d73b4936SAndrey Konovalov static inline void kasan_enable_current(void) {}
72d73b4936SAndrey Konovalov static inline void kasan_disable_current(void) {}
73d73b4936SAndrey Konovalov 
74d5750edfSAndrey Konovalov #endif /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */
75d5750edfSAndrey Konovalov 
76d5750edfSAndrey Konovalov #ifdef CONFIG_KASAN
77d5750edfSAndrey Konovalov 
78cebd0eb2SAndrey Konovalov void kasan_unpoison_range(const void *address, size_t size);
790b24beccSAndrey Ryabinin 
80e3ae1163SMark Rutland void kasan_unpoison_task_stack(struct task_struct *task);
81e3ae1163SMark Rutland 
82b8c73fc2SAndrey Ryabinin void kasan_alloc_pages(struct page *page, unsigned int order);
83b8c73fc2SAndrey Ryabinin void kasan_free_pages(struct page *page, unsigned int order);
84b8c73fc2SAndrey Ryabinin 
85be4a7988SAlexey Dobriyan void kasan_cache_create(struct kmem_cache *cache, unsigned int *size,
86d50112edSAlexey Dobriyan 			slab_flags_t *flags);
877ed2f9e6SAlexander Potapenko 
880316bec2SAndrey Ryabinin void kasan_poison_slab(struct page *page);
890316bec2SAndrey Ryabinin void kasan_unpoison_object_data(struct kmem_cache *cache, void *object);
900316bec2SAndrey Ryabinin void kasan_poison_object_data(struct kmem_cache *cache, void *object);
9166afc7f1SAndrey Konovalov void * __must_check kasan_init_slab_obj(struct kmem_cache *cache,
9266afc7f1SAndrey Konovalov 					const void *object);
930316bec2SAndrey Ryabinin 
9466afc7f1SAndrey Konovalov void * __must_check kasan_kmalloc_large(const void *ptr, size_t size,
9566afc7f1SAndrey Konovalov 						gfp_t flags);
96ee3ce779SDmitry Vyukov void kasan_kfree_large(void *ptr, unsigned long ip);
976860f634SDmitry Vyukov void kasan_poison_kfree(void *ptr, unsigned long ip);
9866afc7f1SAndrey Konovalov void * __must_check kasan_kmalloc(struct kmem_cache *s, const void *object,
9966afc7f1SAndrey Konovalov 					size_t size, gfp_t flags);
10066afc7f1SAndrey Konovalov void * __must_check kasan_krealloc(const void *object, size_t new_size,
101505f5dcbSAlexander Potapenko 					gfp_t flags);
1020316bec2SAndrey Ryabinin 
10366afc7f1SAndrey Konovalov void * __must_check kasan_slab_alloc(struct kmem_cache *s, void *object,
10466afc7f1SAndrey Konovalov 					gfp_t flags);
105ee3ce779SDmitry Vyukov bool kasan_slab_free(struct kmem_cache *s, void *object, unsigned long ip);
1060316bec2SAndrey Ryabinin 
1077ed2f9e6SAlexander Potapenko struct kasan_cache {
1087ed2f9e6SAlexander Potapenko 	int alloc_meta_offset;
1097ed2f9e6SAlexander Potapenko 	int free_meta_offset;
1107ed2f9e6SAlexander Potapenko };
1117ed2f9e6SAlexander Potapenko 
1120d4ca4c9SMarco Elver size_t __ksize(const void *);
1130d4ca4c9SMarco Elver static inline void kasan_unpoison_slab(const void *ptr)
1140d4ca4c9SMarco Elver {
115cebd0eb2SAndrey Konovalov 	kasan_unpoison_range(ptr, __ksize(ptr));
1160d4ca4c9SMarco Elver }
11780a9201aSAlexander Potapenko size_t kasan_metadata_size(struct kmem_cache *cache);
1189b75a867SAndrey Ryabinin 
119b0845ce5SMark Rutland bool kasan_save_enable_multi_shot(void);
120b0845ce5SMark Rutland void kasan_restore_multi_shot(bool enabled);
121b0845ce5SMark Rutland 
1220b24beccSAndrey Ryabinin #else /* CONFIG_KASAN */
1230b24beccSAndrey Ryabinin 
124cebd0eb2SAndrey Konovalov static inline void kasan_unpoison_range(const void *address, size_t size) {}
1250b24beccSAndrey Ryabinin 
126e3ae1163SMark Rutland static inline void kasan_unpoison_task_stack(struct task_struct *task) {}
127e3ae1163SMark Rutland 
128b8c73fc2SAndrey Ryabinin static inline void kasan_alloc_pages(struct page *page, unsigned int order) {}
129b8c73fc2SAndrey Ryabinin static inline void kasan_free_pages(struct page *page, unsigned int order) {}
130b8c73fc2SAndrey Ryabinin 
1317ed2f9e6SAlexander Potapenko static inline void kasan_cache_create(struct kmem_cache *cache,
132be4a7988SAlexey Dobriyan 				      unsigned int *size,
133d50112edSAlexey Dobriyan 				      slab_flags_t *flags) {}
1347ed2f9e6SAlexander Potapenko 
1350316bec2SAndrey Ryabinin static inline void kasan_poison_slab(struct page *page) {}
1360316bec2SAndrey Ryabinin static inline void kasan_unpoison_object_data(struct kmem_cache *cache,
1370316bec2SAndrey Ryabinin 					void *object) {}
1380316bec2SAndrey Ryabinin static inline void kasan_poison_object_data(struct kmem_cache *cache,
1390316bec2SAndrey Ryabinin 					void *object) {}
1400116523cSAndrey Konovalov static inline void *kasan_init_slab_obj(struct kmem_cache *cache,
1410116523cSAndrey Konovalov 				const void *object)
1420116523cSAndrey Konovalov {
1430116523cSAndrey Konovalov 	return (void *)object;
1440116523cSAndrey Konovalov }
1450316bec2SAndrey Ryabinin 
1460116523cSAndrey Konovalov static inline void *kasan_kmalloc_large(void *ptr, size_t size, gfp_t flags)
1470116523cSAndrey Konovalov {
1480116523cSAndrey Konovalov 	return ptr;
1490116523cSAndrey Konovalov }
150ee3ce779SDmitry Vyukov static inline void kasan_kfree_large(void *ptr, unsigned long ip) {}
1516860f634SDmitry Vyukov static inline void kasan_poison_kfree(void *ptr, unsigned long ip) {}
1520116523cSAndrey Konovalov static inline void *kasan_kmalloc(struct kmem_cache *s, const void *object,
1530116523cSAndrey Konovalov 				size_t size, gfp_t flags)
1540116523cSAndrey Konovalov {
1550116523cSAndrey Konovalov 	return (void *)object;
1560116523cSAndrey Konovalov }
1570116523cSAndrey Konovalov static inline void *kasan_krealloc(const void *object, size_t new_size,
1580116523cSAndrey Konovalov 				 gfp_t flags)
1590116523cSAndrey Konovalov {
1600116523cSAndrey Konovalov 	return (void *)object;
1610116523cSAndrey Konovalov }
1620316bec2SAndrey Ryabinin 
1630116523cSAndrey Konovalov static inline void *kasan_slab_alloc(struct kmem_cache *s, void *object,
1640116523cSAndrey Konovalov 				   gfp_t flags)
1650116523cSAndrey Konovalov {
1660116523cSAndrey Konovalov 	return object;
1670116523cSAndrey Konovalov }
168ee3ce779SDmitry Vyukov static inline bool kasan_slab_free(struct kmem_cache *s, void *object,
169ee3ce779SDmitry Vyukov 				   unsigned long ip)
17055834c59SAlexander Potapenko {
17155834c59SAlexander Potapenko 	return false;
17255834c59SAlexander Potapenko }
1730316bec2SAndrey Ryabinin 
1749b75a867SAndrey Ryabinin static inline void kasan_unpoison_slab(const void *ptr) { }
17580a9201aSAlexander Potapenko static inline size_t kasan_metadata_size(struct kmem_cache *cache) { return 0; }
1769b75a867SAndrey Ryabinin 
1770b24beccSAndrey Ryabinin #endif /* CONFIG_KASAN */
1780b24beccSAndrey Ryabinin 
1792bd926b4SAndrey Konovalov #ifdef CONFIG_KASAN_GENERIC
1802bd926b4SAndrey Konovalov 
1812bd926b4SAndrey Konovalov void kasan_cache_shrink(struct kmem_cache *cache);
1822bd926b4SAndrey Konovalov void kasan_cache_shutdown(struct kmem_cache *cache);
18326e760c9SWalter Wu void kasan_record_aux_stack(void *ptr);
1842bd926b4SAndrey Konovalov 
1852bd926b4SAndrey Konovalov #else /* CONFIG_KASAN_GENERIC */
1862bd926b4SAndrey Konovalov 
1872bd926b4SAndrey Konovalov static inline void kasan_cache_shrink(struct kmem_cache *cache) {}
1882bd926b4SAndrey Konovalov static inline void kasan_cache_shutdown(struct kmem_cache *cache) {}
18926e760c9SWalter Wu static inline void kasan_record_aux_stack(void *ptr) {}
1902bd926b4SAndrey Konovalov 
1912bd926b4SAndrey Konovalov #endif /* CONFIG_KASAN_GENERIC */
1922bd926b4SAndrey Konovalov 
193*2e903b91SAndrey Konovalov #if defined(CONFIG_KASAN_SW_TAGS) || defined(CONFIG_KASAN_HW_TAGS)
1943c9e3aa1SAndrey Konovalov 
1953c9e3aa1SAndrey Konovalov void *kasan_reset_tag(const void *addr);
1963c9e3aa1SAndrey Konovalov 
1978cceeff4SWalter Wu bool kasan_report(unsigned long addr, size_t size,
19841eea9cdSAndrey Konovalov 		bool is_write, unsigned long ip);
19941eea9cdSAndrey Konovalov 
200*2e903b91SAndrey Konovalov #else /* CONFIG_KASAN_SW_TAGS || CONFIG_KASAN_HW_TAGS */
2013c9e3aa1SAndrey Konovalov 
2023c9e3aa1SAndrey Konovalov static inline void *kasan_reset_tag(const void *addr)
2033c9e3aa1SAndrey Konovalov {
2043c9e3aa1SAndrey Konovalov 	return (void *)addr;
2053c9e3aa1SAndrey Konovalov }
2063c9e3aa1SAndrey Konovalov 
207*2e903b91SAndrey Konovalov #endif /* CONFIG_KASAN_SW_TAGS || CONFIG_KASAN_HW_TAGS*/
208*2e903b91SAndrey Konovalov 
209*2e903b91SAndrey Konovalov #ifdef CONFIG_KASAN_SW_TAGS
210*2e903b91SAndrey Konovalov void __init kasan_init_sw_tags(void);
211*2e903b91SAndrey Konovalov #else
212*2e903b91SAndrey Konovalov static inline void kasan_init_sw_tags(void) { }
213*2e903b91SAndrey Konovalov #endif
214*2e903b91SAndrey Konovalov 
215*2e903b91SAndrey Konovalov #ifdef CONFIG_KASAN_HW_TAGS
216*2e903b91SAndrey Konovalov void kasan_init_hw_tags_cpu(void);
217*2e903b91SAndrey Konovalov void __init kasan_init_hw_tags(void);
218*2e903b91SAndrey Konovalov #else
219*2e903b91SAndrey Konovalov static inline void kasan_init_hw_tags_cpu(void) { }
220*2e903b91SAndrey Konovalov static inline void kasan_init_hw_tags(void) { }
221*2e903b91SAndrey Konovalov #endif
222080eb83fSAndrey Konovalov 
2233c5c3cfbSDaniel Axtens #ifdef CONFIG_KASAN_VMALLOC
2243b1a4a86SAndrey Konovalov 
225d98c9e83SAndrey Ryabinin int kasan_populate_vmalloc(unsigned long addr, unsigned long size);
226d98c9e83SAndrey Ryabinin void kasan_poison_vmalloc(const void *start, unsigned long size);
227d98c9e83SAndrey Ryabinin void kasan_unpoison_vmalloc(const void *start, unsigned long size);
2283c5c3cfbSDaniel Axtens void kasan_release_vmalloc(unsigned long start, unsigned long end,
2293c5c3cfbSDaniel Axtens 			   unsigned long free_region_start,
2303c5c3cfbSDaniel Axtens 			   unsigned long free_region_end);
2313b1a4a86SAndrey Konovalov 
2323b1a4a86SAndrey Konovalov #else /* CONFIG_KASAN_VMALLOC */
2333b1a4a86SAndrey Konovalov 
234d98c9e83SAndrey Ryabinin static inline int kasan_populate_vmalloc(unsigned long start,
235d98c9e83SAndrey Ryabinin 					unsigned long size)
2363c5c3cfbSDaniel Axtens {
2373c5c3cfbSDaniel Axtens 	return 0;
2383c5c3cfbSDaniel Axtens }
2393c5c3cfbSDaniel Axtens 
240d98c9e83SAndrey Ryabinin static inline void kasan_poison_vmalloc(const void *start, unsigned long size)
241d98c9e83SAndrey Ryabinin { }
242d98c9e83SAndrey Ryabinin static inline void kasan_unpoison_vmalloc(const void *start, unsigned long size)
243d98c9e83SAndrey Ryabinin { }
2443c5c3cfbSDaniel Axtens static inline void kasan_release_vmalloc(unsigned long start,
2453c5c3cfbSDaniel Axtens 					 unsigned long end,
2463c5c3cfbSDaniel Axtens 					 unsigned long free_region_start,
2473c5c3cfbSDaniel Axtens 					 unsigned long free_region_end) {}
2483b1a4a86SAndrey Konovalov 
2493b1a4a86SAndrey Konovalov #endif /* CONFIG_KASAN_VMALLOC */
2503b1a4a86SAndrey Konovalov 
2510fea6e9aSAndrey Konovalov #if (defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS)) && \
2520fea6e9aSAndrey Konovalov 		!defined(CONFIG_KASAN_VMALLOC)
2533b1a4a86SAndrey Konovalov 
2543b1a4a86SAndrey Konovalov /*
2553b1a4a86SAndrey Konovalov  * These functions provide a special case to support backing module
2563b1a4a86SAndrey Konovalov  * allocations with real shadow memory. With KASAN vmalloc, the special
2573b1a4a86SAndrey Konovalov  * case is unnecessary, as the work is handled in the generic case.
2583b1a4a86SAndrey Konovalov  */
2593b1a4a86SAndrey Konovalov int kasan_module_alloc(void *addr, size_t size);
2603b1a4a86SAndrey Konovalov void kasan_free_shadow(const struct vm_struct *vm);
2613b1a4a86SAndrey Konovalov 
2620fea6e9aSAndrey Konovalov #else /* (CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS) && !CONFIG_KASAN_VMALLOC */
2633b1a4a86SAndrey Konovalov 
2643b1a4a86SAndrey Konovalov static inline int kasan_module_alloc(void *addr, size_t size) { return 0; }
2653b1a4a86SAndrey Konovalov static inline void kasan_free_shadow(const struct vm_struct *vm) {}
2663b1a4a86SAndrey Konovalov 
2670fea6e9aSAndrey Konovalov #endif /* (CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS) && !CONFIG_KASAN_VMALLOC */
2683c5c3cfbSDaniel Axtens 
2692f004eeaSJann Horn #ifdef CONFIG_KASAN_INLINE
2702f004eeaSJann Horn void kasan_non_canonical_hook(unsigned long addr);
2712f004eeaSJann Horn #else /* CONFIG_KASAN_INLINE */
2722f004eeaSJann Horn static inline void kasan_non_canonical_hook(unsigned long addr) { }
2732f004eeaSJann Horn #endif /* CONFIG_KASAN_INLINE */
2742f004eeaSJann Horn 
2750b24beccSAndrey Ryabinin #endif /* LINUX_KASAN_H */
276