Flow analysis to detect blocked statements

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 62-69

  Malenfant, Bruno ^a   Antoniol, Giuliano ^b   Merlo, Ettore ^a   Dagenais, Michel ^a  

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

^b UNIVERSITY OF SANNIO   (Italy)

Author keywords

Blocking analysis; Inter procedural flow analysis; Software evaluation

Indexed keywords

BLOCKED STATEMENTS; BLOCKING ANALYSIS; SOFTWARE EVALUATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; NUMERICAL METHODS; QUALITY ASSURANCE;

SOFTWARE ENGINEERING;

EID: 77956612251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2001.972712     Document Type: Conference Paper

References (11)

1. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: principles, techniques, tools. Addison-Wesley, 1986.
2. M. J. Harrold, G. Rothermel, and S. Sinha. Computation of interprocedural control dependence. Proceedings of the ACM International Symposium on Software Testing and Analysis, pages 11-21, 1998.
3. Richard C. Holt, Andreas Winter, and Andy Schürr. Gxl: Toward a standard exchange format. Proceedings 7th Working Conference on Reverse Engineering (WCRE 2000), 2000.
4. Susan Horwitz, Thomas Reps, and David Brinkley. Interprocedural slicing using dependence graphs. SIGPLAN Notices, 23(7):35-46, July 1988. Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation.
5. John B. Kam and Jeffrey D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158-171, January 1976.
6. Gary A. Kildall. A unified approach to global program optimization. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 194-206. ACM SIGACT and SIGPLAN, ACM Press, 1973.
7. E. Merlo, J. F. Girard, L. Hendren, and R. De Mori. Multi-valued constant propagation analysis for user interface reengineering. International Journal of Software Engineering and Knowledge Engineering, 5(1), 1995.
8. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
9. P. W. Sathyanathan and M. S. Lam. Context-sensitive interprocedural analysis in the presence of dynamic aliasing. Lecture Notes in Computer Science, LCPC'96, 1239:101-119, 1996.
10. S. Sinha, M. J. Harrold, and G. Rothermel. System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. Proceedings of the 21st International Conference on Software Engineering, pages 432-441, 1999.
11. P. Tonella, G. Antoniol, and E. Merlo. Flow insensitive c++ pointers and polymorphism analysis and its applications to slicing. Proceedings of International Conference on Software Engineering (ICSE), pages 90-99, 1997.