Yes, that's correct. The development version (in Subversion) has a method called reachingObjectsOfArrayElement() in PointsToAnalysis.java that implements this. Ondrej On Thu, Oct 23, 2003 at 10:39:51PM -0400, CHEN FU wrote: > > Silly question. If I want to get the P2Set of the elements of an array > is some_array_node.dot(ArrayElement.v()).getP2Set() > > the right way to do it? >