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