【摘 要】
：
精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象，基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种
【基金项目】
：
国家863计划项目(2006AA01Z405);教育部新世纪优秀人才计划项目(NCET-05-0398)
论文部分内容阅读
精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象，基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法，首先将分析对象转变为运行期进程，引入实际运行申的进程信息；然后引入程序的行为特征，以程序表现出的外在行为和对外接口作为辅助信息，将此类外部特征映射到程序代码；最后基于切片思想和调试技术，获得程序切片并分析。这种方法为分析理解过程扩展了信息量，降低了复杂度，解决了分析此类软件时信息缺失和难以建立理解模型的问题。
其他文献
用有限元法对铁路客车车体进行模态分析已经广泛应用,但对车体配重的模拟还没有一种比较好的方法.文章建立了某25G型空调客车车体的详细模型,详细分析了附件质量和刚度对车体
在上篇谐波磁场三维分析的基础上，对复合转子异步电机中的谐波转矩和附加损耗进行了较详细的分析，提出了实用的计算公式。通过对样机的计算与实测，验证了实用的计算公式。通过对
注册会计师职业倦怠是审计研究的一个新领域。我国审计学术界至今尚没有开展对注册会计师职业倦怠的系统研究。在借鉴国外研究文献的基础上，探讨我国注册会计师职业倦怠的诱因
将快速自适应组合网格方法用于化学驱动态局部网格加密研究，并在国产化学驱软件ASP上实现了动态局部网格加密，局部加密区域可以降驱替前缘的移动可改变，所研制的动态局部网格加
分析了榆林某气田污水回注井堵塞原因，为现场解堵施工的优化提供了实际和理论依据。通过对污水回注系统中回注罐沉积物组成分析和沉积物上清液水质分析来研究污水回注井堵塞原
文物建筑类博物馆是指依托文物建筑建设的博物馆。它是中国博物馆体系中的重要类别。文物建筑再利用为博物馆,不仅仅是建筑本体的功能转换,也体现了文化空间价值观意义上的微
又到一年供暖季。清洁供暖成为热点话题,煤炭成为焦点。2016年12月,习近平总书记在中央财经领导小组第14次会议上指出,推进北方地区冬季清洁取暖,是重大的民生工程、民心工程
关于成瘾,有两大主导理论：意志模型与疾病模型。成瘾可以从意志角度出发去解释,然而,成瘾者大脑进程的受损削弱了其意志的决定性力量,这就使得意志不能恰当地对行为实施作用,
一九八○年七月十日,应中日友好协会的邀请,日本茶道里千家青年之船组织的日中友好文化代表团四百余人专船渡海来我国进行友好访问,并在我国首都人民大会堂举行了茶会。中国
目的观察消痰利水凝胶敷脐联合顺铂腹腔灌注治疗胃癌腹水的临床疗效。方法将78例胃癌腹水患者随机分为治疗组39例和对照组38例。对照组予单纯顺铂腹腔灌注,治疗组加用消痰利