- 项目名称记忆有偏差:可能是另一个名字相似的工具,Claw(但也不是最主流的)。
- 泛指“开源的安全审计工具”:您想寻找的是免费、开源的智能合约审计和安全分析资源。
- 某个特定但不太知名的项目:确实存在一个规模较小的项目叫此名。
基于您很可能是在寻找免费且强大的智能合约审计资源这个最普遍的需求,我为您整理了一份非常实用的免费工具和资源清单,这些是区块链安全领域从业者常用的“利器”。

核心免费自动化分析工具(命令行/在线)
这些工具可以集成到开发流程中,进行快速的漏洞扫描。
-
Slither (最推荐)
- 描述:由Trail of Bits开发,用Python编写的静态分析框架,功能强大,速度快,可检测多种漏洞,并支持自定义检测器。
- 资源:GitHub开源,有详细文档。
- 获取:
pip install slither-analyzer
-
Mythril
- 描述:由ConsenSys开发,采用符号执行和污点分析,适合寻找更深层次的安全问题,但分析时间可能较长。
- 资源:GitHub开源,提供在线版本(MythX有免费额度)。
- 获取:
pip install mythril
-
Foundry 的 Forge & Cast
- 描述:虽然是开发框架,但其内置的
forge test功能非常强大,可以方便地编写模糊测试和差分测试,是主动发现漏洞的绝佳方式。 - 资源:完全免费开源。
- 获取:
curl -L https://foundry.paradigm.xyz | bash
- 描述:虽然是开发框架,但其内置的
-
Solhint
- 描述:类似于ESLint,用于代码规范和最佳实践检查,能帮助开发者在早期避免一些常见错误和安全隐患。
- 资源:GitHub开源,可集成到IDE。
- 获取:
npm install -g solhint
在线免费审计平台(部分有免费额度)
-
MythX (集成于 Remix IDE)
- 描述:最著名的智能合约安全分析平台,在Remix IDE中可以直接使用其免费套餐进行基础扫描。
- 使用:在Remix插件市场激活“MythX”插件即可。
-
SolidityScan
- 描述:提供在线扫描和API,有免费的扫描次数。
- 资源:官方网站注册即可使用。
-
Etherscan 的 Contract Verification &
securityCheck- 描述:验证合约源码时,Etherscan会调用安全检查器进行基础漏洞扫描,结果会显示在合约页面上,这是一个非常直接的免费检查。
顶级免费学习资源与知识库
这些比任何单一工具都重要,是您提升安全能力的根本。
-
Smart Contract Weakness Classification (SWC) Registry
- 描述:智能合约弱点分类注册表,相当于合约安全的CVE,是学习和理解漏洞标准的圣经。
- 链接:SWC Registry
-
Solodit
- 描述:一个聚合平台,收录了来自顶级审计公司(如OpenZeppelin, Trail of Bits, Quantstamp等)发布的数千份真实审计报告,学习最佳实践和真实漏洞的绝佳场所。
- 链接:Solodit
-
CTF 和演练平台
- Ethernaut (by OpenZeppelin):最著名的Web3安全实战游戏,通过破解一系列合约来学习漏洞。
- Damn Vulnerable DeFi:学习DeFi协议漏洞的顶级实践场。
- Capture The Ether:较早但经典的以太坊安全挑战。
-
经典书籍与指南
- 《Solidity 中文文档》:官方文档是基础。
- 《Solidity Patterns》:了解安全和高效的设计模式。
- ConsenSys 的《Smart Contract Best Practices》:必读的安全最佳实践指南。
使用建议流程
- 开发中:使用 Solhint 和 Slither 进行即时检查和静态分析。
- 测试阶段:使用 Foundry 编写全面的模糊测试和单元测试。
- 部署前:使用 MythX(通过Remix)或 SolidityScan 进行深度扫描。
- 持续学习:定期浏览 SWC 和 Solodit,并挑战 Ethernaut 题目。
重要提醒
- 无银弹:没有任何自动化工具能100%保证合约安全,它们只能作为辅助,最终必须依靠经验丰富的人工审计。
- 组合使用:不同的工具原理不同,组合使用(如静态分析+符号执行+模糊测试)效果最佳。
- 理解原理:工具报出的问题,一定要自己理解其原理和修复方法,而不是盲目修复。
希望这份详细的免费资源列表能对您有巨大帮助!如果您寻找的是某个特定名称的“OpenClaw”项目,请提供更多线索,我可以再帮您查找。