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 – - 2000
101 Points-to Analysis for Java Using Annotated Constraints – - 2001
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – - 1990
41 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – - 2002
14 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – - 2007
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – - 2000
41 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – - 2001
8 Pointer Analysis for Structured Parallel Programs – - 2003
110 Parameterized Object Sensitivity for Points-to Analysis for Java – - 2002
3 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – - 1997
103 Relevant Context Inference – - 1999
7 Complexity of Points-to Analysis of Java in the Presence of Exceptions – - 2001
134 Pointer Analysis for Multithreaded Programs – - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – - 1999
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – - 2002
12 Omen: A strategy for testing object-oriented software – - 2000
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – - 1999
68 A framework for call graph construction algorithms – - 2001
23 Complexity of Concrete Type-inference in the Presence of Exceptions – - 1997