Dynamic Data Structure Analysis for Java Programs

作者: S. Pheng , C. Verbrugge

DOI: 10.1109/ICPC.2006.20

关键词:

摘要: Analysis of dynamic data structure usage is useful for both program understanding and improving the accuracy other analyses. Static analysis techniques, however, suffer from reduced in complex situations, do not necessarily give a clear picture runtime heap activity. We have designed implemented system that allows one to examine analyze how Java programs build modify structures. Using complete execution trace profiled run program, we an internal representation mirrors evolving The resulting series representations can then be analyzed visualized, show use our approach help understand structures, precise effect garbage collection, establish limits on static analysis. A deep structures particularly important modern, object-oriented languages make extensive heap-based

参考文章(25)
Jeremy W. Nimmer, Michael D. Ernst, Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java Electronic Notes in Theoretical Computer Science. ,vol. 55, pp. 255- 276 ,(2001) , 10.1016/S1571-0661(04)00256-7
Frank Yellin, Tim Lindholm, The Java Virtual Machine Specification ,(1996)
A. Navarro, F. Corbera, R. Asenjo, A. Tineo, O. Plata, E. L. Zapata, A new dependence test based on shape analysis for pointer-based codes ieee international conference on high performance computing data and analytics. pp. 394- 408 ,(2004) , 10.1007/11532378_28
Thomas Zimmermann, Andreas Zeller, Visualizing Memory Graphs software visualization. pp. 191- 204 ,(2001) , 10.1007/3-540-45875-1_15
Tal Lev-Ami, Mooly Sagiv, TVLA: A System for Implementing Static Analyses static analysis symposium. pp. 280- 301 ,(2000) , 10.1007/978-3-540-45099-3_15
Steven P. Reiss, Manos Renieris, Jove Proceedings of the 2005 ACM symposium on Software visualization - SoftVis '05. pp. 115- 124 ,(2005) , 10.1145/1056018.1056034
Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau, Abstract description of pointer data structures ACM Letters on Programming Languages and Systems. ,vol. 1, pp. 243- 260 ,(1992) , 10.1145/151640.151644
Tony Printezis, Richard Jones, GCspy Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02. ,vol. 37, pp. 343- 358 ,(2002) , 10.1145/582419.582451
Easwaran Raman, David I. August, Recursive data structure profiling Proceedings of the 2005 workshop on Memory system performance - MSP '05. pp. 5- 14 ,(2005) , 10.1145/1111583.1111585
Ran Shaham, Elliot K. Kolodner, Mooly Sagly, On the Effectiveness of GC in Java. international symposium on memory management. ,vol. 36, pp. 12- 17 ,(2000)