PointsToSet function ( Context arg0 , Local arg1 , SootField arg2 ) { return reachingObjects ( arg2 ) ; }
returns the set of objects pointed to by instance field f of the objects pointed to by l in context c. concode_field_sep PlaceHolder placeHolder concode_field_sep DumbPointerAnalysis v concode_elem_sep PointsToSet reachingObjectsOfArrayElement