Improving static resolution of dynamic class loading in Java using dynamically gathered environment information

Automated Software Engineering

Volumn 16, Issue 2, 2009, Pages 357-381

  Sawin, Jason ^a   Rountev, Atanas ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

Dynamic class loading; Reflection; Static analysis; String analysis

Indexed keywords

DYNAMIC CLASS LOADING; DYNAMIC FEATURES; ENVIRONMENT INFORMATIONS; EXECUTION ENVIRONMENTS; EXPERIMENTAL EVALUATIONS; FLEXIBILITY MECHANISMS; JAVA SOFTWARES; NON-TRIVIAL; RUN-TIME; STANDARD LIBRARIES; STATIC APPROACHES; STRING ANALYSIS;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; REFLECTION; STATIC ANALYSIS;

LOADING;

EID: 65049083334     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-009-0049-9     Document Type: Article

References (37)

1. Bacon, D., Sweeney, P.: Fast static analysis of C++ virtual function calls. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 324-341 (1996)
2. Braux, M., Noye, J.: Towards partially evaluating reflection in Java. In: ACM Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 2-11 (1999)
3. Choi, T.H., Lee, O., Kim, H., Doh, K.G.: A practical string analyzer by the widening approach. In: Asian Symposium on Programming Languages and Systems, pp. 374-388 (2006)
4. Christensen, A.S., Møller, A., Schwartzbach, M.: Precise analysis of string expressions. In: Static Analysis Symposium, pp. 1-18 (2003a)
5. A.S. Christensen A. Møller M.I. Schwartzbach 2003 Extending Java for high-level Web service construction ACM Trans. Program. Lang. Syst. 25 6 814 875
6. Christodorescu, M., Kidd, N., Goh, W.H.: String analysis for x86 binaries. In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 88-95 (2005)
7. Codish, M., Debray, S., Giacobazzi, R.: Compositional analysis of modular logic programs. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 451-464 (1993)
8. Dean, J., Grove, D., Chambers, C.: Optimizations of object-oriented programs using static class hierarchy analysis. In: European Conference on Object-Oriented Programming, pp. 77-101 (1995)
9. Y. Futamura 1971 Partial evaluation of computation process-an approach to a compiler-compiler Syst. Comput. Controls 2 45 50
10. Gould, C., Su, Z., Devanbu, P.: JDBC checker: A static analysis tool for SQL/JDBC applications. In: International Conference on Software Engineering, pp. 697-698 (2004a)
11. Gould, C., Su, Z., Devanbu, P.: Static checking of dynamically generated queries in database applications. In: International Conference on Software Engineering, pp. 645-654 (2004b)
12. Halfond, W.G., Orso, A.: AMNESIA: Analysis and monitoring for neutralizing SQL-injection attacks. In: IEEE/ACM International Conference on Automated Software Engineering, pp. 174-183 (2005)
13. Hirzel, M., Diwan, A., Hind, M.: Pointer analysis in the presence of dynamic class loading. In: European Conference on Object-Oriented Programming, pp. 96-122 (2004)
14. M. Hirzel D.V. Dincklage A. Diwan M. Hind 2007 Fast online pointer analysis ACM Trans. Program. Lang. Syst. 29 2 11
15. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, New York (1993)
16. C. Kirkegaard A. Møller M.I. Schwartzbach 2004 Static analysis of XML transformations in Java IEEE Trans. Softw. Eng. 3 3 181 192
17. Lhoták, O., Hendren, L.: Scaling Java points-to analysis using Spark. In: International Conference on Compiler Construction, pp. 153-169 (2003)
18. Liang, S., Bracha, G.: Dynamic class loading in the Java virtual machine. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 36-44 (1998)
19. Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1999)
20. Livshits, B., Whaley, J., Lam, M.: Reflection analysis for Java. In: Asian Symposium on Programming Languages and Systems, pp. 139-160 (2005)
21. Martin, E., Xie, T.: Understanding software application interfaces via string analysis. In: International Conference on Software Engineering, pp. 901-904 (2006)
22. Minamide, Y.: Static approximation of dynamically generated web pages. In: International Conference on World Wide Web, pp. 432-441 (2005)
23. Mohri, M., Nederhof, M.J.: Regular approximation of context-free grammars through transformation. In: Junqua, J.C., van Noord, G. (eds.) Robustness in Language and Speech Technology, pp. 251-261. Kluwer Academic, Norwell (2000)
24. Müller, H., Klashinsky, K.: Rigi-a system for programming-in-the- large. In: International Conference on Software Engineering, pp. 80-86 (1988)
25. Pechtchanski, I., Sarkar, V.: Dynamic optimistic interprocedural analysis: A framework and an application. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 195-210 (2001)
26. Qian, F., Hendren, L.: Towards dynamic interprocedural analysis in JVMs. In: Virtual Machine Research and Technology Symposium, pp. 139-150 (2004)
27. Storey, M.A., Müller, H.: Manipulating and documenting software structures using SHriMP views. In: IEEE International Conference on Software Maintenance, pp. 275-284 (1995)
28. M.A. Storey K. Wong H. Müller 2000 How do program understanding tools affect how programmers understand programs? Sci. Comput. Program. 36 23 183 207
29. Sundaresan, V., Hendren, L., Razafimahefa, C., Vallee-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for Java. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 264-280 (2000)
30. Sundaresan, V., Maier, D., Ramarao, P., Stoodley, M.: Experiences with multi-threading and dynamic class loading in a Java just-in-time compiler. In: IEEE/ACM International Symposium on Code Generation and Optimization, pp. 87-97 (2006)
31. Tabuchi, N., Sumii, E., Yonezawa, A.: Regular expression types for strings in a text processing language. In: Proceedings of International Workshop on Types in Programming, pp. 1-18 (2002)
32. Thiemann, P.: Grammar-based analysis of string expressions. In: ACM SIGPLAN Workshop on Types in Languages Design and Implementation, pp. 59-70 (2005)
33. Tip, F., Palsberg, J.: Scalable propagation-based call graph construction algorithms. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 281-293 (2000)
34. Tip, F., Laffra, C., Sweeney, P., Streeter, D.: Practical experience with an application extractor for Java. In: ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 292-305 (1999)
35. Vallée-Rai, R., Gagnon, E., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java bytecode using the Soot framework: Is it feasible? In: International Conference on Compiler Construction, pp. 18-34 (2000)
36. Wassermann, G., Su, Z.: An analysis framework for security in web applications. In: Workshop on Specification and Verification of Component-Based Systems, pp. 70-78 (2004)
37. Wassermann, G., Su, Z.: Sound and precise analysis of web applications for injection vulnerabilities. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 32-41 (2007)