GitHub repository: ucsb-seclab/greed
Primary language: Python
Description: A symbolic execution engine for EVM smart contract binaries.