Separate computation of alias information for reuse

IEEE Transactions on Software Engineering

Volumn 22, Issue 7, 1996, Pages 442-460

  Harrold, Mary Jean ^a   Rothermel, Gregg ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

Aliasing; Data flow analysis; Pointers, reuse; Separate analysis; Static analysis

Indexed keywords

EID: 16544390641     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.538603     Document Type: Article

References (14)

1. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques, and Took. Reading, Mass.: Addison-Wesley, 1986.
2. D.R. Chase, M. Wegman, and F.K. Zadeck, "Analysis of Pointers and Structures," Proc. ACM SIGPLAN '90 Conf. Programming Language, Design, and Implementation, pp. 296-310. June 1990.
3. J.-D. Choi, M. Burke, and P. Carini, "Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects," Proc. 20th Ann. ACM Symp. Principles of Programming Languages, pp. 232-245, Jan. 1993.
4. M. Fmami, R. Ghiya, and L.J. Hendren, "Context-Sensitive Interprocedural Points-To Analysis in the Presence of Function Pointers," Proc. ACM SIGPLAN '94 Conf. Programming Language, Design, and Implementation, pp. 242-256, June 1994.
5. J. Ferrante, K.J. Ollenstein, and J.D. Wairen, "The Program Dependence Graph and its Use in Optimization," ACM Trans. Programming Languages and Systems, vol. 9, no. 3, pp. 319-349, July 1987.
6. M.J. Harrold, L. Larsen, J. Lloyd, D. Nedved, M. Page, G. Rothermcl, M. Singh, and M. Smith, "Aristotle: A System for the Development of Program-Analysis-Based Tools," Proc. 33rd Ann. Southfast Conf., pp. 110-119, ACM Press, Mar. 1995.
7. M.J. Harrold and G. Rothermel, "Separate Computation of Alias Information for Reuse," Proc. ACM Int'l Symp. Software Testing and Analysis, pp. 107-120, Jan. 1996.
8. W. Landi, Inlerprucedural Aliasing in the Presence of Pointers, PhD thesis. Rutgers Univ., 1992.
9. W. Landi and B.C. Ryder, "Pointer-Induced Aliasing: A Problem Classification," Proc. 17th Ann. ACM Stymp. Principles of Programming Languages, pp. 93-103, Jan. 1990.
10. W. Landi and B.G. Ryder, "A Safe Approximate Algorithm for Interprocedural Pointer Aliasing," Proc. ACM SIGPLAN '92 Conf. Programming Language, Design, ana Implementation, pp. 235-248, June 1992.
11. J.R. Larus and P.N. Hilfinger, "Detecting Conflicts Between Structure Accesses," Proc. ACM SIGPLAN '88 Conf. Programming Language, Design, and Implementation, pp. 21-34, June 1988.
12. T.J. Marlowe and B.G. Ryder, "An Efficient Hybrid Algorithm for Incremental Data Flow Analysis," Conf. Record 17th Ann. ACM Sytnp. Principles of Programming Languages, pp. 184-196, Jan. 1990.
13. T.J. Marlowe and B.G. Ryder, "Hybrid Incremental Alias Analysis," Proc. 24th Huwaii Int'l Conf. System Sciences, pp. 428-437, Jan. 1991.
14. G. Murphy, D. Notkin, and E. Lan, "An Empirical Study of Static Call Graph Extractors," Proc. 18th Int'l Conf. Software Engineering, pp. 90 99, Mar. 1996.