i wonder whether there exists or not alias analysis for scalar variable, array variable, even pointers. thank you.