GitHub repository: sambacha/vandal
Primary language: Python
Description: Static program analysis framework for Ethereum smart contract bytecode.