指令描述的自动检测技术  

Automatic checking of instruction representations

作　　者：杨欣[1] 赵荣彩[1] 李崇[1] 

机构地区：[1]解放军信息工程大学信息工程学院计算机科学与技术系,河南郑州450002

出　　处：《计算机工程与设计》2006年第18期3344-3348,3352,共6页Computer Engineering and Design

基　　金：河南省杰出人才创新基金项目(0521000200)。

摘　　要：通过使用高级说明语言描述指令集,自动生成指令编码和解码程序,使单调乏味而且非常容易出错的机器代码重定向工作自动化,并且通过反汇编测试平台对这项描述的正确性实现自动检测。这对于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.

关 键 词：程序生成器 SLED 机器代码包 模式 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]