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

摘要：

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

关键词：反汇编代码、中间表示、结构化操作语义、形式语义、抽象表示

所属期刊栏目：31

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家863高技术研究发展计划基金项目2007AA01Z483;河南省科技创新基金项目082102210011

在线出版日期：2010-08-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2880-2882,2886