Separate computation of alias information for reuse

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

Volumn , Issue , 1996, Pages 107-120

  Harrold, Mary Jean ^a,b   Rothermel, Gregg ^a  

^a AMRL   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; DATA FLOW ANALYSIS; SUBROUTINES;

ANALYSIS TECHNIQUES; DATA-FLOW INFORMATION; DATA-FLOW TESTING; INTERPROCEDURAL DATAFLOW ANALYSIS; RECENT RESEARCHES; REGRESSION TESTING; SOFTWARE COMPONENT; SOFTWARE TESTING AND ANALYSIS;

SOFTWARE TESTING;

EID: 2442744412     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.309037     Document Type: Conference Paper

References (7)

1. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointers and structures. Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pages 296-310, June 1990.
2. J-D. Choi, M. Burke, and P. Carini. Efficient flowsensitive interprocedural computation of pointerinduced aliases and side effects. Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages, pages 232-245, January 1993.
3. M. Emami, R. Ghiya, and L. J. Hendren. Contextsensitive interprocedural points-to analysis in the presence of function pointers. Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, pages 242-256, June 1994.
4. W. Landi. Interprocedural Aliasing in the Presence of Pointers. PhD thesis, Rutgers University, 1992.
5. W. Landi and B.G. Ryder. Pointer-induced aliasing: A problem classification. Proceedings of Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 93-103, January 1990.
6. W. Landi and B.G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, June 1992.
7. J. R. Larus and P. N. Hilfinger. Detecting conflicts between structure accesses. Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 21-34, June 1988.