differential_testing_of_x86_disassemblers:x86反汇编程序的差异测试

x86反汇编程序的差异测试 x86反汇编程序将机器代码流转换为汇编指令序列，由于对指令的错误解码，这些汇编指令可能会产生完全不可靠的结果。 这个项目是关于指令解码器的正确性的，它是反汇编程序的组件，负责使用基于差异分析的n版本反汇编方法对Intel x86体系结构进行解码的n版本反汇编方法来解码机器指令。 给定任意字节字符串，我们使用多个（n-1）反汇编器对可能从字符串的第一个字节开始的指令进行解码，然后比较各个反汇编器的输出以检测差异。 任何差异都是至少一个经过测试的反汇编程序的指令解码器存在故障的征兆。 第n个指令解码器是CPU辅助的指令解码器，它不执行自身的解码，而是将责任委托给在CPU中实现的完美指令解码器。 虽然它不输出反汇编代码，但它可以推断有关字符串编码的指令的某些信息（例如，指令是否有效，指令的长度以及操作数的类型），以检查被测试者产生的输出是否反汇编程序符合指令格式。