Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation (2000)

Cached

Download Links

by Ben-chung Cheng , Wen-Mei W. Hwu
Citations:93 - 6 self

Active Bibliography

82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
68 Polymorphic versus monomorphic flow-insensitive points-to analysis for C – Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken - 2000
19 Evaluating the Effectiveness of Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1999
131 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
3 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – Ramkrishna Chatterjee, Barbara G. Ryder - 1997
6 Fulcra Pointer Analysis Framework – Erik Matthew Nystrom - 2005
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
148 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
3 Program Decomposition for Pointer-induced Aliasing Analysis – Sean Zhang, Barbara G. Ryder, William Landi - 1996
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
19 Experiments with Combined Analysis for Pointer Aliasing – Sean Zhang, Barbara G. Ryder, William A. Landi - 1998
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
66 Pointer Analysis for Programs with Structures and Casting – Suan Hsi Yong, Susan Horwitz, Thomas Reps - 1999
27 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
9 An Empirical Comparison of Interprocedural Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1997
Interprocedural probabilistic . . . – Peng-sheng Chen, Yuan-shin Hwang, Roy Dz-ching Ju , Jenq Kuen Lee
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
15 Checking Programmer-Specified Non-Aliasing – Jeffrey S. Foster, Alex Aiken - 2001
7 Level by Level: Making Flow- and Context-Sensitive Pointer Analysis Scalable for Millions of Lines of Code – Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng, Zhaoqing Zhang