Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
暂无分享,去创建一个
[1] Ulrik Pagh Schultz,et al. Automatic program specialization for Java , 2000, TOPL.
[2] Vivek Sarkar,et al. Unified Analysis of Array and Object References in Strongly Typed Languages , 2000, SAS.
[3] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.
[4] Manu Sridharan,et al. Refinement-based context-sensitive points-to analysis for Java , 2006, PLDI '06.
[5] Brian Campbell,et al. Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.
[6] Jong-Deok Choi,et al. Escape analysis for Java , 1999, OOPSLA '99.
[7] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.
[8] Zoran Budimlic,et al. Optimizing Java: theory and practice , 1997, Concurr. Pract. Exp..
[9] Lars Ole Andersen,et al. Program Analysis and Specialization for the C Programming Language , 2005 .
[10] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 1999, POPL '99.
[11] Marvin V. Zelkowitz,et al. Programming Languages: Design and Implementation , 1975 .
[12] Laurie Hendren,et al. Soot---a java optimization framework , 1999 .
[13] Susan Horwitz,et al. Using static single assignment form to improve flow-insensitive pointer analysis , 1998, PLDI '98.
[14] Monica S. Lam,et al. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams , 2004, PLDI '04.
[15] Martin C. Rinard,et al. Compositional pointer and escape analysis for Java programs , 1999, OOPSLA '99.
[16] Vivek Sarkar,et al. Array SSA form and its use in parallelization , 1998, POPL '98.
[17] Monica S. Lam,et al. Using Datalog with Binary Decision Diagrams for Program Analysis , 2005, APLAS.
[18] Barbara G. Ryder,et al. Parameterized object sensitivity for points-to and side-effect analyses for Java , 2002, ISSTA '02.
[19] Laurie J. Hendren,et al. Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994, PLDI '94.
[20] Thomas W. Reps,et al. Program analysis via graph reachability , 1997, Inf. Softw. Technol..