Array access analysis