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:
    23682368784962017
Workflow integration:
  • Type: cli
    cli

Official mythril Homepage

https://github.com/ConsenSys/mythril

MIT License

Maintained

More Resources

Alternative Tools

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