汇编源程序框架抽取系统设计与实现

抽取汇编源程序的流程和框架结构在反汇编、代码测试、逆向工程等技术领域中都有重要应用。目前,针对汇编源程序进行框架抽取的工具很少。本文介绍了为用户研发的汇编源程序框架抽取系统的总体结构和工作流程,然后详细论述了系统实现的关键技术,最后讨论了它的特点。     

微型机通用交叉汇编系统

本文介绍微型机通用交叉汇编系统的结构和实现。该系统由描述、转换控制和汇编三部分组成:它具有如下特点:1)通用性强:能在IBM—PC机上对各种微机的汇编源程序进行汇编;2)使用方便:用户可把由自己熟悉的微机指令系统控制的源程序,不作任何修改地在PC机上进行汇编;3)检错功能强:能准确地指出源程序中出错的位置及错误类型。     

FoxPro中数据备份时磁盘的安全性检测方法

本文详细地讨论了用ＦｏｘＰｒｏ数据管理系统开发时，数据文件备份的安全问题，提出一种通过汇编接口对磁盘进行安全性检测的方法，并给出了汇编接口和ＦｏｘＰｒｏ调用检测源程序。     

基于Itanium处理器的密码算法实现

使用ItaniumCompiler7.0编译器对现有分组密码算法的C语言实现进行编译得到汇编代码,在对这些汇编代码进行分析时可以发现编译器并没有充分利用Itanium处理器提供的资源。针对这一问题,该文提出了在Itanium处理器上有效实现常用密码算法的方法,主要是利用Itanium处理器指令集中提供的SIMD指令提高处理的并行性,并探讨了Itanium处理器SIMD指令的使用方法。     

高性能BWDSP处理器指令代码压缩技术研究

DSP处理器的功能日益强大,软件程序的复杂程度也在不断增大,软件的代码量迅速增加。采用LZW字典压缩对由源程序指令代码经过编译、汇编后生成的二进制机器代码进行压缩,可减少指令代码存储空间大小,这样在BWDSP处理器存储空间有限的条件下可以存储更多指令程序代码,同时增加Cache命中率,提高BWDSP处理整体性能。BWDSP处理器指令Cache代码压缩系统以指令Cache块为压缩单元。在高性能BWDSP处理器平台上对典型雷达信号程序代码压缩进行仿真实验,得出平均代码压缩率为60%左右。     

在微计算机上实现对超长程序的汇编

由于微计算机的内存容量有限,其编辑/汇编程序能够处理的程序长度是有限的。以TRS-80为例,当源程序超过2500条左右时,就无法进行正常的汇编了。因为汇编的对象,必须是以源程序的形式,保存在内存指定的缓冲区中,由低端向高端排列。而系统工作时,还要建立一标号参数表,以形成相应的地址,此表由最高端向低端排列。这样,当被汇编的程序过长时,将会发现内存已容纳不下整个源程序;或是装进了源程序,却又没有足够的空间去建立标号参数表。这两种情况都将导致汇编工作无法进行。所以在正常情况下,用TRS-80微     

基于符号执行的底层虚拟机混淆器反混淆框架

针对Miasm反混淆框架反混淆后的结果是一张图片,无法反编译恢复程序源码的问题,在对底层虚拟机混淆器（OLLVM）混淆策略和Miasm反混淆思路进行深入学习研究后,提出并实现了一种基于符号执行的OLLVM通用型自动化反混淆框架。首先,利用基本块识别算法找到混淆程序中有用的基本块和无用块;其次,采用符号执行技术确定各个有用块之间的拓扑关系;然后,直接对基本块汇编代码进行指令修复;最后,得到一个反混淆后的可执行文件。实验结果表明,该框架在保证尽量少的反混淆用时前提下,反混淆后的程序与未混淆源程序的代码相似度为96.7%,能非常好地实现x86架构下C/C++文件的OLLVM反混淆。     

程序执行时间的静态预估与可视化分析方法

软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.     

“精通PIC单片机”实用技术讲座（三）PIC系列单片机的开发（中）—源程序的汇编和固化

MPLAB是一种用于Microchip公司的PIC系列单片机,基于Windows的集成开发软件。MPLAB平台具有编辑PIC单片机源程序(又称源代码);提供项目管理(创建项目),可把源代码文件加入到项目中;汇编源程序和模拟调试等的多种功能。这里所说的汇编源程序是指MPLAB可把PIC单片机的源程序转换为目标码文件的操作过程。目标码是一种十六进制的机器码,其扩展名定义为.hex。PIC单     

集成开发环境下汇编语言源程序的上机过程

汇编语言作为效率最优的计算机程序开发语言,随着计算机科学技术的发展其开发环境也在向前发展。经历了基于命令行方式的编辑、汇编、链接、运行和DEBUG调试的上机过程,从MASM6.X开始,开发汇编源程序不仅可以以命令行方式进行,而且也可以在程序员工作平台PWB这一集成式开发环境下实现汇编语言源程序的上机调试全过程。     

软件安全逆向分析中程序结构解析模型设计

