Implementation of the Andersen's PointsTo Analysis Algorithm