Building a whole-program type analysis in Eclipse

Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange, eclipse'05

Volumn , Issue , 2005, Pages 6-10

  Sharp, Mariana ^a   Sawin, Jason ^a   Rountev, Atanas ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALL GRAPH CONSTRUCTION; HIGH QUALITY; JAVA LIBRARY; PLUG-INS; TYPE ANALYSIS; WHOLE-PROGRAM ANALYSIS;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LIBRARIES;

STATIC ANALYSIS;

EID: 79960181505     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1117696.1117698     Document Type: Conference Paper

References (9)

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. (Pubitemid 126669313)
2. D. Grove and C. Chambers. A framework for call graph construction algorithms. ACM Transactions on Programming Languages and Systems, 23(6):685-746, Nov. 2001. (Pubitemid 33609125)
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. A. Rountev. Component-level dataflow analysis. In International SIGSOFT Symposium on Component-Based Software Engineering, LNCS 3489, pages 82-89, 2005. (Pubitemid 41322023)
5. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java based on annotated constraints. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 43-55, 2001. (Pubitemid 35009058)
6. A. Rountev, A. Milanova, and B. G. Ryder. Fragment class analysis for testing of polymorphism in Java software. IEEE Transactions on Software Engineering, 30(6):372-387, June 2004.
7. A. Rountev, B. G. Ryder, andW. Landi. Data-flow analysis of program fragments. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, LNCS 1687, pages 235-252, 1999.
8. B. G. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. In International Conference on Compiler Construction, LNCS 2622, pages 126-137, 2003.
9. R. Valĺee-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.