meta-machine/oyente

A smart contract analyser

This project has been transfered to this new repo: https://github.com/melonproject/oyente