Unduh slitherin - Unduh Kode Sumber slitherin

slitherin

Kategori lainnya

v0.7.2

Unduh

Slitherin oleh Pesimistic.io

Selamat datang! Kami adalah tim pesimistis.io, dan dalam beberapa bulan terakhir kami telah secara aktif mengembangkan detektor slither kami sendiri untuk membantu dengan tinjauan kode dan proses audit. Repositori ini berisi semua yang mungkin Anda perlukan untuk bekerja dengannya!

Kami meningkatkan sensitivitas detektor kami karena mereka cukup mudah dan tidak ditulis dalam "gaya asli." Akibatnya, mereka menghasilkan FPS (positif palsu) lebih sering daripada yang asli. Sehingga, detektor kami adalah semacam otomatisasi cek yang diterapkan dalam daftar periksa, tujuan utama mereka adalah mencari masalah dan membantu auditor kode.

Beri tahu kami jika Anda telah menemukan masalah/bug/kerentanan melalui detektor slither kami. Anda dapat menghubungi kami melalui membuka PR/masalah atau secara langsung, mana yang lebih nyaman bagi Anda. Jika Anda memiliki pertanyaan atau saran lebih lanjut, silakan bergabung dengan server Discord kami atau obrolan telegram! Kami berharap dapat melihat Anda di sana, dan kami bermaksud untuk mendukung komunitas dan inisiatifnya!

Navigasi repositori

Daftar isi:

Bagian	Link
Dokumen	Dokumen untuk setiap detektor
Slitherin	Kode detektor
Tes	Kontrak Uji untuk Detektor
Utils	File bantu
Masalah	Menyarankan sebuah ide
Proses pemasangan	Panduan langkah demi langkah
Detektor	Tabel detektor
Peningkatan & detektor baru	Perbaikan proyek

Proses pemasangan

Menggunakan git

Untuk menginstal detektor pesimistis:

Instal slither asli;
Klon repositori kami;
Jalankan perintah berikut di folder repositori kami untuk menambahkan detektor baru untuk meluncur:

python3 setup.py develop

Ingatlah bahwa Anda tidak perlu menginstal ulang plugin setelah perubahan repositori!

Ketergantungan harus dipasang untuk menguji detektor pada kontrak pengujian kami:

npm install

Menggunakan pip

Instal slither asli;
Instal Paket Pip:

pip install slitherin

Menggunakan pipx

Instal Paket Pip:

pipx install slitherin

Tambahkan tempat sampah ke jalur:

 echo -e " # Slitherin with pipxnexport PATH= "$ PATH:/home/ $USER /.local/pipx/venvs/slitherin/bin " n " >> ~ /.bashrc 
&& source ~ /.bashrc

Penggunaan

Slitherin-cli (direkomendasikan)

Gunakan Slitherin-Cli untuk menjalankan detektor pada aplikasi Hardhat/Foundry/Dapp/Brownie. Anda memiliki opsi berikut:

Jalankan hanya detektor Slitherin:

slitherin . --pess

Jalankan hanya slither detektor:

slitherin . --slither

Jalankan detektor slither, lalu detektor Slitherin:

slitherin . --separated

Jalankan Detektor Slitherin Spesifik Arbitrum:

slitherin . --arbitrum

Perlu diingat bahwa Slitherin-Cli mendukung semua opsi Slither Run.

Meluncur

Detektor Slitterin dimasukkan ke dalam slither asli setelah instalasi. Anda dapat menggunakan Slither seperti biasa.

Tabel detektor

Tautan detektor	Dokumen & Pengaturan	Kontrak Uji	Masalah* yang valid
Setter yang tidak dilindungi	Mengeksplorasi	Tes	1
Inisialisasi yang tidak dilindungi	Mengeksplorasi	Tes	0
Peringatan TX Gasprice	Mengeksplorasi	Tes	0
Integrasi UNISWAPV2	Mengeksplorasi	Tes	0
Token Fallback	Mengeksplorasi	Tes	0
Pengontrol Timelock	Mengeksplorasi	Tes	1
Setter aneh	Mengeksplorasi	Tes	0
Reentrancy baca saja	Mengeksplorasi	Tes	0
NFT menyetujui peringatan	Mengeksplorasi	Tes	0
Beberapa penyimpanan dibaca	Mengeksplorasi	Tes	9
Nomor ajaib	Mengeksplorasi	Tes	3
Tidak konsisten non-reentrant	Mengeksplorasi	Tes	0
Falsy Only EOA Modifier	Mengeksplorasi	Tes	0
Setter acara yang hilang	Mengeksplorasi	Tes	1
Typecast yang meragukan	Mengeksplorasi	Tes	0
Kemungkinan Token Entri Ganda	Mengeksplorasi	Tes	0
Hubungi Maju untuk Dilindungi	Mengeksplorasi	Tes	0
Sebelum transfer token	Mengeksplorasi	Tes	2
Untuk melanjutkan kenaikan	Mengeksplorasi	Tes	0
Callback Flasloan Aave	Mengeksplorasi	Tes	0
Panggilan sewenang -wenang	Mengeksplorasi	Tes	0
Kurva elips pulih	Mengeksplorasi	Tes	0
Publik vs Eksternal	Mengeksplorasi	Tes	0
Reentrancy Baca-Hanya Balancer	Mengeksplorasi	Tes	0

Harap dicatat:

*Valid - Masalah yang termasuk dalam laporan dan ditetapkan oleh pengembang (Januari 2023 - Juni 2023).
Ada dua detektor yang memiliki beberapa cek di dalamnya: Pess-uni-V2 dan panggilan sewenang-wenang.

Peningkatan & detektor baru

Di sini kami menunjukkan pembaruan, alur kerja, dan menandai tugas dan perbaikan yang diselesaikan!

Anda dapat menambahkan detektor/ide/peningkatan Anda sendiri dengan membuka masalah di tautan berikut.

Sebelum menambahkan detektor khusus, pastikan bahwa:

Dalam file dokumentasi, detektor Anda dijelaskan secara komprehensif;
Kontrak uji detektor disajikan dan dikompilasi dengan benar;
Kode detektor disajikan dan berfungsi dengan baik.

Sebelum menambahkan ide , pastikan bahwa:

Konsep atau ide Anda diartikulasikan dengan baik;
Contoh kerentanan (atau POC) disediakan;

Sebelum menambahkan peningkatan , pastikan bahwa:

Peningkatan Anda tidak membuat kode dasar lebih buruk;
Peningkatan Anda dikomentari.

Backlog Detektor:

Ucapan Terima Kasih

Tim kami ingin mengucapkan terima kasih terdalam kepada pencipta alat Slither: Josselin Feist, Gustavo Grieco, dan Alex Groce, serta crytic, jejak divisi keamanan blockchain Bits, dan semua orang yang percaya pada alat asli dan evolusinya!

Slitherin di media massa