AFLplusplus中使用CLASSIC插桩模式的问题分析与解决

背景介绍

AFLplusplus作为著名的模糊测试框架AFL的增强版本，提供了多种插桩(instrumentation)模式，其中CLASSIC模式是对原始AFL插桩方式的兼容实现。在实际使用中，开发者可能会遇到CLASSIC模式与某些特定项目不兼容的问题。

问题现象

当使用AFLplusplus的CLASSIC插桩模式（通过设置AFL_LLVM_INSTRUMENT=CLASSIC）配合旧版forkserver（通过设置AFL_OLD_FORKSERVER=1）对Hermes JavaScript引擎进行模糊测试时，程序会在执行过程中崩溃。类似问题也可能出现在其他项目中。

技术分析

CLASSIC插桩模式是AFLplusplus为保持向后兼容性而保留的传统插桩方式。它采用与原始AFL相似的插桩策略，但在某些情况下可能与现代编译器或复杂项目存在兼容性问题。

旧版forkserver模式（AFL_OLD_FORKSERVER=1）是为了兼容早期AFL版本而保留的功能。当与CLASSIC插桩模式结合使用时，可能会在fork服务器初始化阶段出现问题，导致程序崩溃。

解决方案

AFLplusplus开发团队已在dev分支中修复了"支持旧版forkserver"功能的相关问题。建议用户：

1. 更新至最新dev分支代码
2. 重新编译目标程序
3. 如仍有问题，可考虑：
   • 使用默认的插桩模式而非CLASSIC
   • 不使用AFL_OLD_FORKSERVER=1选项

最佳实践建议

对于类似Hermes这样的复杂项目，推荐：

1. 优先使用AFLplusplus的默认插桩模式
2. 确保使用匹配的LLVM版本（测试表明LLVM 16可以工作，但18/19可能存在兼容性问题）
3. 对于线程安全检查等编译选项，需谨慎处理，必要时可临时禁用严格检查
4. 关注AFLplusplus的更新日志，及时获取最新修复

总结

AFLplusplus作为强大的模糊测试框架，在保持兼容性的同时不断演进。遇到类似插桩兼容性问题时，开发者应首先考虑更新到最新版本，其次可尝试调整插桩模式和运行参数。对于特定项目，可能需要进行适当的编译配置调整以获得最佳模糊测试效果。