Analysis tool for Solidity smart contracts. Prototype. - View it on GitHub