AFL++中fuzzer_stats文件更新异常问题分析与解决

问题背景

在使用AFL++进行模糊测试时，fuzzer_stats文件记录了关键的测试进度信息，如运行时间(run_time)和最近发现(last_find)等。这些数据对于监控测试进度、判断测试是否进入停滞阶段非常重要。然而，有用户报告在使用AFL++的QEMU模式测试c-ares目标时，发现fuzzer_stats文件中的这些关键字段不会随时间更新。

问题现象

用户在使用Python脚本监控fuzzer_stats文件时发现：

1. run_time字段始终为0，不随测试时间增加而更新
2. last_find字段同样不会更新
3. 即使用户设置了AFL_FUZZER_STATS_UPDATE_INTERVAL环境变量为30秒，强制更频繁地更新统计信息，问题依然存在
4. plot_data文件的更新也存在严重延迟

问题分析

经过深入调查和测试，我们发现这个问题可能由以下几个原因导致：

1. 文件读取方式问题：当使用Python脚本读取fuzzer_stats文件时，如果文件句柄没有正确关闭，可能导致读取到的是缓存内容而非最新数据。正确的做法是每次读取都重新打开文件。

2. 测试目标特性：对于某些特别耗时的测试目标，特别是在使用CMPLOG或同步大型目标时，AFL++可能会优先保证模糊测试性能，而延迟统计信息的更新。

3. 非标准模式使用：如果使用了非标准模式（如dumb模式或无forkserver模式），这些模式本身可能存在一些统计信息更新的bug。

解决方案

1. 正确的文件读取方式：

   • 确保每次读取fuzzer_stats文件时都重新打开文件
   • 在Python中使用with语句确保文件句柄正确关闭
   • 避免长时间保持文件打开状态

2. 环境变量设置：

   • 确认AFL_FUZZER_STATS_UPDATE_INTERVAL环境变量已正确设置
   • 建议值设置为30-60秒，平衡性能与监控需求

3. 命令行直接验证：

   • 可以直接在终端使用命令验证统计信息更新是否正常：

     while : ; do grep run_time out/default/fuzzer_stats; sleep 10; done
     

   • 这可以排除Python脚本可能引入的问题

4. 避免使用非标准模式：

   • 尽量避免使用dumb模式或无forkserver模式
   • 这些模式不仅可能影响统计信息更新，还可能降低测试效率

最佳实践建议

1. 监控脚本编写：

   • 每次读取都重新打开文件
   • 添加适当的错误处理和重试机制
   • 考虑使用文件修改时间判断是否需要重新读取

2. 测试环境配置：

   • 使用标准模式进行测试
   • 对于大型目标，适当增大统计信息更新间隔
   • 确保有足够的系统资源

3. 版本选择：

   • 使用最新的AFL++开发版本
   • 已知某些旧版本在非标准模式下存在统计信息更新问题

通过以上措施，可以确保fuzzer_stats文件能够正确反映模糊测试的实时进度，为测试监控和决策提供可靠依据。