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