Our proposed method for alias computation, which consists
of two analysis phases, has produced effective results.
In this section, we compare our method and related works,
and also show an extension of our method to programs with
pointer variables in ordinary languages.