GitHub repository: step21/mythril
Primary language: Python
Description: Reversing and bug hunting framework for the Ethereum blockchain