收藏本站
《南京大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

Java程序指向分析研究

李倩  
【摘要】:指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息。本文设计并实现了一种上下文敏感的基于约束的Java程序指向分析算法。在此基础上,本文提出了几项针对指向分析的优化技术,以此提高算法的效率和实用性。 本文基于Andersen算法,设计了一种有效的上下文敏感的指针指向分析算法,该算法支持继承、字段对象等语言特性。不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理。本文用有向图描述各个方法内部的指向关系,并以此为基础计算得到带上下文信息的全局指向图。 为了提高算法的效率和可扩展性,本文首先引入了两种优化技术:结点拓扑排序和回路侦测与消除。结点间的拓扑排序的目标是降低分析过程中的迭代次数;另一个是在线的回路侦测与消除,它与拓扑排序过程同步实现。实验数据表明,本文提出的优化技术有效提高了算法的效率。 此外,本文引入了指向副作用分析技术,这项技术可以进一步提高上下文敏感的指向分析算法的效率。指向副作用分析通过对局部指向图的分析找出程序中无指向副作用的方法集合。无指向副作用方法指的是那些不会改变其调用上下文中的指向关系的方法。在全局指向关系的分析过程中利用无指向副作用分析的结果可以避免计算一些无关的指向关系。实验数据表明,利用指向副作用分析结果可以进一步提高指向分析的效率。
【学位授予单位】:南京大学
【学位级别】:博士
【学位授予年份】:2012
【分类号】:TP311.10

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 苑隆寅;;基于类文件的Java程序运行时异常分析技术[J];计算机光盘软件与应用;2014年07期
2 岳珍梅;张伟刚;;Java程序分析工具在复杂网络背景下的分析与设计[J];电子技术与软件工程;2014年13期
【共引文献】
中国期刊全文数据库 前3条
1 陈聪明;霍玮;于洪涛;冯晓兵;;基于包含的指针分析优化技术综述[J];计算机学报;2011年07期
2 邓朝日;张玉萍;陈雄;梁辰;;上下文敏感的纵向传播算法[J];计算机工程;2014年02期
3 邓朝日;张玉萍;;改进的基于包含的指针分析在线优化技术[J];计算机应用与软件;2014年02期
中国硕士学位论文全文数据库 前1条
1 邓朝日;基于包含的上下文敏感指针分析技术研究[D];上海师范大学;2013年
【同被引文献】
中国期刊全文数据库 前2条
1 蒋曹清;应时;倪友聪;管华;;一种Java程序Chopping方法[J];计算机科学;2011年01期
2 陈红跃;张宏军;陈刚;;Java异常处理策略研究[J];计算机技术与发展;2012年07期
中国博士学位论文全文数据库 前1条
1 杨克峤;Java程序优化与数据竞争检测的研究[D];复旦大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 覃如贤;几类危害网络安全的JAVA程序分析[J];绵阳经济技术高等专科学校学报;2002年01期
2 爱云;设计——思想之火花[J];电脑知识与技术;2003年32期
3 刘文华;用Java访问数据库的问题探究[J];安阳大学学报;2004年04期
4 李俊国;网络加油站[J];电脑;1998年06期
5 游安弼;非矩形界面Java程序的制作[J];计算机时代;2002年03期
6 高荣芳;;如何处理Java程序中的错误[J];陕西广播电视大学学报;2010年02期
7 吴信才,白玉琪;Java程序读取服务器端数据文件的方法[J];微电脑世界;1999年47期
8 Martin A.N.,张大方,缪力;一种JAVA程序静态切片的方法[J];计算技术与自动化;2005年03期
9 吴文国;MFC程序与Java程序之间的数据交换[J];温州师范学院学报;2000年06期
10 连凤春;Java程序员认证考试大纲与知识点分析[J];电脑知识与技术;2003年14期
中国重要会议论文全文数据库 前3条
1 卫国兵;谢志茹;;基于Oracle ADF的读写Oracle空间数据的JAVA程序[A];中国航海学会航标专业委员会测绘学组学术研讨会学术交流论文集[C];2008年
2 李丹;洪晓光;;XML数据转换中间件在税务数据交换上的应用[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
3 韩冬;龚建华;陈戈;;基于JDBC的WebGIS数据库访问研究[A];第十四届全国遥感技术学术交流会论文摘要集[C];2003年
中国重要报纸全文数据库 前10条
1 匡铟;Java程序员抢手[N];中国计算机报;2003年
2 ;Java程序员认证纵览[N];中国电脑教育报;2003年
3 孙朝伟;用三星手机模拟器玩K-Java程序[N];电脑报;2004年
4 四川 山侠;Java程序测试软件JBenchmark1.0[N];电子报;2004年
5 河北 程志远;小心“手机死尸”[N];电脑报;2004年
6 南京 赵江;搜的就是专业[N];中国电脑教育报;2005年
7 李姝睿;关掉程序自动升级提示[N];电脑报;2004年
8 ;C++创造者对其未来充满信心[N];中国电脑教育报;2005年
9 资深Java讲师 柳芳;Java考试巡礼[N];中国计算机报;2001年
10 ;3G前的争夺[N];中国电脑教育报;2003年
中国硕士学位论文全文数据库 前10条
1 贾楠;一种敏捷型JAVA程序开发方法[D];汕头大学;2003年
2 张小飞;Java程序绑定时间分析[D];北京工业大学;2001年
3 陶长斌;可视化面向对象JAVA程序设计支持工具的研究[D];汕头大学;2001年
4 骆健;APLA-JAVA程序自动转换系统的研制[D];江西师范大学;2002年
5 杨东晓;基于Daikon的Java程序动态分析技术研究[D];吉林大学;2004年
6 张丽丽;城市污水处理厂集中式和分散式建设的对比研究[D];合肥工业大学;2009年
7 齐学智;Java程序性能分析工具的研究与设计[D];浙江大学;2005年
8 张礼增;三叉杆滑块式万向联轴器虚拟设计平台的开发研究[D];青岛科技大学;2012年
9 刘堃;Java程序部分求值描述语言及其应用框架[D];北京工业大学;2003年
10 郝雷;基于模板的动态Java字节码生成器的设计和实现[D];北京工业大学;2000年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026