二进制翻译中间接调用动态链接库恢复技术

针对使用C后端的静态二进制翻译框架，提出了间接调用动态链接库函数恢复方法。该方法使用伪地址来代替需要动态解析的动态链接库函数的地址，在后端构建了伪地址与目标机上动态链接库函数地址的对应表，在后端C代码生成过程中插入根据伪地址获得动态链接库函数地址的查表代码，使用查表得到的库函数地址恢复对于动态链接库函数的间接调用。     

VAX／VMS Ada编译中间语言演变

Ada源程序,经过Ada编译翻译,产生机器语言代码,其间经过几次中间语言演变而来。即源程序到抽象语法树AST,到属性中间表示DIANA树,到转换成易于代码生成的线性化元组式中间语言,到机器代码双链表式的伪目标码,最后经过代码输出得到目标代码。下面结合一个源程序实例,具体叙述中间语言形式。     

可移植编译程序的代码生成

本文给出了对自动化可移植代码生成技术的分类,并对有关这些技术的工作进行了综述。可移植代码生成的研究方法共分三类:解释代码生成,模式匹配代码生成以及表驱动代码生成。解释代码生成方法是先为虚拟机生成代码,然后再把该代码扩展成实际目标代码。模式匹配代码生成方法是把机器描述和代码生成算法分离。表驱动代码生成方法是利用形式化的机器描述和代码生成程序的生成程序,自动构造代码生成程序。本文对这些技术进行分析,并对各种自动代码生成算法进行评述。     

静态二进制翻译中回调函数逆向恢复技术研究

回调函数的逆向恢复是静态二进制翻译的一个难点。针对使用C后端的静态二进制翻译框架,提出并实现回调函数逆向恢复方法,该方法结合代码间隙分析,在后端C代码生成过程中插入映射源回调函数地址到目标机函数地址的代码。相对于使用解释器的方法,该方法具有实现简洁,在目标机上运行速度更快的优点。     

静态二进制翻译中间接过程调用恢复技术研究

间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。     

基于有限状态自动机的复合事件检测的程序实现

通过对复合事件的自动机检测模型的研究,讨论了构造事件表达式的自动机模型的完整过程。给出了在DFA向程序转化的过程中两种代码产生算法;直接代码生成算法,表驱动代码生成算法。     

基于代码生成的Web信息系统工程化开发方法

本文提出了一种基于代码生成的Web信息系统工程化开发方法,以用于以数据库为核心的Web信息系统的自动生成.采用类似编译器基础架构的特定域软件体系结构,实现了前端与后端的共享;提出了一种用于代码生成的专用代码方法,使得生成的代码便于二次定制与维护;提出了多表关联、基本操作组合以及数据库驱动的目标平台无关工作流机制等方法,支持复杂模式业务逻辑的自动生成.     

二进制翻译中代码生成的子图覆盖算法

二进制翻译技术能够有效解决二进制兼容问题,促进新型体系结构的发展,也是虚拟机技术的重要组成部分,具有重要的研究和应用价值,但是其效率仍然有待提升,特别是目标代码生成的效率。设计了一种高效的目标代码生成算法——代码生成的子图覆盖算法(subgraph covering for code generation,SCCG),能够以尽可能少的代价生成精简的目标代码。该算法应用数据流图对二进制代码中的基本块进行建模,获取指令间的数据相关,并采用基于子图覆盖的贪心算法得到目标代码。在TransARM原型系统中进行了实现和测试,结果表明该算法获得了更优质的目标代码,并且成本得到了有效控制。     

嵌入式实时操作系统Salvo的内核分析与配置

简要介绍 Salvo 的基本特点;详细分析 Salvo 的内核管理、运行机制;深入探讨 Salvo 用户目标代码的生成与配置,并给出不同用户目标代码生成方式下的用户目标代码生成流程。     

基于近似串匹配的地名数据库建设探析

地址编码数据库在城市信息化建设中具有极其重要的地位．本文从绍兴市地名实际出发,就地址编码数据库的关键技术：地址标准化和地址匹配及数据库设计等方面进行了探讨,并重点介绍了多模式近似串匹配算法在地址匹配阶段的应用．在地址标准化中,讨论了规范化地址内容的表达形式,把标准地址表达为行政区划名、主地址、子地址三部分构成,建立层级地址数据模型和地址输入模型,基于行政区划代码进行地址代码编制;讨论了地址标准化的过程,给出了标准化示例．最后还给出了近似串匹配算法在地址匹配阶段应用的伪代码．     

IA-64二进制代码switch语句恢复技术研究

在对IA-64二进制代码进行分析的过程中,一个基本的问题就是识别通过跳转表实现的switch语句中n-条件分支的目标地址,该问题的解决使得对指定过程的机器指令的解码更加完整。文章基于切片和表达式置换技术,结合IA-64中为switch语句生成的汇编代码特点,给出了恢复跳转表及目标地址的方法,从而可以将包含跳转表的IA-64二进制代码恢复为高级switch语句。     

基于SDL语言代码自动生成技术研究

