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