Binersoft • Sistem Pendukung Keputusan Metode SAW

Pemilihan Tools Analisis Kerentanan Smart Contract Ethereum

Platform rekomendasi cerdas yang membantu pengembang dan peneliti keamanan memilih tools audit keamanan smart contract secara objektif berdasarkan 10 kriteria evaluasi teknis.

Mulai Hitung Rekomendasi Lihat Data & Matriks Awal

5 Tools

Alternatif Tools

Conkas, Manticore, teEther, Mythril, Slither

10 Kriteria

Kriteria Evaluasi

Aspek Fungsional & Non-Fungsional

DASP Top 10

Standar Taksonomi

Acuan Kerentanan Smart Contract

Metode SAW

Metode Pengambilan Keputusan

Simple Additive Weighting

5 Alternatif Tools Terpilih

Dipilih melalui penyaringan 140 tools berdasarkan kriteria kelayakan publikasi, tipe input, dan kapabilitas deteksi mandiri.

Detail Rubrik Penilaian

Conkas

Perangkat analisis statis berbasis eksekusi simbolik yang memanfaatkan modul Rattle untuk membangun Control Flow Graph (CFG) dan mengonversinya ke Intermediate Representation (IR).

Metode:Statis (Symbolic Execution)

Tingkat Masukan:Bytecode & Solidity

Deteksi Kerentanan:

Arithmetic IssuesFront RunningReentrancyTime ManipulationUnchecked Low Level Calls

Manticore

Dynamic symbolic execution framework dari Trail of Bits dengan mesin SMT solver Z3 untuk mengeksplorasi jalur eksekusi secara komprehensif, mendukung CLI dan Python API.

Metode:Dinamis (Dynamic Symbolic Execution)

Tingkat Masukan:Bytecode (EVM)

Deteksi Kerentanan:

Access ControlArithmetic IssuesReentrancyTime ManipulationUnchecked Low Level Calls

teEther

Alat eksekusi simbolik otomatis berfokus pada deteksi kerentanan transaksi serta pembuatan exploit secara otomatis pada tingkat EVM bytecode.

Metode:Statis & Dinamis (Constraint Solving)

Tingkat Masukan:Bytecode (EVM)

Deteksi Kerentanan:

Access ControlArithmetic Issues

Mythril

Alat analisis keamanan open-source dari ConsenSys yang menggabungkan mesin eksekusi simbolik LASER-Ethereum, concolic analysis, dan SMT solver Z3.

Metode:Statis (Symbolic Execution & Concolic)

Tingkat Masukan:Bytecode (EVM)

Deteksi Kerentanan:

Access ControlArithmetic IssuesFront RunningReentrancyUnchecked Low Level Calls

Slither

Framework analisis statis mutakhir berbasis Intermediate Representation (SlithIR) dan SSA dari Trail of Bits. Memiliki kecepatan eksekusi tinggi dan terintegrasi mulus dengan alur CI/CD.

Metode:Statis (Data Dependency Analysis & AST)

Tingkat Masukan:Solidity Source Code

Deteksi Kerentanan:

Access ControlDenial of Service (DoS)ReentrancyTime ManipulationUnchecked Low Level Calls

Landasan Teori Komputasi

Bagaimana Metode Simple Additive Weighting (SAW) Bekerja?

Metode SAW (penjumlahan terbobot) mencari total nilai preferensi setiap alternatif dengan menjumlahkan hasil kali rating kinerja ternormalisasi dengan vektor bobot kriteria yang dimasukkan pengguna.

1. Matriks Keputusan (X)

Menyusun matriks nilai kinerja 5 tools terhadap 10 kriteria evaluasi teknis sesuai hasil validasi empiris dan studi literatur.

2. Normalisasi Matriks (R)

Menyamakan skala seluruh kriteria menggunakan rumus atribut benefit: Rᵢⱼ = Xᵢⱼ / Max(Xⱼ).

3. Nilai Preferensi (V)

Mengalikan matriks normalisasi R dengan bobot W yang diinputkan pengguna untuk memperoleh peringkat rekomendasi akhir: Vᵢ = ∑ WⱼRᵢⱼ.