smartbugs/ethor
eThor is a sound static analyzer for EVM smart contracts based on HoRSt.
503
This Docker image is part of SmartBugs, a framework for analysing Ethereum smart contracts. SmartBugs implements a modular approach to integrating analysers. All it takes to add a new tool is a Docker image encapsulating the tool, a few lines in a config file, and a small Python script to make the output accessible in a standardised format.
How to run this image
./smartbugs -t ethor -f your_smart_contracts
docker pull smartbugs/ethor