Enabling static analysis for partial Java programs

ACM SIGPLAN Notices

Volumn 43, Issue 10, 2008, Pages 313-328

  Dagenais, Barthélémy ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

Java; Partial programs; Type inference

Indexed keywords

CODES (SYMBOLS); OPEN SOURCE SOFTWARE; OPEN SYSTEMS; STATIC ANALYSIS;

EMPIRICAL STUDIES; INTERMEDIATE REPRESENTATIONS; JAVA; OBJECT-ORIENTED PROGRAM; OPEN SOURCE SYSTEM; SOFTWARE ENGINEERING TOOLS; SOURCE CODE REPOSITORIES; TYPE INFERENCES;

JAVA PROGRAMMING LANGUAGE;

EID: 67650032853     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1449955.1449790     Document Type: Article

References (22)

1. JFreeChart. http://www.object-refinery.com /jfreechart/.
2. Jython. http://www.jython.org.
3. Lucene. http://lucene.apache.org.
4. Spring Framework. http://www.springframework.org.
5. Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, and YuQian Zhou. Using findbugs on production software. In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion, pages 805-806, 2007.
6. Rolf Bahlke and Gregor Snelting. The PSG system: from formal language definitions to interactive programming environments. ACM Trans. Program. Lang. Syst., 8 (4) :547-576, 1986.
7. Nicolas Bettenburg, Rahul Premraj, and Thomas Zimmermann. Extracting structural information from bug reports. In MSR '08: Proceedings of the 2008 international workshop on Mining software repositories, pages 27-30, 2008.
8. Barthélémy Dagenais and Martin P. Robillard. Recommending adaptive changes for framework evolution. In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, pages 481-490, 2008.
9. Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. A practical framework for demand-driven interprocedural data flow analysis. ACM Trans. Program. Lang. Syst., 19 (6) :992-1030, 1997.
10. Etienne Gagnon, Laurie J. Hendren, and Guillaume Marceau. Efficient inference of static types for java bytecode. In Static Analysis Symposium, pages 199-219, 2000.
11. Rajiv Gupta and Mary Lou Soffa. A framework for partial data flow analysis. In ICSM '94: Proceedings of the International Conference on Software Maintenance, pages 4-13, 1994.
12. Gregory Knapen, Bruno Laguë, Michel Dagenais, and Ettore Merlo. Parsing C++ Despite Missing Declarations. In IWPC '99: Proceedings of the 7th International Workshop on Program Comprehension, page 114, 1999.
13. Rainer Koppler. A systematic approach to fuzzy parsing. Softw. Pract. Exper., 27 (6) :637-649, 1997.
14. Leon Moonen. Generating robust parsers using island grammars. In WCRE '01: Proceedings of the Eighth Working Conference on Reverse Engineering, page 13, 2001.
15. Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot: An extensible compiler framework for java. In Proc. of the 12th International Conference on Compiler Construction, pages 138-152, 2003.
16. Atanas Rountev, Ana Milanova, and Barbara G. Ryder. Fragment class analysis for testing of polymorphism in java software. IEEE Transactions on Software Engineering, 30 (6) :372-387, 2004.
17. Atanas Rountev, Barbara G. Ryder, and William Landi. Dataflow analysis of program fragments. In ESEC/FSE-7: Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 235-252, 1999.
18. Stephen M. Blackburn et al. The dacapo benchmarks: java benchmarking development and analysis. In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 169-190, 2006.
19. Suresh Thummalapenta and Tao Xie. Parseweb: a programmer assistant for reusing open source code on the web. In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 204-213, 2007.
20. Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot - a Java bytecode optimization framework. In CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, page 13. IBM Press, 1999.
21. Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, and Fuqing Yang. Sniafl: Towards a static noninteractive approach to feature location. ACM Trans. Softw. Eng. Methodol., 15 (2) :195-226, 2006.
22. Thomas Zimmermann, Peter Weissgerber, Stephan Diehl, and Andreas Zeller. Mining version histories to guide software changes. IEEE Transactions on Software Engineering, 31 (6) :429-445, 2005.