セキュリティとテスト

CodeTracerは、幅広いweb3プログラミング言語をサポートするように設計された、ユーザーフレンドリーなタイムトラベルデバッガーです。

Simbolikは、従来のブレークポイントデバッグとシンボリック実行を組み合わせた強力なSolidityデバッガーであり、開発者が考えられるすべての実行パスを探索し、脆弱性を正確に発見できるようにします。VSCode拡張機能として利用可能なSimbolikは、既存のワークフローにシームレスに統合され、ブレークポイントスタイルのデバッグ、SolidityおよびEVMレベルの検査、および形式的検証機能を提供します。

EVM向けのWebベースのトランザクションデバッガーおよびシミュレーター。オープンソースでセルフホスト可能です。すべてのステップで変数の状態を検査し、デプロイ前にトランザクションをシミュレートし、ガス使用量をプロファイリングします。任意のRPCプロバイダーをサポートします。

Abi Ninjaは、既知のABI、貼り付けられたABI、または逆コンパイルされたバイトコードを使用してコントラクトを呼び出すためのブラウザUIです。ローカルで実行されているHardhatまたはAnvilノードを含む多くのネットワーク全体で、プロキシを認識した読み取りが可能です。

コントラクトコードをIDEに即座にロードするためのシンプルなCLIツールです。

スマートコントラクトと対話するための超簡単なインタラクティブシェル

viem-tracerはViemクライアントを拡張し、失敗したethestimateGasおよびethsendTransaction呼び出しに、sourcify.devでデコードされた人間が読めるトレース出力が自動的に含まれるようにします。また、debug_traceCallの周りに型付きヘルパーを追加するため、開発者は既存のRPCスタックから離れることなく実行を検査できます。

EDBは、オンチェーンまたはテストでのコントラクトの動作に対するIDEレベルの可視性が必要な場合に、ステッピング、ローカル変数、ウォッチ、およびブレークポイントを備えたSolidity実行用のソースレベルデバッガーです。

forge-stack-tracerは、冗長なFoundryのテスト出力をSwiss-Knifeデコードにパイプするため、失敗したテストは不透明な16進数ではなくインタラクティブなスタックトレースを返します。

Chimeraは、FoundryでSolidityのテストを記述し、Echidna、Medusa、Halmos、Kontrolなどの他のオープンソースツールで再利用できるようにするためのフレームワークです。

スリザーは、SolidityおよびVyper向けのTrail of BitsのPython静的解析エンジンです。CIで実行して検出器を起動したり、コントラクトの構造ビューを出力したり、コードベース全体にわたるカスタムチェックをスクリプト化したりできます。

Synpressは、Playwrightにイーサリアム対応のブラウザ自動化を重ねることで、CIでウォレットのポップアップやチェーンの切り替えを含む分散型アプリケーション (dapp) のエンドツーエンドテストを行えるようにします。

Aderynは、プロトコルエンジニアやセキュリティ研究者がSolidityコードベースの脆弱性を見つけるのを支援するように設計された、CyfrinのオープンソースでRustベースのSolidityスマート・コントラクト静的アナライザーです。

Titanoboaは、完全なFoundryループの外部でコントラクトを実験する際の高速なフィードバックループのための、インタラクティブなVyperインタープリターおよびテストハーネスです。

Medusaは、Echidnaにインスパイアされたステートフルなスマートコントラクトファザーです。スマートコントラクトの並列ファジングテストと、高度なスマートコントラクトの不変条件の検証を提供します。

solidity-coverageは、Hardhat開発者プラットフォームにスマートコントラクトのコードカバレッジを提供します。精度が非常に高く、完全なviaIR Solidityコンパイルと、Solidity固有のコードブランチパターンの大規模なセットをサポートしています。約23万のGitHubプロジェクトにインストールされており、NPMから週に約10万回ダウンロードされています。

hevmは、スマート・コントラクトの問題を見つけることができる、オープンソースで最先端の高速なシンボリックおよびコンクリートEVM実行エンジンです。そのシンボリック実行および分析システムを通じて、hevmはコントラクトをシンボリック、半コンクリート、またはコンクリートに実行してバグを見つけたり、2つの異なるコントラクトを比較して不一致がないか確認し、等価性チェックを実行したりできます。

Crytic-Propertiesは、ERC-20、ERC-721、ERC-4626など、最も広く使用されているトークン標準のいくつかに対する再利用可能なセキュリティテストのスイートです。

Wallet Test Frameworkは、転送、残高の読み取り、基本的な分散型アプリケーション (dapp) との対話など、コアなウォレットフローを実行する自動化スイートであり、チームがCIで共有のUXの期待値を回帰テストできるようにします。

Branching Tree Technique (分岐ツリー手法) に基づくスマートコントラクトのテストジェネレーターです。

ERCxは、ERCトークン標準向けの包括的なオープンソーステストライブラリであり、ERC-20、ERC-721、ERC-1155、およびERC-4626の実装全体で500を超える個別のテストを備えています。

104の脆弱性パターンと8つの分析ツールを備えたSolidity/EVMスマート・コントラクトセキュリティ監査ツール。CTFおよびEVMBenchベンチマークで100%（120/120）を達成しています。スマート・コントラクトの脆弱性を検出するための静的解析。

foundry-storage-checkは、Foundryプロジェクト向けのGitHub Actionであり、すべてのプルリクエストで実行され、アップグレード可能なプロキシのストレージレイアウトが衝突に対して安全であることを確認し、新しく追加されたストレージスロットがマージの出荷前にオンチェーンでゼロ初期化されることを保証します。

blocksmith.jsは、単一のローカルEVMでは不十分な場合に、マルチチェーンまたはマルチインスタンスのFoundryテストをスクリプト化するための、forgeとanvilをラップする薄いJavaScriptハーネスです。

KEVMは、EVMのKフレームワークの実行可能なセマンティクスです。適合性がチェックされた実行、シンボリックな探索、ガスの推論、またはイーサリアムのルールを厳密に追跡する証明が必要な場合は、これをバイトコードに向けます。

Kontrolは、FoundryのプロパティテストをKEVMがサポートする証明に引き上げるため、生のKEVM単独の場合よりも手書きの仕様作業を減らして、形式的保証を追求できます。

haxは、Rustの大部分をF*やRocqなどの形式言語に高保証で変換するためのツールです。

Actは、EVMプログラムのすべての動作を記述するためのイーサリアムの宣言型仕様言語およびツールチェーンです。これにより、SMTソルバー、定理証明器、または経済分析ツールは、具体的な実装に対する自動的な詳細化証明を含め、バイトコードレベルの正確性とインセンティブの互換性について推論できます。

Verifereumは、イーサリアムのスマート・コントラクトをHOL4を利用した定理証明に接続するため、自動化されたSMTアプローチでは不十分な場合に、非常に強力な正確性の主張を目指すことができます。