用途:对 Solidity 智能合约进行专业级安全审计,可按用户请求执行完整审计或针对性审查,覆盖安全漏洞、Gas 优化、存储优化与代码架构。
主要能力:根据请求判定审计类型,如完整审计、安全审计、Gas 优化、存储优化、架构审查、DeFi 协议审计,并加载对应参考文件。核心流程分五阶段:准备(识别 pragma 版本、梳理合约与依赖、继承关系、外部入口,并收集协议目的、部署链、用户流程、管理员权限等上下文)、静态分析(访问控制、checks-effects-interactions、外部调用、算术运算,并映射攻击面)、漏洞评估(按 OWASP 优先级检查访问控制、逻辑错误、重入、闪电贷、输入验证、预言机操纵、未检查外部调用、整数溢出、DoS、抢跑)、优化分析(按需)、报告生成。
使用方式:依据用户请求选择审计类型并读取相应参考文件,如 references/security-checklist.md、references/gas-optimization.md、references/storage-optimization.md、references/architecture-review.md、references/version-specific.md、references/report-template.md。输出需包含严重级别、位置(合约、函数、行号)、描述、影响、概念验证与修复建议,建议尽量以可执行代码变更形式给出。严重级别分为 Critical、High、Medium、Low、Informational。
适用场景:Solidity 合约安全审查、DeFi 协议审计、Gas 与存储优化、架构评审。
限制:资料未提供具体安装命令、收费方式、支持平台或实际效果数据;审计结论依赖人工判断与所提供上下文,不能替代正式审计。