文章

增量指针和转义分析

作者:

Frédéric 费雯和

马丁里纳德作者信息和声明

ACM SIGPLAN通知,体积36,发行5

页35-46

https://doi.org/10.1145/381694.378804

出版:2001年5月1日出版历史

获取访问权限

摘要

我们提出了一种新的指针和转义分析。算法不是分析整个程序，而是只分析程序中可能产生有用结果的部分。分析策略监视分析结果，以将分析资源的增量投资引导到程序中提供最高预期优化回报的部分。

我们的实验结果表明，几乎所有的对象都分配在少量的分配站点上，对每个站点周围的程序的小区域进行增量分析可以提供全程序分析的几乎所有好处。我们的分析政策通常能够以全过程分析成本的一小部分提供这种好处。

工具书类

[1]

O.阿格森。笛卡尔积算法：参数多态性的简单而精确的类型推断。1995年8月在丹麦奥胡斯举行的第九届欧洲面向对象编程会议记录中。]]

数字图书馆

[2]

G.阿格拉瓦尔。同时进行需求驱动的数据流和调用图分析。《1999年软件维护国际会议论文集》，英国牛津，1999年8月。]]

数字图书馆

[3]

B.布兰切特。面向对象语言的转义分析。Java应用程序。《第14届面向对象编程系统、语言和应用年会论文集》，科罗拉多州丹佛，1999年11月。]]

数字图书馆

[4]

H.Boehm和M.Weiser。在不合作的环境中收集垃圾。软件|实践与经验，18（9）：807-8201988年9月。]]

数字图书馆

[5]

J.Bogda和U.Hoelzle。删除Java中不必要的同步。第14届面向对象编程系统、语言和应用年会论文集，科罗拉多州丹佛，1999年11月。]]

数字图书馆

[6]

G.Bollella等人，《Java实时规范》。Addison-Wesley，Reading，马萨诸塞州，2000年。]]

数字图书馆

[7]

J.Choi、M.Gupta、M.Serrano、V.Sreedhar和S.Midkiff。Java转义分析。《第14届面向对象编程系统、语言和应用年度会议论文集》，科罗拉多州丹佛，1999年11月。]]

数字图书馆

[8]

E.Duesterwald、R.Gupta和M.Soffa。需求驱动的程序间数据流分析的实用框架。《美国计算机学会编程语言与系统汇刊》，19（6）：992-10301997年11月。]]

数字图书馆

[9]

S.Guyer和C.Lin。优化高性能库的使用。《第十三届并行计算语言和编译器研讨会论文集》，纽约州约克镇高地，2000年8月。]]

数字图书馆

[10]

Y.Lin和D.Padua。需求驱动的过程间数组属性分析。《第十二届并行计算语言和编译器研讨会论文集》，加利福尼亚州拉霍亚，1999年8月。]]

数字图书馆

[11]

T.Reps、S.Horowitz和M.Sagiv。要求进行程序间数据分析。《ACM SIGSOFT 95软件工程基础研讨会论文集》，1995年10月。]]

数字图书馆

[12]

A.Rountev和B.Ryder。使用预编译库生成的程序的指向和副作用分析。《2001年CC会议记录：编译器构造国际会议》，意大利热那亚，2001年4月。]]

数字图书馆

[13]

A.Rountev、B.Ryder和W.Landi。程序片段的数据流分析。1999年9月于法国图卢兹举行的ACM SIGSOFT 99软件工程基础研讨会会议记录。]]

数字图书馆

[14]

E.鲁夫。有效删除Java的同步。2000年6月，加拿大温哥华，SIGPLAN’00程序语言设计与实现会议记录。]]

数字图书馆

[15]

R.Rugina和M.Rinard。以设计为导向的汇编。《CC 2001：编译器构造国际会议论文集》，意大利热那亚，2001年4月。]]

[16]

J.Whaley和M.Rinard。Java程序的组合指针和转义分析。《第14届面向对象编程系统、语言和应用年度会议论文集》，科罗拉多州丹佛，1999年11月。]]

数字图书馆

[17]

J.Yur、B.Ryder和W.Landi。流量和上下文敏感指针混淆分析的增量算法和经验比较。《第21届软件工程国际会议论文集》，加利福尼亚州洛杉矶，1999年5月。]]

数字图书馆

引用人

