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.

Text
1. PENDAHULUAN.pdf

Download (2MB)
Text
2. ABSTRAK.pdf

Download (147kB)
Text
3. BAB I.pdf

Download (155kB)
Text
4. BAB II.pdf
Restricted to Registered users only

Download (280kB)
Text
5. BAB III.pdf
Restricted to Registered users only

Download (351kB)
Text
6. BAB IV.pdf
Restricted to Registered users only

Download (409kB)
Text
7. BAB V.pdf
Restricted to Registered users only

Download (145kB)
Text
8. DAFTAR PUSTAKA.pdf

Download (263kB)
Text
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

Actions (login required)

View Item
View Item