安全与测试Walnut调试与检查调试工具 · 开发者体验 · Gas 优化 · 可视化网站 (在新标签页中打开)walnuthq/walnut (在新标签页中打开)基于 Web 的 EVM 交易调试器和模拟器。开源且可自托管。在每一步检查变量状态,在部署之前模拟交易,并分析 Gas 使用情况。支持任何 RPC 提供商。相关资源CodeTracerCodeTracer 是一个用户友好的时间旅行调试器,旨在支持广泛的 web3 编程语言。Simbolik - Solidity DebuggerSimbolik 是一个强大的 Solidity 调试器,它将传统的断点调试与符号执行相结合,使开发者能够探索每一种可能的执行路径并精确地发现漏洞。作为 VSCode 扩展提供,Simbolik 无缝集成到现有工作流中,提供断点式调试、Solidity 和 EVM 级别的检查以及形式化验证功能。Abi NinjaAbi Ninja 是一个浏览器 UI,用于使用已知 ABI、粘贴的 ABI 或反编译的字节码调用合约,支持跨多个网络(包括本地运行的 Hardhat 或 Anvil 节点)进行代理感知读取。evmc一个简单的 CLI 工具,可立即在你的 IDE 中加载合约代码。solizard用于与智能合约交互的超级简单的交互式 shellviem-tracerviem-tracer 增强了 Viem 客户端,以便失败的 ethestimateGas 和 ethsendTransaction 调用自动包含使用 sourcify.dev 解码的人类可读的跟踪输出,并且它围绕 debug_traceCall 添加了类型化助手,以便开发者可以在不离开其现有 RPC 堆栈的情况下检查执行情况。