Comparing flow and context sensitivity on the modification-side-effects problem

Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998

Volumn , Issue , 1998, Pages 21-31

  Stocks, Philip A ^a   Ryder, Barbara G ^a   Landi, William A ^b   Zhang, Sean ^a  

^a RUTGERS UNIVERSITY   (United States)

^b SIEMENS CORPORATE RESEARCH   (United States)

Author keywords

A sensitivity; Conte; Empirical study; Flow sensitivity; Interprocedural cata flow analysis; Modification side effects; Pointer aliasing

Indexed keywords

SOFTWARE TESTING;

A SENSITIVITY; ALIASING; CONTE; EMPIRICAL STUDIES; FLOW ANALYSIS; FLOW SENSITIVITY; SIDE EFFECT;

DATA FLOW ANALYSIS;

EID: 0001841057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/271771.271782     Document Type: Conference Paper

References (21)

1. J. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 29-41, Jan. 1979.
2. M. Burke. An interval-based approach to exhaustive and incremental interprocedura data flow analysis. ACM Transactions on Programming Languages and Systems, 12(3)341-395, July 1990.
3. J.-D. Choi, M. Turke, and P. Carini. Efficient flow-sensitive interpro-cedural computation of pointer-induced aliases and side effects. In Conference Re.-ord of the Twentieth Annual ACM SIGACT/S1GPLAN Symposium on Principles of Programming Languages, pages 232245, Jan. 1993
4. K. Cooper. An Jyzing aliases of reference formal parameters. In Conference Recora of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 281-290, Jan. 1985.
5. K. Cooper and K. Kennedy. Interprocedural side-effect analysis in linear time. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 57-66, June 1988.
6. N. D. Jones and S. Muchnick. Flow analysis and optimization of lisplike structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102-131. Prentice Hall, 1982.
7. N. D. Jones anc S. S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In Conference Recora of the Ninth Annual ACM Symposium on Principles of Programming ijanguages, pages 66-74, Jan. 1982.
8. W. Landi and H. G. Ryder. Pointer-induced aliasing: A problem classification. In Conference Record of the Eighteenth Annual ACM Symposium on Prit ciples of Programming Languages, pages 93-103, Jan. 1991.
9. W. Landi and H. G. Ryder. A safe approximation algorithm for interprocedural pouter aliasing, in Proceedings of the SIGPLAN '92 Conference on Prot ramming Language Design and Implementation, pages 235-248, June 1992.
10. W. Landi, B. G Ryder, P. Stocks, S. Zhang, and R. Altucher. A schema for interproced jral side effect analysis with pointer aliasing. Technical Report DCS-TR-336, Department of Computer Science, Rutgers University, Au 1997. see http://www.prolangs.rutgers.edu.
11. W. Landi, B. G Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56- 67, June 1993.
12. T. J. Marlowe W. A. Landi, B. G. Ryder, J. Choi, M. Burke, and P. Carini. Poir ter-induced aliasing: A clarification. ACM SIGPLAN Notices, 28(9): 57-70, Sept. 1993.
13. T. J. Marlowe i nd B. G. Ryder. Properties of data flow frameworks: A unified model. Acta Informatica, 28:121-163,1990.
14. T. J. Marlowe, B. G. Ryder, and M. Burke. Defining flow sensitivity for data flow problems. Technical Report LCSR-TR-249, Laboratory for Computer Science Research Technical Report, July 1995.
15. T. Reps, S. Howitz, and M. Sagiv. Precise interprocedural dataflow analysis via griph reachability. In Conference Record of the Twenty-second Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming .Languages, pages 49-61, Jan. 1995.
16. E. Ruf. Conte a-insensitive alias analysis reconsidered. In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Impie nentation, pages 13-22,June 1995.
17. E. Ruf. Partit oning data flow analysis using types. In Conference Record of the Twenty-fourth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 15-26, Jan. 1997.
18. M.Shapiroanc S. Horwitz. The effects of the precision of pointeranal-ysis. In to appear in Proceedings of the Fourth International Symposium on Static Analysis (SAS'97), Sept. 1997.
19. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Conference Record of the Twenty-fourth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 1-14, Jan. 1997.
20. M. Shark and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 189-234. Prentice Hall, 1981.
21. S. Zhang, B. G. Ryder, and W. Landi. Program decomposition for pointer aliasing: A step towards practical analyses. In Proceedings of the 4th Annual ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 81-92, Oct. 1996.