GitHub repository: mbeacom/mythril
Primary language: Python
Description: Security analysis tool for Ethereum smart contracts