Flask框架中常规漏洞防范方法

最新推荐文章于 2023-10-15 12:02:28 发布

AIGC_Allen

最新推荐文章于 2023-10-15 12:02:28 发布

阅读量771

点赞数

文章标签： python 开发语言

本文链接：https://blog.csdn.net/text2206/article/details/128558401

版权

本文介绍了Double Fetch漏洞的原理，它源于用户态与内核态数据交互时的时间差，可能导致访问越界和提权。通过0ctf-final-baby例题分析，揭示了如何利用条件竞争来修改数据，最后强调了从线程竞争角度审视程序以发现隐蔽漏洞的重要性。

摘要由CSDN通过智能技术生成

一、前言

Double Fetch是一种条件竞争类型的漏洞，其主要形成的原因是由于用户态与内核态之间的数据在进行交互时存在时间差，我们在先前的学习中有了解到内核在从用户态中获取数据时会使用函数copy_from_user，而如果要拷贝的数据过于复杂的话则内核会选择引用其指针而将数据暂存于用户态中等待后续处理，而在这时数据会存在被条件竞争修改原有数据的风险，也就是笔者要分享的Double Fetch的由来。

二、Double Fetch介绍

如下图所示，用户态首先准备好用户态数据(prepare data)，然后执行syscall进入内核态后，会对用户态数据进行第一次fetch，这一次fetch主要是做一些检测工作（如缓冲区大小、指针是否可用等），在检查通过后会执行第二次fetch对数据进行实际操作。而在这期间是存在一定的时间差，如果我们在用户态数据通过第一次check以后创建一个恶意进程利用二次fetch之间的时间差修改掉原先用户态的数据，那么在内核执行第二次fetch时处理的就并非原先通过检测的数据，而是我们精心准备的恶意数据，而此类漏洞往往会引起访问越界，缓冲区溢出最终造成恶意提权的情况。