Alias analysis for exceptions in Java

Authors:
Jongwook Woo;Jehak Woo;Isabelle Attali;Denis Caromel;Jean-Luc Gaudiot;Andrew L Wendelborn
Affiliations:
University of Southern California, Los Angeles, CA;Esse Soft Inc., Seoul, Korea;University of Nice Sophia Antipolis, Sophia Antipolis Cedex - France;University of Nice Sophia Antipolis, Sophia Antipolis Cedex - France;University of Southern California, Los Angeles, CA;University of Adelaide, SA 5005
Venue:
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Year:
2002

Citing 6
Cited 1

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Context-sensitive interprocedural points-to analysis in the presence of function pointers

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Advanced compiler design and implementation

Advanced compiler design and implementation
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Alias analysis on type inference for class hierarchy in Java

ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Alias Analysis for Java with Reference-Set Representation

ICPADS '01 Proceedings of the Eighth International Conference on Parallel and Distributed Systems

Alias analysis in Java with reference-set representation for high-performance computing

International Journal of Parallel Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements, its type table, and its propagation rules. Also, for an exception construct, we consider try/catch/finally blocks as well as potential exception statement nodes while building a control flow graph. Finally, for the safe alias computation on a control flow graph, we present a structural order traverse of each block and node.