mythril
A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
Github:
- 17251725853982017
Workflow integration:
cli
https://github.com/ConsenSys/mythril
MIT License
Maintained