wakeダウンロード - wakeソースコードのダウンロード

wake

その他のカテゴリー

v4.13.2

ダウンロード

Wake、脆弱性検出器が組み込まれたPythonベースの堅実さの開発とテストフレームワーク

ウェイクカバー

特徴：

Pytestに基づくテストフレームワーク
プロパティベースのファッツァー
展開とメインネットインタラクション
脆弱性とコード品質検出器
Solidityコードから有用な情報を抽出するためのプリンター
カスタム検出器とプリンターを実装するための静的分析フレームワーク
覚醒および実行の検出器をセットアップするためのGithubアクション
言語サーバー（LSP）
vsコード拡張機能（堅牢性のためのツール）
SOLCバージョンマネージャー

依存関係

Python（バージョン3.8以降）
Rosettaは、Apple Silicon Macで有効にする必要があります

ショ和Python 3.12は実験的にサポートされています。

インストール

pip経由

pip3 install eth-wake

ドキュメントと貢献

ウェイクドキュメントはこちらをご覧ください。

そこで、貢献に関するセクションを見つけることもできます。

脆弱性を発見しました

脆弱性	重大度	プロジェクト	方法	発見されました	リソース
利益と損失は2回説明されます	致命的	ipor	ファズテスト	Ackee Blockchain	レポート、ウェイクテスト
恒久的なサービス拒否を慰める	高い	ブラフマ	ファズテスト	Ackee Blockchain	報告
回転式式エラーを交換します	高い	ipor	ファズテスト	Ackee Blockchain	レポート、ウェイクテスト
巻き戻し手数料を2回交換します	高い	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は、テストフレームワークの上に構築され、Solidity Smart Contractsの効率的なファズテストを可能にします。

 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 )