SuperAPI AI 工具集

solidity-security

安全与审计

查看项目

更新于 10-15 21:38

技能介绍

用途:该技能聚焦智能合约安全最佳实践与漏洞防护,适合在编写安全合约、审计已有合约、实现安全 DeFi 协议、防范重入/溢出/访问控制问题、在保证安全的前提下优化 gas、为专业审计做准备以及理解常见攻击向量时使用。

主要能力:提供安全 Solidity 开发模式与常见漏洞防范思路;覆盖重入、整数溢出、访问控制等典型风险;给出审计准备相关的文档与注释写法示例,如使用 CEI(检查-效果-交互)模式防止重入,并在存款、提款函数中配合 NatSpec 注释说明。

使用方式:以 Hardhat 测试为例,可编写安全测试验证防护是否生效,例如部署 SecureBank 与 ReentrancyAttacker 合约后尝试重入攻击,预期回滚信息为 "ReentrancyGuard: reentrant call";对代币溢出转账预期回滚;对非 owner 调用 withdraw 预期回滚信息为 "Ownable: caller is not the owner"。更详细的模式文档位于 references/details.md,当上层导航不足时可阅读该文件。

限制:资料未提供安装命令、具体平台支持、收费与价格信息,也未给出完整的安全模式清单与更细的审计流程;上述内容暂未提供。