about alias analysis

[zouq]

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