跳转语句跟随域分析与程序依赖图构造算法

来源 :2009中国计算机大会 | 被引量 : 0次 | 上传用户:smtl520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式,通过程序依赖图可进行控制流、数据流分析,从而获得程序切片.本文采用F(p)表达式作为源代码的中间表示形式,给出了构造控制流图、数据依赖图、控制依赖图的三种算法、进而生成程序依赖图。在深入分析结构化跳转语句带来的隐含控制依赖关系的跟随域问题基础上,提出了采用虚节点栈构造控制依赖图的算法,解决带多层结构化跳转语句程序的控制依赖关系分析问题。
其他文献
能源作物甜高粱培育及制取乙醇技术,空前被国家各级政府、科技与产业界乃至广大民众予以关注和认定。甜高粱茎杆制取乙醇项目被国家发改委、能源发展规划和“十一五”计划,并居
潮流能是一种海洋可再生清洁能源,与潮汐的涨落相伴。我国可开发潮流能质量居世界之首,资源开发前景广阔。 水轮机是潮流电站的核心部分。水轮机将潮流动能转化为机械能,可带动
面临石油即将走向枯竭的当今世界,再生能源(生物燃料油)替代石化燃料油的功用,已成为世界各国研究的一项重大课题。“超声乳化燃油”技术是一个能将各种燃料油(石化油,生物油)制
目前波及全球的环境污染问题已经成为制约人类自身可持续发展的首要瓶颈。气候恶化、物种灭绝、温室效应加剧、土地荒漠化、自然灾害日趋频繁、人类健康水平持续下降、莫名其
本文首先通过理论分析,阐明地域文化的产生及其独特性,以及城市照明中表现地域文化的重要性。进而介绍了照明的“材料”——光如何表现设计师设计理念的常用手法。最后通过实际
本文简要地介绍了北京照明学会开展《北京城市照明标准体系研究》的背景、研究的目的意义和照明标准体系的主要内容。北京城市照明标准体系的内容较全面系统的反映了北京城市
矿区出露地层较简单,主要是上侏罗统塔木兰沟组:底部主要由黑色及黑绿色中基性火山熔岩组成,中部有玄武岩、安山岩、安山玄武岩、安山质火山碎屑岩,顶部见有粗面安山岩,与下伏地
矿产资源是资源的重要组成部分,且是不可再生的资源,是中国经济社会可持续发展的重要基础。中国是一个处于工业化进程中的发展中国家,目前正处于工业社会的前半段,在当前及今后相
大兴安岭大杨气三○三工区铜钼矿化区地处内蒙-兴安地槽褶皱系北段,靠近额尔古纳地块(属中蒙古-额尔古纳褶皱系),处于两大构造单元的结合部位。本文介绍了大兴安岭大杨气三○三
本文提出一种基于SIFT+KLT混合特征的无标识跟踪方法.算法在保持SIFT描述子描述能力强及具有仿射、尺度不变性优点的同时,解决了SIFT算法的非实时问题.通过对SIFT算法和KLT光