48 - Eth-security-toolbox
Eth-security-toolbox is a Docker container preinstalled and preconfigured with all of Trail of Bits’ Ethereum security tools.
This includes:
- Echidna property-based fuzz tester
- Etheno integration tool and differential tester
- Manticore symbolic analyzer and formal contract verifier
- Slither static analysis tool
- Rattle EVM lifter
- Not So Smart Contracts repository
- Tools Package
- Trail of Bits
- Docker Container
- Preinstalled + Preconfigured
- Slither, Echidna, Manticore, Rattle, Ethno