Temukan celah yang memindahkan uang.

Ini sampel kecil dari lima kompetisi, bukan bukti keunggulan menyeluruh. Kolom Scorpio diukur pada 9 September 2026 dengan mesin 890777033a8fc952…, dalam tiga pengulangan identik. Sidik jari mesin yang sedang dijalankan ditampilkan di bagian atas halaman ini: kalau tidak sama, pengukuran berasal dari mesin sebelumnya dan belum diulang dengan mesin hari ini. Kolom Slither berasal dari versi 0.11.5 atas kasus-kasus beku yang sama, diukur pada 6 September; di antara kedua tanggal itu Slither tidak berubah.

Apa saja 14 yang tidak berpasangan itu — menyebutnya “salah” tidak akurat: empat berkategori informatif, yaitu tiga peringatan tentang kontrak tanpa event dan satu catatan tentang asumsi token; itu konteks yang memang sengaja diberikan mesin dan tidak ikut bertanding dalam daftar kerentanan. Tiga menyatakan hal yang benar tentang kodenya — bahwa nilai kembalian transfer ERC-20 tidak diperiksa — yang tidak diterima kompetisi sebagai temuan. Dan satu adalah sakelar satu arah yang ditandai mesin sebagai kecurigaan, karena yang memutuskan apakah itu memang disengaja adalah manusia.

Dari enam yang tersisa, lima adalah celah yang sama dengan satu entri di daftar resmi, hanya dengan nama lain. Pembanding hanya memasangkan bila nama detektornya sama dengan keluarga labelnya, jadi ketika mesin memang menemukan celahnya tetapi menamainya menurut penyebab, bukan menurut akibat, penghitungan menghukumnya dua kali: labelnya dicatat tidak ditemukan dan temuannya dicatat salah. Kelima pasangan sudah diperiksa satu per satu, pada kontrak yang sama dan, pada empat di antaranya, pada fungsi yang sama: kunci yang tak pernah menutup di refund adalah reentrancy CH-05; tenggat yang bisa ditulis ulang adalah CH-07; penelusuran claimants tanpa batas atas adalah MC-08; tanda tangan yang tidak mengikat implementasinya adalah SP-01; dan digest tanpa typehash adalah SP-02. Yang keenam menyatakan hal benar yang tidak dicatat daftar itu.

Penetapan itu dilakukan secara manual dan oleh pihak yang berkepentingan: yang melakukannya adalah orang yang mengerjakan mesin ini. Karena itu angka yang berlaku di halaman ini tetap angka mesin. Bila kelima pasangan yang diakui itu dihitung, hasilnya 17 berpasangan dan 9 tidak, yakni 65,4 % presisi dan 35,4 % cakupan. Ini disebut agar terlihat dari mana selisihnya datang, bukan untuk diklaim.