可执行代码简化中间表示的设计与实现

Design and implementation of simple intermediate representations for executable code

为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。

To ensure simplicity and stringentness of analyzing executable code,a design method of a simple assembly language inter-mediate representation（SAIR） for executable code is presented.Firstly,according to the characteristic of the assembly language in-structions,SAIRs’ syntactic is given and its structural operational semantics is described in detail.Then,the assembly instructions are classified and the mapping relation of assembly code with the SAIR is established.The assembly code may simplify into SAIR through the mapping relations.Finally,the example of an assembly code transform into SAIR is given.The presented SAIR avoids the complexity of various CPU instruction systems and their addressing mechanisms and does not concern details related with target platforms.SAIR enjoys good readability,which means easily comprehensible and improved analysis efficiency.