AFLplusplus中LLVM版本与CmpLog/LAF-Intel插桩的兼容性问题分析

在AFLplusplus 4.10c版本中，用户在使用Docker容器进行模糊测试时发现了一个有趣的兼容性问题。这个问题涉及到LLVM编译器版本与CmpLog/LAF-Intel插桩功能的交互方式。

问题现象

当用户在Linux主机上使用LLVM 14编译目标程序并启用CmpLog和LAF-Intel插桩时，模糊测试能够正常工作并快速发现程序中的崩溃点。然而，当使用官方Docker镜像（内置LLVM 16）执行相同的测试流程时，模糊测试器无法发现任何新的代码覆盖率。

技术背景

AFLplusplus的CmpLog和LAF-Intel是两种重要的插桩技术：

• CmpLog用于记录比较操作的行为
• LAF-Intel（即"比较操作拆分"）能够将复杂的比较操作分解为更简单的比较序列

这两种技术都依赖于LLVM的编译器插桩功能。在LLVM 16版本中，编译器对插桩的处理方式发生了变化，导致拆分后的比较操作没有被正确地插桩和跟踪。

根本原因分析

经过深入调查，发现问题出在LLVM 16及以上版本中，对于拆分后的数据（split data）没有正确生成覆盖率插桩。这是一个较为隐蔽的问题，因为在标准测试场景下可能不会立即显现。

值得注意的是，LLVM 17版本中还存在另一个已知问题，导致某些LAF功能必须被禁用。因此，AFLplusplus官方文档建议使用LLVM 13至16版本。

解决方案

AFLplusplus开发团队已经在开发分支中提交了修复方案。虽然这个修复可能还不是最优解（因为在FuzzBench测试中表现不完全理想），但它确实解决了基本的兼容性问题。

最佳实践建议

基于这一经验，我们建议AFLplusplus用户：

1. 注意检查使用的LLVM版本，尽量使用官方推荐的13-16版本
2. 如果在Docker环境中遇到类似问题，可以考虑降级LLVM版本或等待官方更新镜像
3. 对于关键项目，建议先在本地环境验证模糊测试效果，再部署到容器环境

这个问题也提醒我们，在模糊测试工具链中，编译器版本的选择可能对测试效果产生重大影响，需要给予足够重视。