AFL++ 中禁用拼接变异时退出逻辑失效问题分析

问题背景

在 AFL++ 这个广泛使用的模糊测试工具中，用户可以通过设置环境变量 AFL_EXIT_WHEN_DONE 来让模糊测试在完成所有有效变异后自动退出。然而，当用户编译 AFL++ 时启用了 NO_SPLICING=1 选项（禁用拼接变异）后，这一退出逻辑会失效。

问题根源

经过代码分析发现，AFL++ 的退出逻辑依赖于一个名为 cycles_wo_finds 的计数器。这个计数器用于跟踪连续多少个变异周期没有发现新的路径。当这个值超过100时，AFL++ 会认为模糊测试已经完成并退出。

问题在于，cycles_wo_finds 计数器仅在拼接变异（splicing）启用时才会递增。在 afl-fuzz.c 文件的2940-2942行可以看到，这个计数器的递增逻辑被包裹在 if (afl->use_splicing) 条件判断中。因此，当禁用拼接变异时，这个计数器永远不会增加，导致退出逻辑无法触发。

技术影响

这个问题会影响那些希望禁用拼接变异的用户。根据《An Empirical Examination of Fuzzer Mutator Performance》论文的研究结果，有些用户可能会选择禁用拼接变异来提高模糊测试效率。然而，这样做会导致 AFL++ 无法在适当的时候自动退出，需要用户手动终止测试过程。

解决方案

AFL++ 开发团队已经意识到这个问题并在开发分支中进行了修复。修复内容包括：

1. 修正了 cycles_wo_finds 计数逻辑，使其在禁用拼接变异时也能正常工作
2. 改进了 AFL_EXIT_WHEN_DONE 的实现逻辑
3. 优化了用户界面中关于测试周期完成状态的显示颜色

最佳实践建议

对于需要使用 NO_SPLICING=1 选项的用户，建议：

1. 更新到包含修复的最新版本
2. 监控 fuzzer_stats 文件中的 cycles_wo_finds 值，确认它是否正常递增
3. 根据实际测试需求，合理设置 AFL_EXIT_WHEN_DONE 和 AFL_EXIT_ON_TIME 参数

总结

这个问题展示了模糊测试工具中各种变异策略之间的复杂交互关系。AFL++ 团队快速响应并修复了这个问题，体现了开源社区对用户体验的重视。用户在使用高级编译选项时，应当注意这些选项可能带来的副作用，并及时关注项目的更新动态。