Analysis tools logo
12

mythril

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

Github:
    16071607813632017
Workflow integration:
  • Type: cli
    cli

Official mythril Homepage

https://github.com/ConsenSys/mythril

MIT License

Maintained

More Resources

Similar Tools

  • 7MythX
  • 1SmartDec Scanner
  • 0solium
  • -2solhint
  • -4slither