Generating run-time progress reports for a points-to analysis in Eclipse
Pages 40 - 44
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.
References
[1]
D. Bacon and P. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324--341, 1996.]]
[2]
J. Johnson, editor. GUI Bloopers: Don'ts and Do's for Software Developers and Web Designers. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2000.]]
[3]
O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In International Conference on Compiler Construction, LNCS 2622, pages 153--169, 2003.]]
[4]
J. Sawin and A. Rountev. Estimating run-time progress of a call graph construction algorithm. In IEEE International Workshop on Source Code Analysis and Manipulation, 2006.]]
[5]
M. Sharp, J. Sawin, and A. Rountev. Building a whole-program type analysis in Eclipse. In Eclipse Technology Exchange Workshop, pages 6--10, 2005.]]
[6]
www.sable.mcgill.ca/soot/eclipse.]]
[7]
R. Vallée-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In International Conference on Compiler Construction, LNCS 1781, pages 18--34, 2000.]]
Index Terms
- Generating run-time progress reports for a points-to analysis in Eclipse
Recommendations
Efficient points-to analysis for whole-program analysis
To function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques that are sufficiently efficient for analysis on large ...
Exception analysis and points-to analysis: better together
ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysisException analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch statements) use pre-computed points-to information. Past points-to analyses ...
Efficient points-to analysis for whole-program analysis
ESEC/FSE-7: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineeringTo function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques that are sufficiently efficient for analysis on large ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2006
93 pages
Copyright © 2006 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- IBM: IBM
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 22 October 2006
Check for updates
Qualifiers
- Article
Acceptance Rates
eclipse '06 Paper Acceptance Rate 17 of 30 submissions, 57%;
Overall Acceptance Rate 38 of 79 submissions, 48%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 172Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 21 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in