JAAT: Java Alias Analysis Tool for Program Maintenance Activities

Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have already proposed analysis methods for the purpose of program optimization, difficulties still remain in applying such methods to practical software engineering tools in the sense of precision, extensibility and scalability. Focusing mainly on a practical use for program maintenance activities such as program debugging and understanding, we propose an alias analysis method for objectoriented programs and discuss our implementation. Using this method, we have developed a tool named JAAT. Our proposed method employs a two-phase, on-demand, and instance-based algorithm, in which intra-class analysis is done in Phase 1 for whole programs and libraries, and inter-class analysis is done in Phase 2 only for a userdemanded target. JAAT can analyze large programs or libraries such as JDK class library. Also, JAAT includes v...

• Type: Conference
• Year: 2006
• Where: ISORC
• Authors: Fumiaki Ohata, Katsuro Inoue
• Keywords: Alias Analysis, Analysis, ISORC 2006, Program Maintenance Activities, Software Engineering