GitHub repository: sumodgeorge/oyente
Description:  An Analysis Tool for Smart Contracts