Fix setUp() in invariant testing

[Raz0r]

There are a few problems when ityfuzz is using an InvariantOracle and calls the setUp() function:

• if the targetContract is unverified, ityfuzz does not use heimdall/evmole to extract selectors from the bytecode
• if a network fork is used on a specific block via createSelectFork(), block.number is not set in evm_executor.host.env

Now fetch_abi_evmole() is called on targetContract and correct block number is propagated into evm_executor.host.env.

[fuzzland-bot]

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

[publicqi]

LGTM. Thanks for contributing