a unification-based alias analysis and some relative tools