Static object trace extraction for programs with pointers

Journal of Systems and Software

Volumn 77, Issue 3, 2005, Pages 263-284

  Eisenbarth, Thomas ^a   Koschke, Rainer ^a   Vogel, Gunther ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; SOFTWARE ENGINEERING;

AUTOMATIC TECHNIQUE; DYNAMIC TRACES; PROTOCOL RECOVERY; SOURCE CODE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 18844462181     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2004.04.028     Document Type: Article

References (39)

1. Apache, 2002. Apache v1.3.27. Available at http://www.apache.org
2. Bauhaus, 2002. The New Bauhaus Stuttgart. Available at http://www.bauhaus-stuttgart.de/
3. D. Binkley, and K.B. Gallagher Program slicing Advances in Computers 43 1996 1 50
4. Butkevich, S., Renedo, M., Baumgartner, G., Young, M., 2000. Compiler and tool support for debugging object protocols. In: Proceedings of the 8th International Symposium on Foundations of Software Engineering for Twenty-first Century Applications, pp. 50-59
5. Chen, J.-L., Wang, F.-J., 1997. Slicing object-oriented programs. In: Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference
6. Z. Chen, and B. Xu Slicing object-oriented java programs ACM SIGPLAN Notices 36 4 2001 33 40
7. J.E. Cook, and A.L. Wolf Discovering models of software processes from event-based data ACM Transactions on Software Engineering and Methodology 7 3 1998 215 249 July
8. Das, M., Lerner, S., Seigle, M., 2002. ESP: Path-sensitive program verification in polynomial time. In: PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation. URL http://www.research.microsoft.com/esp/
9. Eisenbarth, T., Koschke, R., Vogel, G., 2002. Static trace extraction. In: van Deursen, A., Burd, E. (Eds.), Proceedings of the Working Conference on Reverse Engineering. IEEE Computer Society Press, pp. 128-137
10. Fähndrich, M., Rehof, J., Das, M., 2000. Scalable context-sensitive flow analysis using instantiation constraints. In: Conference on Programming Language Design and Implementation, pp. 253-263. URL http://delivery.acm.org/10. 1145/350000/349332/p253-fahn%drich.pdf
11. M.J. Harrold, and M.L. Soffa Efficient computation of interprocedural definition-use chains ACM Transactions on Programming Languages and Systems 16 2 1994 175 204 March
12. Heiber, T., 2001. Semi-automatische Herleitung von Komponentenprotokollen aus statischen Verwendungsmustern (semi-automatic recovery of component protocols from static usage patterns). Diplomarbeit, text in English
13. Hind, M., 2001. Pointer analysis: Haven't we solved this problem yet? In: Workshop on Program Analysis for Software Tools and Engineering. ACM Press, pp. 54-61
14. Hind, M., Pioli, A., Aug. 2000. Which pointer analysis should I use? In: ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM Press, pp. 113-123
15. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall
16. S. Horwitz, T. Reps, and D. Binkley Interprocedural slicing using dependence graphs ACM Transactions on Programming Languages and Systems 12 1 1990 26 60 Jan.
17. Jerding, D.F., Rugaber, S., 1997. Using visualization for architectural localization and extraction. In: Proceedings of the Working Conference on Reverse Engineering. IEEE Computer Society Press
18. Jerding, D.F., Stasko, J.T., Ball, T., 1997. Visualizing interactions in program executions. In: Proceedings of the International Conference on Software Engineering. ACM
19. Kiel, H.-U., Czeranski, J., 1994. The multi player game iMaze. Available at http://home.tu-clausthal.de/student/iMaze/
20. Koschke, R., Girard, J.-F., Würthner, M., 1998. Intermediate representations for reverse engineering. In: Working Conference on Reverse Engineering. IEEE Computer Society Press, Paola Alto, CA, pp. 241-250
21. Koschke, R., Zhang, Y., 2001. Component recovery, protocol recovery and validation in bauhaus. In: Ebert, J., Kullbach, B., Lehner, F. (Eds.), 3rd Reengineering Workshop, Bad Honnef, Germany. Vol. 1/2002 of Fachberichte Informatik. University of Koblenz-Landau, pp. 73-76
22. Larsen, L., Harrold, M.J., 1996. Slicing object-oriented software. In: International Conference on Software Engineering. ACM Press, pp. 495-505
23. Liang, D., Harrold, M.J., 1998. Slicing objects using system dependence graphs. In: International Conference on Software Maintenance. IEEE Computer Society Press, pp. 358-367
24. Lindig, C., 1994. Concepts 0.3e. Available at http://www.eecs.harvard. edu/lindig/src/concepts.html
25. Ohata, F., Hirose, K., Fujii, M., Inoue, K., 2001. A slicing method for object-oriented programs using lightweight dynamic information. In: Proceedings of the Asia-Pacific Software Engineering Conference
26. K. Olender, and L. Osterweil Interprocedural static analysis of sequencing constraints ACM Transactions on Software Engineering and Methodology 1 1 1992 21 52 Jan.
27. Pande, H.D., Landi, W., 1991. Interprocedural def-use associations in c programs. In: Proceedings of the Symposium on Testing, Analysis, and Verification. ACM Press, pp. 139-153
28. G. Ramalingam The undecidability of aliasing ACM Transactions on Programming Languages and Systems 16 5 1994 1467 1471 Sep
29. J. Rumbaugh, I. Jacobson, and G. Booch The Unified Modeling Language - Reference Manual 1998 Addison-Wesley
30. Sigala, S., 2001. SLisp 1.2. Available at http://www.sigala.it/sandro/ software.html
31. Steensgaard, B., 1996. Points-to analysis in almost linear time. In: Symposium on Principles of Programming Languages, pp. 32-41. URL http://citeseer.nj.nec.com/article/steensgaard95pointst%o.html
32. Steindl, C., 1998. Intermodular slicing of object-oriented programs. In: International Conference on Compiler Construction. Vol. 1383. Lecture Notes in Computer Science, Springer, pp. 264-278
33. Steindl, C., 1999. Program slicing for object-oriented programming languages. Dissertation, Johannes Kepler University Linz
34. F. Tip A survey of program slicing techniques Journal of Programming Languages 3 3 1995 Sep.
35. P. Tonella, and A. Potrich Reverse engineering of the interaction diagrams from c++ code IEEE Computer Society Press 2003 159 168 Sep.
36. M. Weiser Program slicing IEEE Computer Society Transactions on Software Engineering 10 4 1984 Jul.
37. Whaley, J., Martin, M.C., Lam, M.S., 2002. Automatic extraction of object-oriented component interfaces. In: Proceedings of the International Symposium on Software Testing and Analysis. URL http://citeseer.nj.nec.com/ 525755.html
38. Wilson, R., 1997. Efficient, context-sensitive pointer analysis. Ph.D. thesis, Department of Electrical Engineering, Stanford University
39. Wilson, R.P., Lam, M.S., 1995. Efficient context-sensitive pointer analysis for c programs. In: SIGPLAN Conference on Programming Language Design and Implementation. URL http://citeseer.nj.nec.com/wilson95efficient.html