ADMINISTRATOR CONTROL PANEL
Manajemen Master Data & Sistem
Kelola master data tools smart contract, bobot kriteria, dan konfigurasi basis data.
Mode Akun:user
Total Tools Alternatif
5
A1 s.d A5
Total Kriteria Penilaian
10
6 Fungsional, 4 Non-Fungsional
Riwayat Perhitungan
0
Tersimpan di Sesi
Koneksi Supabase
Terhubung
PostgreSQL Cloud
Tabel Data Alternatif Tools (CRUD)
Admin dapat menambah, meninjau, dan memodifikasi data tools yang dievaluasi dalam sistem.
| Kode | Nama Tool | Metode Analisis | Abstraksi | Repositori GitHub | Aksi |
|---|---|---|---|---|---|
| A1 | Conkas | Statis (Symbolic Execution) | Bytecode & Solidity | https://github.com/nveloso/conkas | |
| A2 | Manticore | Dinamis (Dynamic Symbolic Execution) | Bytecode (EVM) | https://github.com/trailofbits/manticore | |
| A3 | teEther | Statis & Dinamis (Constraint Solving) | Bytecode (EVM) | https://github.com/nescio/teether | |
| A4 | Mythril | Statis (Symbolic Execution & Concolic) | Bytecode (EVM) | https://github.com/ConsenSys/mythril | |
| A5 | Slither | Statis (Data Dependency Analysis & AST) | Solidity Source Code | https://github.com/crytic/slither |