GitHub repository: muellerberndt/scrooge-mcetherface
Primary language: Python
Description: Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.