Level by level: Making flow- and context-sensitive pointer analysis scalable for millions of lines of code

Proceedings of the 2010 CGO - The 8th International Symposium on Code Generation and Optimization

Volumn , Issue , 2010, Pages 218-229

  Yu, Hongtao ^a,b   Xue, Jingling ^c   Huo, Wei ^a,b   Feng, Xiaobing ^a   Zhang, Zhaoqing ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

alias analysis; pointer analysis

Indexed keywords

ALIAS ANALYSIS; C CODES; C PROGRAMS; CONTEXT-SENSITIVE; CONTEXT-SENSITIVE ANALYSIS; FLOW-SENSITIVE ANALYSIS; LEVEL ALGORITHMS; LINES OF CODE; OPTIMIZATION TASK; POINTER ANALYSIS; PROGRAM ANALYSIS; SCALABLE METHODS;

NETWORK COMPONENTS; SCALABILITY; SOLAR CONCENTRATORS;

OPTIMIZATION;

EID: 77954018339     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1772954.1772985     Document Type: Conference Paper

References (28)

1. ANDERSEN, L. O. Program analysis and specialization for the c programming language, 1994.
2. BRYANT, R. E. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35, 8 (1986), 677-691.
3. CHASE, D. R., WEGMAN, M., AND ZADECK, F. K. Analysis of pointers and structures. In PLDI '90: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (New York, NY, USA, 1990), ACM, pp. 296-310.
4. CHATTERJEE, R., RYDER, B. G., AND LANDI,W. A. Relevant context inference. In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 1999), ACM, pp. 133-146.
5. CHENG, B.-C., AND HWU, W.-M. W. Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (New York, NY, USA, 2000), ACM, pp. 57-69.
6. CHOI, J.-D., BURKE, M., AND CARINI, P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 1993), ACM, pp. 232-245.
7. CHOW, F. C., CHAN, S., LIU, S.-M., LO, R., AND STREICH, M. Effective representation of aliases and indirect memory operations in ssa form. In CC '96: Proceedings of the 6th International Conference on Compiler Construction (London, UK, 1996), Springer-Verlag, pp. 253-267.
8. CYTRON, R., FERRANTE, J., ROSEN, B. K.,WEGMAN, M.N., AND ZADECK, K. F. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 13 (1991), 451-490.
9. EMAMI, M., GHIYA, R., AND HENDREN, L. J. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation (New York, NY, USA, 1994), ACM, pp. 242-256.
10. HACKETT, B., AND AIKEN, A. How is aliasing used in systems software? In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (New York, NY, USA, 2006), ACM, pp. 69-80.
11. HARDEKOPF, B., AND LIN, C. Semi-sparse flow-sensitive pointer analysis. In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 2009), ACM, pp. 226-238.
12. HASTI, R., AND HORWITZ, S. Using static single assignment form to improve flow-insensitive pointer analysis. In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (New York, NY, USA, 1998), ACM, pp. 97-105.
13. HIND, M., BURKE, M., CARINI, P., AND CHOI, J.-D. Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21, 4 (1999), 848-894.
14. KAHLON, V. Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (New York, NY, USA, 2008), ACM, pp. 249-259.
15. KANG, H.-G., AND HAN, T. A bottom-up pointer analysis using the update history. Inf. Softw. Technol. 51, 4 (2009), 691-707.
16. LANDI, W., AND RYDER, B. G. A safe approximate algorithm for interprocedural aliasing. SIGPLAN Not. 27, 7 (1992), 235-248.
17. LIVSHITS, V. B., AND LAM, M. S. Tracking pointers with path and context sensitivity for bug detection in c programs. In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (New York, NY, USA, 2003), ACM, pp. 317-326.
18. LUNDBERG, J., AND LÖWE, W. A scalable flow-sensitive points-to-analysis. In Compiler Construction - Advances and Applications, Festschrift on the occasion of the retirement of Prof. Dr. Dr. h.c. Gerhard Goos (2007), Springer Verlag. accepted.
19. NAEEM, N. A., AND LHOTÁK, O. Efficient alias set analysis using ssa form. In ISMM '09: Proceedings of the 2009 international symposium on Memory management (New York, NY, USA, 2009), ACM, pp. 79-88.
20. RYDER, B. G., LANDI, W. A., STOCKS, P. A., ZHANG, S., AND ALTUCHER, R. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23, 2 (2001), 105-186.
21. STEENSGAARD, B. Points-to analysis by type inference of programs with structures and unions. In CC '96: Proceedings of the 6th International Conference on Compiler Construction (London, UK, 1996), Springer-Verlag, pp. 136-150.
22. STEENSGAARD, B. Points-to analysis in almost linear time. In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 1996), ACM, pp. 32-41.
23. TOK, T., GUYER, S., AND LIN, C. Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. In Compiler construction: 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006: proceedings (2006), Springer-Verlag New York Inc, p. 17.
24. WHALEY, J., AND LAM, M. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation (2004), ACM New York, NY, USA, pp. 131-144.
25. WILSON, R. P., AND LAM, M. S. Efficient context-sensitive pointer analysis for c programs. In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation (New York, NY, USA, 1995), ACM, pp. 1-12.
26. YU, H., AND ZHANG, Z. An Aggressive field-sensitive unification-based pointer analysis. Chinese Journal of Computers 32, 9 (2009).
27. ZHENG, B., AND CHUNG YEW, P. A hierarchical approach to context-sensitive interprocedural alias analysis, 1999.
28. ZHU, J. Towards scalable flow and context sensitive pointer analysis. In DAC '05: Proceedings of the 42nd annual Design Automation Conference (New York, NY, USA, 2005), ACM, pp. 831-836.