mirror of
				https://github.com/torvalds/linux.git
				synced 2025-11-04 02:30:34 +02:00 
			
		
		
		
	Adds a test to verify workqueue stack recording and print it in KASAN report. The KASAN report was as follows(cleaned up slightly): BUG: KASAN: use-after-free in kasan_workqueue_uaf Freed by task 54: kasan_save_stack+0x24/0x50 kasan_set_track+0x24/0x38 kasan_set_free_info+0x20/0x40 __kasan_slab_free+0x10c/0x170 kasan_slab_free+0x10/0x18 kfree+0x98/0x270 kasan_workqueue_work+0xc/0x18 Last potentially related work creation: kasan_save_stack+0x24/0x50 kasan_record_wq_stack+0xa8/0xb8 insert_work+0x48/0x288 __queue_work+0x3e8/0xc40 queue_work_on+0xf4/0x118 kasan_workqueue_uaf+0xfc/0x190 Link: https://lkml.kernel.org/r/20201203022748.30681-1-walter-zh.wu@mediatek.com Signed-off-by: Walter Wu <walter-zh.wu@mediatek.com> Acked-by: Marco Elver <elver@google.com> Reviewed-by: Dmitry Vyukov <dvyukov@google.com> Reviewed-by: Andrey Konovalov <andreyknvl@google.com> Cc: Andrey Ryabinin <aryabinin@virtuozzo.com> Cc: Alexander Potapenko <glider@google.com> Cc: Matthias Brugger <matthias.bgg@gmail.com> Cc: Jonathan Corbet <corbet@lwn.net> Cc: Lai Jiangshan <jiangshanlai@gmail.com> Cc: Tejun Heo <tj@kernel.org> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
		
			
				
	
	
		
			140 lines
		
	
	
	
		
			3.4 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			140 lines
		
	
	
	
		
			3.4 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
// SPDX-License-Identifier: GPL-2.0-only
 | 
						|
/*
 | 
						|
 *
 | 
						|
 * Copyright (c) 2014 Samsung Electronics Co., Ltd.
 | 
						|
 * Author: Andrey Ryabinin <a.ryabinin@samsung.com>
 | 
						|
 */
 | 
						|
 | 
						|
#define pr_fmt(fmt) "kasan test: %s " fmt, __func__
 | 
						|
 | 
						|
#include <linux/mman.h>
 | 
						|
#include <linux/module.h>
 | 
						|
#include <linux/printk.h>
 | 
						|
#include <linux/slab.h>
 | 
						|
#include <linux/uaccess.h>
 | 
						|
 | 
						|
#include "../mm/kasan/kasan.h"
 | 
						|
 | 
						|
#define OOB_TAG_OFF (IS_ENABLED(CONFIG_KASAN_GENERIC) ? 0 : KASAN_SHADOW_SCALE_SIZE)
 | 
						|
 | 
						|