Krainz J公司菲利普森M(2017)快速增量指针分析的差异图第十二届面向对象语言、程序和系统的实现、编译和优化研讨会会议记录10.1145/3098572.3098578(1-10)在线发布日期：2017年6月19日
https://dl.acm.org/doi/10.1145/3098572.3098578
钱J陈雷徐B(2013)为可信软件中并发代码的演变寻找收缩关键部分重构机会科学中国信息科学10.1007/s11432-012-4743-z56:1(1-20)在线发布日期：2013年1月22日
https://doi.org/10.1007/s11432-012-4743-z
马达文R拉马林加姆G瓦斯瓦尼K(2012)高阶程序的模块化堆分析第19届国际静态分析会议记录10.1007/978-3-642-33125-1_25(370-387)在线发布日期：2012年9月11日
https://dl.acm.org/doi/10.1007/978-3642-33125-125
显示更多引用者

建议

需求驱动的指针分析

已知的指针分析算法是“全局的”，即它们对程序或程序组件执行详尽的分析。在本文中，我们介绍了一种需求驱动的指针分析方法。具体来说，我们描述了需求-。。。
阅读更多信息
增量指针和转义分析
PLDI’01:ACM SIGPLAN 2001年编程语言设计和实现会议记录

我们提出了一种新的指针和转义分析。算法不是分析整个程序，而是只分析程序中可能产生有用结果的部分。分析策略监视分析结果以指导。。。
阅读更多信息
过程间指针别名分析

我们提供了实用的近似方法，用于计算和表示用包含指针、引用参数和递归的语言编写的程序的过程间别名。我们提出了以下贡献：（1）一个框架。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM SIGPLAN注意事项

ACM SIGPLAN通知第36卷第5期

2001年5月

330页

国际标准编号：0362-1340

EISSN公司：1558-1160

内政部：10.1145/381694

PLDI’01:ACM SIGPLAN 2001年编程语言设计和实现会议记录
2001年6月
331页
国际标准图书编号：1581134142
内政部：10.1145/378795
主席：
伯克
IBM T.J.Watson研究中心
,
玛丽·卢·索法
匹兹堡大学

版权所有©2001 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2001年5月1日

在SIGPLAN中发布体积36,发行5

检查更新

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

82
引文总数
查看引文
673
下载总量

下载次数（过去12个月）30
下载次数（最近6周）1

其他指标

查看作者指标

引文

引用人

Krainz J公司菲利普森M(2017)用于快速增量指针分析的Diff图第十二届面向对象语言、程序和系统的实现、编译和优化研讨会会议记录10.1145/3098572.3098578(1-10)在线发布日期：2017年6月19日
https://dl.acm.org/doi/10.1145/3098572.3098578
钱J陈雷徐B(2013)为可信软件中并发代码的演变寻找收缩关键部分重构机会科学中国信息科学10.1007/s11432-012-4743-z56:1(1-20)在线发布日期：2013年1月22日
https://doi.org/10.1007/s11432-012-4743-z
马达文R拉马林加姆G瓦斯瓦尼K(2012)高阶程序的模块化堆分析第19届国际静态分析会议记录10.1007/978-3-642-33125-1_25(370-387)在线发布日期：2012年9月11日
https://dl.acm.org/doi/10.1007/978-3642-33125-125
Hirzel M公司丁克拉格D迪万AHind M公司(2007)快速在线指针分析程序设计语言与系统学报10.1145/1216374.121637929:2（11秒）在线发布日期：2007年4月1日
https://dl.acm.org/doi/10.1145/1216374.1216379
薛杰Nguyen P公司波特J(2007)不完全面向对象软件模块的过程间副作用分析系统与软件杂志10.1016/j.jss.2006.06.01580:1(92-105)在线发布日期：2007年1月1日
https://dl.acm.org/doi/10.1016/j.jss.2006.06.015
阿南德A塔库尔M(2024)分阶段编译系统的部分程序分析系统设计中的形式化方法2007年10月10日/10703-024-00458-x在线发布日期：2024年6月13日
https://doi.org/10.1007/s10703-024-00458-x
阿南德A塔库尔M(2022)分段静态+动态局部分析原理静态分析10.1007/978-3-031-22308-2_4(44-73)在线发布日期：2022年12月2日
https://doi.org/10.1007/978-3-031-22308-2_4
丹恩A赫尔曼B博登E(2021)ModGuard：识别Java模块中的完整性和机密性违规IEEE软件工程汇刊2010年10月10日/次.2019.293133147:8(1656-1667)在线发布日期：2021年8月1日
https://doi.org/10.109/TSE.2019.2931331
塔库尔M南迪瓦达五世(2019)PYE公司程序设计语言与系统学报10.1145/333779441:3(1-37)在线发布日期：2019年7月2日
https://dl.acm.org/doi/10.1145/3337794
Doeraene S公司施拉特T(2016)Scala.js的并行增量全程序优化ACM SIGPLAN通知10.1145/3022671.298401351:10(59-73)在线发布日期：2016年10月19日
https://dl.acm.org/doi/10.1145/3022671.2984013
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子

查看问题目录