Flow insensitive points-to sets

Proceedings - 1st IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2001, Pages 79-89

  Anderson, P ^a   Binkley, D ^a,b   Rosay, G ^a   Teitelbaum, T ^a  

^a GRAMMATECH INC   (United States)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES;

C PROGRAMS; LINES OF CODE; POINTER ANALYSIS; RELATIVE SIZES; SOURCE CODE ANALYSIS; SOURCE CODES;

C (PROGRAMMING LANGUAGE);

EID: 84963865510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2001.972669     Document Type: Conference Paper

References (16)

1. Anderson, L.O., "Program analysis and specialization for the C programming language.," Ph.D. thesis, DIKU University of Copenhagen (DIKU report 94/19) (May 1994).
2. ANSI, "American National Standard for Information Systems - programming Language - C," ANSI X3.159-189/FIPS PUB 160, (December 1989).
3. Burke, M., Carini, P., Choi, J.D., and Hind., M., Flow insensitive interprocedural alias analysis in the presence of pointers. August 1994..
4. Callahan, D., "The program summary graph and flow-sensitive interprocedural data flow analysis," Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, (Atlanta, GA, June 22-24, 1988), ACM SIGPLAN Notices 23(7) pp. 47-56 (July 1988).
5. Choi, J.D., Burke, M., and Carini, P., "Efficient flow sensitive interprocedural computation of pointer induced aliases and side-effects," In ACM Symposium on Principles of Programming Languages, pp. 232-245 (1993).
6. Emami, M., Ghiya, R., and Hendren., L., "Context sensitive interprocedural points-to analysis in the presence of function pointers," In SIGPLAN Conference on Programming Languages Design and Implementation, (1994.).
7. Heintze, N. and Tardieu, O., "Ultra-fast aliasing analysis using CLA: a million lines of C code in a second,"In Proceedings of the SIGPLAN 01 Conference on Programming Language Design and Implementation (Snowbird, UTAH), (June 2001).
8. Horwitz, S., "Precise flow-insensitive may-alias analysis is NP-Hard," ACM Transactions on Programming Languages and Systems 19( 1)(January 1997).
9. Landi, W. and Ryder, B., "A safe approximate algorithm for interprocedural pointer aliasing," In SIGPLAN Conference on Programming Languages Design and Implementation, pp. 235-248 (June 1992).
10. Ruf, E., "Context-sensitive alias analysis reconsidered.," In SIGPLAN Conference on Programming Languages Design and Implementation, pp. 13-22 (June 1995).
11. Shapiro, M. and Horwitz, S., "Fast and accurate flow-insensitive points-to analysis," Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Paris, France), (January 1997).
12. Steensgaard, B., "Points-to analysis in almost linear time," International Conference on Compiler Construction., (April 1996).
13. Su, Z., Fähndrich, M., and Aiken, A., "Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.," In the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00). Boston, MA., (January 2000).
14. Wilson, R. and Lam., M., "Efficient context-sensitive pointer analysis for C programs," In SIGPLAN Conference on Programming Language Design and Implementation, pp. 1-12 (June 1995).
15. Yong, S., S.Horwitz, and Reps, T., "Pointer analysis for programs with structures and casting," In Proceedings of the SIGPLAN 99 Conference on Programming Language Design and Implementation (Atlanta, GA), (May 1999).
16. Zhang, S., Ryder, B. G., and Landi, W., "Program decomposition for pointer aliasing: a step towards practical analyses," Proceedings of the 4th Symposium on the Foundations of Software Engineering (FSE'96), (October, 1996).