You can find
AutoSSA
site here:
http://www.pdmi.ras.ru/~theo/autossa