Points-to analysis for program understanding

Journal of Systems and Software

Volumn 44, Issue 3, 1999, Pages 213-227

  Fiutem, R ^a   Tonella, P ^a   Antoniol, G ^a   Merlo, E ^b  

^a ITC IRST   (Italy)

^b ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BENCHMARKING; DATA STRUCTURES; MATHEMATICAL MODELS;

MENTAL MODELS; POINTS-TO ANALYSIS (PTA) ALGORITHMS; PROGRAM UNDERSTANDING;

SOFTWARE ENGINEERING;

EID: 0032761428     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10058-4     Document Type: Article

References (45)

1. H. Agrawal, R.A. DeMillo, E.H. Spafford, Dynamic slicing in the presence of unconstrained pointers, Proceedings of the ACM Fourth Symposium on Testing, Analysis and Verification (TAV4), 1991, pp. 60-73.
2. H. Agrawal, Towards Automatic Debugging of Computer Programs, Ph.D Thesis, Purdue University, 1991.
3. L.O. Andersen, Program Analysis and Specialization for the C Programming Language, Ph.D Thesis, DIKU, University of Copenhagen, 1994.
4. G. Antoniol, R. Fiutem, G. Lutteri, P. Tonella, S. Zanfei, E. Merlo, Program understanding and maintenance with the CANTO environment, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Silver Spring, MD, 1997, pp. 72-81.
5. D.C. Atkinson, W.G. Griswold, The design of whole-program analysis tools, Proceedings of the International Conference on Software Engineering, 1996, pp. 16-27.
6. G. Canfora, A. Cimitile, M. Munro, C.J. Taylor, Extracting abstract data type from C programs: A case study, Proceedings of the International Conference on Software Maintenance, 1993, pp. 200-209.
7. G. Canfora, A. Cimitile, M. Tortorella, M. Munro, A precise method for identifying reusable abstract data type in C code, Proceedings of the International Conference on Software Maintenance, 1994, pp. 404-413.
8. D.R. Chase, M. Wegman, F.K. Zadeck, Analysis of pointers and structures, Proceedings of the SIGPLAN'90 Conference on Programming Language Design and Implementation, 1990, pp. 296-310.
9. M.P. Chase, D.R. Harris, S.N. Roberts, A.S. Yeh, Analysis and presentation of recovered software architectures, Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 153-162.
10. Y.R. Chen, G.S. Flowler, E. Koutsofios, R.S. Wallach, Ciao: A graphical navigator for software document repositories, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 66-75.
11. A. Cimitile, A. De Lucia, M. Munro, Identifying reusable functions using specification driven program slicing: A case study, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 124-133.
12. A. Cimitile, A. De Lucia, M. Munro, Qualifying reusable functions using symbolic execution, Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 178-187.
13. A. Cimitile, G. Visaggio, Software salvaging and the call dominance tree, Journal of Systems and Software 28 (1995) 117-127.
14. M. Emami, R. Ghiya, L.J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, June 20-24, Orlando, FL, 1994, pp. 242-256.
15. M. Ernst, Practical fine-grained static slicing of optimized code, Technical report MSR-TR-94-14, Microsoft Research, Redmond, WA, 1994.
16. R. Fiutem, E. Merlo, G. Antoniol, P. Tonella, Understanding the architecture of software systems, Proceedings of the Fourth Workshop on Program Comprehension, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 187-196.
17. R. Fiutem, P. Tonella, G. Antoniol, E. Merlo, A cliche' based environment to support architectural reverse engineering, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 319-328.
18. K.B. Gallagher, J.R. Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering 17 (8) (1991) 751-761.
19. K.B. Gallagher, Visual impact analysis, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 52-58.
20. D. Grove, G. DeFouw, J. Dean, C. Chambers, Call graph construction in object-oriented languages, Proceedings of OOPSLA'97, 1997, pp. 108-124.
21. D.R. Harris, H.B. Reubenstein, A.S. Yeh, Recognizers for extracting architectural features from source code, in: Proceedings of the Second Working Conference on Reverse Engineering, Toronto, 1995, pp. 252-261.
22. M.J. Harrold, L. Larsen, J. Lloyd, D. Nedved, M. Page, G. Rothermel, M. Singh, M. Smith, Aristotle: A system for development of program analysis based tools, Proceedings of the 33rd Annual ACM Southeast Conference, 1995, pp. 110-119.
23. R. Holt, J.Y. Pak, GASE: Visualizing software evolution-in-the-large, Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 163-166.
24. S. Horwitz, P. Pfeiffer, T. Reps, Dependence analysis for pointer variables, SIGPLAN Notices 24 (7) (1989) 28-40.
25. W. Landi, B.G. Ryder, A safe approximate algorithm for interprocedural pointer aliasing, Proceedings of the ACM SIG-PLAN'92 Conference on Programming Language Design and Implementation, 1992, pp. 235-248.
26. L. Larsen, M.J. Harrold, Slicing object-oriented software, Proceedings of the International Conference on Software Engineering, 1996, pp. 495-505.
27. S. Letowsky, E. Soloway, Delocalized plans and program comprehension, IEEE Software 3 (3) (1986) 41-49.
28. S.S. Liu, N. Wilde, Identifying objects in a conventional procedural language: An example of data design recovery, Proceedings of the Conference on Software Maintenance, 1990, pp. 266-271.
29. J.R. Lyle, D. Binkley, Program slicing in the presence of pointers, Proceedings of the Third Software Engineering Research Forum, Orlando, FL, 1993, pp. 255-260.
30. V. Kozaczynski, J.Q. Ning, A. Engberts, Program concept recognition and transformation, IEEE Transactions in Software Enginnering 18 (12) (1992) 1065-1075.
31. G.C. Murphy, D. Notkin, E.S.-C. Lan, An empirical study of static call graph extractors, Proceedings of the International Conference on Software Engineering, 1996, pp. 90-99.
32. H.D. Pande, Compile Time Analysis of C and C++ Systems, Ph.D Thesis, Rutgers University, New Brunswick, NJ, 1996.
33. H.D. Pande, W.A. Landi, B.G. Ryder, Interprocedural def-use associations for C systems with single level pointers, IEEE Transactions on Software Engineering 20 (5) (1994) 385-403.
34. C. Rich, L. Wills, Recognizing a program's design: A graph parsing approach, IEEE Software 7(1) (1990) 82-89.
35. M. Shapiro, S. Horwitz, Fast and accurate flow-insensitive points-to analysis, Proceedings of ACM POPL'97, Symposium on Principles of Programming Languages, 1997, pp. 1-14.
36. M. Shapiro, S. Horwitz, The effects of the precision of pointer analysis, Fourth International Symposium on Static Analysis (SAS'97) 1997.
37. B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, 1996.
38. B. Steensgaard, Points-to analysis by type inference of programs with structures and unions, Proceedings of the International Conference on Compiler Construction, Linköping, Sweden, 1996.
39. F. Tip, A survey of program slicing techniques, Journal of Programming Languages 3 (3) (1995) 121-189.
40. P. Tonella, G. Antoniol, R. Fiutem, E. Merlo, Flow insensitive C++ pointers and polymorphism analysis and its application to slicing, Proceedings of the International Conference on Software Engineering, 1997, pp. 433-443.
41. P. Tonella, R. Fiutem, G. Antoniol, E. Merlo, Augmenting pattern-based architectural recovery with flow analysis: Mosaic - A case study, Proceedings of the Third Working Conference on Reverse Engineering, 1996, pp. 198-207.
42. M. Weiser, Program slicing, IEEE Transactions on Software Engineering 10 (4) (1984) 352-357.
43. L. Wills, Automated Program Recognition by Graph Parsing, Ph.D Dissertation, MIT, 1992.
44. R.P. Wilson, M.S. Lam, Efficient context-sensitive pointer analysis for C programs, Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, La Jolla, CA, 1995, pp. 1-12.
45. K. Wong, S.R. Tilley, H.A. Muller, M.D. Storey, Structural redocumentation: A case study, IEEE Software 12 (1995) 46-54.