Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)

Cached

Download Links

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Venue:Rutgers University Department of Computer Science
Citations:7 - 5 self

Active Bibliography

20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
39 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – Ondrej Lhoták - 2002
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
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
40 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – Donglin Liang, Maikel Pennings, Mary Jean Harrold - 2001
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
108 Parameterized Object Sensitivity for Points-to Analysis for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
4 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – Ramkrishna Chatterjee, Barbara G. Ryder - 1997
103 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
12 Omen: A strategy for testing object-oriented software – Amie L. Souter - 2000
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
68 A framework for call graph construction algorithms – David Grove, Craig Chambers - 2001
23 Complexity of Concrete Type-inference in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1997