Bootstrapping: A technique for scalable flow and context-sensitive pointer alias analysis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2008, Pages 249-259

  Kahlon, Vineet ^a  

^a NEC LABORATORIES AMERICA   (United States)

Author keywords

Context sensitive analysis; Demand driven analysis; Divide and Conquer; Steensgaard partitioning; Summarization

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTERS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; SCALABILITY;

CONTEXT-SENSITIVE ANALYSIS; DEMAND-DRIVEN ANALYSIS; DIVIDE AND CONQUER; STEENSGAARD PARTITIONING; SUMMARIZATION;

CONTEXT SENSITIVE LANGUAGES;

EID: 57349181291     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375613     Document Type: Conference Paper

References (21)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. In PhD. Thesis, DIKU, 1994.
2. Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, and Navindra Umanee. Points-to analysis using BDDs. In PLDI, 2003.
3. Manuvir Das. Unification-based pointer analysis with directional assignments. In PLDI, 2000.
4. Manuvir Das, Ben Liblit, Manuel Fähndrich, and Jakob Rehof. Estimating the impact of scalable pointer analysis on optimization. In SAS, 2001.
5. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In PLDI, 1994.
6. Manuel Fähndrich, Jakob Rehof, and Manuvir Das. Scalable context-sensitive flow analysis using instantiation constraints. In PLDI, 2000.
7. Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.
8. Brian Hackett and Alex Aiken. How is aliasing used in systems software? In FSE, 2006.
9. B. Hardekof and C. Lin. The ant and the grasshopper: fast and accurate pointer analysis for million lines of code. In PLDI, 2007.
10. Nevin Heintze and Olivier Tardieu. Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. In PLDI, 2001.
11. Ondrej Lhoták and Laurie J. Hendren. Scaling Java Points-to Analysis Using SPARK. In CC, 2003.
12. Barbara G. Ryder, Willian Landi, Phil Stocks, Sean Zhang, and Rita Altucher. A Schema for Interprocedural Modification Side-Effect Analysis with Pointer Aliasing. In ACM Trans. Program. Lang. Sys., volume 23, pages 105-186, 2001.
13. Bjarne Steensgaard. Points-to Analysis in Almost Linear Time. In POPL, 1996.
14. John Whaley and Monica S. Lam. An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. In SAS, 2002.
15. John Whaley and Monica S. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In PLDI, 2004.
16. John Whaley and Martin C. Rinard. Compositional Pointer and Escape Analysis for Java Programs. In OOPSLA, 1999.
17. John Whaley, C. Unkel, and M. Lam. A BDD-based deductive database for program analysis. In http://suif.stanford.edu/bddbddb, 2004.
18. Robert P. Wilson and Monica S. Lam. Efficient Context Sensitive Pointer Analysis for C Programs. In PLDI, 1995.
19. S. Zhang, B. G. Ryder, and W. Landi. Program Decomposition for Pointer Aliasing: A Step Towards Practical Analyses. In FSE, 1996.
20. Jianwen Zhu. Symbolic pointer analysis. In ICCAD, pages 150-157, 2002.
21. Jianwen Zhu and Silvian Calman. Context sensitive symbolic pointer analysis. In IEEE Trans, on CAD of Integrated Circuits and Systems, volume 24, pages 516-531, 2005.