fuzzland / ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
https://docs.ityfuzz.rs
MIT License
734 stars 116 forks source link

Refactor parameters that adjust fuzzer behavior #477

Closed plotchy closed 1 month ago

plotchy commented 1 month ago

As I've been learning more about the fuzzer I've found it difficult to remember where to adjust these hyperparameters. I've kept the % chances the same, but standardized sampling sizes and labeled constants

Also, I fixed a bug where random u8 values are generated with .below(255). Since below() is exclusive on the input, this needs to be .below(256) to generate a random u8

plotchy commented 1 month ago

There are some overlapping ranges in the match statements, but they are intentional. Matches don't support exclusive ranges for constants atm.

fuzzland-bot commented 1 month ago

Found: 19

Project Name Vulnerability Found Time Taken Log
BIGFI_exp.txt ✅ Price Manipulation 0h-0m-40s Log File
Shadowfi_exp.txt ✅ Price Manipulation 0h-2m-36s Log File
SEAMAN_exp.txt ✅ Fund Loss 0h-2m-17s Log File
BEGO_exp.txt ✅ Fund Loss 0h-0m-11s Log File
cftoken_exp.txt ✅ Fund Loss 0h-0m-25s Log File
Carrot_exp.txt -1 Log File
MBC_ZZSH_exp.txt -1 Log File
AUR_exp.txt -1 Log File
SellToken_exp.txt ✅ Fund Loss 0h-0m-36s Log File
ROI_exp.txt ✅ Fund Loss 0h-0m-16s Log File
GPT_exp.txt -1 Log File
OLIFE_exp.txt -1 Log File
THB_exp.txt ✅ Fund Loss 0h-1m-56s Log File
VerilogCTF.txt ❌‼️ Crashed -1 Log File
CS_exp.txt ✅ Price Manipulation 0h-0m-24s Log File
MintoFinance_exp.txt ✅ Fund Loss 0h-0m-11s Log File
Novo_exp.txt ✅ Price Manipulation 0h-1m-14s Log File
SELLC03_exp.txt ✅ Fund Loss 0h-0m-53s Log File
Yyds_exp.txt ✅ Fund Loss 0h-0m-26s Log File
DYNA_exp.txt -1 Log File
EAC_exp.txt -1 Log File
Annex_exp.txt -1 Log File
PLTD_exp.txt ✅ Price Manipulation 0h-1m-31s Log File
ApeDAO_exp.txt ✅ Price Manipulation 0h-0m-26s Log File
GSS_exp.txt ✅ Price Manipulation 0h-0m-54s Log File
Axioma_exp.txt ✅ Fund Loss 0h-0m-34s Log File
RFB_exp.txt ✅ Fund Loss 0h-0m-42s Log File
HEALTH_exp.txt ✅ Price Manipulation 0h-0m-10s Log File