面向VLIW处理器的GAS汇编器实现

DSP处理器采用VLIW结构提高了指令级并行度,同时也增加了为其开发汇编器的难度.本文在汇编器GAS(GNV Assemblor)的基础上,讨论了为VLIW结构DSP开发汇编器的关键技术.该技术通过分析汇编指令的串并行信息为DSP产生指令包;通过相关性检查改善了代码膨胀问题,在保证汇编器功能正确的同时,提高了性能.     

基于类型注解的认证编译器设计与实现

基于类型注解的认证编译器是安全策略系统的核心部件，它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86／linux汇编语言程序，而且还可以根据类型安全策略的要求产生带注解的汇编程序．实验结果表明，新设计的认证编译器可实现：①类型安全的C语言子集的编译；②许多标准的局部优化；③可以对数组运行时越界操作进行检查．由于安全策略系统的证明是建立在含注解的代码基础之上的，因此，该认证编译器在移动代码安全检查中非常有用。     

一种快速构造汇编器的方法及其应用

本文给出一种快速构造汇编器的方法.这种方法的特点是：借助lex和yacc分别生成汇编器的词法和语法分析器;指令在汇编器中以一种内部表示的形式存在;指令的编码信息存放在数据表格中,编码一条指令时使用一个通用的过程查询这些表格以决定指令的编码格式,然后调用相应的编码函数产生指令的机器代码.通过这种方法构造的汇编器是易修改的.本文最后叙述这一方法在实现一款VLIW DSP汇编器时的应用.     

微程序汇编器的设计与实现

本文叙述了微程序汇编器的多种设计方法,比较了有关方法的优缺点。结合一个在POP-11机上实现的,已在实际使用的微汇编器,讨论了实际实现微汇编器时遇到的一些问题。并就编写微汇编器所使用的语言,伪指令的设置,各种选择开关的使用,错误信息的输出,目的代码和指令映射器代码的生成,高级微汇编器等问题进行了初步探讨。     

嵌入式软件设计中编写可移植的C代码

程序员都希望尽可能地重用自己的代码,即不需要任何修改,只是简单地重新编译就可以在其他系统上运行。但是,处理器架构、汇编器语法、C编译器实现、操作系统接口都会对代码的可移植性产生不同程度的影响。首先,汇编代码是不可移植的,例如ARM汇编语言编写的代码不可能直接运行在x86处理器上,这是因为ARM和x86的指令／机器码不同。其次,虽然MASM和NASM汇编器都可以生成x86机器码,但是由于它们的语法并不相同,因此也不能直接重用。最后,不同操作系统的系统调用／应用程序编程接口相差甚远,也严重地阻碍了代码重用。     

基于宏指令集的专用汇编器的研究与实现

针对将复杂算法转化为硬件电路难度很大的问题,设计一种专用汇编器,可将由宏指令组成的汇编语言自动转化为二进制代码表示的机器语言,并根据宏指令集计算机理论的系统结构,将二进制代码组织成VHDL语言描述的状态机输出,便于进一步的硬件优化设计。性能测试结果证明,该汇编器支持从汇编语言到硬件电路设计语言的自动转化,可较大地提高用硬件电路实现复杂算法的研发效率。     

C程序调用内部汇编器高级

本文介绍Ｃ语言内部汇编器的使用技巧，使得在Ｃ程序很容易加入汇编代码，实现Ｃ程序与汇编代码的宛美统一，从而完成许多单独用Ｃ程序很难或不能完成的任务，同时又能保证很高的程序质量。     

基于嵌入式系统的交叉汇编器的研究与实现

本文论述了一个基于嵌入式系统的GNU交叉汇编器的研究与实现。首先介绍了目标处理器的体系结构,然后分析了GNU汇编器的一些基本数据类型和它的工作机制,最后论述了如何从GNU汇编器移植到目标机为MIPSX处理器的交叉汇编器。     

HTML5新输入类型及其对RIA界面效率支持研究

HTML5新增了13个新的表单输入类型及浏览器内置的表单验证功能为RIA Web应用提供了更好的支持.文中以典型的RIA开发平台Visual WebGui为参照基础,对HTML4和HTML5在实现表单输入和表单输入验证的代码简易度进行了研究.根据Visual WebGui应用程序在客户端产生的HTML4文件和脚本文件,得到了HTML4和JavaScript实现这些表单输入类型及其验证所需要的代码字符量,与HTML5实现这些表单输入类型及其验证所需要的代码字符量作比较,并据此得出HTML5新的表单输入类型极大地提高了RIA的客户端代码生成及客户端执行效率     

C程序调用——内部汇编器高级技术

本文介绍C语言内部汇编器的使用技巧,使得在C程序中很容易加入汇编代码,实现C程序与汇编代码的完美统一,从而完成许多单独用C程序很难或不能完成的任务,同时又能保证很高的程序质量。     

基于流分析的可执行程序结构化表示工具

直接面向可执行程序进行安全漏洞分析时,首先需要得到二进制代码的中间语言表示。探讨了流分析技术在汇编代码理解中的应用,并在Linux平台上实现了一个轻量级汇编代码结构化表示工具BESTAR。该系统利用控制流和数据流分析技术识别通用控制结构,分析程序执行流,重构表达式和函数,发现数据依赖关系,将汇编代码转换成一个结构化、易理解的中间语言程序,为进一步进行安全分析打下了基础。     

