Description
WASAI is a concolic fuzzer for identifying vulnerabilities in Wasm smart contracts, taking EOSIO as the mainly Wasm favored blockchain. The source code is uploaded to 10.5281/zenodo.6517515.
Instructions
General Installation
Software Dependencies:
python2, libncurses5, psmisc, libusb-1.0-0, wasabi, nodeos, keosd, cleos
Hardware Dependencies:
x86 CPU
General Installation:
git clone https://github.com/wasai-project/wasai.git && cd wasai # download the code sudo docker build -t localhost/client-eos:wasai . sudo docker run –rm -ti localhost/client-eos:wasai # run a docker container
Provenance
10.5281/zenodo.6517515