反编译中的静态库识别研究

库函数的识别是整个反编译过程的一个重要组成部分。根据可执行程序的静态库的识别过程,该文提出了在这个过程出现的中间代码生成、伪函数模块识别、库函数提取、库函数识别等问题,并给出了对这些问题的解决方法。这些方法在实际的静态库的识别中得到很好的应用。     

8086C反编译系统中库函数识别技术及其实现

在8086 C反编译系统中,我们把模式识别原理应用于 C库函数的识别.本文首先分析了C库函数在目标代码中的组成特点,然后介绍了8086 C反编译系统中的库函数模式识别技术,即C库函数识别特征的提取、识别的模式匹配方式和库函数特征代码识别表的建立,最后介绍了该库函数识别技术在 8086 C反编译系统中的实现方法.     

反编译中的库函数识别的实现研究

库函数的识别是整个反编译过程的一个重要组成部分。结合反编译的整个过程特点,全面地分析了对可执行程序的静态库和动态库识别的实现技术问题,并给出了相应可行的实现方案。在实际中得到了很好的应用。     

C反编译库函数识别的技术难点及解决方案

库函数的识别是Ｃ语言反编译器的重要组成部分，此文论述了Ｃ反编译库函数识别中存在的技术难点，并给出其解决方案。     

反编译中用户函数与库函数同名的区分技术研究

ITC反编译系统应用了基于动态链接信息的库函数快速识别技术,对于绝大部分待翻译IA-64二进制可执行程序中的库函数它都能正确识别,但是当二进制可执行程序包含有与库函数同名的用户函数时,就可能会出现问题.作者在深入分析基于动态链接信息的库函数快速识别技术所导致的问题原因的基础上,充分研究了ELF64格式二进制文件的具体组...     

ARM静态库函数识别技术研究

深入地分析了"dcc"对库函数的研究,针对运行在ARM处理器上的应用程序,对静态库函数识别提出在二进制级别上动态提取库函数特征文件的方法.该方法利用ARM处理器汇编特征提取函数模块,并在此基础上根据汇编代码的寻址方式编码特征提取模式文件并进行动态签名的生成,结合哈希算法对生成的待识别应用程序函数签名和已有签名文件进行特征匹配,识别库函数相关信息.该方案能准确的识别库函数,并有效地解决识别过程中库文件过多和匹配效率之间的矛盾.     

基于特征值的模板化库函数识别

逆编译是编译的逆过程,目的是将可执行的二进制机器代码变换为功能等价的高级语言代码,它在监控恶意代码,挖掘软件漏洞的工作中起着重要的作用。而在面向对象语言的逆编译过程中,模板化库函数识别的难度和复杂性非常大。通过分析现有的C++库函数识别方法,针对库函数模板识别中特征值冲突的关键问题,提出一种改进的特征值构造方法,它能够更完整的保存库函数信息,降低特征值冲突出现的概率,并通过识别部分C++标准模板库函数验证了该算法。     

基于GTK＋的编辑界面自动生成设计与实现

通信系统中用户信息交互频繁,格式种类繁多,为解决软件编码定制用户信息编辑界面大部分工作重复繁琐的现状,应用 XML方法对图形界面元素进行描述,结合开源GTK＋图形用户界面库的使用特点,给出了一种用户编辑界面自动生成的实现方法。通过解析XML文档并调用界面控件库接口动态生成图形用户界面,实现界面设计和生成实现的分离。实践证明,运用该方法实现多样化用户信息的编辑,能够大幅降低界面设计编程的工作量,提高了软件的开发效率和可维护性。     

C反编译库函数识别的算法研究及实现

库函的识别是Ｃ语言反编译器的重要组成部分。本文首先分析了Ｃ库函数在中间代码中的存放方式以成模式；其次介绍了采用顺序－索引－链接技术构造Ｃ库函数特征表的方法，最后给出Ｃ库函数的识别算法。     

基于密码库函数的程序加解密过程分析

针对常见密码算法种类多及实现方式不同,采用现有特征扫描和动态调试的方法分析程序中的加解密过程非常困难的问题。提出一种基于库函数原型分析和库函数调用链构造的加解密过程分析方法,库函数原型分析是分析常见密码库函数所包含的密码算法知识和库框架知识,并记录形成知识库,库函数调用链是根据密码库函数调用时参数值的相等关系构建的库函数调用的先后关系链,最后根据知识库在链上提取展示密码库及密码算法相关知识。该方法对运用到常见库的程序中的算法的识别精确度达到近100%,能详细分析算法调用时的数据、密钥、模式,并有助于对多个算法的协同处理关系作分析。该方法有助于辅助分析木马、蠕虫之类恶意程序,也可用于检测程序对库密码算法的运用是否正确。     

