the magic X-ray machine for solidity smart contracts - View it on GitHub