Abstract: Alias analysis is very important for program analysis. If the alias analysis is not made or the improper algorithm is selected, the result is probably not reliable, and even wrong. So in this paper, a practical alias analysis for Java program is given, and the formal specification of the analysis algorithm is also given.