Slide 1 1 Practical Object-sensitive Points-to Analysis for Java Ana Milanova Atanas Rountev Barbara Ryder Rutgers University Slide 2 2 Points-to Analysis for Java Which…