This is an implemetation of a graph-based approach to variable aliasing. Given a Java method and a point p, determine the aliasing of variables at point p. The analysis is done statically.