セキュリティとテスト

Tenderly CLI

デバッグと検査

CLI · コントラクトの検証 · 継続的インテグレーション · デバッグツール

The Tenderly CLI is the command line client for Tenderly, pushing contracts for verification and driving error tracking, monitoring, and alerting. Builders install it to run those steps from a terminal or a continuous integration job.

関連リソース

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Simbolik - Solidity Debugger

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

Abi Ninja

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

Tenderly

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.