基于类型状态机导向的模糊测试技术UAFL

最新推荐文章于 2024-06-19 15:52:20 发布

原创

最新推荐文章于 2024-06-19 15:52:20 发布 · 1.2k 阅读

CC 4.0 BY-SA版权

介绍了一种新型模糊测试技术UAFL，专门针对Use-after-Free（UaF）漏洞检测。UAFL利用类型状态机分析，识别并生成特定操作序列的测试用例，有效触发UaF漏洞。实验表明，UAFL在发现UaF漏洞方面显著优于现有技术。

Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

针对的问题：Use-after-free (UaF)漏洞的检查需要更可靠的技术。
目前的解决方案：目前主流的基于代码覆盖率导向的Fuzzing技术对于use-after-free漏洞存在一定的盲区。要触发UaF漏洞，不仅需要覆盖单个边缘，还需要按特定顺序遍历某些（长）边序列，这对现有的Fuzzer是一个巨大的挑战。
提出的创新方案概述：作者将Uaf漏洞建模成一种具有一定type-state属性的状态机模型，并提出了基于状态机导向的模糊测试技术。具体来说，Fuzzing的过程由操作序列指导，以逐步生成触发type-state属性冲突的测试用例。此外，作者还采用了信息流分析来提高模糊测试的效率。
实验效果：UAFL在发现use-after-free漏洞所需的时间方面，明显优于一些主流的fuzzer，包括AFL、AFLFast、FairFuzz、MOpt、Angora和QSYM。作者发现了10个未知的UaF漏洞，并申请了5个新的CVE。这也说明了目前常用的的基于代码覆盖率导向的模糊测试技术在发现use-after-f