GitHub repository: melonproject/oyente
Primary language: JavaScript
Created: 2017-03-17T14:10:27Z
Description:  An Analysis Tool for Smart Contracts