基于服务网格的农业信息化共享平台的研究

为解决农业信息化中服务共享的问题,本文提出了一个基于服务网格的农业信息化资源共享平台的框架,介绍了该框架的组成结构及框架中需要遵循的协议规范,并通过一个简单实例证明了该框架的可行性.     

基于中间语言的逆编译系统CDS

为了帮助程序员理解、分析软件,减轻人的劳动强度,我们设计了基于中间语言的逆编译系统CDS。CDS的过程首先把机器语言程序转换为中间语言程序,然后进行数据类型和控制流程分析,最后产生目标高级语言程序。     

逆编译系统CDS中的程序控制流程分析

本文介绍了逆编译系统中程序控制流程分析CFA(Control Flow Analysis)的方法。该方法在将机器语言程序抽象为控制流图的基础上,进行结构化的和非结构化的归约,从而产生用高级语言语句表示的功能等价的程序控制流程。因采用与机器语言无关的抽象流图表示,该方法有很强的适应性。     

基于J2EE体系结构的MIS公共构件提取与设计

文章首先提出公共构件提取与设计原则,总结了MIS公共构件的2大类型:功能类公共构件和信息实体类公共构件;提出了针对两类公共构件的"MIS公共构件提取与设计过程模型".该模型分为3个阶段:公共构件提取、公共构件接口提取与初步设计以及公共构件基于系统体系结构的设计,并在淮北煤矿安全管理信息系统中给出上述过程模型和方法的应用.     

逆编译系统CDS中的数据类型分析

本文提出了一种新逆编译中数据类型分析及恢复的方法。该方法通过参考指令操作数长度、用定值引用链构造变量的“环境信息”、以及函数间类型传播等手段将机器语言程序中已经完全消失的变量类型恢复成高级语言形式的类型表示。由于采用多种途径,该方法所恢复的变量类型有较高的准确性和很好的完备性。