【摘 要】
：
该文详细介绍了一个上下文敏感的过程间指针分析算法,这一算法很好地解决了以上几个问题,这是迄今为止对指针分析算法的一个最完整阐述.其次,该文指针分析算法的完整性还体现
论文部分内容阅读
该文详细介绍了一个上下文敏感的过程间指针分析算法,这一算法很好地解决了以上几个问题,这是迄今为止对指针分析算法的一个最完整阐述.其次,该文指针分析算法的完整性还体现在对变量初始化的处理上.从变量的初始化中获取指针指向信息是一个完整的指针算法不可缺少的一部分,然而以往的指针分析算法并没有对此进行过任何方法性的阐述.该文首次提出了一个实用的从变量的初始化中获取指针指向信息的方法,这是迄今为止对从变量的初始化获取镄针指向信息方法的最完整描述.在这种方法中,变量的实始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向的信息.实验数据说明这种处理方法是有效而准确的.该文指针分析算法完整性的最重要的一个体现是对过程间指针分析的完整阐述.该文介绍的所有算法在我们实验室自己开发的C程序分析工具Agassiz系统中实现,实验数据说明这种指针分析算法是准确的有效的.在上下文的敏感性与指针分析结果的准确性上,该文的指针分析算法优于Standford大学Wilson提出的算法.
其他文献
该文首先回顾了Intranet的发展历程,并较为系统地介绍了Intranet的体系结构,其后又对其网络层和应用层的结构、任务以及技术支撑等内容进行了重点论述,为以某软件公司信息管
随着计算机技术的广泛应用,对实进操作系统的需求越来越大,在军事、通讯和工业控制领域更是如此.目前,国内外都发布有一些设计优秀的商业实时操作系统,但由于系统的安全保密
该文讨论了在Windows下如何实现多媒体软件的技术,从位图的显示到包括声音在内的全动画场景以及视频文件的播放,并按面向对象的思想在MFC类库的基础上实现了一套C++类库来编
该文首先介绍了被测的通信网专家系统的结构和功能.其次,作为选择测试指标的参考依据以及作为进行实际测试的指导,在论文中介绍了软件产品和过程改进的国际标准ISO9000-3的思
该文以某种特定类型的防空C系统为对象,综合运用了包括面向对象技术、可视化技术在内的多种仿真技术,对该类CI系统进行了深入分析研究,并开发出用于该类CI系统的通用仿真平台
Ada语言是一种面向对象的语言,特别适合开发大型复杂的实时应用软件.GNAT是Ada应用最广泛的一种编译系统.目前,国外已经将实时操作系统和GNAT结合起来,建立了GNAT的实进应用
该文首先分析了多层客户/服务器结构、DCOM技术以及Internet的相关技术.并以此 为理论基础和实践依据,从分析设计目标、系统需求、规划和建设方案入手,提出了北京理工大学出
呼叫中心是集现代通信手段和计算机技术于一体的综合信息服务系统,利用现有的电话系统,为广大企业和用户提供全新的现代化服务。企业为了提供优质的服务,需要尽可能多的处理
该文针对CIMS建模过程中多视图模型的一致性问题,提出了一个面向对象的集成多视图建模方法--面向对象的IDEF方法(OIDEF).OIDEF方法选择了系统最重要的三个视图,即功能视图、
该文系统地介绍了目前信息安全保密技术的发展状况,详细解释关于信息安全的技术概念和常用的技术要点.该文以信息加密作为重点研究方向,阐述信息加密技术的基本方法,并在分析