dencun support

[davidberiro]

Support for concolic execution on contracts using MCOPY (0x5e) post dencun.

[fuzzland-bot]

Found: 20

Project Name	Vulnerability Found	Time Taken	Log
BIGFI_exp.txt	✅ Price Manipulation	0h-0m-7s	Log File
Shadowfi_exp.txt	❌	-1	Log File
SEAMAN_exp.txt	✅ Fund Loss	0h-2m-9s	Log File
BEGO_exp.txt	✅ Fund Loss	0h-1m-25s	Log File
cftoken_exp.txt	✅ Fund Loss	0h-0m-4s	Log File
Carrot_exp.txt	❌	-1	Log File
MBC_ZZSH_exp.txt	✅ Fund Loss	0h-1m-53s	Log File
AUR_exp.txt	❌	-1	Log File
SellToken_exp.txt	✅ Fund Loss	0h-0m-4s	Log File
ROI_exp.txt	✅ Fund Loss	0h-0m-1s	Log File
GPT_exp.txt	❌	-1	Log File
OLIFE_exp.txt	❌	-1	Log File
THB_exp.txt	❌	-1	Log File
VerilogCTF.txt	✅ Fund Loss	0h-1m-37s	Log File
CS_exp.txt	✅ Price Manipulation	0h-0m-24s	Log File
MintoFinance_exp.txt	✅ Fund Loss	0h-0m-1s	Log File
Novo_exp.txt	✅ Price Manipulation	0h-0m-6s	Log File
SELLC03_exp.txt	✅ Fund Loss	0h-0m-16s	Log File
Yyds_exp.txt	✅ Fund Loss	0h-0m-4s	Log File
DYNA_exp.txt	❌	-1	Log File
EAC_exp.txt	❌	-1	Log File
Annex_exp.txt	✅ Fund Loss	0h-4m-52s	Log File
PLTD_exp.txt	✅ Price Manipulation	0h-0m-14s	Log File
ApeDAO_exp.txt	✅ Price Manipulation	0h-0m-3s	Log File
GSS_exp.txt	✅ Fund Loss	0h-0m-9s	Log File
Axioma_exp.txt	✅ Fund Loss	0h-0m-1s	Log File
RFB_exp.txt	✅ Fund Loss	0h-0m-37s	Log File
HEALTH_exp.txt	✅ Price Manipulation	0h-0m-0s	Log File