Towards scalable flow and context sensitive pointer analysis

Proceedings - Design Automation Conference

Volumn , Issue , 2005, Pages 831-836

  Zhu, Jianwen ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Binary decision diagrams; High level synthesis; Pointer analysis

Indexed keywords

ALGORITHMS; BENCHMARKING; PROBLEM SOLVING; SYSTEMS ANALYSIS;

BINARY DECISION DIAGRAMS; HIGH-LEVEL SYNTHESIS; POINTER ANALYSIS; SOFTWARE PROGRAM ANALYSIS;

COMPUTER PROGRAMMING;

EID: 27944479319     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065579.1065798     Document Type: Conference Paper

References (30)

1. M. Berndl, O. Lhoták, F. Qian, L. Hendren, and N. Umanee. Point-to analysis using BDD. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, June 2003.
2. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computer, C-35(8):677-691, August 1986.
3. 20 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, Washington, DC, 1990.
4. V. T. Chakaravarthy. New results on the computability and complexity of points-to analysis. In Proceedings of Priciple of Programming Languages (POPL'03), January 2003.
5. B.-C. Cheng and W.-M. W. Hwu. Modular Intel-procedural pointer analysis using access paths: Design implementation and evaluation. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, pages 57-69, Vancouver, British Columbia, Canada, June 2000.
6. O. Coudert, C. Berthet, and J. C. Madre. A unified framework for the formal verification of sequential circuits. In Proceedings of the International Conference on Computer-Aided Design, pages 126-129, November 1990.
7. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prag. Lang. Syst., 13(4), October 1991.
8. S.A. Edwards. The challenges of hardware synthesis from C-like languages. In Proceedings of the International Workshop of Logic and Synthesis (IWLS), June 2004.
9. M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, pages 242-256, 1994.
10. M. Fähndrich, J. Rehof, and M. Das. Scalable context-sensitive flow analysis using instantiation constraints. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 253-263, Vancouver, British Columbia. Canada, June 2000.
11. J. S. Foster, M. Fähndrich, and A. Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In Proceedings of Static Analysis Symposium, pages 175-198, June 2000.
12. D. Gajski, J. Zhu, D. Doemer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Boston, March 2000.
13. N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, pages 254-263, 2001.
14. M. Hind. Pointer analysis: Haven't we solved this problem yet. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), June 2001.
15. O. Lhoták and L. Hendren. Jedd: A BDD-based relational extension of Java. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation. June 2004.
16. D. Liang and M. J. Harrold. Efficient computation of parameterized pointer information for interprocedural analyses. In Proceedings of Static Analysis Symposium, pages 279-298, 2001.
17. S. Liao, S. Tjiang, and R. Gupta. An efficient implementation of reactivity for modeling hardware in the Scenic design environment. In Proceeding of the 34th Design Automation Conference, 1997.
18. G.D. Micheli. Hardware synthesis from C/C++ models. In Proceedings of the Design Automation and Test Conference in Europe, March 1999.
19. P. Panda, L. Semeria, and G. D. Micheli. Cache-efficient memory layout of aggregate data structures. In Proceedings of the International Symposium on System Synthesis, September 2001.
20. E. Rieffel and W. Polak. An introduction to quantum computing for non-physicists. ACM Computing Surveys, (32(2)), September 1997.
21. L. Semeria and G. D. Micheli. Resolution, optimization, and encoding of pointer variables for the behavioral synthesis from C. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, February 2001.
22. L. Semeria, K. Sata, and G. D. Micheli. Synthesis of hardware models in C with pointers and complex data structures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, February 2001.
23. F. Somenzi. CUDD: Binary decision diagram package release. http://vlsi.Colorado.EDU/~fabio/CUDD/cuddlntro.html, 1998.
24. SystemC Web Site, http://www.systemc.org.
25. J. Whaley and M. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, June 2004.
26. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, June 1995.
27. J. Zhu. Static memory allocation by pointer analysis and coloring. In Design Automation and Test in Europe, March 2001.
28. J. Zhu. Symbolic pointer analysis. In Proceedings of the International Conference in Computer Aided Design, San Jose, November 2002.
29. J. Zhu and S. Calman. Symbolic pointer analysis revisited. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, June 2004.
30. J. Zhu, R. Doemer, and D. Gajski. Syntax and semantics of SpecC+ language. In Proceedings of the Ninth Workshop on Synthesis and System Integration of Mixed Technologies, Japan. December 1997.