最先进的模糊测试框架[关闭]

#1 楼

有三种类型的模糊器：



变异模糊器，它以大量的各种良好输入文件和变异列表开始。然后，每个文件都会以某种方式进行变异，然后传递给应用程序，以查看该应用程序是否可以处理变异的输入。查理·米勒（Charlie Miller）在2010年的CanSecWest演讲中很好地涵盖了这种方法。通常，将自己的版本的突变模糊器转换为文件格式是很容易的。更复杂的版本将能够描述用于在协议的各个字段中注入随机性的协议和方法。 Sulley是此类中的工具。一个特别好的子类是基于语法的模糊器，您可以从BNF语法开始，然后通过直接遍历语法来生成字符串。产生新的模糊输入。雪崩是为此提供的公开工具。 （@ 0xea指出的SAGE工具是另一个示例。）

Miller的另一篇论文对前两篇文章进行了很好的概述。而且您可能应该会看到Fuzzing书的网站，该网站提供了一些可以启动的软件。

#2 楼

不了解最新技术，但是在将符号执行与MS Research的SAGE结合起来的方向上已经取得了一些进步（应该有更好的论文，但我认为这是有代价的）。此外，基于污点的智能模糊处理方法还显示了如何将污点分析与高级模糊处理结合使用（周围应该有一些非收费版本）。另外，我希望大多数人直到精疲力竭才真正发布他们的先进技术，这是这个问题的主要问题。