You can find AutoSSA site here:

http://www.pdmi.ras.ru/~theo/autossa