mythril (pypi): Security analysis tool for Ethereum smart contracts
Keywords: hacking|disassembler|security|ethereum|blockchain|program-analysis|security-analysis|smart-contracts|solidity|symbolic-execution