GitHub repository: rpanwork/vandal
Description: Static program analysis framework for Ethereum smart contract bytecode.