Complete alias analysis for array and hash access