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 )