The project has been moved to this new repo https://github.com/melonproject/oyente - View it on GitHub