面向对象软件反编译中类的识别方法研究

在反编译面向对象软件的过程中,反编译工具必须能够揭示出该软件的体系结构,因此反编译器必须能够识别出软件中的类和类中所包含的方法和属性以及类之间的关系.通过对编译器产生的面向对象软件汇编码进行细致深入的分析,归纳出了类函数的特征码,由此给出了一种能够对软件所包含类中类成员函数进行识别和归类的方法,其中运用了程序切片模拟执行算法等技术并据此开发了一个实验系统,此系统显示方法平均能识别出一个类中约80%的类函数.     

基于基本块划分的库函数快速识别技术。

分析一般函数在反汇编后的结构特征,提出一种基于基本块划分的函数识别技术,将其用于库函数快速识别的设计中。针对库函数识别中的重定位及级联识别等问题,给出解决方案,阐述建立、读取库函数特征数据库的实现方法以及库函数识别算法。实验结果证实,该技术可以准确地识别库函数。     

Research on Decompiling Technology

Decompiling,as a means of analysing and understanding software,has great practical value.This paper presents a kind of ecompiling method offered by the anthors,in which the techniques of library-function pattern recognition,intermediate language, symbolic execution, rule-based data type recovery,program transformation,and knowl edge engineering are separately applied to different phases of decompiling.Then it is discussed that the techniques of developing expert systems are adopted to build a decompiling system shell independent of the knowledge of language and program running environment.The shell will become a real decompiler,as long as the new knowledge of application environment is interactively acquired.     

Performance evaluation of fuzzy classifier systems formultidimensional pattern classification problems

We examine the performance of a fuzzy genetics-based machine learning method for multidimensional pattern classification problems with continuous attributes. In our method, each fuzzy if-then rule is handled as an individual, and a fitness value is assigned to each rule. Thus, our method can be viewed as a classifier system. In this paper, we first describe fuzzy if-then rules and fuzzy reasoning for pattern classification problems. Then we explain a genetics-based machine learning method that automatically generates fuzzy if-then rules for pattern classification problems from numerical data. Because our method uses linguistic values with fixed membership functions as antecedent fuzzy sets, a linguistic interpretation of each fuzzy if-then rule is easily obtained. The fixed membership functions also lead to a simple implementation of our method as a computer program. The simplicity of implementation and the linguistic interpretation of the generated fuzzy if-then rules are the main characteristic features of our method. The performance of our method is evaluated by computer simulations on some well-known test problems. While our method involves no tuning mechanism of membership functions, it works very well in comparison with other classification methods such as nonfuzzy machine learning techniques and neural networks.     

基于JSP技术的高校图书馆系统的设计与实现

本文介绍了一个基于JSP动态网页技术开发的高校图书馆系统的方法.该系统采用JSP JAVABEAN的设计模式,以MS SQLSEVER2000做数据库平台,通过JDBC技术访问数据库,具有书目检索、信息发布、我的图书馆等功能.     

基于二维自适应异小波基小波变换的规则纹理缺陷检测

许多纹理具有规则的重复出现的纹理单元,如纺织纤维结构。为了处理有缺陷的纹理图象,提出了一种利用不同自适应小波基与纹理模型匹配的二维小波变换的新方法。与Ｄａｕｂｅｃｈｉｅｓ的小波基不同,其行和列采用不同的自适应正交小波基,且用遗传算法得到。实验结果表明该方法能确定纹理缺陷的位置。     

A systematic method for design of multivariable fuzzy logic controlsystems

This paper proposes a systematic method to design a multivariable fuzzy logic controller for large-scale nonlinear systems. In designing a fuzzy logic controller, the major task is to determine fuzzy rule bases, membership functions of input/output variables, and input/output scaling factors. In this work, the fuzzy rule base is generated by a rule-generated function, which is based on the negative gradient of a system performance index; the membership functions of isosceles triangle of input/output variables are fixed in the same cardinality and only the input/output scaling factors are generated from a genetic algorithm based on a fitness function. As a result, the searching space of parameters is narrowed down to a small space, the multivariable fuzzy logic controller can quickly constructed, and the fuzzy rules and the scaling factors can easily be determined. The performance of the proposed method is examined by computer simulations on a Puma 560 system and a two-inverted pendulum system