ANALISIS PERBANDINGAN TOOLS AUDIT SMART CONTRACT SLITHER DAN ADERYN DALAM MENDETEKSI VULNERABILITY REENTRANCY PADA SMART CONTRACT SOLIDITY

Reentrancy merupakan salah satu kerentanan paling berbahaya pada smart contract Solidity, menempati posisi pertama pada DASP Top 10 dan telah menyebabkan kerugian finansial signifikan di ekosistem blockchain sejak insiden The DAO Attack. Static analysis menjadi pendekatan yang banyak digunakan untuk mendeteksi kerentanan ini sebelum kontrak di-deploy, namun perbandingan langsung antara dua alat berbasis static analysis dengan pendekatan internal berbeda, Slither (berbasis SlithIR/SSA) dan Aderyn (berbasis AST), belum ditemukan dalam publikasi akademik. Penelitian ini bertujuan mengukur dan membandingkan performa kedua alat dalam mendeteksi reentrancy menggunakan metrik Precision, Recall, dan F1-Score. Pengujian dilakukan pada 98 smart contract (81 rentan, 17 aman). Hasil deteksi Slither dinormalisasi menggunakan dua skema, yaitu OR-5 (lima sub-detektor) dan OR-2 (dua sub-detektor inti), sebagai analisis sensitivitas. Hasil penelitian menunjukkan Slither memperoleh F1-Score 96,95% (OR-5) dan 99,37% (OR-2), unggul dibandingkan Aderyn yang memperoleh F1-Score 93,15%, terutama didorong oleh Recall Slither yang sempurna (100%). Slither juga menunjukkan kompatibilitas lebih baik terhadap variasi versi Solidity dalam dataset. Penelitian ini merekomendasikan Slither sebagai alat yang lebih efektif untuk audit reentrancy pada smart contract Solidity.