Unduh wake - wake Kode Sumber Wake

wake

Kategori lainnya

v4.13.2

Unduh

Wake, kerangka kerja pengembangan dan pengujian soliditas berbasis Python dengan detektor kerentanan bawaan

Wake Cover

Fitur:

Kerangka Pengujian Berdasarkan Pytest
Fuzzer berbasis properti
Penyebaran & Interaksi Mainnet
kerentanan dan detektor kualitas kode
printer untuk mengekstraksi informasi yang berguna dari kode soliditas
Kerangka analisis statis untuk mengimplementasikan detektor dan printer khusus
Tindakan GitHub untuk menyiapkan detektor bangun dan menjalankan
server bahasa (LSP)
Ekstensi kode vs (alat untuk soliditas)
Manajer Versi Solc

Dependensi

Python (versi 3.8 atau lebih tinggi)
Rosetta harus diaktifkan di apple silikon mac

️ Python 3.12 didukung secara eksperimental.

Instalasi

melalui pip

pip3 install eth-wake

Dokumentasi & Kontribusi

Dokumentasi bangun dapat ditemukan di sini.

Di sana Anda juga dapat menemukan bagian yang berkontribusi.

Kerentanan yang ditemukan

Kerentanan	Kerasnya	Proyek	Metode	Ditemukan oleh	Sumber daya
Laba & rugi disumbangkan dua kali	Kritis	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Penolakan Layanan Permanen Konsol	Tinggi	Brahma	Tes fuzz	Ackee Blockchain	Laporan
Pertukaran Kesalahan Formula yang Mengambil	Tinggi	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Pertukaran biaya swap disumbangkan dua kali	Tinggi	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Data acara yang salah	Tinggi	Solady	Tes Integrasi	Ackee Blockchain	Laporan, Tes Wake
`INTEREST_FROM_STRATEGY_BELOW_ZERO` mengembalikan dos	Sedang	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Formula bunga hipotetis yang tidak akurat	Sedang	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Kesalahan normalisasi biaya swap swap	Sedang	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Deposit likuidasi yang diperhitungkan ke saldo LP	Sedang	Ipor	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake
Fungsi menerima yang hilang	Sedang	Axelar	Tes fuzz	Ackee Blockchain	Tes bangun
`SafeERC20` tidak digunakan untuk `approve`	Sedang	Lido	Tes fuzz	Ackee Blockchain	Tes bangun
Non-optimis vetting & kunci akuntansi yang buruk	Sedang	Lido	Tes fuzz	Ackee Blockchain	Laporan, Tes Wake

Fitur

Kerangka Pengujian

Lihat contoh dan dokumentasi untuk informasi lebih lanjut.

Tes menulis sesederhana:

 from wake . testing import *
from pytypes . contracts . Counter import Counter

@ chain . connect ()
def test_counter ():
    counter = Counter . deploy ()
    assert counter . count () == 0

    counter . increment ()
    assert counter . count () == 1

Fuzzer

Fuzzer dibangun di atas kerangka pengujian dan memungkinkan pengujian fuzz yang efisien terhadap kontrak pintar soliditas.

 from wake . testing import *
from wake . testing . fuzzing import *
from pytypes . contracts . Counter import Counter

class CounterTest ( FuzzTest ):
    def pre_sequence ( self ) -> None :
        self . counter = Counter . deploy ()
        self . count = 0

    @ flow ()
    def increment ( self ) -> None :
        self . counter . increment ()
        self . count += 1

    @ flow ()
    def decrement ( self ) -> None :
        with may_revert ( PanicCodeEnum . UNDERFLOW_OVERFLOW ) as e :
            self . counter . decrement ()

        if e . value is not None :
            assert self . count == 0
        else :
            self . count -= 1

    @ invariant ( period = 10 )
    def count ( self ) -> None :
        assert self . counter . count () == self . count

@ chain . connect ()
def test_counter ():
    CounterTest (). run ( sequences_count = 30 , flows_count = 100 )