AFL++ 4.20c版本中afl-clang-lto编译失败的解决方案

问题背景

在AFL++ 4.20c版本中，用户在使用afl-clang-lto编译工具链时遇到了一个严重的编译错误。当尝试编译某些项目（如Wireshark）时，编译器会输出"associated metadata must have a global value"的错误信息并中止编译过程。

错误现象

编译过程中，LLVM会输出多行类似以下的错误信息：

associated metadata must have a global value
ptr @__sancov_gen_.19
!1598 = distinct !{null}

最终导致LLVM报错并终止编译：

LLVM ERROR: Broken module found, compilation aborted!

问题原因

这个问题源于AFL++的SanitizerCoverageLTO插桩模块在LLVM 15及以上版本中的注册方式。在4.20c版本中，该模块使用了registerFullLinkTimeOptimizationEarlyEPCallback进行注册，这可能导致在某些情况下元数据关联出现问题。

解决方案

经过分析，发现将注册回调函数从registerFullLinkTimeOptimizationEarlyEPCallback改为registerFullLinkTimeOptimizationLastEPCallback可以解决这个问题。这个修改确保了插桩过程在链接时优化的最后阶段执行，避免了元数据关联的问题。

具体修改位于instrumentation/SanitizeCoverageLTO.cc文件中：

#if LLVM_VERSION_MAJOR >= 15
            PB.registerFullLinkTimeOptimizationLastEPCallback(
#else

验证结果

经过测试，这个修改可以成功解决编译失败的问题：

1. 使用修改后的版本可以正常完成Wireshark项目的编译
2. AFL++的模糊测试功能可以正常工作并产生预期结果
3. 简单的测试用例（如直接使用afl-clang-lto编译单个.c文件）也能正常通过

技术背景

这个问题涉及到LLVM的链接时优化(LTO)机制。LTO允许编译器在链接阶段进行全局优化，而AFL++的插桩需要在特定阶段介入。使用EarlyEPCallback可能在优化过程中过早执行插桩，导致后续优化阶段出现元数据不一致的问题。而改为LastEPCallback则可以确保插桩在最后阶段执行，避免这类问题。

建议

对于遇到类似问题的用户：

1. 可以尝试升级到已修复该问题的AFL++版本
2. 如果暂时无法升级，可以手动应用上述修改并重新编译安装AFL++
3. 考虑使用LLVM 19版本，因为新版本通常有更好的兼容性

这个问题已经在AFL++的开发分支中得到修复，建议用户关注官方更新以获取稳定版本。