GitHub repository: KAIST-CS408E/oyente
Primary language: JavaScript
Description:  An Analysis Tool for Smart Contracts