ดาวน์โหลด wake - ดาวน์โหลดซอร์สโค้ด wake

wake

หมวดหมู่อื่นๆ

v4.13.2

ดาวน์โหลด

Wake, การพัฒนาและการทดสอบความเป็นจริงที่ใช้งู

ปกปลุก

คุณสมบัติ:

กรอบการทดสอบตาม pytest
ฟัซเซอร์ตามอสังหาริมทรัพย์
การปรับใช้และการโต้ตอบหลัก
ช่องโหว่และเครื่องตรวจจับคุณภาพรหัส
เครื่องพิมพ์สำหรับการแยกข้อมูลที่เป็นประโยชน์จากรหัสความแข็งแกร่ง
กรอบการวิเคราะห์แบบคงที่สำหรับการใช้เครื่องตรวจจับและเครื่องพิมพ์ที่กำหนดเอง
การกระทำของ GitHub สำหรับการตั้งค่าเครื่องตรวจจับ Wake และ Running
เซิร์ฟเวอร์ภาษา (LSP)
VS Code Extension (เครื่องมือเพื่อความแข็งแกร่ง)
ตัวจัดการเวอร์ชัน SOLC

การพึ่งพาอาศัยกัน

Python (เวอร์ชัน 3.8 หรือสูงกว่า)
ต้องเปิดใช้งาน Rosetta บน Apple Silicon Macs

Python 3.12 ได้รับการสนับสนุนการทดลอง

การติดตั้ง

ผ่าน pip

pip3 install eth-wake

เอกสารและการบริจาค

เอกสารปลุกสามารถพบได้ที่นี่

ที่นั่นคุณยังสามารถหาส่วนเกี่ยวกับการมีส่วนร่วม

ค้นพบช่องโหว่

ความอ่อนแอ	ความรุนแรง	โครงการ	วิธี	ค้นพบโดย	ทรัพยากร
กำไรและขาดทุนคิดเป็นสองเท่า	วิกฤต	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
คอนโซลการปฏิเสธการบริการถาวร	สูง	บราห์มา	การทดสอบ Fuzz	ackee blockchain	รายงาน
เปลี่ยนข้อผิดพลาดสูตรสูตรคลี่คลาย	สูง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
แลกเปลี่ยนค่าธรรมเนียมการคลายบัญชีสองครั้ง	สูง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
ข้อมูลเหตุการณ์ไม่ถูกต้อง	สูง	ซุ่มซ่าม	การทดสอบการรวม	ackee blockchain	รายงานการทดสอบปลุก
`INTEREST_FROM_STRATEGY_BELOW_ZERO` ย้อนกลับ dos	ปานกลาง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
สูตรผลประโยชน์สมมุติฐานที่ไม่ถูกต้อง	ปานกลาง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
แลกเปลี่ยนข้อผิดพลาดการทำให้เป็นปกติค่าธรรมเนียมการคลี่คลาย	ปานกลาง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
เงินฝากการชำระบัญชีคิดเป็นยอดคงเหลือ LP	ปานกลาง	ipor	การทดสอบ Fuzz	ackee blockchain	รายงานการทดสอบปลุก
ฟังก์ชั่นรับที่หายไป	ปานกลาง	axelar	การทดสอบ Fuzz	ackee blockchain	การทดสอบปลุก
`SafeERC20` ไม่ได้ใช้สำหรับ `approve`	ปานกลาง	Lido	การทดสอบ Fuzz	ackee blockchain	การทดสอบปลุก
คีย์ที่ไม่เหมาะสมและไม่เหมาะสม	ปานกลาง	Lido	การทดสอบ Fuzz	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 สร้างขึ้นที่ด้านบนของกรอบการทดสอบและช่วยให้การทดสอบฟัซซี่ที่มีประสิทธิภาพของสัญญาสมาร์ทที่แข็งแกร่ง

 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 )