GitHub repository: ConsenSys/mythril-classic
Primary language: Python
Description: Mythril Classic: Security analysis tool for Ethereum smart contracts