GitHub repository: tagomaru/sca2t
Primary language: JavaScript
Description: Sca2t is an assistant tool for smart contract audit.