wake下載 - wake源代碼下載

wake

其他類別

v4.13.2

下載

Wake，一種基於Python的堅固性開發和具有內置漏洞檢測器的測試框架

喚醒蓋

特徵：

基於pytest的測試框架
基於屬性的絨毛
部署和主網交互
脆弱性和代碼質量檢測器
從固體代碼中提取有用信息的打印機
用於實施自定義探測器和打印機的靜態分析框架
用於設置喚醒和運行探測器的github操作
語言服務器（LSP）
VS代碼擴展（堅固的工具）
Solc版本管理器

依賴性

Python（版本3.8或更高版本）
Rosetta必須在Apple Silicon Mac上啟用

配x Python 3.12受到實驗支持。

安裝

通過pip

pip3 install eth-wake

文檔和貢獻

可以在這裡找到喚醒文檔。

在那裡，您還可以找到有關貢獻的部分。

發現的漏洞

脆弱性	嚴重程度	專案	方法	發現	資源
兩次損益表	批判的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
控制台永久拒絕服務	高的	梵	模糊測試	Ackee區塊鏈	報告
交換休息公式錯誤	高的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
交換休息費兩次	高的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
事件數據不正確	高的	Solady	集成測試	Ackee區塊鏈	報告，喚醒測試
`INTEREST_FROM_STRATEGY_BELOW_ZERO`恢復DOS	中等的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
不准確的假設利益公式	中等的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
交換休息費歸一化錯誤	中等的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
清算存款中佔LP餘額	中等的	ipor	模糊測試	Ackee區塊鏈	報告，喚醒測試
缺少接收功能	中等的	Axelar	模糊測試	Ackee區塊鏈	喚醒測試
`SafeERC20`不用於`approve`	中等的	裡多	模糊測試	Ackee區塊鏈	喚醒測試
非自然的審查和無鍵的鑰匙不好的會計	中等的	裡多	模糊測試	Ackee區塊鏈	報告，喚醒測試

特徵

測試框架

有關更多信息，請參見示例和文檔。

寫作測試很簡單：

 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 )