セキュリティとテストCodeTracerデバッグと検査CLI · 教育 · イベントロギング · パフォーマンス最適化ウェブサイト （新しいタブで開きます）metacraft-labs/codetracer(1305 ☆) （新しいタブで開きます）CodeTracerは、幅広いweb3プログラミング言語をサポートするように設計された、ユーザーフレンドリーなタイムトラベルデバッガーです。関連リソースEDB: The Ethereum Project DebuggerEDBは、オンチェーンまたはテストでのコントラクトの動作に対するIDEレベルの可視性が必要な場合に、ステッピング、ローカル変数、ウォッチ、およびブレークポイントを備えたSolidity実行用のソースレベルデバッガーです。Simbolik - Solidity DebuggerSimbolikは、従来のブレークポイントデバッグとシンボリック実行を組み合わせた強力なSolidityデバッガーであり、開発者が考えられるすべての実行パスを探索し、脆弱性を正確に発見できるようにします。VSCode拡張機能として利用可能なSimbolikは、既存のワークフローにシームレスに統合され、ブレークポイントスタイルのデバッグ、SolidityおよびEVMレベルの検査、および形式的検証機能を提供します。Abi NinjaAbi Ninjaは、既知のABI、貼り付けられたABI、または逆コンパイルされたバイトコードを使用してコントラクトを呼び出すためのブラウザUIです。ローカルで実行されているHardhatまたはAnvilノードを含む多くのネットワーク全体で、プロキシを認識した読み取りが可能です。TenderlyTenderly 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.sol2umlsol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.
