一种基于混合密码算法的Java类文件保护技术

传统的Java类文件保护方法存在被软件工具和反编译保护算法及利用其他接口进行破译等问题。通过在Java程序的运行环境———虚拟机中最底层Zip算法的开放源代码嵌入AES密码算法和RSA密码算法,提出一种安全性较高的基于混合密码算法的Java类文件保护方法。实验结果显示：该方法具有与AES和RSA一样的安全性,解决了传统保护方法的问题,比传统的方法有更安全的保护作用。     

列检微机控制试风系统的研制

介绍了列检微机控制试风系统的研制与实现．系统包括现场控制机系统、无线遥控子系统，列尾风压子系统和远程控制机系统．主要介绍了单片机测控、无线数传、DTMF解码、数据通讯和通信协议．     

软件维护与逆向工程评述

本介绍并分析了近几年在软件维护与逆向开程领域中的一些研究工作。这些工作涉及软件维护模型，程序观察，程序数据库，超本，程序高层抽象和反编译等内容。     

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。     

基于数据流分析的寄存器参数恢复方法

针对在反编译IA32体系结构可执行程序过程中涉及的寄存器参数恢复问题,基于IA32适用的ABI约定,分析寄存器参数的特征,借鉴数据流分析中到达-定义分析及使用-定义链等经典方法,利用寄存器定义和使用等信息,提出一种寄存器参数的识别、处理及实参恢复的方法。     

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation

The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in principle, has not been widely applied in practice mainly because of the difficulty in finding a partial evaluation strategy which always obtain “quality” compiled programs. In spite of this, in recent work we have performed a proof of concept of that, at least for some examples, this approach can be applied to decompile Java bytecode into Prolog. This allows applying existing advanced tools for analysis of logic programs in order to verify Java bytecode. However, successful partial evaluation of an interpreter for (a realistic subset of) Java bytecode is a rather challenging problem. The aim of this work is to improve the performance of the decompilation process above in two respects. First, we would like to obtain quality decompiled programs, i.e., simple and small. We refer to this as the effectiveness of the decompilation. Second, we would like the decompilation process to be as efficient as possible, both in terms of time and memory usage, in order to scale up in practice. We refer to this as the efficiency of the decompilation. With this aim, we propose several techniques for improving the partial evaluation strategy. We argue that our experimental results show that we are able to improve significantly the efficiency and effectiveness of the decompilation process.     

C反编译中逻辑分支语句的识别及复合研究

在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝策略,大大简化了算法复杂度。最后给出算法实例和复杂度分析,验证了算法的正确性和有效性。     

逆编译中面向用户的中间语言设计和实现

逆编译系统中中间语言的设计和实现极大地影响逆编译的实用型和通用性 .文中介绍了一种结构简单、可读性强的中间语言 ,它既具有高级语言控制结构 ,又能对汇编语言数据类型进行规范 .用户可以通过阅读中间语言程序来分析、理解和消化软件 .该语言已在基于知识的逆编译系统中应用 .     

一种基于数据流分析的数据类型推导方法

类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是一种基于数据流分析的类型分析方法,通过将多种数据类型构造为类型格的层次结构,构建包含类型信息的数据流方程,在推算数据流方程的过程中对指令中的操作数类型进行推导。