.. | .. |
---|
3 | 3 | #define __MM_KASAN_KASAN_H |
---|
4 | 4 | |
---|
5 | 5 | #include <linux/kasan.h> |
---|
| 6 | +#include <linux/kasan-tags.h> |
---|
| 7 | +#include <linux/kfence.h> |
---|
6 | 8 | #include <linux/stackdepot.h> |
---|
7 | 9 | |
---|
8 | | -#define KASAN_SHADOW_SCALE_SIZE (1UL << KASAN_SHADOW_SCALE_SHIFT) |
---|
9 | | -#define KASAN_SHADOW_MASK (KASAN_SHADOW_SCALE_SIZE - 1) |
---|
| 10 | +#ifdef CONFIG_KASAN_HW_TAGS |
---|
10 | 11 | |
---|
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 */ |
---|
| 12 | +#include <linux/static_key.h> |
---|
| 13 | +#include "../slab.h" |
---|
| 14 | + |
---|
| 15 | +DECLARE_STATIC_KEY_FALSE(kasan_flag_stacktrace); |
---|
| 16 | +extern bool kasan_flag_async __ro_after_init; |
---|
| 17 | + |
---|
| 18 | +static inline bool kasan_stack_collection_enabled(void) |
---|
| 19 | +{ |
---|
| 20 | + return static_branch_unlikely(&kasan_flag_stacktrace); |
---|
| 21 | +} |
---|
| 22 | + |
---|
| 23 | +static inline bool kasan_async_mode_enabled(void) |
---|
| 24 | +{ |
---|
| 25 | + return kasan_flag_async; |
---|
| 26 | +} |
---|
| 27 | +#else |
---|
| 28 | + |
---|
| 29 | +static inline bool kasan_stack_collection_enabled(void) |
---|
| 30 | +{ |
---|
| 31 | + return true; |
---|
| 32 | +} |
---|
| 33 | + |
---|
| 34 | +static inline bool kasan_async_mode_enabled(void) |
---|
| 35 | +{ |
---|
| 36 | + return false; |
---|
| 37 | +} |
---|
| 38 | + |
---|
| 39 | +#endif |
---|
| 40 | + |
---|
| 41 | +extern bool kasan_flag_panic __ro_after_init; |
---|
| 42 | +extern bool kasan_flag_async __ro_after_init; |
---|
| 43 | + |
---|
| 44 | +#if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS) |
---|
| 45 | +#define KASAN_GRANULE_SIZE (1UL << KASAN_SHADOW_SCALE_SHIFT) |
---|
| 46 | +#else |
---|
| 47 | +#include <asm/mte-kasan.h> |
---|
| 48 | +#define KASAN_GRANULE_SIZE MTE_GRANULE_SIZE |
---|
| 49 | +#endif |
---|
| 50 | + |
---|
| 51 | +#define KASAN_GRANULE_MASK (KASAN_GRANULE_SIZE - 1) |
---|
| 52 | + |
---|
| 53 | +#define KASAN_MEMORY_PER_SHADOW_PAGE (KASAN_GRANULE_SIZE << PAGE_SHIFT) |
---|
14 | 54 | |
---|
15 | 55 | #ifdef CONFIG_KASAN_GENERIC |
---|
16 | 56 | #define KASAN_FREE_PAGE 0xFF /* page was freed */ |
---|
17 | 57 | #define KASAN_PAGE_REDZONE 0xFE /* redzone for kmalloc_large allocations */ |
---|
18 | 58 | #define KASAN_KMALLOC_REDZONE 0xFC /* redzone inside slub object */ |
---|
19 | 59 | #define KASAN_KMALLOC_FREE 0xFB /* object was freed (kmem_cache_free/kfree) */ |
---|
| 60 | +#define KASAN_KMALLOC_FREETRACK 0xFA /* object was freed and has free track set */ |
---|
20 | 61 | #else |
---|
21 | 62 | #define KASAN_FREE_PAGE KASAN_TAG_INVALID |
---|
22 | 63 | #define KASAN_PAGE_REDZONE KASAN_TAG_INVALID |
---|
23 | 64 | #define KASAN_KMALLOC_REDZONE KASAN_TAG_INVALID |
---|
24 | 65 | #define KASAN_KMALLOC_FREE KASAN_TAG_INVALID |
---|
| 66 | +#define KASAN_KMALLOC_FREETRACK KASAN_TAG_INVALID |
---|
25 | 67 | #endif |
---|
26 | 68 | |
---|
27 | | -#define KASAN_GLOBAL_REDZONE 0xFA /* redzone for global variable */ |
---|
| 69 | +#define KASAN_GLOBAL_REDZONE 0xF9 /* redzone for global variable */ |
---|
| 70 | +#define KASAN_VMALLOC_INVALID 0xF8 /* unallocated space in vmapped page */ |
---|
28 | 71 | |
---|
29 | 72 | /* |
---|
30 | 73 | * Stack redzone shadow values |
---|
.. | .. |
---|
43 | 86 | |
---|
44 | 87 | #define KASAN_ALLOCA_REDZONE_SIZE 32 |
---|
45 | 88 | |
---|
| 89 | +/* |
---|
| 90 | + * Stack frame marker (compiler ABI). |
---|
| 91 | + */ |
---|
| 92 | +#define KASAN_CURRENT_STACK_FRAME_MAGIC 0x41B58AB3 |
---|
| 93 | + |
---|
46 | 94 | /* Don't break randconfig/all*config builds */ |
---|
47 | 95 | #ifndef KASAN_ABI_VERSION |
---|
48 | 96 | #define KASAN_ABI_VERSION 1 |
---|
49 | 97 | #endif |
---|
| 98 | + |
---|
| 99 | +/* Metadata layout customization. */ |
---|
| 100 | +#define META_BYTES_PER_BLOCK 1 |
---|
| 101 | +#define META_BLOCKS_PER_ROW 16 |
---|
| 102 | +#define META_BYTES_PER_ROW (META_BLOCKS_PER_ROW * META_BYTES_PER_BLOCK) |
---|
| 103 | +#define META_MEM_BYTES_PER_ROW (META_BYTES_PER_ROW * KASAN_GRANULE_SIZE) |
---|
| 104 | +#define META_ROWS_AROUND_ADDR 2 |
---|
50 | 105 | |
---|
51 | 106 | struct kasan_access_info { |
---|
52 | 107 | const void *access_addr; |
---|
.. | .. |
---|
90 | 145 | depot_stack_handle_t stack; |
---|
91 | 146 | }; |
---|
92 | 147 | |
---|
| 148 | +#ifdef CONFIG_KASAN_SW_TAGS_IDENTIFY |
---|
| 149 | +#define KASAN_NR_FREE_STACKS 5 |
---|
| 150 | +#else |
---|
| 151 | +#define KASAN_NR_FREE_STACKS 1 |
---|
| 152 | +#endif |
---|
| 153 | + |
---|
93 | 154 | struct kasan_alloc_meta { |
---|
94 | 155 | struct kasan_track alloc_track; |
---|
95 | | - struct kasan_track free_track; |
---|
| 156 | +#ifdef CONFIG_KASAN_GENERIC |
---|
| 157 | + /* |
---|
| 158 | + * The auxiliary stack is stored into struct kasan_alloc_meta. |
---|
| 159 | + * The free stack is stored into struct kasan_free_meta. |
---|
| 160 | + */ |
---|
| 161 | + depot_stack_handle_t aux_stack[2]; |
---|
| 162 | +#else |
---|
| 163 | + struct kasan_track free_track[KASAN_NR_FREE_STACKS]; |
---|
| 164 | +#endif |
---|
| 165 | +#ifdef CONFIG_KASAN_SW_TAGS_IDENTIFY |
---|
| 166 | + u8 free_pointer_tag[KASAN_NR_FREE_STACKS]; |
---|
| 167 | + u8 free_track_idx; |
---|
| 168 | +#endif |
---|
96 | 169 | }; |
---|
97 | 170 | |
---|
98 | 171 | struct qlist_node { |
---|
99 | 172 | struct qlist_node *next; |
---|
100 | 173 | }; |
---|
| 174 | + |
---|
| 175 | +/* |
---|
| 176 | + * Generic mode either stores free meta in the object itself or in the redzone |
---|
| 177 | + * after the object. In the former case free meta offset is 0, in the latter |
---|
| 178 | + * case it has some sane value smaller than INT_MAX. Use INT_MAX as free meta |
---|
| 179 | + * offset when free meta isn't present. |
---|
| 180 | + */ |
---|
| 181 | +#define KASAN_NO_FREE_META INT_MAX |
---|
| 182 | + |
---|
101 | 183 | struct kasan_free_meta { |
---|
| 184 | +#ifdef CONFIG_KASAN_GENERIC |
---|
102 | 185 | /* This field is used while the object is in the quarantine. |
---|
103 | 186 | * Otherwise it might be used for the allocator freelist. |
---|
104 | 187 | */ |
---|
105 | 188 | struct qlist_node quarantine_link; |
---|
| 189 | + struct kasan_track free_track; |
---|
| 190 | +#endif |
---|
106 | 191 | }; |
---|
107 | 192 | |
---|
108 | | -struct kasan_alloc_meta *get_alloc_info(struct kmem_cache *cache, |
---|
109 | | - const void *object); |
---|
110 | | -struct kasan_free_meta *get_free_info(struct kmem_cache *cache, |
---|
111 | | - const void *object); |
---|
| 193 | +struct kasan_alloc_meta *kasan_get_alloc_meta(struct kmem_cache *cache, |
---|
| 194 | + const void *object); |
---|
| 195 | +#ifdef CONFIG_KASAN_GENERIC |
---|
| 196 | +struct kasan_free_meta *kasan_get_free_meta(struct kmem_cache *cache, |
---|
| 197 | + const void *object); |
---|
| 198 | +#endif |
---|
| 199 | + |
---|
| 200 | +#if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS) |
---|
112 | 201 | |
---|
113 | 202 | static inline const void *kasan_shadow_to_mem(const void *shadow_addr) |
---|
114 | 203 | { |
---|
.. | .. |
---|
116 | 205 | << KASAN_SHADOW_SCALE_SHIFT); |
---|
117 | 206 | } |
---|
118 | 207 | |
---|
119 | | -static inline bool addr_has_shadow(const void *addr) |
---|
| 208 | +static inline bool addr_has_metadata(const void *addr) |
---|
120 | 209 | { |
---|
121 | 210 | return (addr >= kasan_shadow_to_mem((void *)KASAN_SHADOW_START)); |
---|
122 | 211 | } |
---|
123 | 212 | |
---|
124 | | -void kasan_poison_shadow(const void *address, size_t size, u8 value); |
---|
125 | | - |
---|
126 | | -void check_memory_region(unsigned long addr, size_t size, bool write, |
---|
| 213 | +/** |
---|
| 214 | + * kasan_check_range - Check memory region, and report if invalid access. |
---|
| 215 | + * @addr: the accessed address |
---|
| 216 | + * @size: the accessed size |
---|
| 217 | + * @write: true if access is a write access |
---|
| 218 | + * @ret_ip: return address |
---|
| 219 | + * @return: true if access was valid, false if invalid |
---|
| 220 | + */ |
---|
| 221 | +bool kasan_check_range(unsigned long addr, size_t size, bool write, |
---|
127 | 222 | unsigned long ret_ip); |
---|
128 | 223 | |
---|
129 | | -void *find_first_bad_addr(void *addr, size_t size); |
---|
130 | | -const char *get_bug_type(struct kasan_access_info *info); |
---|
| 224 | +#else /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ |
---|
131 | 225 | |
---|
132 | | -void kasan_report(unsigned long addr, size_t size, |
---|
| 226 | +static inline bool addr_has_metadata(const void *addr) |
---|
| 227 | +{ |
---|
| 228 | + return (is_vmalloc_addr(addr) || virt_addr_valid(addr)); |
---|
| 229 | +} |
---|
| 230 | + |
---|
| 231 | +#endif /* CONFIG_KASAN_GENERIC || CONFIG_KASAN_SW_TAGS */ |
---|
| 232 | + |
---|
| 233 | +#if defined(CONFIG_KASAN_SW_TAGS) || defined(CONFIG_KASAN_HW_TAGS) |
---|
| 234 | +void kasan_print_tags(u8 addr_tag, const void *addr); |
---|
| 235 | +#else |
---|
| 236 | +static inline void kasan_print_tags(u8 addr_tag, const void *addr) { } |
---|
| 237 | +#endif |
---|
| 238 | + |
---|
| 239 | +void *kasan_find_first_bad_addr(void *addr, size_t size); |
---|
| 240 | +const char *kasan_get_bug_type(struct kasan_access_info *info); |
---|
| 241 | +void kasan_metadata_fetch_row(char *buffer, void *row); |
---|
| 242 | + |
---|
| 243 | +#if defined(CONFIG_KASAN_GENERIC) && defined(CONFIG_KASAN_STACK) |
---|
| 244 | +void kasan_print_address_stack_frame(const void *addr); |
---|
| 245 | +#else |
---|
| 246 | +static inline void kasan_print_address_stack_frame(const void *addr) { } |
---|
| 247 | +#endif |
---|
| 248 | + |
---|
| 249 | +bool kasan_report(unsigned long addr, size_t size, |
---|
133 | 250 | bool is_write, unsigned long ip); |
---|
134 | 251 | void kasan_report_invalid_free(void *object, unsigned long ip); |
---|
135 | 252 | |
---|
| 253 | +struct page *kasan_addr_to_page(const void *addr); |
---|
| 254 | + |
---|
| 255 | +depot_stack_handle_t kasan_save_stack(gfp_t flags); |
---|
| 256 | +void kasan_set_track(struct kasan_track *track, gfp_t flags); |
---|
| 257 | +void kasan_set_free_info(struct kmem_cache *cache, void *object, u8 tag); |
---|
| 258 | +struct kasan_track *kasan_get_free_track(struct kmem_cache *cache, |
---|
| 259 | + void *object, u8 tag); |
---|
| 260 | + |
---|
136 | 261 | #if defined(CONFIG_KASAN_GENERIC) && \ |
---|
137 | 262 | (defined(CONFIG_SLAB) || defined(CONFIG_SLUB)) |
---|
138 | | -void quarantine_put(struct kasan_free_meta *info, struct kmem_cache *cache); |
---|
139 | | -void quarantine_reduce(void); |
---|
140 | | -void quarantine_remove_cache(struct kmem_cache *cache); |
---|
| 263 | +bool kasan_quarantine_put(struct kmem_cache *cache, void *object); |
---|
| 264 | +void kasan_quarantine_reduce(void); |
---|
| 265 | +void kasan_quarantine_remove_cache(struct kmem_cache *cache); |
---|
141 | 266 | #else |
---|
142 | | -static inline void quarantine_put(struct kasan_free_meta *info, |
---|
143 | | - struct kmem_cache *cache) { } |
---|
144 | | -static inline void quarantine_reduce(void) { } |
---|
145 | | -static inline void quarantine_remove_cache(struct kmem_cache *cache) { } |
---|
146 | | -#endif |
---|
147 | | - |
---|
148 | | -#ifdef CONFIG_KASAN_SW_TAGS |
---|
149 | | - |
---|
150 | | -void print_tags(u8 addr_tag, const void *addr); |
---|
151 | | - |
---|
152 | | -u8 random_tag(void); |
---|
153 | | - |
---|
154 | | -#else |
---|
155 | | - |
---|
156 | | -static inline void print_tags(u8 addr_tag, const void *addr) { } |
---|
157 | | - |
---|
158 | | -static inline u8 random_tag(void) |
---|
159 | | -{ |
---|
160 | | - return 0; |
---|
161 | | -} |
---|
162 | | - |
---|
| 267 | +static inline bool kasan_quarantine_put(struct kmem_cache *cache, void *object) { return false; } |
---|
| 268 | +static inline void kasan_quarantine_reduce(void) { } |
---|
| 269 | +static inline void kasan_quarantine_remove_cache(struct kmem_cache *cache) { } |
---|
163 | 270 | #endif |
---|
164 | 271 | |
---|
165 | 272 | #ifndef arch_kasan_set_tag |
---|
.. | .. |
---|
168 | 275 | return addr; |
---|
169 | 276 | } |
---|
170 | 277 | #endif |
---|
171 | | -#ifndef arch_kasan_reset_tag |
---|
172 | | -#define arch_kasan_reset_tag(addr) ((void *)(addr)) |
---|
173 | | -#endif |
---|
174 | 278 | #ifndef arch_kasan_get_tag |
---|
175 | 279 | #define arch_kasan_get_tag(addr) 0 |
---|
176 | 280 | #endif |
---|
177 | 281 | |
---|
178 | 282 | #define set_tag(addr, tag) ((void *)arch_kasan_set_tag((addr), (tag))) |
---|
179 | | -#define reset_tag(addr) ((void *)arch_kasan_reset_tag(addr)) |
---|
180 | 283 | #define get_tag(addr) arch_kasan_get_tag(addr) |
---|
| 284 | + |
---|
| 285 | +#ifdef CONFIG_KASAN_HW_TAGS |
---|
| 286 | + |
---|
| 287 | +#ifndef arch_enable_tagging_sync |
---|
| 288 | +#define arch_enable_tagging_sync() |
---|
| 289 | +#endif |
---|
| 290 | +#ifndef arch_enable_tagging_async |
---|
| 291 | +#define arch_enable_tagging_async() |
---|
| 292 | +#endif |
---|
| 293 | +#ifndef arch_set_tagging_report_once |
---|
| 294 | +#define arch_set_tagging_report_once(state) |
---|
| 295 | +#endif |
---|
| 296 | +#ifndef arch_force_async_tag_fault |
---|
| 297 | +#define arch_force_async_tag_fault() |
---|
| 298 | +#endif |
---|
| 299 | +#ifndef arch_get_random_tag |
---|
| 300 | +#define arch_get_random_tag() (0xFF) |
---|
| 301 | +#endif |
---|
| 302 | +#ifndef arch_get_mem_tag |
---|
| 303 | +#define arch_get_mem_tag(addr) (0xFF) |
---|
| 304 | +#endif |
---|
| 305 | +#ifndef arch_set_mem_tag_range |
---|
| 306 | +#define arch_set_mem_tag_range(addr, size, tag, init) ((void *)(addr)) |
---|
| 307 | +#endif |
---|
| 308 | + |
---|
| 309 | +#define hw_enable_tagging_sync() arch_enable_tagging_sync() |
---|
| 310 | +#define hw_enable_tagging_async() arch_enable_tagging_async() |
---|
| 311 | +#define hw_set_tagging_report_once(state) arch_set_tagging_report_once(state) |
---|
| 312 | +#define hw_force_async_tag_fault() arch_force_async_tag_fault() |
---|
| 313 | +#define hw_get_random_tag() arch_get_random_tag() |
---|
| 314 | +#define hw_get_mem_tag(addr) arch_get_mem_tag(addr) |
---|
| 315 | +#define hw_set_mem_tag_range(addr, size, tag, init) \ |
---|
| 316 | + arch_set_mem_tag_range((addr), (size), (tag), (init)) |
---|
| 317 | + |
---|
| 318 | +#else /* CONFIG_KASAN_HW_TAGS */ |
---|
| 319 | + |
---|
| 320 | +#define hw_enable_tagging_sync() |
---|
| 321 | +#define hw_enable_tagging_async() |
---|
| 322 | +#define hw_set_tagging_report_once(state) |
---|
| 323 | + |
---|
| 324 | +#endif /* CONFIG_KASAN_HW_TAGS */ |
---|
| 325 | + |
---|
| 326 | +#if defined(CONFIG_KASAN_HW_TAGS) && IS_ENABLED(CONFIG_KASAN_KUNIT_TEST) |
---|
| 327 | + |
---|
| 328 | +void kasan_set_tagging_report_once(bool state); |
---|
| 329 | +void kasan_enable_tagging_sync(void); |
---|
| 330 | +void kasan_force_async_fault(void); |
---|
| 331 | + |
---|
| 332 | +#else /* CONFIG_KASAN_HW_TAGS || CONFIG_KASAN_KUNIT_TEST */ |
---|
| 333 | + |
---|
| 334 | +static inline void kasan_set_tagging_report_once(bool state) { } |
---|
| 335 | +static inline void kasan_enable_tagging_sync(void) { } |
---|
| 336 | +static inline void kasan_force_async_fault(void) { } |
---|
| 337 | + |
---|
| 338 | +#endif /* CONFIG_KASAN_HW_TAGS || CONFIG_KASAN_KUNIT_TEST */ |
---|
| 339 | + |
---|
| 340 | +#ifdef CONFIG_KASAN_SW_TAGS |
---|
| 341 | +u8 kasan_random_tag(void); |
---|
| 342 | +#elif defined(CONFIG_KASAN_HW_TAGS) |
---|
| 343 | +static inline u8 kasan_random_tag(void) { return hw_get_random_tag(); } |
---|
| 344 | +#else |
---|
| 345 | +static inline u8 kasan_random_tag(void) { return 0; } |
---|
| 346 | +#endif |
---|
| 347 | + |
---|
| 348 | +#ifdef CONFIG_KASAN_HW_TAGS |
---|
| 349 | + |
---|
| 350 | +static inline void kasan_poison(const void *addr, size_t size, u8 value, bool init) |
---|
| 351 | +{ |
---|
| 352 | + addr = kasan_reset_tag(addr); |
---|
| 353 | + |
---|
| 354 | + /* Skip KFENCE memory if called explicitly outside of sl*b. */ |
---|
| 355 | + if (is_kfence_address(addr)) |
---|
| 356 | + return; |
---|
| 357 | + |
---|
| 358 | + if (WARN_ON((unsigned long)addr & KASAN_GRANULE_MASK)) |
---|
| 359 | + return; |
---|
| 360 | + if (WARN_ON(size & KASAN_GRANULE_MASK)) |
---|
| 361 | + return; |
---|
| 362 | + |
---|
| 363 | + hw_set_mem_tag_range((void *)addr, size, value, init); |
---|
| 364 | +} |
---|
| 365 | + |
---|
| 366 | +static inline void kasan_unpoison(const void *addr, size_t size, bool init) |
---|
| 367 | +{ |
---|
| 368 | + u8 tag = get_tag(addr); |
---|
| 369 | + |
---|
| 370 | + addr = kasan_reset_tag(addr); |
---|
| 371 | + |
---|
| 372 | + /* Skip KFENCE memory if called explicitly outside of sl*b. */ |
---|
| 373 | + if (is_kfence_address(addr)) |
---|
| 374 | + return; |
---|
| 375 | + |
---|
| 376 | + if (WARN_ON((unsigned long)addr & KASAN_GRANULE_MASK)) |
---|
| 377 | + return; |
---|
| 378 | + /* |
---|
| 379 | + * Explicitly initialize the memory with the precise object size to |
---|
| 380 | + * avoid overwriting the SLAB redzone. This disables initialization in |
---|
| 381 | + * the arch code and may thus lead to performance penalty. The penalty |
---|
| 382 | + * is accepted since SLAB redzones aren't enabled in production builds. |
---|
| 383 | + */ |
---|
| 384 | + if (__slub_debug_enabled() && |
---|
| 385 | + init && ((unsigned long)size & KASAN_GRANULE_MASK)) { |
---|
| 386 | + init = false; |
---|
| 387 | + memzero_explicit((void *)addr, size); |
---|
| 388 | + } |
---|
| 389 | + size = round_up(size, KASAN_GRANULE_SIZE); |
---|
| 390 | + |
---|
| 391 | + hw_set_mem_tag_range((void *)addr, size, tag, init); |
---|
| 392 | +} |
---|
| 393 | + |
---|
| 394 | +static inline bool kasan_byte_accessible(const void *addr) |
---|
| 395 | +{ |
---|
| 396 | + u8 ptr_tag = get_tag(addr); |
---|
| 397 | + u8 mem_tag = hw_get_mem_tag((void *)addr); |
---|
| 398 | + |
---|
| 399 | + return ptr_tag == KASAN_TAG_KERNEL || ptr_tag == mem_tag; |
---|
| 400 | +} |
---|
| 401 | + |
---|
| 402 | +#else /* CONFIG_KASAN_HW_TAGS */ |
---|
| 403 | + |
---|
| 404 | +/** |
---|
| 405 | + * kasan_poison - mark the memory range as unaccessible |
---|
| 406 | + * @addr - range start address, must be aligned to KASAN_GRANULE_SIZE |
---|
| 407 | + * @size - range size, must be aligned to KASAN_GRANULE_SIZE |
---|
| 408 | + * @value - value that's written to metadata for the range |
---|
| 409 | + * @init - whether to initialize the memory range (only for hardware tag-based) |
---|
| 410 | + * |
---|
| 411 | + * The size gets aligned to KASAN_GRANULE_SIZE before marking the range. |
---|
| 412 | + */ |
---|
| 413 | +void kasan_poison(const void *addr, size_t size, u8 value, bool init); |
---|
| 414 | + |
---|
| 415 | +/** |
---|
| 416 | + * kasan_unpoison - mark the memory range as accessible |
---|
| 417 | + * @addr - range start address, must be aligned to KASAN_GRANULE_SIZE |
---|
| 418 | + * @size - range size, can be unaligned |
---|
| 419 | + * @init - whether to initialize the memory range (only for hardware tag-based) |
---|
| 420 | + * |
---|
| 421 | + * For the tag-based modes, the @size gets aligned to KASAN_GRANULE_SIZE before |
---|
| 422 | + * marking the range. |
---|
| 423 | + * For the generic mode, the last granule of the memory range gets partially |
---|
| 424 | + * unpoisoned based on the @size. |
---|
| 425 | + */ |
---|
| 426 | +void kasan_unpoison(const void *addr, size_t size, bool init); |
---|
| 427 | + |
---|
| 428 | +bool kasan_byte_accessible(const void *addr); |
---|
| 429 | + |
---|
| 430 | +#endif /* CONFIG_KASAN_HW_TAGS */ |
---|
| 431 | + |
---|
| 432 | +#ifdef CONFIG_KASAN_GENERIC |
---|
| 433 | + |
---|
| 434 | +/** |
---|
| 435 | + * kasan_poison_last_granule - mark the last granule of the memory range as |
---|
| 436 | + * unaccessible |
---|
| 437 | + * @addr - range start address, must be aligned to KASAN_GRANULE_SIZE |
---|
| 438 | + * @size - range size |
---|
| 439 | + * |
---|
| 440 | + * This function is only available for the generic mode, as it's the only mode |
---|
| 441 | + * that has partially poisoned memory granules. |
---|
| 442 | + */ |
---|
| 443 | +void kasan_poison_last_granule(const void *address, size_t size); |
---|
| 444 | + |
---|
| 445 | +#else /* CONFIG_KASAN_GENERIC */ |
---|
| 446 | + |
---|
| 447 | +static inline void kasan_poison_last_granule(const void *address, size_t size) { } |
---|
| 448 | + |
---|
| 449 | +#endif /* CONFIG_KASAN_GENERIC */ |
---|
181 | 450 | |
---|
182 | 451 | /* |
---|
183 | 452 | * Exported functions for interfaces called from assembly or from generated |
---|
.. | .. |
---|
186 | 455 | asmlinkage void kasan_unpoison_task_stack_below(const void *watermark); |
---|
187 | 456 | void __asan_register_globals(struct kasan_global *globals, size_t size); |
---|
188 | 457 | void __asan_unregister_globals(struct kasan_global *globals, size_t size); |
---|
189 | | -void __asan_loadN(unsigned long addr, size_t size); |
---|
190 | | -void __asan_storeN(unsigned long addr, size_t size); |
---|
191 | 458 | void __asan_handle_no_return(void); |
---|
192 | 459 | void __asan_alloca_poison(unsigned long addr, size_t size); |
---|
193 | 460 | void __asan_allocas_unpoison(const void *stack_top, const void *stack_bottom); |
---|
.. | .. |
---|
202 | 469 | void __asan_store8(unsigned long addr); |
---|
203 | 470 | void __asan_load16(unsigned long addr); |
---|
204 | 471 | void __asan_store16(unsigned long addr); |
---|
| 472 | +void __asan_loadN(unsigned long addr, size_t size); |
---|
| 473 | +void __asan_storeN(unsigned long addr, size_t size); |
---|
205 | 474 | |
---|
206 | 475 | void __asan_load1_noabort(unsigned long addr); |
---|
207 | 476 | void __asan_store1_noabort(unsigned long addr); |
---|
.. | .. |
---|
213 | 482 | void __asan_store8_noabort(unsigned long addr); |
---|
214 | 483 | void __asan_load16_noabort(unsigned long addr); |
---|
215 | 484 | void __asan_store16_noabort(unsigned long addr); |
---|
| 485 | +void __asan_loadN_noabort(unsigned long addr, size_t size); |
---|
| 486 | +void __asan_storeN_noabort(unsigned long addr, size_t size); |
---|
| 487 | + |
---|
| 488 | +void __asan_report_load1_noabort(unsigned long addr); |
---|
| 489 | +void __asan_report_store1_noabort(unsigned long addr); |
---|
| 490 | +void __asan_report_load2_noabort(unsigned long addr); |
---|
| 491 | +void __asan_report_store2_noabort(unsigned long addr); |
---|
| 492 | +void __asan_report_load4_noabort(unsigned long addr); |
---|
| 493 | +void __asan_report_store4_noabort(unsigned long addr); |
---|
| 494 | +void __asan_report_load8_noabort(unsigned long addr); |
---|
| 495 | +void __asan_report_store8_noabort(unsigned long addr); |
---|
| 496 | +void __asan_report_load16_noabort(unsigned long addr); |
---|
| 497 | +void __asan_report_store16_noabort(unsigned long addr); |
---|
| 498 | +void __asan_report_load_n_noabort(unsigned long addr, size_t size); |
---|
| 499 | +void __asan_report_store_n_noabort(unsigned long addr, size_t size); |
---|
216 | 500 | |
---|
217 | 501 | void __asan_set_shadow_00(const void *addr, size_t size); |
---|
218 | 502 | void __asan_set_shadow_f1(const void *addr, size_t size); |
---|
.. | .. |
---|
221 | 505 | void __asan_set_shadow_f5(const void *addr, size_t size); |
---|
222 | 506 | void __asan_set_shadow_f8(const void *addr, size_t size); |
---|
223 | 507 | |
---|
| 508 | +void __hwasan_load1_noabort(unsigned long addr); |
---|
| 509 | +void __hwasan_store1_noabort(unsigned long addr); |
---|
| 510 | +void __hwasan_load2_noabort(unsigned long addr); |
---|
| 511 | +void __hwasan_store2_noabort(unsigned long addr); |
---|
| 512 | +void __hwasan_load4_noabort(unsigned long addr); |
---|
| 513 | +void __hwasan_store4_noabort(unsigned long addr); |
---|
| 514 | +void __hwasan_load8_noabort(unsigned long addr); |
---|
| 515 | +void __hwasan_store8_noabort(unsigned long addr); |
---|
| 516 | +void __hwasan_load16_noabort(unsigned long addr); |
---|
| 517 | +void __hwasan_store16_noabort(unsigned long addr); |
---|
| 518 | +void __hwasan_loadN_noabort(unsigned long addr, size_t size); |
---|
| 519 | +void __hwasan_storeN_noabort(unsigned long addr, size_t size); |
---|
| 520 | + |
---|
| 521 | +void __hwasan_tag_memory(unsigned long addr, u8 tag, unsigned long size); |
---|
| 522 | + |
---|
224 | 523 | #endif |
---|