PowerPC汇编程序的反编译研究

反编译技术将二进制程序或汇编程序转换成可读性较好的高级语言代码,在代码理解、代码维护和代码安全验证等方面具有重要作用。文中介绍了一种基于Power PC汇编程序的反编译软件框架及其关键技术。该软件框架主要包括由汇编程序加载、指令系统的语义描述和汇编指令的解码所组成的前端,由数据流分析、类型分析和控制流分析所组成的中间端以及负责代码生成的后端。采用的关键技术有switch语句翻译,代码复制消除goto语句和指令习语(instruction idiom)翻译等。实验结果表明,反编译生成的高级语言程序在结构、可读性等方面都有所增强,对于辅助代码理解有指导意义。

代码与数据分离的反汇编程序设计

分离代码与数据是反汇编程序的重要设计目标。目前在反汇编程序设计中广泛采用的多遍扫描方法在理论上不能完全实现代码与数据的分离。在技术实现上又存在算法复杂、数据结构嬴肿、代码效率低、运行速度慢的不足。本文研究了目标程序中代码与数据的特点、ＣＰＵ指令的控制机制和汇编程序员编制程序时的基本原则，给出了一种在反汇编程序设计中实现代码与数据分离的新的技术实现方法。并用该方法对美国ＡＤ公司的数字信号处理芯片ＤＳＰ－２１ＸＸ系列、ＭＯＴＯＬＯＲＡ公司的６８ＨＣ１１系列、ＩＮＴＥＬ公司的８０５１和８０９８系列设计了代码与数据分离的反汇编程序。

汇编程序覆盖测试中虚拟插桩的实现

在对汇编语言源程序的测试工作中,由于其非结构化的设计思想以及众多的跳转指令,使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上,提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的测试用例在仿真测试平台上得以实现,最后通过实验检验了其正确性。

一种汇编程序的形式验证框架

在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关目标机器的形式定义、汇编程序的形式验证框架以及汇编程序指针程序性质证明等方面的研究.它们的主要特点是汇编验证框架是基于Hoare风格的程序验证方式;与指针有关的性质使用和源语言一级类似的指针逻辑推理系统进行证明;使用一个简单的类型系统完成有关指针的类型检查.

通用双精度混合基FFT运算的汇编程序

本文介绍了一种利用４８６以上微机对音频范围的实时信号数据直接进行ＦＦＴ运算的有效方法，并给出了完整的汇编语言源程序和具体应用的详细说明。由此不仅可获较高的运算速度，而且可以大幅度提高其变换精度。该方法亦具有简单、灵活和方便的特点，可以基本满足一般情况下对ＦＦＴ的使用要求，因而实用性较强。

汇编程序移植性的研究与实践

文章从对汇编程序结构标准化结构和子程序模型标准化结构的研究入手,提出了汇编程序模块共识标准,并对汇编程序模块共识标准的移植性进行了详细的分析和探讨,形成了一套易于理解、操作方便、移植性好的汇编编程方式。

语法制导翻译在汇编程序自动构造中的应用

提出了语法制导翻译用于自动构造汇编程序的方法。该方法简洁实用,自动化程度高,可用于计算机系统汇编程序的自动构造。

低频信号高精度实时FFT的87汇编程序设计

本文介绍了一种在带有87系列NDP的通用微机上进行低频信号实时FFT并大幅度提高变换精度的方法,并对其汇编语言环境下基4算法的实现、数据格式的转换及程序编制要点进行了详细说明。

DSP汇编程序优化方法的探讨

在DSP应用中,在大量实时性要求较高、数字信号处理算法复杂的应用场合,仍然需要采用汇编语言编程。怎样实现汇编程序优化,满足实时应用要求是DSP软件设计中的一个重要课题。本文以TMS320C54x处理器为例,探讨了如何发挥其多总线、流水线、循环重复机制和超标量操作等结构特点,对DSP的汇编程序进行优化。本文分析了一些基于TMS320C54x的汇编程序优化方法及相应的实验结果。在DSP的程序设计中,掌握和运用这些优化方法很有用处。

自动反汇编程序的一种解决方案

自动化反汇编的一种实现方案。

嵌入式汇编程序静态分析研究

在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术。文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考。

MCS-8089反汇编程序的一种实现方法

本文提出了实现对MCS-8098指令系统进行反汇编的一种方法,该法对指令系统进行合理分类,科学地设计指令操作码表,使程序结构清晰、简炼、开发周期明显缩短。

Turbo BASIC语言与汇编程序的连接方法

本文提出了用Turbo BASIC语言调用汇编语言程序的一种方法,较详细地阐述了实现的技术思路,并给出了一个程序实例。

汇编程序自动构造的研究与实现

通过对指令系统的分析,提出了一种可根据用户提供的机器指令格式、CPU的硬件结构以及操作数寻址方式等信息,自动构造不同的汇编程序的方法,阐述了该方法的设计思想和程序实现。通过该方法生成的汇编程序可正确地完成汇编源程序到目标程序的翻译过程,自动化程度高,提高了软件的生产效率,可用于微机系统汇编程序的自动构造。

基于Delphi的反汇编程序设计与研究

反汇编程序是一种将机器语言翻译成汇编语言的程序 .以Zilog公司新推出的Z80 182为例 ,阐述了指令卡诺图和标准指令库的建立 ;随后介绍了基于Delphi的反汇编程序原理 ,包括具体的反汇编过程 ,即 :按指令操作码查标准指令库 ,将调用、跳转目的地址符号化 ,将代词转换成立即数 ,将ASCII码、汉字内码翻译成英文字母和汉字 。

51系列汇编程序设计的优化

随着计算机事业的发展,单片机系统的应用越来越广泛.用汇编语言进行单片机程序开发的过程中,存在着和高级语言程序开发同样的问题,甚至比高级语言开发表现得更强烈,那就是对程序进行优化.

μPD7810/11反汇编程序

μPD7810/11反汇编程序是一个标准的反汇编程序,它可以把μPD7810/11单片机的机器码翻译成汇编语句,便于用户阅读和分析。在反汇编中采用了分类、链标志、对分查找、语句组合等方法,从而使反汇编过程能够准确迅速地进行。反汇编程序向用户提供了一种十分重要的软件开发手段。

一种系统信息提示的方法及其在汇编程序设计中的实现

本文介绍了系统信息提示的一种方法，井重点讨论了用８０８８汇编语言实现的方法。它采用基本信息串表和索引表，对于使用频度较高的系统，可以大大节约系统内存，具存较好的实性用。

用MPL实现汇编程序结构化控制流

讨论在ＭＰＬ（ＭＡＣＲＯＰＲＯＣＥＳＳＬＡＮＧＵＡＧＥ）环境下，实现汇编源程序的结构化控制流的方法．给出通过定义公有标号变量和自定义栈来设计结构化控制流的设计方法，并给出在高级语言中常用的控制流如ｆｏｒｎｅｘｔ、ｉｆｆｈｅｎ、ｗｈｉｌｅｄｏ、ｄｏｗｈｉｌｅ和ｓｗｉｔｃｈｃａｓｅ等在汇编源程序中的具体实现技术．这种方法可压缩汇编源代码的代码量，改善源程序的可读性。