Smart Contract Vulnerability Detection on SolidiFI Large contracts
0RE Failure Count
Oyente
Updated 1mo ago
Evaluation Results
| Method | Links | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2023.04 | 0 | 0 | 0 | 0 | - | 110 | 19 | 129 | - | 12 | 267 | 279 | - | - | - | - | 30.6 | |
2023.04 | 0 | 10 | 0 | 10 | - | 111 | 17 | 128 | - | 20 | 240 | 260 | - | - | - | - | 29.9 | |
2023.04 | 0 | 68 | 23 | 91 | - | 43 | 15 | 58 | - | 81 | 85 | 166 | - | 23 | 7 | 30 | 19.4 | |
2023.04 | 0 | 0 | 0 | 0 | - | 52 | 0 | 52 | - | 83 | 0 | 83 | - | 0 | 0 | 0 | 7.6 | |
2023.04 | 0 | 111 | 0 | 111 | - | 1 | 21 | 22 | - | 13 | 282 | 295 | - | 0 | 7 | 7 | 24.5 | |
2023.04 | 0 | 0 | 0 | 0 | - | 0 | 20 | 20 | - | - | - | - | - | 0 | 0 | 0 | 1.5 | |
2023.04 | 0 | 0 | 0 | 0 | - | - | - | - | - | - | - | - | - | - | - | - | 0 | |
2023.04 | 0 | 0 | 0 | 0 | - | 0 | 0 | 0 | - | 2 | 0 | 2 | - | 0 | 0 | 0 | 0.1 | |
2023.04 | 7 | 54 | 2 | 63 | - | - | - | - | - | 64 | 58 | 129 | - | - | - | - | 21.6 | |
2023.04 | 194 | 0 | 135 | 329 | - | - | - | - | - | - | - | - | - | - | - | - | 74.1 |