安全与测试

Radar (Auditware)

调试与检查

静态分析 · 安全性 · Solidity

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

相关资源

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.