Solidity code instrumentation and analysis framework. - View it on GitHub