本文研究如何将差分模糊测试（differential fuzzing）应用于 x86-64 指令解码器的错误发现。传统模糊测试依赖崩溃、挂起或内存访问错误作为 oracle，而差分模糊测试将同一输入在不同实现之间的行为差异作为潜在错误信号。作者提出了 MISHEGOS，一个新颖的差分模糊测试器，专门用于发现指令解码器之间的解码差异。MISHEGOS 的架构包括一个过近似（overapproximated）的机器指令模型，用于在变长指令架构上滑动生成测试用例，从而高效探测解码器的边界行为。该工具每小时可在普通硬件上生成数亿条解码器测试用例。作者在不依赖硬件解码器作为 ground truth 的情况下，利用 MISHEGOS 在多个流行的 x86-64 指令解码器中发现了数百个错误。此外，MISHEGOS 提供了一个可扩展的分析框架，使用户能够针对单个解码器发现错误，或在多个解码器之间分析各种不一致。论文还讨论了解码错误和不一致的安全影响，例如可能导致反汇编器、二进制分析工具或安全产品在生产环境中产生误判。作者以宽松许可证公开了 MISHEGOS 的源代码。本文的主要贡献包括：首次系统性地将差分模糊测试应用于指令解码器领域；提出了一种针对变长指令集的滑动模糊策略；构建了高吞吐量的测试生成与差异分析框架；并通过实验证明了该方法在发现真实解码器缺陷方面的有效性。适合从事二进制分析、反汇编器开发、模糊测试和安全工具研发的研究人员与工程师阅读。

二进制重写是一种在不访问源代码的情况下对软件进行插桩、定制、优化和加固的快速发展的技术。然而，由于文献中往往掩盖了这些工具的局限性，用户对其实际应用常感困惑，这阻碍了它们的广泛采用。针对这一不足，本文收集了十种流行的二进制重写工具（如DynInst、HDBI、RetDec等），并对其在广泛的输入二进制类别上的通用性以及生成的重写二进制文件的功能可靠性进行了系统评估。此外，还评估了重写工具本身的性能以及它们生成的重写二进制文件的性能。实验涵盖了不同编译选项（如O0、O2、O3）、不同编译器（GCC、Clang）生成的二进制文件、静态链接与动态链接、位置无关代码（PIE）与非PIE、以及strip与未strip的二进制文件。结果表明，没有一种工具能完美处理所有类别，且功能可靠性普遍存在缺陷，例如某些工具在特定二进制类型上崩溃或产生不正确输出。性能方面，重写工具的开销和生成代码的运行效率也有显著差异。本文旨在为用户选择合适的二进制重写工具提供基准参考，并推动该领域的发展。