Static single information form (SSI) was one of the main topics of my PhD research. I have implemented an SSI conversion pass in the Machine SUIF compiler infrastructure, in order to develop SSI analysis and optimization routines, and gather empirical performance information.
Please feel free to download the code below and use it as you please. Bug reports are particularly welcomed! I build the SSI library code using GCC version 2.96, and link with Machine SUIF version 2.02.07.15.