反编译算法研究与实现

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:JK0803_hlw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件维护的开销占软件总费用比重的增大,以用反编译合法地位的确定,作为软件逆向工程重要组成的反编译受到国内外的极大重视,成为计算机软件研究前沿的热点之一.当前,反编译研究主要集中在两个方向,基于编译文法的逻辑程序设计模型和基于图论的函数式程序设计模型,但二者分别具有实用性差和理论性差等缺点.通过对目标代码存储特性的大量分析,该文在反编译过程的不同阶段结合了这两种模型,从方法和理论上对反编译进行了深入系统研究,提出了若干效算法.该文所提出的算法及思想弥补了反编译理论和数据流分析方法等方面的不足.
其他文献
该文首先介绍了专家系统的产生、发展和现状,详细地阐述了构造专家系统的基本技术,包括知识获取、知识表示、推理机制和解释机制,在并此基础上,论述了正向推理和反向推是策略
分布式人工智能(DAI)是人工智能的前沿课题,开放的多智能体系统(MAS)是分布式人工智能的重要研究方面.该文研究的重点是开放的多智能体系统的通讯问题.它包括通讯方式和通讯
多通道界面使用多种交互设备(语音、手势、视线跟踪等),扩大用户的输入带宽,提 高用户的交互效率.当前Internet和LAN上的网络应用有三个特点:浏览器以Web为主 ,集成了Interne
并行处理已成为现代计算机科学与技术的重要研究领域.作为并行处理的重要分支,数据并行技术被广泛应用于大规模科学与工程计算.群机系统(COW)的迅速发展使其成为并行计算系统
该文详细讨论了在光纤同轴混合网(HFC)上实现视频点播系统的各种相关问题,概要描述了曙光VOD的实现方案,着看点在于基于HFC并满足MPEG-2/DVB标准的视频点播系统与普通视频点
该文研究了自动分词和词性标注系统可以为短语识别、句法分析提供较好的基础,尤其为短语识别提供了较丰富的分词标注信息以及词频等资源.作为面向实用化系统的一部分,该课题
无线寻呼已在中国得到迅猛发展.该文介绍了无线寻呼原理,并阐述了投入实际使用的CEC无线寻呼系统的总体设计以及实现方法.CEC无线寻呼系统的研制重点是要开发适合寻呼操作特
该文主要讨论了Petri网的结构活性.研究了删除冲突源的子网中的可重复向量对原网中的死锁的作用,给出判定网活性的一个充分条件.同时,该文还讨论了活网的单调性质,在此基础上
计算机科学技术的发展与普及,使数据库的应用范围不断扩大.与此同时,数据库技术也在飞速发展,各种新产品不断出现,以关系型数据库为代表的数据库产品已逐渐趋向成熟.然而,随