An Analysis Tool for Smart Contracts
Repository from Github https://github.comenzymefinance/oyenteRepository from Github https://github.comenzymefinance/oyente
License:GNU General Public License v3.0