指令描述的自动检测技术

Automatic checking of instruction representations

通过使用高级说明语言描述指令集,自动生成指令编码和解码程序,使单调乏味而且非常容易出错的机器代码重定向工作自动化,并且通过反汇编测试平台对这项描述的正确性实现自动检测。这对于64位、具有更高的指令级并行性(ILP)的IA-64,在二进制指令代码流的自动分析和变换,基于机器和操作系统的描述来实现IA-64二进制自动翻译和逆向工程中有重要的意义。概述了对IA-64指令的SLED描述,详细阐述了利用NJMCT自动生成反向工具的设计与实现技术。

By describing instruction setting in a high-level specification language, the code for encoding and decoding instructions are generated automatically. Moreover, by disassembling test platform, its correctness is checked automatically. To a processor of 64 bits, supply more ILP, it is very significant for automatic analysis and transform of IA-64 binary instruction streams in the realization of automatic translation of binary and reverse direction engineering based on the descriptions of computer and operating system. The representations of IA-64 instructions based on SLED are discussed. The technique of the design and the implementation which produces the reverse tool automatically by NJMCT are introduced detailedly.