标签: 污点分析

模糊测试是一种发现漏洞的主要方法。现有的模糊测试工具都存在耦合严重的问题，这对模糊测试工具的实验性开发和拓展带来很大的挑战。我们设计和实现了一种模块化的、可拓展策略的模糊测试工具。我们将整个模糊测试的过程模块化，并将模块分为不可被拓展和可被拓建的模块。对于基础的不可被拓展的模块，我们优化并保证其高性能。我们使用Rust语言实现这些模块，并采用Forkserver、CPU核心绑定、高效IPC、虚拟内存文件系统等优化技术。对于其他可拓展模块，我们定义并暴露好对应的接口，开发者可以自由方便的添加和选择自己想使用的策略方法。这些可拓展模块包括调度策略和修改策略。同时，我们在这些可拓展模块中实现了基本的策略供开发者选择和参考。