The "Ethereum Security Toolbox" is a project that provides a Docker container with preinstalled and preconfigured security tools such as Echidna, Etheno, Manticore, Slither, Rattle and more.

Protip: The Docker container also ships with the (Not So) Smart Contracts repository so you can play around with the tools in a sandbox environment.

  • Trail of Bits

You might also enjoy