static noinline void __init copy_user_test(void)
 | 
						|
{
 | 
						|
	char *kmem;
 | 
						|
	char __user *usermem;
 | 
						|
	size_t size = 10;
 | 
						|
	int unused;
 | 
						|
 | 
						|
	kmem = kmalloc(size, GFP_KERNEL);
 | 
						|
	if (!kmem)
 | 
						|
		return;
 | 
						|
 | 
						|
	usermem = (char __user *)vm_mmap(NULL, 0, PAGE_SIZE,
 | 
						|
			    PROT_READ | PROT_WRITE | PROT_EXEC,
 | 
						|
			    MAP_ANONYMOUS | MAP_PRIVATE, 0);
 | 
						|
	if (IS_ERR(usermem)) {
 | 
						|
		pr_err("Failed to allocate user memory\n");
 | 
						|
		kfree(kmem);
 | 
						|
		return;
 | 
						|
	}
 | 
						|
 | 
						|
	pr_info("out-of-bounds in copy_from_user()\n");
 | 
						|
	unused = copy_from_user(kmem, usermem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in copy_to_user()\n");
 | 
						|
	unused = copy_to_user(usermem, kmem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in __copy_from_user()\n");
 | 
						|
	unused = __copy_from_user(kmem, usermem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in __copy_to_user()\n");
 | 
						|
	unused = __copy_to_user(usermem, kmem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in __copy_from_user_inatomic()\n");
 | 
						|
	unused = __copy_from_user_inatomic(kmem, usermem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in __copy_to_user_inatomic()\n");
 | 
						|
	unused = __copy_to_user_inatomic(usermem, kmem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	pr_info("out-of-bounds in strncpy_from_user()\n");
 | 
						|
	unused = strncpy_from_user(kmem, usermem, size + 1 + OOB_TAG_OFF);
 | 
						|
 | 
						|
	vm_munmap((unsigned long)usermem, PAGE_SIZE);
 | 
						|
	kfree(kmem);
 | 
						|
}
 | 
						|
 | 
						|
static struct kasan_rcu_info {
 | 
						|
	int i;
 | 
						|
	struct rcu_head rcu;
 | 
						|
} *global_rcu_ptr;
 | 
						|
 | 
						|
static noinline void __init kasan_rcu_reclaim(struct rcu_head *rp)
 | 
						|
{
 | 
						|
	struct kasan_rcu_info *fp = container_of(rp,
 | 
						|
						struct kasan_rcu_info, rcu);
 | 
						|
 | 
						|
	kfree(fp);
 | 
						|
	fp->i = 1;
 | 
						|
}
 | 
						|
 | 
						|
static noinline void __init kasan_rcu_uaf(void)
 | 
						|
{
 | 
						|
	struct kasan_rcu_info *ptr;
 | 
						|
 | 
						|
	pr_info("use-after-free in kasan_rcu_reclaim\n");
 | 
						|
	ptr = kmalloc(sizeof(struct kasan_rcu_info), GFP_KERNEL);
 | 
						|
	if (!ptr) {
 | 
						|
		pr_err("Allocation failed\n");
 | 
						|
		return;
 | 
						|
	}
 | 
						|
 | 
						|
	global_rcu_ptr = rcu_dereference_protected(ptr, NULL);
 | 
						|
	call_rcu(&global_rcu_ptr->rcu, kasan_rcu_reclaim);
 | 
						|
}
 | 
						|
 | 
						|
static noinline void __init kasan_workqueue_work(struct work_struct *work)
 | 
						|
{
 | 
						|
	kfree(work);
 | 
						|
}
 | 
						|
 | 
						|
static noinline void __init kasan_workqueue_uaf(void)
 | 
						|
{
 | 
						|
	struct workqueue_struct *workqueue;
 | 
						|
	struct work_struct *work;
 | 
						|
 | 
						|
	workqueue = create_workqueue("kasan_wq_test");
 | 
						|
	if (!workqueue) {
 | 
						|
		pr_err("Allocation failed\n");
 | 
						|
		return;
 | 
						|
	}
 | 
						|
	work = kmalloc(sizeof(struct work_struct), GFP_KERNEL);
 | 
						|
	if (!work) {
 | 
						|
		pr_err("Allocation failed\n");
 | 
						|
		return;
 | 
						|
	}
 | 
						|
 | 
						|
	INIT_WORK(work, kasan_workqueue_work);
 | 
						|
	queue_work(workqueue, work);
 | 
						|
	destroy_workqueue(workqueue);
 | 
						|
 | 
						|
	pr_info("use-after-free on workqueue\n");
 | 
						|
	((volatile struct work_struct *)work)->data;
 | 
						|
}
 | 
						|
 | 
						|
static int __init test_kasan_module_init(void)
 | 
						|
{
 | 
						|
	/*
 | 
						|
	 * Temporarily enable multi-shot mode. Otherwise, we'd only get a
 | 
						|
	 * report for the first case.
 | 
						|
	 */
 | 
						|
	bool multishot = kasan_save_enable_multi_shot();
 | 
						|
 | 
						|
	copy_user_test();
 | 
						|
	kasan_rcu_uaf();
 | 
						|
	kasan_workqueue_uaf();
 | 
						|
 | 
						|
	kasan_restore_multi_shot(multishot);
 | 
						|
	return -EAGAIN;
 | 
						|
}
 | 
						|
 | 
						|
module_init(test_kasan_module_init);
 | 
						|
MODULE_LICENSE("GPL");
 |