蚁景网安实验室

在模糊测试这一软件测试方法中，具有高度结构化输入要求的测试对象，对fuzz应用的种子生成提出了很高的要求。本报告首先介绍了fuzz应用以生成和变异分类各自的特点与框架，并说明了两者在面对结构化输入的问题时的处理方法与难点。NAUTILUS是一个利用语法解决该问题的fuzz应用，使用上下文无关文法和代码覆盖率结合的方法；Skyfire是一个使用基于概率的上下文相关文法策略的种子生成器，本报告分别介绍了这两者的设计思路与具体策略，最后对框架的设计进行了总结。

...全部展开