Closed Raz0r closed 3 weeks ago
Found: 21
Project Name | Vulnerability Found | Time Taken | Log |
---|---|---|---|
BIGFI_exp.txt | ✅ Price Manipulation | 0h-4m-11s | Log File |
Shadowfi_exp.txt | ✅ Price Manipulation | 0h-2m-54s | Log File |
SEAMAN_exp.txt | ✅ Fund Loss | 0h-0m-43s | Log File |
BEGO_exp.txt | ✅ Fund Loss | 0h-0m-12s | Log File |
cftoken_exp.txt | ✅ Price Manipulation | 0h-0m-20s | Log File |
Carrot_exp.txt | ✅ Arbitrary Call | 0h-0m-16s | Log File |
MBC_ZZSH_exp.txt | ✅ Fund Loss | 0h-4m-44s | Log File |
AUR_exp.txt | ❌ | -1 | Log File |
SellToken_exp.txt | ✅ Fund Loss | 0h-0m-21s | Log File |
ROI_exp.txt | ✅ Fund Loss | 0h-0m-10s | Log File |
GPT_exp.txt | ❌ | -1 | Log File |
OLIFE_exp.txt | ✅ Price Manipulation | 0h-1m-50s | Log File |
THB_exp.txt | ❌ | -1 | Log File |
VerilogCTF.txt | ❌‼️ Crashed | -1 | Log File |
CS_exp.txt | ✅ Price Manipulation | 0h-0m-39s | Log File |
MintoFinance_exp.txt | ✅ Fund Loss | 0h-0m-10s | Log File |
Novo_exp.txt | ✅ Price Manipulation | 0h-1m-41s | Log File |
SELLC03_exp.txt | ✅ Fund Loss | 0h-1m-7s | Log File |
Yyds_exp.txt | ✅ Fund Loss | 0h-0m-54s | 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-0m-30s | Log File |
ApeDAO_exp.txt | ✅ Price Manipulation | 0h-0m-13s | Log File |
GSS_exp.txt | ✅ Price Manipulation | 0h-1m-14s | Log File |
Axioma_exp.txt | ✅ Fund Loss | 0h-0m-48s | Log File |
RFB_exp.txt | ✅ Fund Loss | 0h-0m-27s | Log File |
HEALTH_exp.txt | ✅ Price Manipulation | 0h-0m-5s | Log File |
LGTM. Thanks for contributing
There are a few problems when ityfuzz is using an
InvariantOracle
and calls thesetUp()
function:targetContract
is unverified, ityfuzz does not use heimdall/evmole to extract selectors from the bytecodecreateSelectFork()
, block.number is not set inevm_executor.host.env
Now
fetch_abi_evmole()
is called ontargetContract
and correct block number is propagated intoevm_executor.host.env
.