1.引言目前嵌入式实时系统的复杂度越来越高,自动代码生成技术已成为缩短嵌入式系统开发时间和降低开发成本的主要方法之一,也是近十年软件开发工具研究的热门课题。所谓自动代码生成,即把形式化描述的系统需求转化为特定软硬件平台上基于某一目标语言的系统实现。代码自动生成技术研究虽然已经取得一定成果,也被应用到一些商业工具中,但生成代码的执行效率、与实际软硬件平台的结合等问题限制了其在实际工程中的使用。根据转化程度不同自动代码生成又分为完全的自动代码生成和部分的自动代码生成,本文就基于SDL的完全自动代码生成的关键技术及其对最终代码的影响进行初步探讨。     

一种加速访存地址计算的编译优化

在国产申威高性能多核服务器系统中,基础编译系统对应用程序中访存操作进行代码生成时,没有考虑国产处理器指令特征,导致编译器生成的访存地址计算代码效率较低,影响国产高性能处理器的性能。为充分发挥国产处理器高性能计算能力,提出一种加速访存地址计算的编译优化方法。加速访存地址计算编译优化基于处理器支持带扩展因子的运算指令,在编译器后端内存地址表达式合法性检查中,添加针对乘加模式的地址计算表达式合法性检查算法,自动识别地址表达式中存在的乘加运算并进行合法性检验,对符合条件的地址表达式在代码生成阶段匹配生成带扩展因子的运算指令来快速计算访存地址,从而加快访存指令的发射与执行以及应用程序中的访存地址生成,提升访存效率。使用行业标准性能测试集SPEC CPU2006对优化效果进行评测,结果表明,相比优化前SPECspeed Integer与SPECspeed Float Point两个子集,该优化方法平均性能分别提高了2.53%与1.50%。     

基于Java的代码生成器的设计与实现

采用代码生成技术能大幅提高软件开发的质量和生产率,降低软件开发的风险.目前,大多数代码生成器由于灵活性欠佳,不能完全满足软件开发的实际需要,难以在软件开发项目中得到充分的应用.该文讨论的代码生成器Generator是一个基于Java的代码生成工具,它支持多种类型的数据库设计模型,允许用户自定义代码模板和代码生成任务,适合生成基于数据库模型的任意形式的代码及相关的文本文件,具有广泛的通用性.     

面向渗透测试的攻击代码生成方法

为了解决渗透测试中大量攻击代码编写的问题,提高渗透测试效率,提出一种面向渗透测试的攻击代码生成方法.从拒绝服务(DOS)攻击入手,通过对攻击代码的多样性和相似性分析,提取攻击实现过程中的共性部分和可变要素.利用攻击模板表示攻击的通用结构,攻击原子表示攻击的通用组成,攻击元数据表示攻击的可变要素,然后通过对攻击元数据进行配置的方法实现人工定制的攻击代码生成.分析结果表明了该方法在攻击代码生成上的优点,     

基于Java的代码生成器的设计与实现

采用代码生成技术能大幅提高软件开发的质量和生产率，降低软件开发的风险。目前，大多数代码生成器由于灵活性欠佳，不能完全满足软件开发的实际需要，难以在软件开发项目中得到充分的应用。该讨论的代码生成器Generator是一个基于Java的代码生成工具，它支持多种类型的数据库设计模型，允许用户自定义代码模板和代码生成任务，适合生成基于数据库模型的任意形式的代码及相关的本件，具有广泛的通用性。     

基于Trace的即时编译器中代码生成策略的改进

针对编译循环内的查找表分派指令导致的代码重复或额外运行开销,在Dalvik虚拟机的基于Trace的即时编译器中提出了改进的代码生成算法。同已有的代码生成算法相比,该方法在划分基本块阶段获取查找表分派的信息,并将查找表分派指令转换成一系列条件分支指令,通过条件分支指令实现子Trace同主Trace的合并,避免了主子Trace切换时额外的函数调用。实验结果表明,对于循环内含查找表分派的应用程序,该算法能提升其性能。     

类PSO算法对DSP偏移分配问题的优化

用C语言编写DSP软件时,优化设计尤为重要。近年来提出了多种针对DSP代码生成阶段的偏移分配优化算法,这些算法通过调整局部变量在存储器中的布局来提高变量地址的计算效率。该文提出一种将微粒群算法与遗传算法相结合的算法(类PSO算法),对变量访问序列中各变量地址的分配进行优化,使计算地址所需的代码数量最小,从而减少程序的运行时间,提高DSP的工作效率。     

一种动态软件体系结构下的代码生成方法

代码生成技术是一种根据用户的输入自动产生代码的一种开发方式,具有规范代码,提高效率,降低代码错误率等优点,但目前针对动态系统的代码生成方法探索较少.本文通过分析动态扩展系统和基于模板的代码生成形式,提出了一种将其二者进行整合的动态自适应开发框架下的代码生成方法,并给出了在实现过程中即插即用、即删即无和热部署等关键问题的解决办法.最后通过实验验证了本方法的正确性和可行性,具有适用于复杂功能的动态系统开发过程的特点.