Sable/soot — pull request #25 by richardxx (2013-02-01 17:49:12+00:00)
Title: New pull request for geometric points-to solver

Hi, Eric, I just update the patch. Please double check if I still erroneously changed something. Thanks a lot !