An Ethereum Contract Analyzer
When you use an Ethereum smart-contract, you are totally sure… of what? The trust-less consensus algorithm makes sure that that nobody can modify the contract. You are totally sure that your funds are managed by the contract on the block chain, which is written in byte code…