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ženo v:
Podrobná bibliografie
Vydáno v:Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 s. 459 - 466
Hlavní autoři: Jongwook Woo, Jehak Woo, Attali, I., Caromel, D., Gaudiot, J.-L., Wendelborn, A.L.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2001
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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