飞思卡尔S08系列机器码文件下载软件的开发

嵌入式产品进入生产过程以后,需要一款将机器码文件下载到目标芯片中的软件。下载软件通常使用USB接口与调试器通信,调试器使用JTAG或BDM接口与目标芯片通信。飞思卡尔S08系列芯片的机器码文件是S19记录,是一种基于字符形式的可执行文件记录格式。使用飞思卡尔开源的BDM调试器,设计并实现了S19记录的下载软件。文中分析了开源调试器的接口,分析了下载流程并设计了参数可配置的Flash下载程序。此外,文中详细阐述了下载过程中对目标芯片RAM的划分。该设计的下载软件利用XML配置文件实现了对飞思卡尔S08系列所有芯片的下载支持。     

向PE文件中插入代码技术的研究

PE文件格式是Windows操作系统引入的可执行文件格式。论文介绍windows平台下PE文件的基本结构。重点阐述了在不重编译源码的前提下实现代码插入技术所涉及的基本任务:把代码插入到PE文件中可用的空闲空间或者在文件尾部添加一个新的节来插入代码;如何用一般方法钩住程序的控制和和重定位插入代码;插入代码如何获取对其有用的windowsAPI函数的地址。向PE文件插入外部代码技术的研究是很有价值的,它对反PE型病毒和软件加壳技术的研究都很有用。     

Dynamic compilation in the unix environment

A system for dynamic compilation under the Unix operating system is described. The basis of the system is an incremental assembler that can be used statically or during program execution to insert or replace a module in an executable image. All cross-module references are via offets into a run-time symbol table. All generated code is independent of its location or the location of the symbol table. The symbol table and all modules reside in memory segments compatible with the memory allocator malloc() . The symbol table origin is maintained in a processor register. Library procedures allow the assembler (or C compiler) to be called to alter the currently executing program, or to place a stub function which acts as a trap, so that when the stub is invoked it caues a file to be dynamically compiled into the executing program to replace the stub with a bona fide procedure. This facilitates the construction of advanced interactive environments using native code. Some example applications, to Prolog and to incremental compilation, are considered.     

目标代码静态反汇编技术研究与实现

软件通常以二进制文件的PE格式发布,但它不利于阅读和分析.通过反汇编分析器可以将二进制文件转化成高级语言的汇编指令,从而有利于对目标代码的分析,方便对目标代码进行软件保护相关的操作.实验表明,线性扫描和递归遍历相结合的反汇编分析算法取得较好的效果.     

一种实现仪器菜单动态配置的方法

阐述了一种实现仪器菜单动态配置的方法：主应用程序调用相应的仪器菜单解析程序;解析程序解析菜单数据配置文件,并向主应用程序返回显示代码;显示代码经编译、链接,形成可执行的二进制文件;二进制文件运行后显示相应的仪器菜单。运用该方法可以方便灵活地修改仪器菜单显示界面。     

Methods and software tools to support combined binary code analysis

Methods and tools for binary code analysis developed in the Institute of System Programming, Russian Academy of Sciences, and their applications in algorithm and data format recovery are considered. The executable code of various general-purpose CPU architectures is analyzed. The analysis is performed given no source codes, debugging information, and specific OS version requirements. The approach implies collecting a detailed machine instruction level execution trace; a method for successively increasing presentation level; extraction of algorithm’s code followed by structuring of both code and data formats it processes. Important results are obtained, viz. an intermediate representation is developed that allows carrying out most preliminary processing tasks and algorithm code extraction without having to focus on specifics of a given machine; and a method and software tool are developed for automated recovery of network message and file formats. The tools are integrated into the unified analysis platform that supports their combined use. The architecture behind the platform is also described. Examples of its application to real programs are given.     

DSP外部Flash存储器的自烧写方式研究

阐述了Flash存储器在线编程的自烧写程序设计思想.被烧写目标文件作为数据嵌入到烧写程序中,经过编译链接生成最终的执行文件.运行烧写执行文件时,执行文件时将嵌入的目标数据烧写到Flash存储器中,从而实现在线或在系统编程.给出了相关程序的核心代码,并测试通过,可作为DSP嵌入式系统设计的参考.     

Linux寄生程序加载动态库的研究与实现

寄生程序是指注入到可执行文件中的程序代码,被广泛地应用在二进制文件加解密、版权保护等领域。病毒也是寄生程序的一种。Linux下的寄生程序很难利用宿主没有加载的动态连接库,使其功能受到很大限制。该文通过对ELF动态连接机制的研究,采用了一种寄生程序通过proc文件系统进行加载和利用动态库的方法,并对这种方法进行了实现。     

一个面向对象软件自动测试框架的设计和实现

介绍了一个测试用例驱动的面向对象软件自动化测试框架(简称为TCDA).TCDA使用UML作为形式化的分析和设计规格说明,从UML的体系结构视图中自动获取测试用例,并以XML的形式保存这些测试用例.TCDA可以根据具体编程语言,将测试用例翻译成由一系列源文件组成的测试脚本.测试执行过程中,测试脚本首先会被编译和链接,生成可执行文件,接着这些可执行文件将被运行,同时测试结果将被记录和分析,并最终生成一个结果分析报告.TCDA的原型系统使用Java实现.该系统包括测试配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块,分别支持以上描述的过程.