ANALISIS PERBANDINGAN TOOLS AUDIT SMART CONTRACT SLITHER DAN ADERYN DALAM MENDETEKSI VULNERABILITY REENTRANCY PADA SMART CONTRACT SOLIDITY
Aststauri, Achmad Sofyan (2026) ANALISIS PERBANDINGAN TOOLS AUDIT SMART CONTRACT SLITHER DAN ADERYN DALAM MENDETEKSI VULNERABILITY REENTRANCY PADA SMART CONTRACT SOLIDITY. Undergraduate thesis, Universitas Muhammadiyah Jember.
1. PENDAHULUAN.pdf
Download (2MB)
2. ABSTRAK.pdf
Download (147kB)
3. BAB I.pdf
Download (155kB)
4. BAB II.pdf
Restricted to Registered users only
Download (280kB)
5. BAB III.pdf
Restricted to Registered users only
Download (351kB)
6. BAB IV.pdf
Restricted to Registered users only
Download (409kB)
7. BAB V.pdf
Restricted to Registered users only
Download (145kB)
8. DAFTAR PUSTAKA.pdf
Download (263kB)
9. LAMPIRAN.pdf
Restricted to Registered users only
Download (166kB)
Abstract
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.
| Dosen Pembimbing: | Muharom, Lutfi Ali and Warisaji, Taufiq Timur | nidn0727108202, nidn0705078006 |
|---|---|
| Item Type: | Thesis (Undergraduate) |
| Keywords/Kata Kunci: | Smart Contract, Reentrancy, Slither, Aderyn, Static Analysis, Solidity. |
| Subjects: | 000 Computer Science, Information, & General Works > 004 Data Processing, Computer Science |
| Divisions: | Faculty of Engineering > Department of Informatics Engineering (S1) |
| Depositing User: | Achmad Sofyan Aststauri | sofyanstauri29@gmail.com |
| Date Deposited: | 20 Aug 2026 06:28 |
| Last Modified: | 20 Aug 2026 06:28 |
| URI: | https://repository.unmuhjember.ac.id/id/eprint/32753 |
