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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 s. 459 - 466
Hlavní autori: Jongwook Woo, Jehak Woo, Attali, I., Caromel, D., Gaudiot, J.-L., Wendelborn, A.L.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 2001
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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