Generating run-time progress reports for a points-to analysis in Eclipse

Jason Sawin, M. Sharp, A. Rountev
{"title":"Generating run-time progress reports for a points-to analysis in Eclipse","authors":"Jason Sawin, M. Sharp, A. Rountev","doi":"10.1145/1188835.1188844","DOIUrl":null,"url":null,"abstract":"Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedback about its progress. This paper considers the problem of providing precise progress bar reports for plug-ins that perform static code analysis. Since static analyses often take a long time to execute, progress indicators can inform the user whether the analysis is actually making progress, and how long it will take to complete. This type of responsiveness is essential for providing positive user experience.In this paper we consider points-to analysis, which is a popular static analysis for object-oriented software. Reporting the run-time progress of a points-to analysis requires heuristics for a priori estimates of the total running time of the analysis. We define several such heuristics for a whole-program subset-based points-to analysis for Java, implemented as part of the Soot Eclipse plug-in. We also present an experimental evaluation of the heuristics on a large set of Java programs. These results provide useful insights for the creators of points-to analyses and other static analyses that will be built and distributed in Eclipse.","PeriodicalId":297590,"journal":{"name":"Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1188835.1188844","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedback about its progress. This paper considers the problem of providing precise progress bar reports for plug-ins that perform static code analysis. Since static analyses often take a long time to execute, progress indicators can inform the user whether the analysis is actually making progress, and how long it will take to complete. This type of responsiveness is essential for providing positive user experience.In this paper we consider points-to analysis, which is a popular static analysis for object-oriented software. Reporting the run-time progress of a points-to analysis requires heuristics for a priori estimates of the total running time of the analysis. We define several such heuristics for a whole-program subset-based points-to analysis for Java, implemented as part of the Soot Eclipse plug-in. We also present an experimental evaluation of the heuristics on a large set of Java programs. These results provide useful insights for the creators of points-to analyses and other static analyses that will be built and distributed in Eclipse.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
在Eclipse中为点到分析生成运行时进度报告
Eclipse插件可以访问丰富的GUI组件集合。其中一个组件是进度条,它允许长时间运行的任务向Eclipse用户提供有关其进度的反馈。本文考虑了为执行静态代码分析的插件提供精确的进度条报告的问题。由于静态分析通常需要很长时间来执行,进度指示器可以告知用户分析是否实际取得了进展,以及需要多长时间才能完成。这种类型的响应对于提供积极的用户体验至关重要。在本文中,我们考虑点对分析,这是一种流行的面向对象软件的静态分析。报告点到分析的运行时进度需要对分析的总运行时间进行先验估计的启发式方法。我们为Java的基于整个程序子集的点对分析定义了几个这样的启发式方法,作为Soot Eclipse插件的一部分实现。我们还在一组大型Java程序上对启发式进行了实验评估。这些结果为将在Eclipse中构建和分发的点分析和其他静态分析的创建者提供了有用的见解。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
A focused learning environment for Eclipse JASPER: an Eclipse plug-in to facilitate software maintenance tasks A toolsuite for the verification of real-time systems in Eclipse Embedded device solution life cycle support with Eclipse HAM: cross-cutting concerns in Eclipse
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1