提出了一种基于二进制文件的程序结构解析模型。该模型通过对二进制文件反汇编,去除汇编文件中的冗余信息,对汇编文件进行静态分析,构建带有索引依赖信息的基本块,并以该基本块为基础提取二进制程序的内部控制流与函数调用关系信息,最后给出程序内部控制流图以及函数调用关系图。该模型不依赖程序的源文件,以二进制文件为分析对象,实用性和通用性比较好;实验结果表明模型对二进制程序内部结构解析具有较高的准确性。     

Certification of compiled assembly code by invariant translation

We present a method for analyzing assembly programs obtained by compilation and checking safety properties on compiled programs. It proceeds by analyzing the source program, translating the invariant obtained at the source level, and then checking the soundness of the translated invariant with respect to the assembly program. This process is especially adapted to the certification of assembly or other machine-level kinds of programs. Furthermore, the success of invariant checking enhances the level of confidence in the results of both the compilation and the static analysis. From a practical point of view, our method is generic in the choice of an abstract domain for representing sets of stores, and the process does not interact with the compilation itself. Hence a certification tool can be interfaced with an existing analyzer and designed so as to work with a class of compilers that do not need to be modified. Finally, a prototype was implemented to validate the approach.     

A query algebra for program databases

Querying source code is an essential aspect of a variety of software engineering tasks such as program understanding, reverse engineering, program structure analysis and program flow analysis. In this paper, we present and demonstrate the use of an algebraic source code query technique that blends expressive power with query compactness. The query framework of Source Code Algebra (SCA) permits users to express complex source code queries and views as algebraic expressions. Queries are expressed on an extensible, object-oriented database that stores program source code. The SCA algebraic approach offers multiple benefits such as an applicative query language, high expressive power, seamless handling of structural and flow information, clean formalism and potential for query optimization. We present a case study where SCA expressions are used to query a program in terms of program organization, resource flow, control flow, metrics and syntactic structure. Our experience with an SCA-based prototype query processor indicates that an algebraic approach to source code queries combines the benefits of expressive power and compact query formulation     

基于动静结合的Android恶意代码行为相似性检测

针对同种族恶意软件行为具有相似性的特点进行研究,提出通过静态分析和动态运行程序相结合的方式度量软件行为的相似性。通过反编译和soot代码转换框架获取程序控制流图,利用行为子图匹配算法从静态方面对程序行为相似性进行度量;通过自动化测试框架运行程序,利用文本无关压缩算法将捕获到的trace文件压缩后进行相似性度量。该检测方法综合静态检测执行效率高和动态检测准确率高的优点,实验分析表明,该检测技术能够准确度量程序之间行为的相似性,在准确率上相较于Androidguard有大幅提升。     

基于ARM Cortex-M4的构件化汇编框架的研究

规范易用的汇编框架与样例是微处理器深层次应用开发的基础,但汇编编程复杂,并且目前针对32位ARM Cortex-M4的汇编程序资料和样例程序非常匮乏,学习难度大,开发工作困难重重。在深入分析ARM Cortex-M4汇编指令系统和寻址方式的基础上,以NXP半导体公司发布的Kinetis K(KK)系列MCU为蓝本,根据软件工程思想和构件设计理论,提出层次架构的工程框架建模思想,并构建基于ARM Cortex-M4内核的构件化汇编框架,据此制作GPlO驱动构件。指示灯闪烁样例工程的设计及测试结果表明了汇编框架规范、实用、易用,能降低嵌入式汇编语言的学习难度。框架能为业界基于ARM Cortex-M4的汇编开发提供参考。     

A digital twin-driven human-robot collaborative assembly approach in the wake of COVID-19

In the wake of COVID-19, the production demand of medical equipment is increasing rapidly. This type of products is mainly assembled by hand or fixed program with complex and flexible structure. However, the low efficiency and adaptability in current assembly mode are unable to meet the assembly requirements. So in this paper, a new framework of human-robot collaborative (HRC) assembly based on digital twin (DT) is proposed. The data management system of proposed framework integrates all kinds of data from digital twin spaces. In order to obtain the HRC strategy and action sequence in dynamic environment, the double deep deterministic policy gradient (D-DDPG) is applied as optimization model in DT. During assembly, the performance model is adopted to evaluate the quality of resilience assembly. The proposed framework is finally validated by an alternator assembly case, which proves that DT-based HRC assembly has a significant effect on improving assembly efficiency and safety.     

一种基于切片技术度量Java耦合性的框架

在研究面向对象的度量问题时,人们通过简单的统计方法和基于信息源的方法来度量其中的一些特征,例如基本度量、CK度量和AoKi度量等。文中采用一种基于程序切片的方法来度量Java的耦合性问题,通过对J ava源程序中存在的耦合关系的度量,得到了一种比传统方法更精确的耦合度量方法。     

基于符号约束的PLC程序正确性验证

符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器(PLC)程序的正确性验证,能够发现程序中的逻辑错误。人工计算符号约束不仅冗杂枯燥,而且错误率高。针对语句表形式的PLC程序,提出一种基于符号约束的正确性验证方法,通过分析PLC源代码的控制流及数据流,构造程序的控制流图并将其转换为静态单赋值形式的三地址码,最后使用迭代计算的方法求出每个变量的符号约束。