Text this: Efficient online cycle detection technique combining with Steensgaard points-to information.