Proj CMI Paper Reading: Metamorphic Fuzzing of C++ Libraries

Abstract

本文：MF++
任务：对 C++ 库进行automated metamorphic fuzzing
方法：
基于用户提供的规范以随机方式自动合成对库 API 的等效调用序列，使用随机输入测试等效的调用序列
实验：
数据集：四个 SMT 求解库和两个 Presburger 算术库
效果：

1. 发现了 21 个错误
2. 已经提交了补丁，为 isl、Yices2 和 Z3 项目贡献了新的覆盖率增强测试用例。
3. 到目前为止，这些项目的开发人员已经接受了基于我们的补丁的 21 次测试。