セキュリティとテスト

revm-inspectors

デバッグと検査

デバッグツール · コード分析

paradigmxyz/revm-inspectors https://crates.io/crates/revm-inspectors

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

関連リソース

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.