【摘 要】
:
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息。本文设计并实现了一种上下文敏感的基于约束的Java程序指向分析算法。在此基础上,本文提出了几项针对指
论文部分内容阅读
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息。本文设计并实现了一种上下文敏感的基于约束的Java程序指向分析算法。在此基础上,本文提出了几项针对指向分析的优化技术,以此提高算法的效率和实用性。本文基于Andersen算法,设计了一种有效的上下文敏感的指针指向分析算法,该算法支持继承、字段对象等语言特性。不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理。本文用有向图描述各个方法内部的指向关系,并以此为基础计算得到带上下文信息的全局指向图。为了提高算法的效率和可扩展性,本文首先引入了两种优化技术:结点拓扑排序和回路侦测与消除。结点间的拓扑排序的目标是降低分析过程中的迭代次数;另一个是在线的回路侦测与消除,它与拓扑排序过程同步实现。实验数据表明,本文提出的优化技术有效提高了算法的效率。此外,本文引入了指向副作用分析技术,这项技术可以进一步提高上下文敏感的指向分析算法的效率。指向副作用分析通过对局部指向图的分析找出程序中无指向副作用的方法集合。无指向副作用方法指的是那些不会改变其调用上下文中的指向关系的方法。在全局指向关系的分析过程中利用无指向副作用分析的结果可以避免计算一些无关的指向关系。实验数据表明,利用指向副作用分析结果可以进一步提高指向分析的效率。
其他文献
20世纪80年代以来,我国工业迅猛发展,城市化进程大大加快,由此带来诸多环境问题,城市大气污染尤其受到人们的关注。虽然最近十年我国注重清洁生产,污染排放强度逐渐降低,大气
在世界各国,旅游业越来越受到各国政府的重视,发展势头强劲。我国旅游贸易经过20多年的发展,已经发展成为我国第三产业的重要组成部分。后金融危机时代旅游业的发展对经济贡献越
受自然条件的影响,山区的耕地保护工作难度加大。以广西西林县为例,运用主成分分析法分析发现,影响西林县耕地保护的主要因素是退耕还林,通过单对西林县标准分配面积的时空差
通过对高职医学和护理学等专业学生的学习现状的调查,分析高职医学生在学习的动机、目标、兴趣、需求和学习能力等方面存在的问题,认为要改变高职医学生的学习现状,提高教育
为在汽车外饰灯具开发前期,减少汽车使用过程中灯具内部雾气的形成,文章分析了车灯内部集水的2种现象及成因,介绍了雾气形成机理,结合雾气形成模拟实验,验证了车灯内部热场分
艾米丽布朗特和她唯一的作品《呼啸山庄》在文学界收到了高度的好评,受到了全世界文学评论家从不同角度对她得评论。基于对这部小说的仔细阅读和认真研究,这篇论文从主题,叙
资源型城市(包括资源型地区)是以本地区矿产、森林等自然资源开采、加工为主导产业的城市类型。资源型城市为我国经济迅速发展提供了必不可少的基础能源,也为中国的崛起做出了重
齐家文化和四坝文化是分布在河西走廊地区的两支重要的早期青铜时代的考古学文化。在齐家文化的研究上,长期以来,对其内涵缺乏一个清晰、明确的界定,阻碍了对齐家文化的深入研究
土壤生物多样性是一个被忽视的研究领域,在该领域急需开展下如下研究:(1)土壤生物多样性本底调查研究;(2)土壤生物多样性的功能与生态学过程研究;
在新闻传播的实际工作中,新闻侵权给公民、法人的合法权益造成损害的,新闻机构应依法承担民事责任.新闻侵权与一般民事侵权在构成条件和责任承担方式上相比较均有其特殊性.由