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 |