2.3 Alias Analysis for Object-Oriented
Programs
Alias analysis methods for OO programs have been proposed
as an extension of analysis methods for procedural
programs [5, 22]; however, we have to further consider the
nature of OO programs.
In OO programs such as JAVA, each object has its own
state and behavior even if they are instantiated from the
same class. In sample JAVA program shown at Fig.4, we
prefer to have three independent alias sets: