FuSeBMC v.4：面向混合模糊测试的智能种子生成
密码学与安全
2021-12-22 v1 计算机与社会
符号计算
软件工程
摘要
FuSeBMC是一个用于查找C程序安全漏洞的测试生成器。在前期工作[4]中，我们描述了其先前版本，该版本增量式地注入标签以引导有界模型检查（BMC）和进化模糊测试引擎生成用于代码覆盖和缺陷发现的测试用例。本文介绍了FuSeBMC的新版本，该版本利用两种引擎生成智能种子。首先，引擎在程序的轻量插桩版本上以较短时间限制运行以产生种子。BMC引擎特别有助于产生能够通过复杂数学守卫条件的种子。随后，FuSeBMC使用上一轮创建的智能种子，以更长的时限运行其引擎。FuSeBMC通过其Tracer子系统以两种主要方式管理此过程。首先，它使用共享内存记录每个测试用例所覆盖的标签。其次，它评估测试用例，并将高影响的用例转化为后续模糊测试的种子。结果，我们的代码覆盖率得分较去年显著提升，在今年的竞赛中于每一个类别均优于所有参赛工具。
引用
@article{arxiv.2112.10627,
title = {FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing},
author = {Kaled M. Alshmrany and Mohannad Aldughaim and Ahmed Bhayat and Lucas C. Cordeiro},
journal= {arXiv preprint arXiv:2112.10627},
year = {2021}
}
备注
4 pages, 2 figures, International Conference on Fundamental Approaches to Software Engineering (FASE 2022)