【摘 要】
：
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该文主要阐述了到达-定值的求解算法及相关的
论文部分内容阅读
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该文主要阐述了到达-定值的求解算法及相关的数据流分析问题,并讨论了算法的程序实现,以及在程序切片中的应用.文中工作使用的到达-定值求解算法是对编译器代码优化领域中经典的到达-定值迭代求解算法的修改,使其适用于程序切片领域.在实现程序切片工具时,该文利用GCC编译器的前端完成对C++程序的分析,在GCC生成的抽象语法树基础上实现程序切片.在实现到达-定值求解算法时,因为算法基于控制流图,该文提出了一种抽象语法树到控制流图的转换算法,并将其程序实现.在生成的控制流图的基础上,根据到达-定值的求解算法,最终完成算法的程序实现.该文中工作基本上可以处理各种复杂数据类型存在时,程序中到达-定值信息的求解,但在数组和指针存在时,分析的精度有待提高.
其他文献
在计算机科学领域,数据仓库技术代表了计算机技术一个重要的发展方向,与其相关的研究工作引起了人们广泛的关注和重视。数据仓库技术经过二十多年的发展,已经开始在很多领域
随着现代化电器设备的使用，变频设备引入，对电网进行切割，从而产生杂质波，即谐波。谐波恶化了电能质量指标，污染整个电网环境，因而降低了电网的可靠性，其危害不可小视。本课题对于电
本课题来源于四川省青年软件创新工程项目:基于广域网的分布式容错存储平台。研究和开发一种网络容错存储平台软件,主要用于数据的高可靠存储、远程备份和远程灾难恢复。本文
该论文在对数字图书馆相关技术及数字资源元数据标准的研究基层上,提出并实现了一个基于DC元数据、XML技术的"数字资源管理与服务系统"的应用方案.该论文主要研究工作包括以
在当今通讯技术飞速发展，交通高度发达的时代，人们的工作、生活空间变得越来越广阔，对地理信息的需求也随之变得越来越广泛了。仅仅通过互联网查询地理信息已不能满足人们的需求
当今的现代教育技术提供了教学模式改革所必须的技术支持手段，这就是利用多媒体课件辅助教学。多媒体课件是近几年以来在各种学校中普及应用的教学手段，正在逐步取代传统电教手
随着Internet应用的迅速发展，网络安全问题日益突出。防火墙技术是抵制网络攻击的主要手段。传统的边缘防火墙难以抵御网络内部用户的攻击，分布式防火墙则过分依赖主机的操作系
作物群体是履行光合作用和物质生产职能的组织体系,其形态结构对光截获能力、冠层光合效率以及作物产量均具有重要影响,作物群体形态特征一直是人类认识、分析和评价作物的最基本方式。然而,作物群体形态结构复杂,空间分布规律性差、各器官表面结构变异性强,群体间存在大量器官的遮挡、交叉与相互作用,其形态结构不是简单单株复制的物理过程。传统农业对于作物群体形态结构的研究以经验型人工测量实验为主,其难以精确刻画作物