Analysis tools logo
14

mythril

A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.

Github:
    28552855885892017
Workflow integration:
  • Type: cli
    cli

Official mythril Homepage

https://github.com/ConsenSys/mythril

MIT License

Maintained

More Resources

Alternative Tools

  • 7MythX
  • 2solium
  • 0slither
  • -1APPscreener
  • -1solhint