Analysis tools logo
13

mythril

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

Github:
    18541854904142017
Workflow integration:
  • Type: cli
    cli

Official mythril Homepage

https://github.com/ConsenSys/mythril

MIT License

Maintained

More Resources

Alternative Tools

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