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