AFLplusplus 执行速度统计中的整数溢出问题分析

问题背景

在AFLplusplus模糊测试工具中，有一个用于统计最近一分钟内执行次数的指标execs_ps_last_min。当模糊测试长时间运行（例如超过一个月）后，这个指标可能会显示出异常的高值，如71574927.35次/分钟，这显然是不合理的。

问题根源

经过代码分析，发现问题出在统计计算部分的整数溢出。具体来说，在计算执行速度时，代码使用了32位无符号整数(u32)来存储上一次的执行总数(last_avg_execs)，而实际的总执行数(total_execs)是64位的。当总执行数超过2^32（约42.9亿次）时，32位变量会发生溢出，导致计算结果异常。

技术细节

在afl-fuzz-stats.c文件中，执行速度的计算公式为：

afl->last_avg_execs_saved = 
    (double)(1000 * (afl->fsrv.total_execs - afl->last_avg_execs)) /
    (double)(cur_time - afl->last_avg_exec_update);

这里的关键问题在于：

1. total_execs是64位变量，可以存储非常大的数值
2. last_avg_execs是32位变量，当赋值为大数值的total_execs时会溢出
3. 溢出后计算出的差值会变得不正确，导致最终的执行速度统计异常

解决方案

最简单的修复方案是将last_avg_execs的类型从u32改为u64，使其与total_execs的位数一致。此外，这个变量的命名也不够准确，因为它实际上存储的是上一次的总执行数，而不是平均值，可以考虑将其重命名为prev_total_execs等更贴切的名称。

影响范围

这个问题主要影响：

1. 长时间运行的模糊测试任务（总执行数超过42.9亿次）
2. 执行速度统计的准确性
3. 不会影响实际的模糊测试过程，只是监控指标显示异常

最佳实践建议

对于需要进行长时间模糊测试的用户，建议：

1. 定期重启模糊测试进程，避免计数器溢出
2. 监控总执行数，当接近42.9亿次时注意统计数据的准确性
3. 使用修复后的版本，避免统计异常

这个问题虽然不影响核心的模糊测试功能，但准确的执行速度统计对于评估测试进度和效率非常重要，特别是在长期运行的测试场景中。