تنزيل wake - تنزيل رمز مصدر wake

wake

فئات أخرى

v4.13.2

تنزيل

Wake ، إطار تطوير واختبار قائم على Python مع أجهزة الكشف عن الضعف المدمجة

غطاء الاستيقاظ

سمات:

إطار الاختبار على أساس pytest
Fuzzer القائم على العقار
عمليات النشر والتفاعلات الرئيسية
الكشف عن جودة الضعف وجودة الرمز
طابعات لاستخراج معلومات مفيدة من رمز الصلابة
إطار تحليل ثابت لتنفيذ أجهزة الكشف والطابعات المخصصة
إجراءات github لإعداد الكشف عن الاستيقاظ وتشغيل
خادم اللغة (LSP)
VS Code Extension (أدوات للصلابة)
مدير إصدار SOLC

التبعيات

بيثون (الإصدار 3.8 أو أعلى)
يجب تمكين Rosetta على Macs Silicon Apple

️ Python 3.12 مدعوم تجريبيا.

تثبيت

عبر pip

pip3 install eth-wake

الوثائق والمساهمة

يمكن العثور على وثائق الاستيقاظ هنا.

هناك يمكنك أيضًا العثور على قسم للمساهمة.

مكتشف نقاط الضعف

وهن	خطورة	مشروع	طريقة	اكتشف من قبل	موارد
تم حساب الربح والخسارة مرتين	شديد الأهمية	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
وحدة التحكم الدائمة للخدمة	عالي	براهما	اختبار الزغب	Ackee Blockchain	تقرير
تبادل خطأ فرض فصيلة الصيغة	عالي	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
تم حساب الرسوم الفلنة المبادلة مرتين	عالي	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
بيانات الحدث غير الصحيحة	عالي	سولادي	اختبار التكامل	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
`INTEREST_FROM_STRATEGY_BELOW_ZERO` يعود إلى dos	واسطة	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
صيغة الاهتمام الافتراضية غير الدقيقة	واسطة	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
تبادل خطأ في تطبيع الرسوم	واسطة	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
تم حساب ودائع التصفية في رصيد LP	واسطة	ipor	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ
وظيفة الاستلام المفقودة	واسطة	أكسلار	اختبار الزغب	Ackee Blockchain	اختبارات الاستيقاظ
`SafeERC20` غير مستخدم `approve`	واسطة	ليدو	اختبار الزغب	Ackee Blockchain	اختبارات الاستيقاظ
مفاتيح الفحص غير المفصلية والمفاتيح غير المحاسبية السيئة	واسطة	ليدو	اختبار الزغب	Ackee Blockchain	تقرير ، اختبارات الاستيقاظ

سمات

إطار الاختبار

انظر الأمثلة والوثائق لمزيد من المعلومات.

اختبارات الكتابة بسيطة مثل:

 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 أعلى إطار الاختبار ويسمح للاختبار الفعال للعقود الذكية للصلابة.

 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 )