AFL++ 项目中 CMPCOV 在 LLVM 16/18 下的编译问题分析

问题背景

在 AFL++ 项目中，用户在使用 CMPCOV 功能编译特定版本的 libxml2 时遇到了问题。该问题主要出现在 LLVM 16 和 18 版本环境下，而 LLVM 17 版本则能正常编译。这一问题特别影响了 libxml2 的 2.9.x 系列版本，而 2.10.0 及以上版本则不受影响。

问题现象

当用户尝试使用 AFL++ 4.21a 版本配合 LLVM 16 或 18 编译 libxml2 2.9.x 版本时，编译过程会意外终止并抛出错误。错误信息显示在 SplitComparesTransform 过程中发生了崩溃，导致编译失败。而在 LLVM 17 环境下，虽然编译能够完成，但会显示警告信息，提示由于已知 bug，整数比较拆分功能已被禁用。

技术分析

问题根源

经过深入分析，发现该问题与 AFL++ 的 CMPCOV 功能在 LLVM 16 和 18 版本中的实现有关。具体来说，是在 SplitComparesTransform 过程中对某些特定代码模式的处理出现了异常。这一问题在 libxml2 2.9.x 版本的 xmlunicode.c 文件中表现得尤为明显。

环境因素

测试环境配置如下：

• 操作系统：Ubuntu 22.04.4 LTS
• 编译器：afl-clang-fast 配合 CMPCOV
• AFL++ 版本：4.21a
• 测试的 LLVM 版本：16、17 和 18

值得注意的是，LLVM 17 版本由于已知问题已经禁用了相关的整数比较拆分功能，因此不会触发此错误。

解决方案

AFL++ 开发团队已经针对此问题发布了修复补丁。该补丁主要改进了 SplitComparesTransform 过程的稳定性，特别是在处理特定代码模式时的健壮性。

验证结果

修复后的版本已经过验证，能够成功编译以下先前存在问题的 libxml2 版本：

• libxml2 v2.9.14
• libxml2 v2.9.4
• libxml2 v2.12.6（作为对照组，该版本原本就能正常编译）

最佳实践建议

对于需要使用 AFL++ 进行模糊测试的开发人员，建议：

1. 确保正确设置 AFL_LLVM_LAF_ALL 环境变量，并在整个编译过程中保持一致性
2. 对于 libxml2 2.9.x 系列版本，建议使用修复后的 AFL++ 版本
3. 如果必须使用 LLVM 17，请注意其整数比较拆分功能已被禁用
4. 考虑升级到 libxml2 2.10.0 或更高版本，这些版本对 AFL++ 的支持更为稳定

结论

本次问题的解决展示了 AFL++ 项目团队对编译器兼容性问题的快速响应能力。通过深入分析特定编译环境下出现的问题，并及时提供修复方案，确保了模糊测试工具链的稳定性和可靠性。对于安全研究人员和开发人员而言，保持工具链的更新并及时应用相关修复是确保测试效果的重要保障。