A framework for partial data flow analysis

Proceedings - 1994 International Conference on Software Maintenance, ICSM 1994

Volumn , Issue , 1994, Pages 4-13

  Gupta, Rajiv ^a   Soffa, Mary Lou ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

Code optimization; Control flow graph (CFG); Program debugging; Program testing

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DATA TRANSFER; FLOW GRAPHS; PROGRAM COMPILERS; PROGRAM DEBUGGING; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TESTING;

ANALYSIS ALGORITHMS; AUTOMATICALLY GENERATED; CODE OPTIMIZATION; CONTROL FLOW GRAPHS; DATA-FLOW INFORMATION; PROGRAM TESTING; SPACE REQUIREMENTS; TESTING AND DEBUGGING;

DATA FLOW ANALYSIS;

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

References (26)

1. M. Burke, "An interval analysis approach toward exhaustive and incremental interprocedural data flow analysis," Technical Report RC 12702, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, July 1987.
2. D. Callahan and J. Subhlok, "Static analysis of low-level synchronization," Proceeding of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, SIGPLAN Notices, Vol. 24, No. 1, pages 100-111, January 1989.
3. E. Duesterwald, R. Gupta and M.L. Sofia, "Rigorous data flow testing through output influences," Proc. 2nd Irvine Software Symposium, pages 131-145, Irvine, CA, March 1992.
4. E. Duesterwald and M.L. Sofia, "Static concurrency analysis in the presence of procedures using a dataflow framework," Proc. ACM Symposium on Testing, Analysis, and Verification, Victoria, British Columbia, pages 36-48, October 1991.
5. J. Ferrante, K. J. Ottenstein, and J. D. Warren, "The program dependence graph and its use in optimization," ACM Transactions on Programming Languages and Systems, Vol. 9, No. 3, pages 319-349, July 1987.
6. R. Gupta and M.L. Sofia, "Employing static information in the generation of test cases," Journal of Software Testing, Verification and Reliability, Vol. 3, No. 1, pages 29-48, December 1993.
7. R. Gupta, "Generalized dominators and postdominators," Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 246-257, Albuquerque, New Mexico, January 1992.
8. R. Gupta, M.J. Harrold, and M.L. Soffa, "An approach to regression testing using slicing," Proc. Conference on Software Maintenance, Orlando, Florida, pages 299-308, November 1992.
9. M.J. Harrold and M.L. Soffa, "Interprocedural data flow testing," Proc. ACM Symposium on Software Testing, Analysis and Verification, pages 158-167, Key West, Florida, December 1989.
10. S. Horwitz, J. Prins and T. Reps, "Integrating non-interfering versions of programs," ACM Transactions on Programming Languages and Systems, Vol. 11, No. 3, pages 345-387, July 1989.
11. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs," ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pages 26-60, January 1990.
12. J.B. Kam and J.D. Ullman, "Monotone data flow analysis frameworks," Acta Informatica, Vol. 7, pages 305-317, 1977.
13. W. Landi and B. Ryder, "A safe approximation algorithm for interprocedural pointer aliasing," Proc. of the SIGPLAN Conf. on Programming Language Design and Implementation, pages 235-248, June 1992.
14. J.R. Lyle and M. Weiser, "Automatic program bug location by program slicing," Proc. Second IEEE Symposium on Computers and Applications, pages 877-883, June 1987.
15. K.M. Olender and L.J. Osterweil, "Interprocedural static analysis of sequencing constraints," ACM Transactions on Software Engineering and Methodology, Vol. 1, No. 1, pages 21-52, January 1992.
16. K.M. Olender and L.J. Osterweil, "Cecil: a sequencing constraint language for automatic static analysis generation," IEEE Transactions on Software Engineering, Vol. 16, No. 3, March 1990.
17. D. Padua and M.J. Wolfe, "Advanced compiler optimizations for supercomputers," Communications of the ACM, Vol. 22, No. 12, pages 1184-1201, December 1986.
18. L.L. Pollock and M.L. Soffa, "An incremental version of iterative data flow analysis," IEEE Transactions on Software Engineering, Vol. 15, No. 12, pages 1537-1549, December 1989.
19. S. Rapps and E. Weyuker, "Selecting software test data using data flow information," IEEE Transactions on Software Engineering, vol. SE-11, No. 4, pages 367-375, April 1985.
20. T. Reps, T. Teitelbaum and A. Demers, "Incremental context-dependent analysis for language-based editors," ACM Transactions on Programming Languages and Systems, Vol. 5, No. 3, pages 449-477, July 1983.
21. B. Rosen, "Linear cost is sometimes quadratic," Proc. Eighth Annual ACM Symposium on Principles of Programming Languages, pages 117-124, June 1981.
22. B.G. Ryder and M. C. Pauli, "Incremental data flow analysis algorithms," ACM Transactions on Programming Languages and Systems, Vol. 10, No. 1, pages 1-50, Jan. 1988.
23. S.W.K. Tjiang and J.L. Hennessy, "Sharlit - a tool for building optimizers," Proc. ACM Sigplan Conf. on Programming Language Design and Implementation, pages 82-93, 1992.
24. A. Venkatesh and C.N. Fischer, "SPARE: a development environment for program analysis algorithms," IEEE Transactions on Software Engineering, Vol. 18, No. 4, April 1992.
25. M. Weiser, "Program slicing," IEEE Trans actions on Software Engineering, vol. SE-10, No. 4, pages 352-357, July 1984.
26. F. Zadeck, "Incremental data flow analysis in a structured program editor," Proc. ACM SIGPLAN 1984 Symposium on Compiler Construction, June 1984.