An analysis tool to detect honeypots in Ethereum smart contracts ๐ฏ. HoneyBadger is based on Oyente. Our paper can be found here.
A container with the dependencies set up can be found here.
To open the container, install docker and run:
docker pull christoftorres/honeybadger && docker run -i -t christoftorres/honeybadger
To evaluate a simple honeypot inside the container, run:
python honeybadger/honeybadger.py -s honeypots/MultiplicatorX3.sol
and you are done!
docker build -t honeybadger .
docker run -it honeybadger:latest
$ sudo add-apt-repository ppa:ethereum/ethereum
$ sudo apt-get update
$ sudo apt-get install solc
evm from go-ethereum
- https://geth.ethereum.org/downloads/ or
- By from PPA if your using Ubuntu
$ sudo apt-get install software-properties-common
$ sudo add-apt-repository -y ppa:ethereum/ethereum
$ sudo apt-get update
$ sudo apt-get install ethereum
z3 Theorem Prover version 4.7.1.
Download the source code of version z3-4.7.1
Install z3 using Python bindings
$ python scripts/mk_make.py --python
$ cd build
$ make
$ sudo make install
Requests library
pip install requests
web3 library
pip install web3
python honeybadger.py -s <contract filename>
Run python honeybadger.py --help
for a complete list of options.