Transper: State Extraction and monitoring of Ethereum Contracts

[ghasshee]

Sounds nice!
Which language do you use to build the analyzer and are you going to open the source code ?
I am interested in the theory behind the analysis.