> Hello! > > I'm trying to implement an alias analysis using the Spark framework. My > question is, is there possible to get the set of objects pointed to by a > SootField that is not static? Yes, Spark analysis is field-sensitive by default. See concrete field nodes (AllocDotField node in the code) for more information. Hamid