安全与测试

sol2uml

调试与检查

可视化 · Solidity · 存储布局 · CLI

sol2uml 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.

相关资源

CodeTracer

CodeTracer 是一个用户友好的时间旅行调试器，旨在支持广泛的 web3 编程语言。

EDB: The Ethereum Project Debugger

EDB 是一个用于 Solidity 执行的源码级调试器，具有单步执行、局部变量、监视和断点功能，适合当你需要 IDE 级别的可见性来了解链上或测试中的合约行为时使用。

Simbolik - Solidity Debugger

Simbolik 是一个强大的 Solidity 调试器，它将传统的断点调试与符号执行相结合，使开发者能够探索每一种可能的执行路径并精确地发现漏洞。作为 VSCode 扩展提供，Simbolik 无缝集成到现有工作流中，提供断点式调试、Solidity 和 EVM 级别的检查以及形式化验证功能。

Abi Ninja

Abi Ninja 是一个浏览器 UI，用于使用已知 ABI、粘贴的 ABI 或反编译的字节码调用合约，支持跨多个网络（包括本地运行的 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.