Complexity of points-to analysis of Java in the presence of exceptions | IEEE Journals & Magazine | IEEE Xplore