GUI for the program maintainers.
In Section 2, we give a brief overview of alias analysis
for OO programs. In Section 3 and Section 4, we propose
an alias analysis method for OO programs. In Section 5, we
introduce an implementation of the proposed method and
evaluate its effectiveness using several sample programs. In
Section 6, we discuss the evaluation results with respect to
related works. In Section 7, we conclude our discussion.