Alias analysis for Java with reference-set representation

Proposes a flow-sensitive, context-insensitive alias analysis in Java that is more efficient and precise than previous analyses in C++. For this, we propose a reference-set alias representation and we present the propagation rules for this representation. For the type determination, the type table i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 S. 459 - 466
Hauptverfasser: Jongwook Woo, Jehak Woo, Attali, I., Caromel, D., Gaudiot, J.-L., Wendelborn, A.L.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 2001
Schlagworte:
Algorithm design and analysis
Computer science
High performance computing
Information analysis
Iterative algorithms
Iterative methods
Java
Performance analysis
Safety
Switches
ISBN:0769511538, 9780769511535
ISSN:1521-9097
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Proposes a flow-sensitive, context-insensitive alias analysis in Java that is more efficient and precise than previous analyses in C++. For this, we propose a reference-set alias representation and we present the propagation rules for this representation. For the type determination, the type table is built with reference variables and with all possible types of those variables. We propose an algorithm in a popular iterative loop method with a structural traversal of a context-free grammar. Finally, we show that our reference-set representation has better performance for the alias analysis algorithm than the existing object-pair representation does.
ISBN:0769511538
9780769511535
ISSN:1521-9097
DOI:10.1109/ICPADS.2001.934854