To see the Questionnaire used in this paper, please open index.html
, or you can visit this url:
http://htmlpreview.github.io/?https://github.com/SE2023Test/SCFuzzers/blob/main/index.html
Due to the size limit of 2GB imposed by Git LFS and GitHub, all the dockerfiles and benchmarks used in our experiment are available for access at: https://terabox.com/s/1NcZk3SUi6uEWjnZRo7Qw9A |
https://terabox.com/s/1NcZk3SUi6uEWjnZRo7Qw9A
1 import the docker image
docker import xxxxxDemo.tar testimage
- start docker image
docker run -idt -p 5180:80 testimage:latest /bin/bash
- run docker image
docker exec -it container_ID_obatined_in_step_2 /bin/bash
Please note that, due to the size of files, for some docker file, we upload a compressed one, please unzip it before you check.
For particularly large files, we have used segmented compression, so please merge the segments before using them.
For example, to merge the files under testContractfuzzer
folder
zip contractfuzzer.zip .z01 -s=0 --out testContractfuzzer.zip
After that, use the unzip command to unzip
docker run ......
cd /ContractFuzzer
bash run.sh --contracts_dir contract_folder
The covered instructions can be found at file: /tracelog.log
,
the output result can be found at contract_folder
.
LINK.
cd /go/src/ilf
bash ilfTestDepth.sh
The log file can be found at /go/src/ilf/log/
LINK.
cd /root
python3 test.py
or python3 test_depth.py
the output result can be found at ./log/
.
LINK.
cd /workdir
bash mainShell.sh
the output result can be found at ./output/
LINK.
cd /workdir
bash main.sh
the output result can be found at ./output/
LINK.
docker run ......
cd /go/src/rlf/
bash ilfTest.sh
the output result can be found at ./log/
LINK.
cd /Smartian
bash mainshelldepth2.sh
the output result can be found at ./test/
LINK.
cd /SmartGift/code
python3 SmartGift_main.py target_abi_path sample_path output_path
cd /SmartGift/ContractFuzzer/
bash run.sh --contracts_dir contract_folder output_path
The covered instructions can be found at file: /tracelog.log
,
the output result can be found at contract_folder
.
LINK.
cd /contract-fuzzer/src
bash maindepth2.sh
the output result can be found at ./output/
LINK.
cd /ityfuzz
bash ityfuzz.sh
the output result can be found at /ityfuzz/result/
[LINK][https://github.com/fuzzland/ityfuzz]
cd /efcf
bash efcf.sh
the output result can be found at /efcf/result/
cd /smartace
solc contract_file --bundle=contract_name --concrete --reps=5 --c-model \
--output-dir=fuzz
cd fuzz ; mkdir build ; cd build
CC=clang-10 CXX=clang++-10 cmake ..
cmake --build . --target fuzz
LINK.