mythril

0.24.8
1.04M

Security analysis tool for Ethereum smart contracts