Smart Contract Vulnerability Detection on SolidiFI Large contracts benchmark leaderboard · SOTA2 Research

Smart Contract Vulnerability Detection on SolidiFI Large contracts

0RE Failure CountOyente

Evaluation Results

Method	Links
Oyente2023.04		0	0	0	0	—	110	19	129	—	12	267	279	—	—	—	—	30.6
Osiris2023.04		0	10	0	10	—	111	17	128	—	20	240	260	—	—	—	—	29.9
Mythril2023.04		0	68	23	91	—	43	15	58	—	81	85	166	—	23	7	30	19.4
SmartCheck2023.04		0	0	0	0	—	52	0	52	—	83	0	83	—	0	0	0	7.6
SoliAudit2023.04		0	111	0	111	—	1	21	22	—	13	282	295	—	0	7	7	24.5
Slither2023.04		0	0	0	0	—	0	20	20	—	—	—	—	—	0	0	0	1.5
SAILFISH2023.04		0	0	0	0	—	—	—	—	—	—	—	—	—	—	—	—	0
DLVA2023.04		0	0	0	0	—	0	0	0	—	2	0	2	—	0	0	0	0.1
ConFuzzius2023.04		7	54	2	63	—	—	—	—	—	64	58	129	—	—	—	—	21.6
eThor2023.04		194	0	135	329	—	—	—	—	—	—	—	—	—	—	—	—	74.1