Alias Analysis For Objects