Variable-precision Reaching Definitions Analysis

Journal of Software Maintenance and Evolution

Volumn 11, Issue 2, 1999, Pages 117-142

  Tonella, P ^a,c   Antoniol, G ^a   Fiutem, R ^a   Merlo, E ^b,d,e,f  

^a ITC IRST   (Italy)

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

^c Ist per Ric Scientifica T   (Italy)

^d Cent de Recherche Informatique de Montreal   (Canada)

^e MCGILL UNIVERSITY   (Canada)

^f UNIVERSITY OF TURIN   (Italy)

Author keywords

Flow analysis; Legacy systems; Program understanding; Re engineering; Reaching definitions; Reverse engineering

Indexed keywords

DATA FLOW ANALYSIS; LEGACY SYSTEMS; REVERSE ENGINEERING;

PROGRAM UNDERSTANDING;

SOFTWARE ENGINEERING;

EID: 0346347817     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1096-908x(199903/04)11:2<117::aid-smr185>3.0.co;2-p     Document Type: Article

References (19)

1. Antoniol, G., Fiutem, R., Merlo, E. and Tonella, P. (1995) 'Application and user interface migration from basic to visual C++', in Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Los Alamitos CA, pp. 76-85.
2. Atkinson, D. C. and Griswold, W. G. (1996) 'The design of whole-program analysis tools', in Proceedings of the International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos CA pp. 16-27.
3. Callahan, D. (1988) 'The program summary graph and flow-sensitive interprocedural data flow analysis', in Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, ACM Press, New York, pp. 47-56.
4. Emami, M., Ghiya, R. and Hendren, L. J. (1994) 'Context-sensitive interprocedural points-to analysis in the presence of function pointers', in Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, ACM Press, New York, pp. 242-256.
5. Fiutem, R., Merlo, E., Antoniol, G. and Tonella, P. (1996a) 'Understanding the architecture of software systems', in 4th Workshop on Program Comprehension, IEEE Computer Society Press, Los Alamitos CA, pp. 187-196.
6. Fiutem, R., Tonella, P., Antoniol, G. and Merlo, E. (1996b) 'A cliché based environment to support architectural reverse engineering', in Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, Los Alamitos CA, pp. 319-328.
7. Harris, D. R., Reubenstein, H. B. and Yeh, A. S. (1995) 'Reverse engineering to the architectural level', in Proceedings of the International Conference on Software Engineering, ACM Press, New York, pp. 186-195.
8. Horwitz, S., Pfeiffer, P. and Reps, T. (1989) 'Dependence analysis for pointer variables', SIGPLAN Notices, 24(7), 28-40.
9. Horwitz, S., Reps, T. and Binkley, D. (1988) 'Interprocedural slicing using dependence graphs', in Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, ACM Press, New York, pp. 35-46.
10. Kozaczynski, V., Ning, J. Q. and Engberts, A. (1992) 'Program concept recognition and transformation', IEEE Transactions on Software Engineering, 18(12), 1065-1075.
11. Landi, W. and Ryder, B. G. (1992) 'A safe approximate algorithm for interprocedural pointer aliasing', in Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation, ACM Press, New York, pp. 235-248.
12. Pande, H. D., Landi, W. A. and Ryder, B. G. (1994) 'Interprocedural def-use associations for C systems with single level pointers', IEEE Transactions on Software Engineering, 20(5), 385-403.
13. Steensgaard, B. (1996a) 'Points-to analysis in almost linear time', in Proceedings of the 23rd AGM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, pp. 32-41.
14. Steensgaard, B. (1996b) 'Points-to analysis by type inference of progams with structures and unions', in Proceedings of the International Conference on Compiler Construction, no. 1060 in Lecture Notes in Computer Science, Springer-Verlag, New York, pp. 136-150.
15. Stocks, P. A., Ryder, B. G., Landi, W. A. and Zhang, S. (1998) 'Comparing flow and context sensitivity on the modification-side-effects problem', in Proceedings of the International Symposium on Software Testing and Analysis, ACM Press, New York, pp. 21-31.
16. Tonella, P., Antoniol, G., Fiutem, R. and Merlo, E. (1997) 'Flow insensitive C++ pointers and polymorphism analysis and its application to slicing', in Proceedings of the International Conference on Software Engineering, ACM Press, New York, pp. 433-443.
17. Tonella, P., Fiutem, R., Antoniol, G. and Merlo, E. (1996) 'Augmenting pattern-based architectural recovery with flow analysis: mosaic - a case study', in Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Los Alamitos CA, pp. 198-207.
18. Weiser, M. (1984) 'Program slicing', IEEE Transactions on Software Engineering, 10(4), 352-357.
19. Wilson, R. P. and Lam, M. S. (1995) 'Efficient context-sensitive pointer analysis for C programs', in Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, ACM Press, New York, pp. 1-12.