CVE-2017-7533 漏洞分析
每次我调试内核漏洞的周期实在是太长了（实在是太菜了），那么定期总结一下两三天的收获吧。
本篇主要是记录一下CVE-2017-7533是什么类型的漏洞，漏洞原理是什么，以及如何触发，又是如何被patch的。此外，进一步思考如果想要从poc到exploit进一步需要做哪些事情？
0x01 漏洞原理
根据对该CVE的描述信息[1]我们可以知道，这是一个在linux kernel中fsnotify中的race condition漏洞。攻击者可以利用inotify_handle_event和vfs_rename同时执行，实现本地提权或者DoS。
Race condition in the fsnotify implementation in the Linux kernel through 4.12.4 allows local users to gain privileges or cause a denial of service (memory corruption) via a crafted application that leverages simultaneous execution of the inotify_handle_event and vfs_rename functions.
根据redhat mail[2]中对该漏洞的描述，这个漏洞由于race condition会溢出下一个slab的数据。摘录漏洞的触发过程如下图所示。
linux kernel 4.4相关代码：
inotify_event_info 结构体：
在上图中，和漏洞相关的关键点有三个：
- 计算file_name的len，更新alloc_len
- 调用kmalloc分配alloc_len大小的内存给event指针
- 调用strcpy拷贝file_name给event->name
问题在于2和3之间，如果file_name被修改了，就可以造成heap overflow。而事实上，由于内核中有大量的线程在同时运行，file_name是可以通过sys_rename系统调用来修改的。
由于overflow的是kmalloc申请的buffer之后的内存，因此需要有效的控制该内存才可以DoS或者是提权。
0x02 漏洞影响
根据redhat mailist[2]，影响的linux kernel version：v3.14-rc1 - v4.12。
对于Android而言，根据Android security bulletin[3]，影响的patch level: before 2017-12-01。
0x03 漏洞分析
CVE-2017-7533这个漏洞的patch影响kernel 3.12-rc4到4.12。因此，nexus6p上是实现不了了，看了一下msm中angler的branch kernel都是3.10的。因此，在pixel 2 android 8.1 kernel 4.4上测试。通过git checkout 4.4.56-g594d847d09a1切换到对应的kernel版本。
分析漏洞原理时，我们已经明白了需要使用两个thread来触发漏洞：一个触发inotify_handle_event，一个触发sys_rename。hardenedlinux有该漏洞的POC[4]。
该POC中，main函数中的notify_thread_func线程，使用inotify机制监控test_dir/f文件的打开、关闭
访问行为。如果触发了该行为，调用handle_events函数，从inotify实例中read 所有的inofity_event事件，遍历时间判断当前触发事件的event->name是否为"b",如果是，则成功触发。
main函数中的trigger_rename_open线程中又开启了两个线程，callrename和openclose。callrename线程中构造longname "bbbb321032103210xxxxxxxx"，并开始循环，循环调用两次rename系统调用，修改test_dir/f为longname再修改回来。
callrename线程比较简单，开始循环，循环打开test_dir/f，用于触发用户态中inotify_handle_event的监听事件，从而触发内核中的inotify_handle_event函数，从而竞争触发heap overflow。
漏洞触发的时候：
- callrename线程中打开文件test_dir/f
- notify_thread_func线程中的监听事件被触发，调用内核的inotify_handle_event，计算file_name（test_dir/f）的len为1，kmalloc大小为sizeof(struct inotify_event_info) + len+1的buffer
- callrename线程中调用内核的sys_rename修改file_name为longname
- 内核的inotify_handle_event函数调用strcpy发生堆溢出。
监听事件触发的时候read的buffer中是inotify_event结构体，其中len代表了name+padding的长度。
但是在内核中，inotify_handle_event中的event是inotify_event_info结构体，其中name_len就是代表name的长度。这个特别容易混淆。
因此，在漏洞触发时，虽然file_name已经被修改，但是内核中inotify_event_info的name_len依然还是1，name则是longname了。经过测试，用户态read的buffer中，inotify_event结构体的name似乎是根据内核中的name_len来获取的（纯属猜测），因此是漏洞触发时，用户态获取的name是b。
0x04 触发效果
-
poc运行后，输出：
图中已经检测到了event->name是b。 -
修改了kernel源码，在strcpy处加入pr_err 查看log:
-
编译内核后查看，dmesg信息：
可以看到，file_name已经被rename成了longname，strcpy给event->name成功溢出了。
0x05 漏洞修复
该漏洞在linux kernel中的patch[5]如下所示，新增加了name_snapshot结构体，并增加了dentry中name的take和release的方法。原先对dentry中name的操作都要先获取一个快照（snap）再操作。
以fsnotify.c为例：
为什么漏洞在inotify_handle_event()却要patch fsnotify(..., file_name)呢？
看了一会儿源码发现inotify_handle_event()的触发链如下：fsnotify(...,file_name)->send_to_group(... ,file_name)->group->ops->handle_event(..., file_name, cookie)。
根据ops的定义const struct fsnotify_ops *ops;，查看该结构体：
因此， group->ops->handle_event(..., file_name, cookie)是会调用inotify_handle_event()的。
patch了之后，fsnotify(..., file_name)中的file_name是snap的name，即使调用sys_rename使得dentry中的name改变了，但是fsnotify拿到的name依然没变，inotify_handle_event中也就不会发生对溢出了。
通过patch，我们可以更加清晰的发现，由于原先inotify_handle_event的file_name
实际上是一个指向dentry中name的一个指针，在race condition时就会发生问题。漏洞的本质是传入参数的改变，那么patch 自然也应该在上层函数中patch了。
0x06 from poc to exp
写到这里，如何从poc到exp呢？其实目前我还不清楚。
既然是kmalloc发生了溢出，那么思路就是利用溢出后的数据来覆盖后面一个obj中的指针啊什么的来控制PC指针。所以溢出后面的数据是一个obj吗？如果是，这个obj可以控制吗？内核堆的管理方式又是什么样子的呢？如何查看内核堆中的数据呢？
最后，内核中这样由于竞争导致的问题肯定还有，如何发现呢？
带着这样的问题，继续上路吧。
0x07 参考链接
[1] https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2017-7533
[2] https://seclists.org/oss-sec/2017/q3/240
[3] https://source.android.com/security/bulletin/2017-12-01
[4] https://github.com/hardenedlinux/offensive_poc/tree/master/CVE-2017-7533
