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