SuperAPI AI 工具集

solidity-code-review

测试与质量

查看项目

更新于 10-16 03:37

技能介绍

用途:面向 Solidity 智能合约的代码审查、安全审计与安全编码指导,适用于编写合约时采用安全默认模式、开展同行评审或安全评估、审计访问控制/外部调用/可升级性逻辑、准备安全审计或漏洞赏金、处理链上事件响应以及调试外部合约交互异常。

主要能力:提供安全思维框架(CEI 检查-生效-交互、最小权限、纵深防御、失败安全默认、完整中介);按函数给出的安全决策顺序(谁能调用、输入校验、状态变更、外部交互、递归调用、事件可见性、可暂停性);预审查清单(编译、测试套件、依赖版本固定、NatSpec、已知问题、范围界定);审查方法(范围与架构、逐行人工审查、自动化分析、漏洞模式匹配、集成与边界情况);严重度分级(Critical/High/Medium/Low);按 OWASP SCSVS 与 SCWE 组织的检查领域,包括访问控制、外部调用与重入、算术与类型安全、代币处理、升级安全、密码学与随机性、DeFi 与预言机安全、事件与 NatSpec;风格规范;按优先级给出的安全模式;代码改进建议与统一报告格式。

使用方式:文中给出配合 solidity-agent-toolkit 的结构化工作流,涉及 run_slither、run_aderyn、run_solhint、match_vulnerability_patterns、search_vulnerabilities、get_remediation、check_vulnerability、check_style、format_code、validate_natspec 等工具,以及 scwe://{id}、scwe://category/{category}、sctop10://list 等参考数据与 security_audit、code_review、vulnerability_fix 引导提示。

适用场景:合约开发、审查、审计准备、事件响应与外部调用调试。

限制:资料未提供具体安装命令、收费与价格、平台支持范围及实际效果数据;技能本身不保证发现全部漏洞,自动化工具结果需人工复核。