/** Returns the set of objects pointed to by static field f. */
public PointsToSet reachingObjects(SootField f) {
Type t = f.getType();
if (t instanceof RefType) return FullObjectSet.v((RefType) t);
return FullObjectSet.v();
}
/** Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. */
public PointsToSet reachingObjectsOfArrayElement(PointsToSet s) {
return FullObjectSet.v();
}
/** Returns the set of objects pointed to by variable l. */
public PointsToSet reachingObjects(Local l) {
Type t = l.getType();
if (t instanceof RefType) return FullObjectSet.v((RefType) t);
return FullObjectSet.v();
}