GitHub repository: vietlq/oyente
Primary language: JavaScript
Description:  An Analysis Tool for Smart Contracts